; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py ; RUN: llc -O0 -mtriple=riscv32 -mattr=+xcvbi -verify-machineinstrs < %s \ ; RUN: | FileCheck %s --check-prefixes=CHECK_NOPT ; RUN: llc -O3 -mtriple=riscv32 -mattr=+xcvbi -verify-machineinstrs < %s \ ; RUN: | FileCheck %s --check-prefixes=CHECK_OPT define i32 @beqimm(i32 %a) { ; CHECK_NOPT-LABEL: beqimm: ; CHECK_NOPT: # %bb.0: ; CHECK_NOPT-NEXT: cv.beqimm a0, 5, .LBB0_2 ; CHECK_NOPT-NEXT: j .LBB0_1 ; CHECK_NOPT-NEXT: .LBB0_1: # %f ; CHECK_NOPT-NEXT: li a0, 0 ; CHECK_NOPT-NEXT: ret ; CHECK_NOPT-NEXT: .LBB0_2: # %t ; CHECK_NOPT-NEXT: li a0, 1 ; CHECK_NOPT-NEXT: ret ; ; CHECK_OPT-LABEL: beqimm: ; CHECK_OPT: # %bb.0: ; CHECK_OPT-NEXT: cv.bneimm a0, 5, .LBB0_2 ; CHECK_OPT-NEXT: # %bb.1: # %t ; CHECK_OPT-NEXT: li a0, 1 ; CHECK_OPT-NEXT: ret ; CHECK_OPT-NEXT: .LBB0_2: # %f ; CHECK_OPT-NEXT: li a0, 0 ; CHECK_OPT-NEXT: ret %1 = icmp eq i32 %a, 5 br i1 %1, label %t, label %f f: ret i32 0 t: ret i32 1 } define i32 @bneimm(i32 %a) { ; CHECK_NOPT-LABEL: bneimm: ; CHECK_NOPT: # %bb.0: ; CHECK_NOPT-NEXT: cv.bneimm a0, 5, .LBB1_2 ; CHECK_NOPT-NEXT: j .LBB1_1 ; CHECK_NOPT-NEXT: .LBB1_1: # %f ; CHECK_NOPT-NEXT: li a0, 0 ; CHECK_NOPT-NEXT: ret ; CHECK_NOPT-NEXT: .LBB1_2: # %t ; CHECK_NOPT-NEXT: li a0, 1 ; CHECK_NOPT-NEXT: ret ; ; CHECK_OPT-LABEL: bneimm: ; CHECK_OPT: # %bb.0: ; CHECK_OPT-NEXT: cv.beqimm a0, 5, .LBB1_2 ; CHECK_OPT-NEXT: # %bb.1: # %t ; CHECK_OPT-NEXT: li a0, 1 ; CHECK_OPT-NEXT: ret ; CHECK_OPT-NEXT: .LBB1_2: # %f ; CHECK_OPT-NEXT: li a0, 0 ; CHECK_OPT-NEXT: ret %1 = icmp ne i32 %a, 5 br i1 %1, label %t, label %f f: ret i32 0 t: ret i32 1 } define i32 @select_beqimm_1(i32 %a, i32 %x, i32 %y) { ; CHECK_NOPT-LABEL: select_beqimm_1: ; CHECK_NOPT: # %bb.0: # %entry ; CHECK_NOPT-NEXT: addi sp, sp, -16 ; CHECK_NOPT-NEXT: .cfi_def_cfa_offset 16 ; CHECK_NOPT-NEXT: sw a1, 8(sp) # 4-byte Folded Spill ; CHECK_NOPT-NEXT: sw a2, 12(sp) # 4-byte Folded Spill ; CHECK_NOPT-NEXT: cv.beqimm a0, -16, .LBB2_2 ; CHECK_NOPT-NEXT: # %bb.1: # %entry ; CHECK_NOPT-NEXT: lw a0, 8(sp) # 4-byte Folded Reload ; CHECK_NOPT-NEXT: sw a0, 12(sp) # 4-byte Folded Spill ; CHECK_NOPT-NEXT: .LBB2_2: # %entry ; CHECK_NOPT-NEXT: lw a0, 12(sp) # 4-byte Folded Reload ; CHECK_NOPT-NEXT: addi sp, sp, 16 ; CHECK_NOPT-NEXT: .cfi_def_cfa_offset 0 ; CHECK_NOPT-NEXT: ret ; ; CHECK_OPT-LABEL: select_beqimm_1: ; CHECK_OPT: # %bb.0: # %entry ; CHECK_OPT-NEXT: cv.beqimm a0, -16, .LBB2_2 ; CHECK_OPT-NEXT: # %bb.1: # %entry ; CHECK_OPT-NEXT: mv a2, a1 ; CHECK_OPT-NEXT: .LBB2_2: # %entry ; CHECK_OPT-NEXT: mv a0, a2 ; CHECK_OPT-NEXT: ret entry: %cmp.not = icmp eq i32 %a, -16 %cond = select i1 %cmp.not, i32 %y, i32 %x ret i32 %cond } define i32 @select_beqimm_2(i32 %a, i32 %x, i32 %y) { ; CHECK_NOPT-LABEL: select_beqimm_2: ; CHECK_NOPT: # %bb.0: # %entry ; CHECK_NOPT-NEXT: addi sp, sp, -16 ; CHECK_NOPT-NEXT: .cfi_def_cfa_offset 16 ; CHECK_NOPT-NEXT: sw a1, 8(sp) # 4-byte Folded Spill ; CHECK_NOPT-NEXT: sw a2, 12(sp) # 4-byte Folded Spill ; CHECK_NOPT-NEXT: cv.beqimm a0, 0, .LBB3_2 ; CHECK_NOPT-NEXT: # %bb.1: # %entry ; CHECK_NOPT-NEXT: lw a0, 8(sp) # 4-byte Folded Reload ; CHECK_NOPT-NEXT: sw a0, 12(sp) # 4-byte Folded Spill ; CHECK_NOPT-NEXT: .LBB3_2: # %entry ; CHECK_NOPT-NEXT: lw a0, 12(sp) # 4-byte Folded Reload ; CHECK_NOPT-NEXT: addi sp, sp, 16 ; CHECK_NOPT-NEXT: .cfi_def_cfa_offset 0 ; CHECK_NOPT-NEXT: ret ; ; CHECK_OPT-LABEL: select_beqimm_2: ; CHECK_OPT: # %bb.0: # %entry ; CHECK_OPT-NEXT: cv.beqimm a0, 0, .LBB3_2 ; CHECK_OPT-NEXT: # %bb.1: # %entry ; CHECK_OPT-NEXT: mv a2, a1 ; CHECK_OPT-NEXT: .LBB3_2: # %entry ; CHECK_OPT-NEXT: mv a0, a2 ; CHECK_OPT-NEXT: ret entry: %cmp.not = icmp eq i32 %a, 0 %cond = select i1 %cmp.not, i32 %y, i32 %x ret i32 %cond } define i32 @select_beqimm_3(i32 %a, i32 %x, i32 %y) { ; CHECK_NOPT-LABEL: select_beqimm_3: ; CHECK_NOPT: # %bb.0: # %entry ; CHECK_NOPT-NEXT: addi sp, sp, -16 ; CHECK_NOPT-NEXT: .cfi_def_cfa_offset 16 ; CHECK_NOPT-NEXT: sw a1, 8(sp) # 4-byte Folded Spill ; CHECK_NOPT-NEXT: sw a2, 12(sp) # 4-byte Folded Spill ; CHECK_NOPT-NEXT: cv.beqimm a0, 15, .LBB4_2 ; CHECK_NOPT-NEXT: # %bb.1: # %entry ; CHECK_NOPT-NEXT: lw a0, 8(sp) # 4-byte Folded Reload ; CHECK_NOPT-NEXT: sw a0, 12(sp) # 4-byte Folded Spill ; CHECK_NOPT-NEXT: .LBB4_2: # %entry ; CHECK_NOPT-NEXT: lw a0, 12(sp) # 4-byte Folded Reload ; CHECK_NOPT-NEXT: addi sp, sp, 16 ; CHECK_NOPT-NEXT: .cfi_def_cfa_offset 0 ; CHECK_NOPT-NEXT: ret ; ; CHECK_OPT-LABEL: select_beqimm_3: ; CHECK_OPT: # %bb.0: # %entry ; CHECK_OPT-NEXT: cv.beqimm a0, 15, .LBB4_2 ; CHECK_OPT-NEXT: # %bb.1: # %entry ; CHECK_OPT-NEXT: mv a2, a1 ; CHECK_OPT-NEXT: .LBB4_2: # %entry ; CHECK_OPT-NEXT: mv a0, a2 ; CHECK_OPT-NEXT: ret entry: %cmp.not = icmp eq i32 %a, 15 %cond = select i1 %cmp.not, i32 %y, i32 %x ret i32 %cond } define i32 @select_no_beqimm_1(i32 %a, i32 %x, i32 %y) { ; CHECK_NOPT-LABEL: select_no_beqimm_1: ; CHECK_NOPT: # %bb.0: # %entry ; CHECK_NOPT-NEXT: addi sp, sp, -16 ; CHECK_NOPT-NEXT: .cfi_def_cfa_offset 16 ; CHECK_NOPT-NEXT: sw a1, 8(sp) # 4-byte Folded Spill ; CHECK_NOPT-NEXT: li a1, -17 ; CHECK_NOPT-NEXT: sw a2, 12(sp) # 4-byte Folded Spill ; CHECK_NOPT-NEXT: beq a0, a1, .LBB5_2 ; CHECK_NOPT-NEXT: # %bb.1: # %entry ; CHECK_NOPT-NEXT: lw a0, 8(sp) # 4-byte Folded Reload ; CHECK_NOPT-NEXT: sw a0, 12(sp) # 4-byte Folded Spill ; CHECK_NOPT-NEXT: .LBB5_2: # %entry ; CHECK_NOPT-NEXT: lw a0, 12(sp) # 4-byte Folded Reload ; CHECK_NOPT-NEXT: addi sp, sp, 16 ; CHECK_NOPT-NEXT: .cfi_def_cfa_offset 0 ; CHECK_NOPT-NEXT: ret ; ; CHECK_OPT-LABEL: select_no_beqimm_1: ; CHECK_OPT: # %bb.0: # %entry ; CHECK_OPT-NEXT: li a3, -17 ; CHECK_OPT-NEXT: beq a0, a3, .LBB5_2 ; CHECK_OPT-NEXT: # %bb.1: # %entry ; CHECK_OPT-NEXT: mv a2, a1 ; CHECK_OPT-NEXT: .LBB5_2: # %entry ; CHECK_OPT-NEXT: mv a0, a2 ; CHECK_OPT-NEXT: ret entry: %cmp.not = icmp eq i32 %a, -17 %cond = select i1 %cmp.not, i32 %y, i32 %x ret i32 %cond } define i32 @select_no_beqimm_2(i32 %a, i32 %x, i32 %y) { ; CHECK_NOPT-LABEL: select_no_beqimm_2: ; CHECK_NOPT: # %bb.0: # %entry ; CHECK_NOPT-NEXT: addi sp, sp, -16 ; CHECK_NOPT-NEXT: .cfi_def_cfa_offset 16 ; CHECK_NOPT-NEXT: sw a1, 8(sp) # 4-byte Folded Spill ; CHECK_NOPT-NEXT: li a1, 16 ; CHECK_NOPT-NEXT: sw a2, 12(sp) # 4-byte Folded Spill ; CHECK_NOPT-NEXT: beq a0, a1, .LBB6_2 ; CHECK_NOPT-NEXT: # %bb.1: # %entry ; CHECK_NOPT-NEXT: lw a0, 8(sp) # 4-byte Folded Reload ; CHECK_NOPT-NEXT: sw a0, 12(sp) # 4-byte Folded Spill ; CHECK_NOPT-NEXT: .LBB6_2: # %entry ; CHECK_NOPT-NEXT: lw a0, 12(sp) # 4-byte Folded Reload ; CHECK_NOPT-NEXT: addi sp, sp, 16 ; CHECK_NOPT-NEXT: .cfi_def_cfa_offset 0 ; CHECK_NOPT-NEXT: ret ; ; CHECK_OPT-LABEL: select_no_beqimm_2: ; CHECK_OPT: # %bb.0: # %entry ; CHECK_OPT-NEXT: li a3, 16 ; CHECK_OPT-NEXT: beq a0, a3, .LBB6_2 ; CHECK_OPT-NEXT: # %bb.1: # %entry ; CHECK_OPT-NEXT: mv a2, a1 ; CHECK_OPT-NEXT: .LBB6_2: # %entry ; CHECK_OPT-NEXT: mv a0, a2 ; CHECK_OPT-NEXT: ret entry: %cmp.not = icmp eq i32 %a, 16 %cond = select i1 %cmp.not, i32 %y, i32 %x ret i32 %cond } define i32 @select_bneimm_1(i32 %a, i32 %x, i32 %y) { ; CHECK_NOPT-LABEL: select_bneimm_1: ; CHECK_NOPT: # %bb.0: # %entry ; CHECK_NOPT-NEXT: addi sp, sp, -16 ; CHECK_NOPT-NEXT: .cfi_def_cfa_offset 16 ; CHECK_NOPT-NEXT: sw a1, 8(sp) # 4-byte Folded Spill ; CHECK_NOPT-NEXT: sw a2, 12(sp) # 4-byte Folded Spill ; CHECK_NOPT-NEXT: cv.bneimm a0, 0, .LBB7_2 ; CHECK_NOPT-NEXT: # %bb.1: # %entry ; CHECK_NOPT-NEXT: lw a0, 8(sp) # 4-byte Folded Reload ; CHECK_NOPT-NEXT: sw a0, 12(sp) # 4-byte Folded Spill ; CHECK_NOPT-NEXT: .LBB7_2: # %entry ; CHECK_NOPT-NEXT: lw a0, 12(sp) # 4-byte Folded Reload ; CHECK_NOPT-NEXT: addi sp, sp, 16 ; CHECK_NOPT-NEXT: .cfi_def_cfa_offset 0 ; CHECK_NOPT-NEXT: ret ; ; CHECK_OPT-LABEL: select_bneimm_1: ; CHECK_OPT: # %bb.0: # %entry ; CHECK_OPT-NEXT: cv.bneimm a0, 0, .LBB7_2 ; CHECK_OPT-NEXT: # %bb.1: # %entry ; CHECK_OPT-NEXT: mv a2, a1 ; CHECK_OPT-NEXT: .LBB7_2: # %entry ; CHECK_OPT-NEXT: mv a0, a2 ; CHECK_OPT-NEXT: ret entry: %cmp.not = icmp ne i32 %a, 0 %cond = select i1 %cmp.not, i32 %y, i32 %x ret i32 %cond }