109 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 42; RUN: opt -passes=slp-vectorizer -S -mtriple=x86_64-unknown-linux-gnu -mcpu=x86-64-v3 < %s | FileCheck %s3 4define void @test(double %i) {5; CHECK-LABEL: define void @test(6; CHECK-SAME: double [[I:%.*]]) #[[ATTR0:[0-9]+]] {7; CHECK-NEXT: bb:8; CHECK-NEXT: [[TMP0:%.*]] = insertelement <2 x double> poison, double [[I]], i32 09; CHECK-NEXT: [[TMP1:%.*]] = fsub <2 x double> zeroinitializer, [[TMP0]]10; CHECK-NEXT: [[TMP2:%.*]] = insertelement <2 x double> <double 0.000000e+00, double poison>, double [[I]], i32 111; CHECK-NEXT: [[TMP3:%.*]] = fsub <2 x double> zeroinitializer, [[TMP2]]12; CHECK-NEXT: [[I75:%.*]] = fsub double 0.000000e+00, [[I]]13; CHECK-NEXT: [[TMP5:%.*]] = fsub <2 x double> [[TMP0]], zeroinitializer14; CHECK-NEXT: [[TMP7:%.*]] = shufflevector <2 x double> [[TMP1]], <2 x double> [[TMP5]], <4 x i32> <i32 poison, i32 0, i32 2, i32 poison>15; CHECK-NEXT: [[TMP6:%.*]] = shufflevector <2 x double> [[TMP5]], <2 x double> poison, <4 x i32> <i32 0, i32 1, i32 poison, i32 poison>16; CHECK-NEXT: [[TMP28:%.*]] = shufflevector <4 x double> [[TMP6]], <4 x double> [[TMP7]], <8 x i32> <i32 poison, i32 poison, i32 0, i32 poison, i32 poison, i32 5, i32 6, i32 poison>17; CHECK-NEXT: [[TMP8:%.*]] = shufflevector <8 x double> [[TMP28]], <8 x double> <double 0.000000e+00, double 0.000000e+00, double poison, double poison, double 0.000000e+00, double poison, double poison, double poison>, <8 x i32> <i32 8, i32 9, i32 2, i32 poison, i32 12, i32 5, i32 6, i32 poison>18; CHECK-NEXT: [[TMP9:%.*]] = insertelement <8 x double> [[TMP8]], double [[I75]], i32 319; CHECK-NEXT: [[TMP10:%.*]] = shufflevector <8 x double> [[TMP9]], <8 x double> poison, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 3>20; CHECK-NEXT: [[TMP11:%.*]] = fmul <8 x double> zeroinitializer, [[TMP10]]21; CHECK-NEXT: [[TMP12:%.*]] = fadd <8 x double> zeroinitializer, [[TMP11]]22; CHECK-NEXT: [[TMP13:%.*]] = fadd <8 x double> [[TMP12]], zeroinitializer23; CHECK-NEXT: [[TMP14:%.*]] = fcmp ult <8 x double> [[TMP13]], zeroinitializer24; CHECK-NEXT: br label [[BB116:%.*]]25; CHECK: bb116:26; CHECK-NEXT: [[TMP15:%.*]] = fmul <2 x double> zeroinitializer, [[TMP5]]27; CHECK-NEXT: [[TMP16:%.*]] = extractelement <2 x double> [[TMP15]], i32 028; CHECK-NEXT: [[TMP17:%.*]] = extractelement <2 x double> [[TMP15]], i32 129; CHECK-NEXT: [[I120:%.*]] = fadd double [[TMP16]], [[TMP17]]30; CHECK-NEXT: [[TMP18:%.*]] = fmul <2 x double> zeroinitializer, [[TMP1]]31; CHECK-NEXT: [[TMP19:%.*]] = fmul <2 x double> zeroinitializer, [[TMP3]]32; CHECK-NEXT: [[TMP20:%.*]] = extractelement <2 x double> [[TMP18]], i32 033; CHECK-NEXT: [[TMP21:%.*]] = extractelement <2 x double> [[TMP18]], i32 134; CHECK-NEXT: [[I128:%.*]] = fadd double [[TMP20]], [[TMP21]]35; CHECK-NEXT: [[I139:%.*]] = call double @llvm.maxnum.f64(double [[I128]], double 0.000000e+00)36; CHECK-NEXT: [[TMP22:%.*]] = fadd <2 x double> [[TMP19]], zeroinitializer37; CHECK-NEXT: [[TMP23:%.*]] = call <2 x double> @llvm.maxnum.v2f64(<2 x double> [[TMP22]], <2 x double> zeroinitializer)38; CHECK-NEXT: [[TMP24:%.*]] = fmul <2 x double> [[TMP23]], zeroinitializer39; CHECK-NEXT: [[TMP25:%.*]] = fptosi <2 x double> [[TMP24]] to <2 x i32>40; CHECK-NEXT: [[TMP26:%.*]] = sub <2 x i32> zeroinitializer, [[TMP25]]41; CHECK-NEXT: [[TMP27:%.*]] = icmp sgt <2 x i32> [[TMP26]], zeroinitializer42; CHECK-NEXT: [[I147:%.*]] = fcmp ogt double [[I120]], 0.000000e+0043; CHECK-NEXT: ret void44;45bb:46 %i74 = fsub double 0.000000e+00, poison47 %i75 = fsub double 0.000000e+00, %i48 %i76 = fmul double 0.000000e+00, %i7549 %i77 = fadd double %i76, 0.000000e+0050 %i78 = fadd double %i77, 0.000000e+0051 %i79 = fcmp ult double %i78, 0.000000e+0052 %i81 = fsub double %i, 0.000000e+0053 %i82 = fmul double 0.000000e+00, %i8154 %i83 = fadd double 0.000000e+00, %i8255 %i84 = fadd double %i83, 0.000000e+0056 %i85 = fcmp ult double %i84, 0.000000e+0057 %i86 = fsub double 0.000000e+00, %i58 %i87 = fmul double 0.000000e+00, %i8659 %i88 = fadd double %i87, 0.000000e+0060 %i89 = fadd double %i88, 0.000000e+0061 %i90 = fcmp ult double %i89, 0.000000e+0062 %i91 = fsub double 0.000000e+00, 0.000000e+0063 %i92 = fmul double 0.000000e+00, 0.000000e+0064 %i93 = fadd double %i92, 0.000000e+0065 %i94 = fadd double %i93, 0.000000e+0066 %i95 = fcmp ult double %i94, 0.000000e+0067 %i96 = fsub double poison, 0.000000e+0068 %i97 = fadd double %i77, 0.000000e+0069 %i98 = fcmp ult double %i97, 0.000000e+0070 %i99 = fadd double %i83, 0.000000e+0071 %i100 = fcmp ult double %i99, 0.000000e+0072 %i101 = fmul double 0.000000e+00, 0.000000e+0073 %i102 = fadd double %i101, 0.000000e+0074 %i103 = fadd double %i102, 0.000000e+0075 %i104 = fcmp ult double %i103, 0.000000e+0076 %i105 = fmul double 0.000000e+00, 0.000000e+0077 %i106 = fadd double %i105, 0.000000e+0078 %i107 = fadd double %i106, 0.000000e+0079 %i108 = fcmp ult double %i107, 0.000000e+0080 br label %bb11681 82bb116:83 %i117 = fmul double 0.000000e+00, %i8184 %i119 = fmul double 0.000000e+00, %i9685 %i120 = fadd double %i117, %i11986 %i121 = fmul double 0.000000e+00, %i7487 %i122 = fmul double 0.000000e+00, %i7588 %i123 = fadd double %i122, 0.000000e+0089 %i124 = fmul double 0.000000e+00, %i9190 %i125 = fadd double %i124, 0.000000e+0091 %i127 = fmul double 0.000000e+00, %i8692 %i128 = fadd double %i127, %i12193 %i133 = call double @llvm.maxnum.f64(double %i123, double 0.000000e+00)94 %i134 = fmul double %i133, 0.000000e+0095 %i135 = fptosi double %i134 to i3296 %i136 = sub i32 0, %i13597 %i137 = icmp sgt i32 %i136, 098 %i139 = call double @llvm.maxnum.f64(double %i128, double 0.000000e+00)99 %i142 = call double @llvm.maxnum.f64(double %i125, double 0.000000e+00)100 %i143 = fmul double %i142, 0.000000e+00101 %i144 = fptosi double %i143 to i32102 %i145 = sub i32 0, %i144103 %i146 = icmp sgt i32 %i145, 0104 %i147 = fcmp ogt double %i120, 0.000000e+00105 ret void106}107 108declare double @llvm.maxnum.f64(double, double)109