77 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 52; RUN: llc -O1 -mtriple=riscv64 -mattr=+v < %s | FileCheck %s3 4define i32 @pr134424(i64 %input_value, i32 %base_value, i1 %cond_flag1, i1 %cond_flag2, i1 %cond_flag3) {5; CHECK-LABEL: pr134424:6; CHECK: # %bb.0: # %for.body.us.preheader.i7; CHECK-NEXT: andi a3, a3, 18; CHECK-NEXT: andi a5, a2, 19; CHECK-NEXT: vsetivli zero, 4, e64, m2, ta, ma10; CHECK-NEXT: vmv.v.x v8, a011; CHECK-NEXT: vsetvli zero, zero, e64, m2, tu, ma12; CHECK-NEXT: vmv.s.x v8, zero13; CHECK-NEXT: vsetivli zero, 1, e8, mf8, ta, ma14; CHECK-NEXT: vmv.v.i v0, 1415; CHECK-NEXT: mv a2, a116; CHECK-NEXT: bnez a5, .LBB0_217; CHECK-NEXT: # %bb.1: # %for.body.us.preheader.i18; CHECK-NEXT: li a2, 119; CHECK-NEXT: .LBB0_2: # %for.body.us.preheader.i20; CHECK-NEXT: vsetivli zero, 4, e64, m2, ta, ma21; CHECK-NEXT: vmerge.vxm v8, v8, a0, v022; CHECK-NEXT: andi a4, a4, 123; CHECK-NEXT: mv a0, a124; CHECK-NEXT: bnez a3, .LBB0_425; CHECK-NEXT: # %bb.3: # %for.body.us.preheader.i26; CHECK-NEXT: li a0, 127; CHECK-NEXT: .LBB0_4: # %for.body.us.preheader.i28; CHECK-NEXT: vmsle.vi v0, v8, 029; CHECK-NEXT: sext.w a2, a230; CHECK-NEXT: bnez a4, .LBB0_631; CHECK-NEXT: # %bb.5: # %for.body.us.preheader.i32; CHECK-NEXT: li a1, 133; CHECK-NEXT: .LBB0_6: # %for.body.us.preheader.i34; CHECK-NEXT: sext.w a0, a035; CHECK-NEXT: vsetvli zero, zero, e32, m1, ta, ma36; CHECK-NEXT: vmv.v.i v8, 037; CHECK-NEXT: vmerge.vim v8, v8, 1, v038; CHECK-NEXT: vsetivli zero, 8, e32, m2, ta, ma39; CHECK-NEXT: vredmin.vs v8, v8, v840; CHECK-NEXT: vmv.x.s a3, v841; CHECK-NEXT: sext.w a1, a142; CHECK-NEXT: bge a3, a2, .LBB0_1143; CHECK-NEXT: # %bb.7: # %for.body.us.preheader.i44; CHECK-NEXT: bge a0, a1, .LBB0_1245; CHECK-NEXT: .LBB0_8: # %for.body.us.preheader.i46; CHECK-NEXT: blt a3, a0, .LBB0_1047; CHECK-NEXT: .LBB0_9: # %for.body.us.preheader.i48; CHECK-NEXT: mv a3, a049; CHECK-NEXT: .LBB0_10: # %for.body.us.preheader.i50; CHECK-NEXT: sw a3, 0(zero)51; CHECK-NEXT: li a0, 052; CHECK-NEXT: ret53; CHECK-NEXT: .LBB0_11: # %for.body.us.preheader.i54; CHECK-NEXT: mv a3, a255; CHECK-NEXT: blt a0, a1, .LBB0_856; CHECK-NEXT: .LBB0_12: # %for.body.us.preheader.i57; CHECK-NEXT: mv a0, a158; CHECK-NEXT: bge a3, a0, .LBB0_959; CHECK-NEXT: j .LBB0_1060for.body.us.preheader.i:61 %partial_vector = insertelement <4 x i64> zeroinitializer, i64 %input_value, i64 162 %comparison_vector = shufflevector <4 x i64> %partial_vector, <4 x i64> zeroinitializer, <4 x i32> <i32 0, i32 1, i32 1, i32 1>63 %comparison_result = icmp sle <4 x i64> %comparison_vector, zeroinitializer64 %selected_value1 = select i1 %cond_flag1, i32 %base_value, i32 165 %selected_value2 = select i1 %cond_flag2, i32 %base_value, i32 166 %selected_value3 = select i1 %cond_flag3, i32 %base_value, i32 167 %bool_to_int = zext <4 x i1> %comparison_result to <4 x i32>68 %extended_vector = shufflevector <4 x i32> %bool_to_int, <4 x i32> zeroinitializer, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 poison, i32 poison, i32 poison, i32 poison>69 %vector_min = call i32 @llvm.vector.reduce.smin.v8i32(<8 x i32> %extended_vector)70 %min1 = call i32 @llvm.smin.i32(i32 %vector_min, i32 %selected_value1)71 %min2 = call i32 @llvm.smin.i32(i32 %selected_value2, i32 %selected_value3)72 %final_min = call i32 @llvm.smin.i32(i32 %min1, i32 %min2)73 store i32 %final_min, ptr null, align 474 ret i32 075}76 77