llvm/test/CodeGen/AArch64/rm_redundant_cmp.ll

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc < %s -mtriple=aarch64-linux-gnuabi -O2 | FileCheck %s

; The following cases are for i16

%struct.s_signed_i16 = type { i16, i16, i16 }
%struct.s_unsigned_i16 = type { i16, i16, i16 }

@cost_s_i8_i16 = common global %struct.s_signed_i16 zeroinitializer, align 2
@cost_u_i16 = common global %struct.s_unsigned_i16 zeroinitializer, align 2

define void @test_i16_2cmp_signed_1() {
; CHECK-LABEL: test_i16_2cmp_signed_1:
; CHECK:       // %bb.0: // %entry
; CHECK-NEXT:    adrp x8, :got:cost_s_i8_i16
; CHECK-NEXT:    ldr x8, [x8, :got_lo12:cost_s_i8_i16]
; CHECK-NEXT:    ldrsh w9, [x8, #2]
; CHECK-NEXT:    ldrsh w10, [x8, #4]
; CHECK-NEXT:    cmp w9, w10
; CHECK-NEXT:    b.lt .LBB0_2
; CHECK-NEXT:  // %bb.1: // %if.end8.sink.split
; CHECK-NEXT:    strh w9, [x8]
; CHECK-NEXT:  .LBB0_2: // %if.end8
; CHECK-NEXT:    ret
entry:
  %0 = load i16, ptr getelementptr inbounds (%struct.s_signed_i16, ptr @cost_s_i8_i16, i64 0, i32 1), align 2
  %1 = load i16, ptr getelementptr inbounds (%struct.s_signed_i16, ptr @cost_s_i8_i16, i64 0, i32 2), align 2
  %cmp = icmp sgt i16 %0, %1
  br i1 %cmp, label %if.then, label %if.else

if.then:                                          ; preds = %entry
  store i16 %0, ptr @cost_s_i8_i16, align 2
  br label %if.end8

if.else:                                          ; preds = %entry
  %cmp5 = icmp eq i16 %0, %1
  br i1 %cmp5, label %if.then7, label %if.end8

if.then7:                                         ; preds = %if.else
  store i16 %0, ptr @cost_s_i8_i16, align 2
  br label %if.end8

if.end8:                                          ; preds = %if.else, %if.then7, %if.then
  ret void
}

define void @test_i16_2cmp_signed_2() {
; CHECK-LABEL: test_i16_2cmp_signed_2:
; CHECK:       // %bb.0: // %entry
; CHECK-NEXT:    adrp x8, :got:cost_s_i8_i16
; CHECK-NEXT:    ldr x8, [x8, :got_lo12:cost_s_i8_i16]
; CHECK-NEXT:    ldrsh w9, [x8, #2]
; CHECK-NEXT:    ldrsh w10, [x8, #4]
; CHECK-NEXT:    cmp w9, w10
; CHECK-NEXT:    b.gt .LBB1_2
; CHECK-NEXT:  // %bb.1: // %if.else
; CHECK-NEXT:    mov w9, w10
; CHECK-NEXT:    b.ge .LBB1_3
; CHECK-NEXT:  .LBB1_2: // %if.end8.sink.split
; CHECK-NEXT:    strh w9, [x8]
; CHECK-NEXT:  .LBB1_3: // %if.end8
; CHECK-NEXT:    ret
entry:
  %0 = load i16, ptr getelementptr inbounds (%struct.s_signed_i16, ptr @cost_s_i8_i16, i64 0, i32 1), align 2
  %1 = load i16, ptr getelementptr inbounds (%struct.s_signed_i16, ptr @cost_s_i8_i16, i64 0, i32 2), align 2
  %cmp = icmp sgt i16 %0, %1
  br i1 %cmp, label %if.then, label %if.else

if.then:                                          ; preds = %entry
  store i16 %0, ptr @cost_s_i8_i16, align 2
  br label %if.end8

if.else:                                          ; preds = %entry
  %cmp5 = icmp slt i16 %0, %1
  br i1 %cmp5, label %if.then7, label %if.end8

if.then7:                                         ; preds = %if.else
  store i16 %1, ptr @cost_s_i8_i16, align 2
  br label %if.end8

if.end8:                                          ; preds = %if.else, %if.then7, %if.then
  ret void
}

define void @test_i16_2cmp_unsigned_1() {
; CHECK-LABEL: test_i16_2cmp_unsigned_1:
; CHECK:       // %bb.0: // %entry
; CHECK-NEXT:    adrp x8, :got:cost_u_i16
; CHECK-NEXT:    ldr x8, [x8, :got_lo12:cost_u_i16]
; CHECK-NEXT:    ldrh w9, [x8, #2]
; CHECK-NEXT:    ldrh w10, [x8, #4]
; CHECK-NEXT:    cmp w9, w10
; CHECK-NEXT:    b.lo .LBB2_2
; CHECK-NEXT:  // %bb.1: // %if.end8.sink.split
; CHECK-NEXT:    strh w9, [x8]
; CHECK-NEXT:  .LBB2_2: // %if.end8
; CHECK-NEXT:    ret
entry:
  %0 = load i16, ptr getelementptr inbounds (%struct.s_unsigned_i16, ptr @cost_u_i16, i64 0, i32 1), align 2
  %1 = load i16, ptr getelementptr inbounds (%struct.s_unsigned_i16, ptr @cost_u_i16, i64 0, i32 2), align 2
  %cmp = icmp ugt i16 %0, %1
  br i1 %cmp, label %if.then, label %if.else

if.then:                                          ; preds = %entry
  store i16 %0, ptr @cost_u_i16, align 2
  br label %if.end8

if.else:                                          ; preds = %entry
  %cmp5 = icmp eq i16 %0, %1
  br i1 %cmp5, label %if.then7, label %if.end8

if.then7:                                         ; preds = %if.else
  store i16 %0, ptr @cost_u_i16, align 2
  br label %if.end8

if.end8:                                          ; preds = %if.else, %if.then7, %if.then
  ret void
}

define void @test_i16_2cmp_unsigned_2() {
; CHECK-LABEL: test_i16_2cmp_unsigned_2:
; CHECK:       // %bb.0: // %entry
; CHECK-NEXT:    adrp x8, :got:cost_u_i16
; CHECK-NEXT:    ldr x8, [x8, :got_lo12:cost_u_i16]
; CHECK-NEXT:    ldrh w9, [x8, #2]
; CHECK-NEXT:    ldrh w10, [x8, #4]
; CHECK-NEXT:    cmp w9, w10
; CHECK-NEXT:    b.hi .LBB3_2
; CHECK-NEXT:  // %bb.1: // %if.else
; CHECK-NEXT:    mov w9, w10
; CHECK-NEXT:    b.hs .LBB3_3
; CHECK-NEXT:  .LBB3_2: // %if.end8.sink.split
; CHECK-NEXT:    strh w9, [x8]
; CHECK-NEXT:  .LBB3_3: // %if.end8
; CHECK-NEXT:    ret
entry:
  %0 = load i16, ptr getelementptr inbounds (%struct.s_unsigned_i16, ptr @cost_u_i16, i64 0, i32 1), align 2
  %1 = load i16, ptr getelementptr inbounds (%struct.s_unsigned_i16, ptr @cost_u_i16, i64 0, i32 2), align 2
  %cmp = icmp ugt i16 %0, %1
  br i1 %cmp, label %if.then, label %if.else

if.then:                                          ; preds = %entry
  store i16 %0, ptr @cost_u_i16, align 2
  br label %if.end8

if.else:                                          ; preds = %entry
  %cmp5 = icmp ult i16 %0, %1
  br i1 %cmp5, label %if.then7, label %if.end8

if.then7:                                         ; preds = %if.else
  store i16 %1, ptr @cost_u_i16, align 2
  br label %if.end8

if.end8:                                          ; preds = %if.else, %if.then7, %if.then
  ret void
}

; The following cases are for i8

%struct.s_signed_i8 = type { i8, i8, i8 }
%struct.s_unsigned_i8 = type { i8, i8, i8 }

@cost_s = common global %struct.s_signed_i8 zeroinitializer, align 2
@cost_u_i8 = common global %struct.s_unsigned_i8 zeroinitializer, align 2


define void @test_i8_2cmp_signed_1() {
; CHECK-LABEL: test_i8_2cmp_signed_1:
; CHECK:       // %bb.0: // %entry
; CHECK-NEXT:    adrp x8, :got:cost_s
; CHECK-NEXT:    ldr x8, [x8, :got_lo12:cost_s]
; CHECK-NEXT:    ldrsb w9, [x8, #1]
; CHECK-NEXT:    ldrsb w10, [x8, #2]
; CHECK-NEXT:    cmp w9, w10
; CHECK-NEXT:    b.lt .LBB4_2
; CHECK-NEXT:  // %bb.1: // %if.end8.sink.split
; CHECK-NEXT:    strb w9, [x8]
; CHECK-NEXT:  .LBB4_2: // %if.end8
; CHECK-NEXT:    ret
entry:
  %0 = load i8, ptr getelementptr inbounds (%struct.s_signed_i8, ptr @cost_s, i64 0, i32 1), align 2
  %1 = load i8, ptr getelementptr inbounds (%struct.s_signed_i8, ptr @cost_s, i64 0, i32 2), align 2
  %cmp = icmp sgt i8 %0, %1
  br i1 %cmp, label %if.then, label %if.else

if.then:                                          ; preds = %entry
  store i8 %0, ptr @cost_s, align 2
  br label %if.end8

if.else:                                          ; preds = %entry
  %cmp5 = icmp eq i8 %0, %1
  br i1 %cmp5, label %if.then7, label %if.end8

if.then7:                                         ; preds = %if.else
  store i8 %0, ptr @cost_s, align 2
  br label %if.end8

if.end8:                                          ; preds = %if.else, %if.then7, %if.then
  ret void
}

define void @test_i8_2cmp_signed_2() {
; CHECK-LABEL: test_i8_2cmp_signed_2:
; CHECK:       // %bb.0: // %entry
; CHECK-NEXT:    adrp x8, :got:cost_s
; CHECK-NEXT:    ldr x8, [x8, :got_lo12:cost_s]
; CHECK-NEXT:    ldrsb w9, [x8, #1]
; CHECK-NEXT:    ldrsb w10, [x8, #2]
; CHECK-NEXT:    cmp w9, w10
; CHECK-NEXT:    b.gt .LBB5_2
; CHECK-NEXT:  // %bb.1: // %if.else
; CHECK-NEXT:    mov w9, w10
; CHECK-NEXT:    b.ge .LBB5_3
; CHECK-NEXT:  .LBB5_2: // %if.end8.sink.split
; CHECK-NEXT:    strb w9, [x8]
; CHECK-NEXT:  .LBB5_3: // %if.end8
; CHECK-NEXT:    ret
entry:
  %0 = load i8, ptr getelementptr inbounds (%struct.s_signed_i8, ptr @cost_s, i64 0, i32 1), align 2
  %1 = load i8, ptr getelementptr inbounds (%struct.s_signed_i8, ptr @cost_s, i64 0, i32 2), align 2
  %cmp = icmp sgt i8 %0, %1
  br i1 %cmp, label %if.then, label %if.else

if.then:                                          ; preds = %entry
  store i8 %0, ptr @cost_s, align 2
  br label %if.end8

if.else:                                          ; preds = %entry
  %cmp5 = icmp slt i8 %0, %1
  br i1 %cmp5, label %if.then7, label %if.end8

if.then7:                                         ; preds = %if.else
  store i8 %1, ptr @cost_s, align 2
  br label %if.end8

if.end8:                                          ; preds = %if.else, %if.then7, %if.then
  ret void
}

define void @test_i8_2cmp_unsigned_1() {
; CHECK-LABEL: test_i8_2cmp_unsigned_1:
; CHECK:       // %bb.0: // %entry
; CHECK-NEXT:    adrp x8, :got:cost_u_i8
; CHECK-NEXT:    ldr x8, [x8, :got_lo12:cost_u_i8]
; CHECK-NEXT:    ldrb w9, [x8, #1]
; CHECK-NEXT:    ldrb w10, [x8, #2]
; CHECK-NEXT:    cmp w9, w10
; CHECK-NEXT:    b.lo .LBB6_2
; CHECK-NEXT:  // %bb.1: // %if.end8.sink.split
; CHECK-NEXT:    strb w9, [x8]
; CHECK-NEXT:  .LBB6_2: // %if.end8
; CHECK-NEXT:    ret
entry:
  %0 = load i8, ptr getelementptr inbounds (%struct.s_unsigned_i8, ptr @cost_u_i8, i64 0, i32 1), align 2
  %1 = load i8, ptr getelementptr inbounds (%struct.s_unsigned_i8, ptr @cost_u_i8, i64 0, i32 2), align 2
  %cmp = icmp ugt i8 %0, %1
  br i1 %cmp, label %if.then, label %if.else

if.then:                                          ; preds = %entry
  store i8 %0, ptr @cost_u_i8, align 2
  br label %if.end8

if.else:                                          ; preds = %entry
  %cmp5 = icmp eq i8 %0, %1
  br i1 %cmp5, label %if.then7, label %if.end8

if.then7:                                         ; preds = %if.else
  store i8 %0, ptr @cost_u_i8, align 2
  br label %if.end8

if.end8:                                          ; preds = %if.else, %if.then7, %if.then
  ret void
}

define void @test_i8_2cmp_unsigned_2() {
; CHECK-LABEL: test_i8_2cmp_unsigned_2:
; CHECK:       // %bb.0: // %entry
; CHECK-NEXT:    adrp x8, :got:cost_u_i8
; CHECK-NEXT:    ldr x8, [x8, :got_lo12:cost_u_i8]
; CHECK-NEXT:    ldrb w9, [x8, #1]
; CHECK-NEXT:    ldrb w10, [x8, #2]
; CHECK-NEXT:    cmp w9, w10
; CHECK-NEXT:    b.hi .LBB7_2
; CHECK-NEXT:  // %bb.1: // %if.else
; CHECK-NEXT:    mov w9, w10
; CHECK-NEXT:    b.hs .LBB7_3
; CHECK-NEXT:  .LBB7_2: // %if.end8.sink.split
; CHECK-NEXT:    strb w9, [x8]
; CHECK-NEXT:  .LBB7_3: // %if.end8
; CHECK-NEXT:    ret
entry:
  %0 = load i8, ptr getelementptr inbounds (%struct.s_unsigned_i8, ptr @cost_u_i8, i64 0, i32 1), align 2
  %1 = load i8, ptr getelementptr inbounds (%struct.s_unsigned_i8, ptr @cost_u_i8, i64 0, i32 2), align 2
  %cmp = icmp ugt i8 %0, %1
  br i1 %cmp, label %if.then, label %if.else

if.then:                                          ; preds = %entry
  store i8 %0, ptr @cost_u_i8, align 2
  br label %if.end8

if.else:                                          ; preds = %entry
  %cmp5 = icmp ult i8 %0, %1
  br i1 %cmp5, label %if.then7, label %if.end8

if.then7:                                         ; preds = %if.else
  store i8 %1, ptr @cost_u_i8, align 2
  br label %if.end8

if.end8:                                          ; preds = %if.else, %if.then7, %if.then
  ret void
}

; Make sure the case below won't crash.

; The optimization of ZERO_EXTEND and SIGN_EXTEND in type legalization stage can't assert
; the operand of a set_cc is always a TRUNCATE.

define i1 @foo(float %inl, float %inr) {
; CHECK-LABEL: foo:
; CHECK:       // %bb.0:
; CHECK-NEXT:    fcvtzs w8, s0
; CHECK-NEXT:    fcvtzs w9, s1
; CHECK-NEXT:    cmp w8, w9
; CHECK-NEXT:    cset w0, eq
; CHECK-NEXT:    ret
  %lval = fptosi float %inl to i8
  %rval = fptosi float %inr to i8
  %sum = icmp eq i8 %lval, %rval
  ret i1 %sum
}