76 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=slp-vectorizer,dce -S -mtriple=x86_64-apple-macosx10.8.0 -mcpu=corei7 | FileCheck %s3 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 uwtable8define void @main(i1 %arg) {9; CHECK-LABEL: @main(10; CHECK-NEXT: entry:11; CHECK-NEXT: br i1 %arg, label [[WHILE_BODY:%.*]], label [[WHILE_END:%.*]]12; CHECK: while.body:13; CHECK-NEXT: unreachable14; CHECK: while.end:15; CHECK-NEXT: br i1 %arg, 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 %arg, 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, undef27; CHECK-NEXT: [[MUL270:%.*]] = fmul double [[MUL269]], [[MUL269]]28; CHECK-NEXT: [[ADD282:%.*]] = fadd double undef, undef29; CHECK-NEXT: [[MUL283:%.*]] = fmul double [[MUL269]], [[ADD282]]30; CHECK-NEXT: [[ADD293:%.*]] = fadd double undef, undef31; 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 %arg, label [[FOR_BODY267]], label [[FOR_END300]]36; CHECK: for.end300:37; CHECK-NEXT: unreachable38;39entry:40 br i1 %arg, label %while.body, label %while.end41 42while.body: ; preds = %entry43 unreachable44 45while.end: ; preds = %entry46 br i1 %arg, label %for.end80, label %for.body75.lr.ph47 48for.body75.lr.ph: ; preds = %while.end49 br label %for.body7550 51for.body75: ; preds = %for.body75, %for.body75.lr.ph52 br label %for.body7553 54for.end80: ; preds = %while.end55 br i1 %arg, label %for.end300, label %for.body267.lr.ph56 57for.body267.lr.ph: ; preds = %for.end8058 br label %for.body26759 60for.body267: ; preds = %for.body267, %for.body267.lr.ph61 %s.71010 = phi double [ 0.000000e+00, %for.body267.lr.ph ], [ %add297, %for.body267 ]62 %mul269 = fmul double undef, undef63 %mul270 = fmul double %mul269, %mul26964 %add282 = fadd double undef, undef65 %mul283 = fmul double %mul269, %add28266 %add293 = fadd double undef, undef67 %mul294 = fmul double %mul270, %add29368 %add295 = fadd double undef, %mul29469 %div296 = fdiv double %mul283, %add29570 %add297 = fadd double %s.71010, %div29671 br i1 %arg, label %for.body267, label %for.end30072 73for.end300: ; preds = %for.body267, %for.end8074 unreachable75}76