255 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -O0 -mtriple=riscv32 -mattr=+xcvbi -verify-machineinstrs < %s \3; RUN: | FileCheck %s --check-prefixes=CHECK_NOPT4; RUN: llc -O3 -mtriple=riscv32 -mattr=+xcvbi -verify-machineinstrs < %s \5; RUN: | FileCheck %s --check-prefixes=CHECK_OPT6 7define i32 @beqimm(i32 %a) {8; CHECK_NOPT-LABEL: beqimm:9; CHECK_NOPT: # %bb.0:10; CHECK_NOPT-NEXT: cv.beqimm a0, 5, .LBB0_211; CHECK_NOPT-NEXT: j .LBB0_112; CHECK_NOPT-NEXT: .LBB0_1: # %f13; CHECK_NOPT-NEXT: li a0, 014; CHECK_NOPT-NEXT: ret15; CHECK_NOPT-NEXT: .LBB0_2: # %t16; CHECK_NOPT-NEXT: li a0, 117; CHECK_NOPT-NEXT: ret18;19; CHECK_OPT-LABEL: beqimm:20; CHECK_OPT: # %bb.0:21; CHECK_OPT-NEXT: cv.bneimm a0, 5, .LBB0_222; CHECK_OPT-NEXT: # %bb.1: # %t23; CHECK_OPT-NEXT: li a0, 124; CHECK_OPT-NEXT: ret25; CHECK_OPT-NEXT: .LBB0_2: # %f26; CHECK_OPT-NEXT: li a0, 027; CHECK_OPT-NEXT: ret28 %1 = icmp eq i32 %a, 529 br i1 %1, label %t, label %f30f:31 ret i32 032t:33 ret i32 134}35 36define i32 @bneimm(i32 %a) {37; CHECK_NOPT-LABEL: bneimm:38; CHECK_NOPT: # %bb.0:39; CHECK_NOPT-NEXT: cv.bneimm a0, 5, .LBB1_240; CHECK_NOPT-NEXT: j .LBB1_141; CHECK_NOPT-NEXT: .LBB1_1: # %f42; CHECK_NOPT-NEXT: li a0, 043; CHECK_NOPT-NEXT: ret44; CHECK_NOPT-NEXT: .LBB1_2: # %t45; CHECK_NOPT-NEXT: li a0, 146; CHECK_NOPT-NEXT: ret47;48; CHECK_OPT-LABEL: bneimm:49; CHECK_OPT: # %bb.0:50; CHECK_OPT-NEXT: cv.beqimm a0, 5, .LBB1_251; CHECK_OPT-NEXT: # %bb.1: # %t52; CHECK_OPT-NEXT: li a0, 153; CHECK_OPT-NEXT: ret54; CHECK_OPT-NEXT: .LBB1_2: # %f55; CHECK_OPT-NEXT: li a0, 056; CHECK_OPT-NEXT: ret57 %1 = icmp ne i32 %a, 558 br i1 %1, label %t, label %f59f:60 ret i32 061t:62 ret i32 163}64 65define i32 @select_beqimm_1(i32 %a, i32 %x, i32 %y) {66; CHECK_NOPT-LABEL: select_beqimm_1:67; CHECK_NOPT: # %bb.0: # %entry68; CHECK_NOPT-NEXT: addi sp, sp, -1669; CHECK_NOPT-NEXT: .cfi_def_cfa_offset 1670; CHECK_NOPT-NEXT: sw a1, 8(sp) # 4-byte Folded Spill71; CHECK_NOPT-NEXT: sw a2, 12(sp) # 4-byte Folded Spill72; CHECK_NOPT-NEXT: cv.beqimm a0, -16, .LBB2_273; CHECK_NOPT-NEXT: # %bb.1: # %entry74; CHECK_NOPT-NEXT: lw a0, 8(sp) # 4-byte Folded Reload75; CHECK_NOPT-NEXT: sw a0, 12(sp) # 4-byte Folded Spill76; CHECK_NOPT-NEXT: .LBB2_2: # %entry77; CHECK_NOPT-NEXT: lw a0, 12(sp) # 4-byte Folded Reload78; CHECK_NOPT-NEXT: addi sp, sp, 1679; CHECK_NOPT-NEXT: .cfi_def_cfa_offset 080; CHECK_NOPT-NEXT: ret81;82; CHECK_OPT-LABEL: select_beqimm_1:83; CHECK_OPT: # %bb.0: # %entry84; CHECK_OPT-NEXT: cv.beqimm a0, -16, .LBB2_285; CHECK_OPT-NEXT: # %bb.1: # %entry86; CHECK_OPT-NEXT: mv a2, a187; CHECK_OPT-NEXT: .LBB2_2: # %entry88; CHECK_OPT-NEXT: mv a0, a289; CHECK_OPT-NEXT: ret90entry:91 %cmp.not = icmp eq i32 %a, -1692 %cond = select i1 %cmp.not, i32 %y, i32 %x93 ret i32 %cond94}95 96define i32 @select_beqimm_2(i32 %a, i32 %x, i32 %y) {97; CHECK_NOPT-LABEL: select_beqimm_2:98; CHECK_NOPT: # %bb.0: # %entry99; CHECK_NOPT-NEXT: addi sp, sp, -16100; CHECK_NOPT-NEXT: .cfi_def_cfa_offset 16101; CHECK_NOPT-NEXT: sw a1, 8(sp) # 4-byte Folded Spill102; CHECK_NOPT-NEXT: sw a2, 12(sp) # 4-byte Folded Spill103; CHECK_NOPT-NEXT: cv.beqimm a0, 0, .LBB3_2104; CHECK_NOPT-NEXT: # %bb.1: # %entry105; CHECK_NOPT-NEXT: lw a0, 8(sp) # 4-byte Folded Reload106; CHECK_NOPT-NEXT: sw a0, 12(sp) # 4-byte Folded Spill107; CHECK_NOPT-NEXT: .LBB3_2: # %entry108; CHECK_NOPT-NEXT: lw a0, 12(sp) # 4-byte Folded Reload109; CHECK_NOPT-NEXT: addi sp, sp, 16110; CHECK_NOPT-NEXT: .cfi_def_cfa_offset 0111; CHECK_NOPT-NEXT: ret112;113; CHECK_OPT-LABEL: select_beqimm_2:114; CHECK_OPT: # %bb.0: # %entry115; CHECK_OPT-NEXT: cv.beqimm a0, 0, .LBB3_2116; CHECK_OPT-NEXT: # %bb.1: # %entry117; CHECK_OPT-NEXT: mv a2, a1118; CHECK_OPT-NEXT: .LBB3_2: # %entry119; CHECK_OPT-NEXT: mv a0, a2120; CHECK_OPT-NEXT: ret121entry:122 %cmp.not = icmp eq i32 %a, 0123 %cond = select i1 %cmp.not, i32 %y, i32 %x124 ret i32 %cond125}126 127define i32 @select_beqimm_3(i32 %a, i32 %x, i32 %y) {128; CHECK_NOPT-LABEL: select_beqimm_3:129; CHECK_NOPT: # %bb.0: # %entry130; CHECK_NOPT-NEXT: addi sp, sp, -16131; CHECK_NOPT-NEXT: .cfi_def_cfa_offset 16132; CHECK_NOPT-NEXT: sw a1, 8(sp) # 4-byte Folded Spill133; CHECK_NOPT-NEXT: sw a2, 12(sp) # 4-byte Folded Spill134; CHECK_NOPT-NEXT: cv.beqimm a0, 15, .LBB4_2135; CHECK_NOPT-NEXT: # %bb.1: # %entry136; CHECK_NOPT-NEXT: lw a0, 8(sp) # 4-byte Folded Reload137; CHECK_NOPT-NEXT: sw a0, 12(sp) # 4-byte Folded Spill138; CHECK_NOPT-NEXT: .LBB4_2: # %entry139; CHECK_NOPT-NEXT: lw a0, 12(sp) # 4-byte Folded Reload140; CHECK_NOPT-NEXT: addi sp, sp, 16141; CHECK_NOPT-NEXT: .cfi_def_cfa_offset 0142; CHECK_NOPT-NEXT: ret143;144; CHECK_OPT-LABEL: select_beqimm_3:145; CHECK_OPT: # %bb.0: # %entry146; CHECK_OPT-NEXT: cv.beqimm a0, 15, .LBB4_2147; CHECK_OPT-NEXT: # %bb.1: # %entry148; CHECK_OPT-NEXT: mv a2, a1149; CHECK_OPT-NEXT: .LBB4_2: # %entry150; CHECK_OPT-NEXT: mv a0, a2151; CHECK_OPT-NEXT: ret152entry:153 %cmp.not = icmp eq i32 %a, 15154 %cond = select i1 %cmp.not, i32 %y, i32 %x155 ret i32 %cond156}157 158define i32 @select_no_beqimm_1(i32 %a, i32 %x, i32 %y) {159; CHECK_NOPT-LABEL: select_no_beqimm_1:160; CHECK_NOPT: # %bb.0: # %entry161; CHECK_NOPT-NEXT: addi sp, sp, -16162; CHECK_NOPT-NEXT: .cfi_def_cfa_offset 16163; CHECK_NOPT-NEXT: sw a1, 8(sp) # 4-byte Folded Spill164; CHECK_NOPT-NEXT: li a1, -17165; CHECK_NOPT-NEXT: sw a2, 12(sp) # 4-byte Folded Spill166; CHECK_NOPT-NEXT: beq a0, a1, .LBB5_2167; CHECK_NOPT-NEXT: # %bb.1: # %entry168; CHECK_NOPT-NEXT: lw a0, 8(sp) # 4-byte Folded Reload169; CHECK_NOPT-NEXT: sw a0, 12(sp) # 4-byte Folded Spill170; CHECK_NOPT-NEXT: .LBB5_2: # %entry171; CHECK_NOPT-NEXT: lw a0, 12(sp) # 4-byte Folded Reload172; CHECK_NOPT-NEXT: addi sp, sp, 16173; CHECK_NOPT-NEXT: .cfi_def_cfa_offset 0174; CHECK_NOPT-NEXT: ret175;176; CHECK_OPT-LABEL: select_no_beqimm_1:177; CHECK_OPT: # %bb.0: # %entry178; CHECK_OPT-NEXT: li a3, -17179; CHECK_OPT-NEXT: beq a0, a3, .LBB5_2180; CHECK_OPT-NEXT: # %bb.1: # %entry181; CHECK_OPT-NEXT: mv a2, a1182; CHECK_OPT-NEXT: .LBB5_2: # %entry183; CHECK_OPT-NEXT: mv a0, a2184; CHECK_OPT-NEXT: ret185entry:186 %cmp.not = icmp eq i32 %a, -17187 %cond = select i1 %cmp.not, i32 %y, i32 %x188 ret i32 %cond189}190 191define i32 @select_no_beqimm_2(i32 %a, i32 %x, i32 %y) {192; CHECK_NOPT-LABEL: select_no_beqimm_2:193; CHECK_NOPT: # %bb.0: # %entry194; CHECK_NOPT-NEXT: addi sp, sp, -16195; CHECK_NOPT-NEXT: .cfi_def_cfa_offset 16196; CHECK_NOPT-NEXT: sw a1, 8(sp) # 4-byte Folded Spill197; CHECK_NOPT-NEXT: li a1, 16198; CHECK_NOPT-NEXT: sw a2, 12(sp) # 4-byte Folded Spill199; CHECK_NOPT-NEXT: beq a0, a1, .LBB6_2200; CHECK_NOPT-NEXT: # %bb.1: # %entry201; CHECK_NOPT-NEXT: lw a0, 8(sp) # 4-byte Folded Reload202; CHECK_NOPT-NEXT: sw a0, 12(sp) # 4-byte Folded Spill203; CHECK_NOPT-NEXT: .LBB6_2: # %entry204; CHECK_NOPT-NEXT: lw a0, 12(sp) # 4-byte Folded Reload205; CHECK_NOPT-NEXT: addi sp, sp, 16206; CHECK_NOPT-NEXT: .cfi_def_cfa_offset 0207; CHECK_NOPT-NEXT: ret208;209; CHECK_OPT-LABEL: select_no_beqimm_2:210; CHECK_OPT: # %bb.0: # %entry211; CHECK_OPT-NEXT: li a3, 16212; CHECK_OPT-NEXT: beq a0, a3, .LBB6_2213; CHECK_OPT-NEXT: # %bb.1: # %entry214; CHECK_OPT-NEXT: mv a2, a1215; CHECK_OPT-NEXT: .LBB6_2: # %entry216; CHECK_OPT-NEXT: mv a0, a2217; CHECK_OPT-NEXT: ret218entry:219 %cmp.not = icmp eq i32 %a, 16220 %cond = select i1 %cmp.not, i32 %y, i32 %x221 ret i32 %cond222}223 224define i32 @select_bneimm_1(i32 %a, i32 %x, i32 %y) {225; CHECK_NOPT-LABEL: select_bneimm_1:226; CHECK_NOPT: # %bb.0: # %entry227; CHECK_NOPT-NEXT: addi sp, sp, -16228; CHECK_NOPT-NEXT: .cfi_def_cfa_offset 16229; CHECK_NOPT-NEXT: sw a1, 8(sp) # 4-byte Folded Spill230; CHECK_NOPT-NEXT: sw a2, 12(sp) # 4-byte Folded Spill231; CHECK_NOPT-NEXT: cv.bneimm a0, 0, .LBB7_2232; CHECK_NOPT-NEXT: # %bb.1: # %entry233; CHECK_NOPT-NEXT: lw a0, 8(sp) # 4-byte Folded Reload234; CHECK_NOPT-NEXT: sw a0, 12(sp) # 4-byte Folded Spill235; CHECK_NOPT-NEXT: .LBB7_2: # %entry236; CHECK_NOPT-NEXT: lw a0, 12(sp) # 4-byte Folded Reload237; CHECK_NOPT-NEXT: addi sp, sp, 16238; CHECK_NOPT-NEXT: .cfi_def_cfa_offset 0239; CHECK_NOPT-NEXT: ret240;241; CHECK_OPT-LABEL: select_bneimm_1:242; CHECK_OPT: # %bb.0: # %entry243; CHECK_OPT-NEXT: cv.bneimm a0, 0, .LBB7_2244; CHECK_OPT-NEXT: # %bb.1: # %entry245; CHECK_OPT-NEXT: mv a2, a1246; CHECK_OPT-NEXT: .LBB7_2: # %entry247; CHECK_OPT-NEXT: mv a0, a2248; CHECK_OPT-NEXT: ret249entry:250 %cmp.not = icmp ne i32 %a, 0251 %cond = select i1 %cmp.not, i32 %y, i32 %x252 ret i32 %cond253}254 255