19fa3243fSPhilip Reames; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 23be72f40SBjorn Pettersson; RUN: opt -S -passes=slp-vectorizer < %s | FileCheck %s 39fa3243fSPhilip Reames 49fa3243fSPhilip Reamesdeclare void @use(double, double) 59fa3243fSPhilip Reames 69fa3243fSPhilip Reames; Create a situation where a previously scheduled instruction is encountered 79fa3243fSPhilip Reames; again, and needs to be unscheduled. 89fa3243fSPhilip Reamesdefine void @test() { 99fa3243fSPhilip Reames; CHECK-LABEL: @test( 109fa3243fSPhilip Reames; CHECK-NEXT: for.body602: 119fa3243fSPhilip Reames; CHECK-NEXT: [[MUL701:%.*]] = fmul double 0.000000e+00, 0.000000e+00 129fa3243fSPhilip Reames; CHECK-NEXT: [[MUL703:%.*]] = fmul double 0.000000e+00, 0.000000e+00 139fa3243fSPhilip Reames; CHECK-NEXT: [[I4:%.*]] = call double @llvm.fmuladd.f64(double [[MUL701]], double 0.000000e+00, double [[MUL703]]) 14*580210a0SNikita Popov; CHECK-NEXT: store double [[I4]], ptr null, align 8 15*580210a0SNikita Popov; CHECK-NEXT: [[I5:%.*]] = load double, ptr null, align 8 16*580210a0SNikita Popov; CHECK-NEXT: [[I6:%.*]] = load double, ptr null, align 8 179fa3243fSPhilip Reames; CHECK-NEXT: [[MUL746:%.*]] = fmul double 0.000000e+00, [[I6]] 189fa3243fSPhilip Reames; CHECK-NEXT: [[MUL747:%.*]] = fmul double 0.000000e+00, [[I5]] 199fa3243fSPhilip Reames; CHECK-NEXT: [[TMP0:%.*]] = insertelement <2 x double> poison, double [[MUL746]], i32 0 209fa3243fSPhilip Reames; CHECK-NEXT: [[TMP1:%.*]] = insertelement <2 x double> [[TMP0]], double [[MUL701]], i32 1 219fa3243fSPhilip Reames; CHECK-NEXT: [[TMP2:%.*]] = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> zeroinitializer, <2 x double> zeroinitializer, <2 x double> [[TMP1]]) 229fa3243fSPhilip Reames; CHECK-NEXT: [[TMP3:%.*]] = insertelement <2 x double> poison, double [[MUL747]], i32 0 239fa3243fSPhilip Reames; CHECK-NEXT: [[TMP4:%.*]] = insertelement <2 x double> [[TMP3]], double [[MUL703]], i32 1 249fa3243fSPhilip Reames; CHECK-NEXT: [[TMP5:%.*]] = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> [[TMP2]], <2 x double> zeroinitializer, <2 x double> [[TMP4]]) 259fa3243fSPhilip Reames; CHECK-NEXT: [[TMP6:%.*]] = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> [[TMP5]], <2 x double> zeroinitializer, <2 x double> zeroinitializer) 269fa3243fSPhilip Reames; CHECK-NEXT: [[TMP7:%.*]] = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> zeroinitializer, <2 x double> [[TMP6]], <2 x double> zeroinitializer) 279fa3243fSPhilip Reames; CHECK-NEXT: br label [[FOR_COND794_PREHEADER:%.*]] 289fa3243fSPhilip Reames; CHECK: for.cond794.preheader: 299fa3243fSPhilip Reames; CHECK-NEXT: [[TMP8:%.*]] = phi <2 x double> [ [[TMP7]], [[FOR_BODY602:%.*]] ] 309fa3243fSPhilip Reames; CHECK-NEXT: ret void 319fa3243fSPhilip Reames; 329fa3243fSPhilip Reamesfor.body602: 339fa3243fSPhilip Reames %mul701 = fmul double 0.000000e+00, 0.000000e+00 349fa3243fSPhilip Reames %mul703 = fmul double 0.000000e+00, 0.000000e+00 359fa3243fSPhilip Reames %i = call double @llvm.fmuladd.f64(double 0.000000e+00, double 0.000000e+00, double %mul701) 369fa3243fSPhilip Reames %i1 = call double @llvm.fmuladd.f64(double %i, double 0.000000e+00, double %mul703) 379fa3243fSPhilip Reames %i2 = call double @llvm.fmuladd.f64(double %i1, double 0.000000e+00, double 0.000000e+00) 389fa3243fSPhilip Reames %i3 = call double @llvm.fmuladd.f64(double 0.000000e+00, double %i2, double 0.000000e+00) 399fa3243fSPhilip Reames %i4 = call double @llvm.fmuladd.f64(double %mul701, double 0.000000e+00, double %mul703) 40*580210a0SNikita Popov store double %i4, ptr null, align 8 41*580210a0SNikita Popov %i5 = load double, ptr null, align 8 42*580210a0SNikita Popov %i6 = load double, ptr null, align 8 439fa3243fSPhilip Reames %mul746 = fmul double 0.000000e+00, %i6 449fa3243fSPhilip Reames %mul747 = fmul double 0.000000e+00, %i5 459fa3243fSPhilip Reames %i7 = call double @llvm.fmuladd.f64(double 0.000000e+00, double 0.000000e+00, double %mul746) 469fa3243fSPhilip Reames %i8 = call double @llvm.fmuladd.f64(double %i7, double 0.000000e+00, double %mul747) 479fa3243fSPhilip Reames %i9 = call double @llvm.fmuladd.f64(double %i8, double 0.000000e+00, double 0.000000e+00) 489fa3243fSPhilip Reames %i10 = call double @llvm.fmuladd.f64(double 0.000000e+00, double %i9, double 0.000000e+00) 499fa3243fSPhilip Reames br label %for.cond794.preheader 509fa3243fSPhilip Reames 519fa3243fSPhilip Reamesfor.cond794.preheader: ; preds = %for.body602 529fa3243fSPhilip Reames %fullElectEnergy.1.lcssa = phi double [ %i10, %for.body602 ] 539fa3243fSPhilip Reames %electEnergy.1.lcssa = phi double [ %i3, %for.body602 ] 549fa3243fSPhilip Reames ret void 559fa3243fSPhilip Reames 569fa3243fSPhilip Reames} 579fa3243fSPhilip Reames 589fa3243fSPhilip Reamesdeclare double @llvm.fmuladd.f64(double, double, double) 59