59 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=slp-vectorizer < %s | FileCheck %s3 4declare void @use(double, double)5 6; Create a situation where a previously scheduled instruction is encountered7; again, and needs to be unscheduled.8define void @test() {9; CHECK-LABEL: @test(10; CHECK-NEXT: for.body602:11; CHECK-NEXT: [[MUL701:%.*]] = fmul double 0.000000e+00, 0.000000e+0012; CHECK-NEXT: [[MUL703:%.*]] = fmul double 0.000000e+00, 0.000000e+0013; CHECK-NEXT: [[I4:%.*]] = call double @llvm.fmuladd.f64(double [[MUL701]], double 0.000000e+00, double [[MUL703]])14; CHECK-NEXT: store double [[I4]], ptr null, align 815; CHECK-NEXT: [[I5:%.*]] = load double, ptr null, align 816; CHECK-NEXT: [[I6:%.*]] = load double, ptr null, align 817; CHECK-NEXT: [[MUL746:%.*]] = fmul double 0.000000e+00, [[I6]]18; CHECK-NEXT: [[MUL747:%.*]] = fmul double 0.000000e+00, [[I5]]19; CHECK-NEXT: [[TMP0:%.*]] = insertelement <2 x double> poison, double [[MUL746]], i32 020; CHECK-NEXT: [[TMP1:%.*]] = insertelement <2 x double> [[TMP0]], double [[MUL701]], i32 121; CHECK-NEXT: [[TMP2:%.*]] = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> zeroinitializer, <2 x double> zeroinitializer, <2 x double> [[TMP1]])22; CHECK-NEXT: [[TMP3:%.*]] = insertelement <2 x double> poison, double [[MUL747]], i32 023; CHECK-NEXT: [[TMP4:%.*]] = insertelement <2 x double> [[TMP3]], double [[MUL703]], i32 124; CHECK-NEXT: [[TMP5:%.*]] = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> [[TMP2]], <2 x double> zeroinitializer, <2 x double> [[TMP4]])25; CHECK-NEXT: [[TMP6:%.*]] = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> [[TMP5]], <2 x double> zeroinitializer, <2 x double> zeroinitializer)26; CHECK-NEXT: [[TMP7:%.*]] = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> zeroinitializer, <2 x double> [[TMP6]], <2 x double> zeroinitializer)27; CHECK-NEXT: br label [[FOR_COND794_PREHEADER:%.*]]28; CHECK: for.cond794.preheader:29; CHECK-NEXT: [[TMP8:%.*]] = phi <2 x double> [ [[TMP7]], [[FOR_BODY602:%.*]] ]30; CHECK-NEXT: ret void31;32for.body602:33 %mul701 = fmul double 0.000000e+00, 0.000000e+0034 %mul703 = fmul double 0.000000e+00, 0.000000e+0035 %i = call double @llvm.fmuladd.f64(double 0.000000e+00, double 0.000000e+00, double %mul701)36 %i1 = call double @llvm.fmuladd.f64(double %i, double 0.000000e+00, double %mul703)37 %i2 = call double @llvm.fmuladd.f64(double %i1, double 0.000000e+00, double 0.000000e+00)38 %i3 = call double @llvm.fmuladd.f64(double 0.000000e+00, double %i2, double 0.000000e+00)39 %i4 = call double @llvm.fmuladd.f64(double %mul701, double 0.000000e+00, double %mul703)40 store double %i4, ptr null, align 841 %i5 = load double, ptr null, align 842 %i6 = load double, ptr null, align 843 %mul746 = fmul double 0.000000e+00, %i644 %mul747 = fmul double 0.000000e+00, %i545 %i7 = call double @llvm.fmuladd.f64(double 0.000000e+00, double 0.000000e+00, double %mul746)46 %i8 = call double @llvm.fmuladd.f64(double %i7, double 0.000000e+00, double %mul747)47 %i9 = call double @llvm.fmuladd.f64(double %i8, double 0.000000e+00, double 0.000000e+00)48 %i10 = call double @llvm.fmuladd.f64(double 0.000000e+00, double %i9, double 0.000000e+00)49 br label %for.cond794.preheader50 51for.cond794.preheader: ; preds = %for.body60252 %fullElectEnergy.1.lcssa = phi double [ %i10, %for.body602 ]53 %electEnergy.1.lcssa = phi double [ %i3, %for.body602 ]54 ret void55 56}57 58declare double @llvm.fmuladd.f64(double, double, double)59