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