111 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 32; RUN: %if x86-registered-target %{ opt -passes=slp-vectorizer -S -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s %}3; RUN: %if aarch64-registered-target %{ opt -passes=slp-vectorizer -S -mtriple=aarch64-unknown-linux-gnu < %s | FileCheck %s %}4 5define void @test(double %0) {6; CHECK-LABEL: define void @test(7; CHECK-SAME: double [[TMP0:%.*]]) {8; CHECK-NEXT: [[TMP2:%.*]] = insertelement <2 x double> poison, double [[TMP0]], i32 09; CHECK-NEXT: [[TMP3:%.*]] = shufflevector <2 x double> [[TMP2]], <2 x double> poison, <2 x i32> zeroinitializer10; CHECK-NEXT: br label [[TMP4:%.*]]11; CHECK: 4:12; CHECK-NEXT: [[TMP5:%.*]] = fsub <2 x double> zeroinitializer, [[TMP3]]13; CHECK-NEXT: [[TMP6:%.*]] = fsub <2 x double> zeroinitializer, [[TMP3]]14; CHECK-NEXT: br label [[DOTBACKEDGE:%.*]]15; CHECK: .backedge:16; CHECK-NEXT: [[TMP7:%.*]] = fmul <2 x double> [[TMP5]], [[TMP6]]17; CHECK-NEXT: [[TMP8:%.*]] = fcmp olt <2 x double> [[TMP7]], zeroinitializer18; CHECK-NEXT: br label [[TMP4]]19;20 br label %221 222:23 %3 = fsub double 0.000000e+00, %024 %4 = fsub double 0.000000e+00, %025 %5 = fsub double 0.000000e+00, %026 br label %.backedge27 28.backedge:29 %6 = fmul double %4, %530 %7 = fcmp olt double %6, 0.000000e+0031 %8 = fmul double %5, %332 %9 = fcmp olt double %8, 0.000000e+0033 br label %234}35 36define void @test1(double %0, <4 x double> %v) {37; CHECK-LABEL: define void @test1(38; CHECK-SAME: double [[TMP0:%.*]], <4 x double> [[V:%.*]]) {39; CHECK-NEXT: [[TMP2:%.*]] = shufflevector <4 x double> [[V]], <4 x double> poison, <2 x i32> <i32 poison, i32 0>40; CHECK-NEXT: [[TMP3:%.*]] = insertelement <2 x double> [[TMP2]], double [[TMP0]], i32 041; CHECK-NEXT: [[TMP4:%.*]] = shufflevector <2 x double> [[TMP3]], <2 x double> poison, <4 x i32> <i32 0, i32 1, i32 0, i32 0>42; CHECK-NEXT: br label [[TMP5:%.*]]43; CHECK: 5:44; CHECK-NEXT: [[TMP6:%.*]] = fsub <4 x double> <double 1.000000e+00, double 2.000000e+00, double 3.000000e+00, double 4.000000e+00>, [[V]]45; CHECK-NEXT: [[TMP7:%.*]] = fsub <4 x double> <double 0.000000e+00, double 1.000000e+00, double 0.000000e+00, double 0.000000e+00>, [[TMP4]]46; CHECK-NEXT: br label [[DOTBACKEDGE:%.*]]47; CHECK: .backedge:48; CHECK-NEXT: [[TMP8:%.*]] = fmul <4 x double> [[TMP7]], [[TMP6]]49; CHECK-NEXT: [[TMP9:%.*]] = fcmp olt <4 x double> [[TMP8]], zeroinitializer50; CHECK-NEXT: br label [[TMP5]]51;52 %e0 = extractelement <4 x double> %v, i32 053 %e1 = extractelement <4 x double> %v, i32 154 %e2 = extractelement <4 x double> %v, i32 255 %e3 = extractelement <4 x double> %v, i32 356 br label %257 582:59 %m1 = fsub double 1.000000e+00, %e060 %m2 = fsub double 2.000000e+00, %e161 %m3 = fsub double 3.000000e+00, %e262 %m4 = fsub double 4.000000e+00, %e363 %3 = fsub double 0.000000e+00, %064 %4 = fsub double 0.000000e+00, %065 %5 = fsub double 0.000000e+00, %066 br label %.backedge67 68.backedge:69 %6 = fmul double %m1, %m270 %7 = fcmp olt double %6, 0.000000e+0071 %8 = fmul double %3, %m172 %9 = fcmp olt double %8, 0.000000e+0073 %10 = fmul double %4, %m374 %11 = fcmp olt double %10, 0.000000e+0075 %12 = fmul double %5, %m476 %13 = fcmp olt double %12, 0.000000e+0077 br label %278}79 80define void @test2(double %0) {81; CHECK-LABEL: define void @test2(82; CHECK-SAME: double [[TMP0:%.*]]) {83; CHECK-NEXT: [[TMP2:%.*]] = insertelement <2 x double> poison, double [[TMP0]], i32 084; CHECK-NEXT: [[TMP3:%.*]] = shufflevector <2 x double> [[TMP2]], <2 x double> poison, <2 x i32> zeroinitializer85; CHECK-NEXT: br label [[TMP4:%.*]]86; CHECK: 4:87; CHECK-NEXT: [[TMP5:%.*]] = fsub <2 x double> <double 3.000000e+00, double 2.000000e+00>, [[TMP3]]88; CHECK-NEXT: [[TMP6:%.*]] = fsub <2 x double> <double 3.000000e+00, double 1.000000e+00>, [[TMP3]]89; CHECK-NEXT: br label [[DOTBACKEDGE:%.*]]90; CHECK: .backedge:91; CHECK-NEXT: [[TMP7:%.*]] = fmul <2 x double> [[TMP5]], [[TMP6]]92; CHECK-NEXT: [[TMP8:%.*]] = fcmp olt <2 x double> [[TMP7]], zeroinitializer93; CHECK-NEXT: br label [[TMP4]]94;95 br label %296 972:98 %3 = fsub double 1.000000e+00, %099 %4 = fsub double 2.000000e+00, %0100 %5 = fsub double 3.000000e+00, %0101 br label %.backedge102 103.backedge:104 %6 = fmul double %4, %3105 %7 = fcmp olt double %6, 0.000000e+00106 %8 = fmul double %5, %5107 %9 = fcmp olt double %8, 0.000000e+00108 br label %2109}110 111