aboutsummaryrefslogtreecommitdiffstats
path: root/test/Transforms/InstCombine/2012-06-06-LoadOfPHIs.ll
blob: 4af1ca842c598e863c7f5b4d8be58f921f643c53 (plain)
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
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
; RUN: opt < %s -instcombine -S | FileCheck %s
; <rdar://problem/10889741>

define void @func(double %r, double %g, double %b, double* %outH, double* %outS, double* %outL) nounwind uwtable ssp {
bb:
  %tmp = alloca double, align 8
  %tmp1 = alloca double, align 8
  %tmp2 = alloca double, align 8
  store double %r, double* %tmp, align 8
  store double %g, double* %tmp1, align 8
  store double %b, double* %tmp2, align 8
  %tmp3 = fcmp ogt double %r, %g
  br i1 %tmp3, label %bb4, label %bb8

bb4:                                              ; preds = %bb
  %tmp5 = fcmp ogt double %r, %b
  br i1 %tmp5, label %bb6, label %bb7

bb6:                                              ; preds = %bb4
  br label %bb12

bb7:                                              ; preds = %bb4
  br label %bb12

bb8:                                              ; preds = %bb
  %tmp9 = fcmp ogt double %g, %b
  br i1 %tmp9, label %bb10, label %bb11

bb10:                                             ; preds = %bb8
  br label %bb12

bb11:                                             ; preds = %bb8
  br label %bb12

bb12:                                             ; preds = %bb11, %bb10, %bb7, %bb6
  %max.0 = phi double* [ %tmp, %bb6 ], [ %tmp2, %bb7 ], [ %tmp1, %bb10 ], [ %tmp2, %bb11 ]
; CHECK: %tmp13 = load double, double* %tmp, align 8
; CHECK: %tmp14 = load double, double* %tmp1, align 8
; CHECK: %tmp15 = fcmp olt double %tmp13, %tmp14
  %tmp13 = load double, double* %tmp, align 8
  %tmp14 = load double, double* %tmp1, align 8
  %tmp15 = fcmp olt double %tmp13, %tmp14
  br i1 %tmp15, label %bb16, label %bb21

bb16:                                             ; preds = %bb12
  %tmp17 = load double, double* %tmp2, align 8
  %tmp18 = fcmp olt double %tmp13, %tmp17
  br i1 %tmp18, label %bb19, label %bb20

bb19:                                             ; preds = %bb16
  br label %bb26

bb20:                                             ; preds = %bb16
  br label %bb26

bb21:                                             ; preds = %bb12
  %tmp22 = load double, double* %tmp2, align 8
  %tmp23 = fcmp olt double %tmp14, %tmp22
  br i1 %tmp23, label %bb24, label %bb25

bb24:                                             ; preds = %bb21
  br label %bb26

bb25:                                             ; preds = %bb21
  br label %bb26

bb26:                                             ; preds = %bb25, %bb24, %bb20, %bb19
  %min.0 = phi double* [ %tmp, %bb19 ], [ %tmp2, %bb20 ], [ %tmp1, %bb24 ], [ %tmp2, %bb25 ]
; CHECK: %tmp27 = load double, double* %min.0, align 8
; CHECK: %tmp28 = load double, double* %max.0
; CHECK: %tmp29 = fadd double %tmp27, %tmp28
  %tmp27 = load double, double* %min.0, align 8
  %tmp28 = load double, double* %max.0
  %tmp29 = fadd double %tmp27, %tmp28
  %tmp30 = fdiv double %tmp29, 2.000000e+00
  store double %tmp30, double* %outL
  %tmp31 = load double, double* %min.0
  %tmp32 = load double, double* %max.0
  %tmp33 = fcmp oeq double %tmp31, %tmp32
  br i1 %tmp33, label %bb34, label %bb35

bb34:                                             ; preds = %bb26
  store double 0.000000e+00, double* %outS
  store double 0.000000e+00, double* %outH
  br label %bb81

bb35:                                             ; preds = %bb26
  %tmp36 = fcmp olt double %tmp30, 5.000000e-01
  %tmp37 = fsub double %tmp32, %tmp31
  br i1 %tmp36, label %bb38, label %bb41

bb38:                                             ; preds = %bb35
  %tmp39 = fadd double %tmp32, %tmp31
  %tmp40 = fdiv double %tmp37, %tmp39
  store double %tmp40, double* %outS
  br label %bb45

bb41:                                             ; preds = %bb35
  %tmp42 = fsub double 2.000000e+00, %tmp32
  %tmp43 = fsub double %tmp42, %tmp31
  %tmp44 = fdiv double %tmp37, %tmp43
  store double %tmp44, double* %outS
  br label %bb45

bb45:                                             ; preds = %bb41, %bb38
  %tmp46 = icmp eq double* %max.0, %tmp
  br i1 %tmp46, label %bb47, label %bb55

bb47:                                             ; preds = %bb45
  %tmp48 = load double, double* %tmp1, align 8
  %tmp49 = load double, double* %tmp2, align 8
  %tmp50 = fsub double %tmp48, %tmp49
  %tmp51 = load double, double* %max.0
  %tmp52 = load double, double* %min.0
  %tmp53 = fsub double %tmp51, %tmp52
  %tmp54 = fdiv double %tmp50, %tmp53
  store double %tmp54, double* %outH
  br label %bb75

bb55:                                             ; preds = %bb45
  %tmp56 = icmp eq double* %max.0, %tmp1
  br i1 %tmp56, label %bb57, label %bb66

bb57:                                             ; preds = %bb55
  %tmp58 = load double, double* %tmp2, align 8
  %tmp59 = load double, double* %tmp, align 8
  %tmp60 = fsub double %tmp58, %tmp59
  %tmp61 = load double, double* %max.0
  %tmp62 = load double, double* %min.0
  %tmp63 = fsub double %tmp61, %tmp62
  %tmp64 = fdiv double %tmp60, %tmp63
  %tmp65 = fadd double 2.000000e+00, %tmp64
  store double %tmp65, double* %outH
  br label %bb75

bb66:                                             ; preds = %bb55
  %tmp67 = load double, double* %tmp, align 8
  %tmp68 = load double, double* %tmp1, align 8
  %tmp69 = fsub double %tmp67, %tmp68
  %tmp70 = load double, double* %max.0
  %tmp71 = load double, double* %min.0
  %tmp72 = fsub double %tmp70, %tmp71
  %tmp73 = fdiv double %tmp69, %tmp72
  %tmp74 = fadd double 4.000000e+00, %tmp73
  store double %tmp74, double* %outH
  br label %bb75

bb75:                                             ; preds = %bb66, %bb57, %bb47
  %tmp76 = load double, double* %outH
  %tmp77 = fdiv double %tmp76, 6.000000e+00
  store double %tmp77, double* %outH
  %tmp78 = fcmp olt double %tmp77, 0.000000e+00
  br i1 %tmp78, label %bb79, label %bb81

bb79:                                             ; preds = %bb75
  %tmp80 = fadd double %tmp77, 1.000000e+00
  store double %tmp80, double* %outH
  br label %bb81

bb81:                                             ; preds = %bb79, %bb75, %bb34
  ret void
}