1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -basic-aa -slp-vectorizer -dce -S -mtriple=x86_64-apple-macosx10.8.0 -mcpu=corei7 | FileCheck %s 3 4target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" 5target triple = "x86_64-apple-macosx10.8.0" 6 7; Function Attrs: nounwind ssp uwtable 8define void @main() #0 { 9; CHECK-LABEL: @main( 10; CHECK-NEXT: entry: 11; CHECK-NEXT: br i1 undef, label [[WHILE_BODY:%.*]], label [[WHILE_END:%.*]] 12; CHECK: while.body: 13; CHECK-NEXT: unreachable 14; CHECK: while.end: 15; CHECK-NEXT: br i1 undef, label [[FOR_END80:%.*]], label [[FOR_BODY75_LR_PH:%.*]] 16; CHECK: for.body75.lr.ph: 17; CHECK-NEXT: br label [[FOR_BODY75:%.*]] 18; CHECK: for.body75: 19; CHECK-NEXT: br label [[FOR_BODY75]] 20; CHECK: for.end80: 21; CHECK-NEXT: br i1 undef, label [[FOR_END300:%.*]], label [[FOR_BODY267_LR_PH:%.*]] 22; CHECK: for.body267.lr.ph: 23; CHECK-NEXT: br label [[FOR_BODY267:%.*]] 24; CHECK: for.body267: 25; CHECK-NEXT: [[S_71010:%.*]] = phi double [ 0.000000e+00, [[FOR_BODY267_LR_PH]] ], [ [[ADD297:%.*]], [[FOR_BODY267]] ] 26; CHECK-NEXT: [[MUL269:%.*]] = fmul double undef, undef 27; CHECK-NEXT: [[MUL270:%.*]] = fmul double [[MUL269]], [[MUL269]] 28; CHECK-NEXT: [[ADD282:%.*]] = fadd double undef, undef 29; CHECK-NEXT: [[MUL283:%.*]] = fmul double [[MUL269]], [[ADD282]] 30; CHECK-NEXT: [[ADD293:%.*]] = fadd double undef, undef 31; CHECK-NEXT: [[MUL294:%.*]] = fmul double [[MUL270]], [[ADD293]] 32; CHECK-NEXT: [[ADD295:%.*]] = fadd double undef, [[MUL294]] 33; CHECK-NEXT: [[DIV296:%.*]] = fdiv double [[MUL283]], [[ADD295]] 34; CHECK-NEXT: [[ADD297]] = fadd double [[S_71010]], [[DIV296]] 35; CHECK-NEXT: br i1 undef, label [[FOR_BODY267]], label [[FOR_END300]] 36; CHECK: for.end300: 37; CHECK-NEXT: unreachable 38; 39entry: 40 br i1 undef, label %while.body, label %while.end 41 42while.body: ; preds = %entry 43 unreachable 44 45while.end: ; preds = %entry 46 br i1 undef, label %for.end80, label %for.body75.lr.ph 47 48for.body75.lr.ph: ; preds = %while.end 49 br label %for.body75 50 51for.body75: ; preds = %for.body75, %for.body75.lr.ph 52 br label %for.body75 53 54for.end80: ; preds = %while.end 55 br i1 undef, label %for.end300, label %for.body267.lr.ph 56 57for.body267.lr.ph: ; preds = %for.end80 58 br label %for.body267 59 60for.body267: ; preds = %for.body267, %for.body267.lr.ph 61 %s.71010 = phi double [ 0.000000e+00, %for.body267.lr.ph ], [ %add297, %for.body267 ] 62 %mul269 = fmul double undef, undef 63 %mul270 = fmul double %mul269, %mul269 64 %add282 = fadd double undef, undef 65 %mul283 = fmul double %mul269, %add282 66 %add293 = fadd double undef, undef 67 %mul294 = fmul double %mul270, %add293 68 %add295 = fadd double undef, %mul294 69 %div296 = fdiv double %mul283, %add295 70 %add297 = fadd double %s.71010, %div296 71 br i1 undef, label %for.body267, label %for.end300 72 73for.end300: ; preds = %for.body267, %for.end80 74 unreachable 75} 76 77attributes #0 = { nounwind ssp uwtable "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "unsafe-fp-math"="false" "use-soft-float"="false" } 78