1 ; RUN: opt < %s -passes='print<phi-values>' -disable-output 2>&1 | FileCheck %s 2 3 @X = common global i32 0 4 5 ; CHECK-LABEL: PHI Values for function: simple 6 define void @simple(i32* %ptr) { 7 entry: 8 br i1 undef, label %if, label %else 9 10 if: 11 br label %end 12 13 else: 14 br label %end 15 16 end: 17 ; CHECK: PHI %phi1 has values: 18 ; CHECK-DAG: i32 0 19 ; CHECK-DAG: i32 1 20 %phi1 = phi i32 [ 0, %if ], [ 1, %else ] 21 ; CHECK: PHI %phi2 has values: 22 ; CHECK-DAG: @X 23 ; CHECK-DAG: %ptr 24 %phi2 = phi i32* [ @X, %if ], [ %ptr, %else ] 25 ret void 26 } 27 28 ; CHECK-LABEL: PHI Values for function: chain 29 define void @chain() { 30 entry: 31 br i1 undef, label %if1, label %else1 32 33 if1: 34 br label %middle 35 36 else1: 37 br label %middle 38 39 middle: 40 ; CHECK: PHI %phi1 has values: 41 ; CHECK-DAG: i32 0 42 ; CHECK-DAG: i32 1 43 %phi1 = phi i32 [ 0, %if1 ], [ 1, %else1 ] 44 br i1 undef, label %if2, label %else2 45 46 if2: 47 br label %end 48 49 else2: 50 br label %end 51 52 end: 53 ; CHECK: PHI %phi2 has values: 54 ; CHECK-DAG: i32 0 55 ; CHECK-DAG: i32 1 56 ; CHECK-DAG: i32 2 57 %phi2 = phi i32 [ %phi1, %if2 ], [ 2, %else2 ] 58 ret void 59 } 60 61 ; CHECK-LABEL: PHI Values for function: no_values 62 define void @no_values() { 63 entry: 64 ret void 65 66 unreachable: 67 ; CHECK: PHI %phi has values: 68 ; CHECK-DAG: NONE 69 %phi = phi i32 [ %phi, %unreachable ] 70 br label %unreachable 71 } 72 73 ; CHECK-LABEL: PHI Values for function: simple_loop 74 define void @simple_loop() { 75 entry: 76 br label %loop 77 78 loop: 79 ; CHECK: PHI %phi has values: 80 ; CHECK-DAG: i32 0 81 %phi = phi i32 [ 0, %entry ], [ %phi, %loop ] 82 br i1 undef, label %loop, label %end 83 84 end: 85 ret void 86 } 87 88 ; CHECK-LABEL: PHI Values for function: complex_loop 89 define void @complex_loop() { 90 entry: 91 br i1 undef, label %loop, label %end 92 93 loop: 94 ; CHECK: PHI %phi1 has values: 95 ; CHECK-DAG: i32 0 96 ; CHECK-DAG: i32 1 97 %phi1 = phi i32 [ 0, %entry ], [ %phi2, %then ] 98 br i1 undef, label %if, label %else 99 100 if: 101 br label %then 102 103 else: 104 br label %then 105 106 then: 107 ; CHECK: PHI %phi2 has values: 108 ; CHECK-DAG: i32 0 109 ; CHECK-DAG: i32 1 110 %phi2 = phi i32 [ %phi1, %if ], [ 1, %else ] 111 br i1 undef, label %loop, label %end 112 113 end: 114 ; CHECK: PHI %phi3 has values: 115 ; CHECK-DAG: i32 0 116 ; CHECK-DAG: i32 1 117 ; CHECK-DAG: i32 2 118 %phi3 = phi i32 [ 2, %entry ], [ %phi2, %then ] 119 ret void 120 } 121 122 ; CHECK-LABEL: PHI Values for function: strange_loop 123 define void @strange_loop() { 124 entry: 125 br i1 undef, label %ifelse, label %inloop 126 127 loop: 128 ; CHECK: PHI %phi1 has values: 129 ; CHECK-DAG: i32 0 130 ; CHECK-DAG: i32 1 131 ; CHECK-DAG: i32 2 132 ; CHECK-DAG: i32 3 133 %phi1 = phi i32 [ %phi3, %if ], [ 0, %else ], [ %phi2, %inloop ] 134 br i1 undef, label %inloop, label %end 135 136 inloop: 137 ; CHECK: PHI %phi2 has values: 138 ; CHECK-DAG: i32 0 139 ; CHECK-DAG: i32 1 140 ; CHECK-DAG: i32 2 141 ; CHECK-DAG: i32 3 142 %phi2 = phi i32 [ %phi1, %loop ], [ 1, %entry ] 143 br i1 undef, label %ifelse, label %loop 144 145 ifelse: 146 ; CHECK: PHI %phi3 has values: 147 ; CHECK-DAG: i32 2 148 ; CHECK-DAG: i32 3 149 %phi3 = phi i32 [ 2, %entry ], [ 3, %inloop ] 150 br i1 undef, label %if, label %else 151 152 if: 153 br label %loop 154 155 else: 156 br label %loop 157 158 end: 159 ret void 160 } 161 162 ; CHECK-LABEL: PHI Values for function: mutual_loops 163 define void @mutual_loops() { 164 entry: 165 br i1 undef, label %loop1, label %loop2 166 167 loop1: 168 ; CHECK: PHI %phi1 has values: 169 ; CHECK-DAG: 0 170 ; CHECK-DAG: 1 171 ; CHECK-DAG: 2 172 ; CHECK-DAG: 3 173 ; CHECK-DAG: 4 174 %phi1 = phi i32 [ 0, %entry ], [ %phi2, %loop1.then ], [ %phi3, %loop2.if ] 175 br i1 undef, label %loop1.if, label %loop1.else 176 177 loop1.if: 178 br i1 undef, label %loop1.then, label %loop2 179 180 loop1.else: 181 br label %loop1.then 182 183 loop1.then: 184 ; CHECK: PHI %phi2 has values: 185 ; CHECK-DAG: 0 186 ; CHECK-DAG: 1 187 ; CHECK-DAG: 2 188 ; CHECK-DAG: 3 189 ; CHECK-DAG: 4 190 %phi2 = phi i32 [ 1, %loop1.if ], [ %phi1, %loop1.else ] 191 br i1 undef, label %loop1, label %end 192 193 loop2: 194 ; CHECK: PHI %phi3 has values: 195 ; CHECK-DAG: 2 196 ; CHECK-DAG: 3 197 ; CHECK-DAG: 4 198 %phi3 = phi i32 [ 2, %entry ], [ %phi4, %loop2.then ], [ 3, %loop1.if ] 199 br i1 undef, label %loop2.if, label %loop2.else 200 201 loop2.if: 202 br i1 undef, label %loop2.then, label %loop1 203 204 loop2.else: 205 br label %loop2.then 206 207 loop2.then: 208 ; CHECK: PHI %phi4 has values: 209 ; CHECK-DAG: 2 210 ; CHECK-DAG: 3 211 ; CHECK-DAG: 4 212 %phi4 = phi i32 [ 4, %loop2.if ], [ %phi3, %loop2.else ] 213 br i1 undef, label %loop2, label %end 214 215 end: 216 ; CHECK: PHI %phi5 has values: 217 ; CHECK-DAG: 0 218 ; CHECK-DAG: 1 219 ; CHECK-DAG: 2 220 ; CHECK-DAG: 3 221 ; CHECK-DAG: 4 222 %phi5 = phi i32 [ %phi2, %loop1.then ], [ %phi4, %loop2.then ] 223 ret void 224 } 225 226 ; CHECK-LABEL: PHI Values for function: nested_loops_several_values 227 define void @nested_loops_several_values() { 228 entry: 229 br label %loop1 230 231 loop1: 232 ; CHECK: PHI %phi1 has values: 233 ; CHECK-DAG: i32 0 234 ; CHECK-DAG: %add 235 %phi1 = phi i32 [ 0, %entry ], [ %phi2, %loop2 ] 236 br i1 undef, label %loop2, label %end 237 238 loop2: 239 ; CHECK: PHI %phi2 has values: 240 ; CHECK-DAG: i32 0 241 ; CHECK-DAG: %add 242 %phi2 = phi i32 [ %phi1, %loop1 ], [ %phi3, %loop3 ] 243 br i1 undef, label %loop3, label %loop1 244 245 loop3: 246 ; CHECK: PHI %phi3 has values: 247 ; CHECK-DAG: i32 0 248 ; CHECK-DAG: %add 249 %phi3 = phi i32 [ %add, %loop3 ], [ %phi2, %loop2 ] 250 %add = add i32 %phi3, 1 251 br i1 undef, label %loop3, label %loop2 252 253 end: 254 ret void 255 } 256 257 ; CHECK-LABEL: PHI Values for function: nested_loops_one_value 258 define void @nested_loops_one_value() { 259 entry: 260 br label %loop1 261 262 loop1: 263 ; CHECK: PHI %phi1 has values: 264 ; CHECK-DAG: i32 0 265 %phi1 = phi i32 [ 0, %entry ], [ %phi2, %loop2 ] 266 br i1 undef, label %loop2, label %end 267 268 loop2: 269 ; CHECK: PHI %phi2 has values: 270 ; CHECK-DAG: i32 0 271 %phi2 = phi i32 [ %phi1, %loop1 ], [ %phi3, %loop3 ] 272 br i1 undef, label %loop3, label %loop1 273 274 loop3: 275 ; CHECK: PHI %phi3 has values: 276 ; CHECK-DAG: i32 0 277 %phi3 = phi i32 [ 0, %loop3 ], [ %phi2, %loop2 ] 278 br i1 undef, label %loop3, label %loop2 279 280 end: 281 ret void 282 } 283
