1 ; XFAIL: * 2 ; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s 3 4 %struct.anon = type { i32 (i32, i32, i32)*, i32, i32, [3 x i32], i8*, i8*, i8* } 5 @debug = external constant i32 ; <i32*> [#uses=0] 6 @counters = external constant i32 ; <i32*> [#uses=1] 7 @trialx = external global [17 x i32] ; <[17 x i32]*> [#uses=1] 8 @dummy1 = external global [7 x i32] ; <[7 x i32]*> [#uses=0] 9 @dummy2 = external global [4 x i32] ; <[4 x i32]*> [#uses=0] 10 @unacceptable = external global i32 ; <i32*> [#uses=0] 11 @isa = external global [13 x %struct.anon] ; <[13 x %struct.anon]*> [#uses=3] 12 @.str = external constant [4 x i8] ; <[4 x i8]*> [#uses=0] 13 @.str1 = external constant [3 x i8] ; <[3 x i8]*> [#uses=0] 14 @.str2 = external constant [1 x i8] ; <[1 x i8]*> [#uses=0] 15 @.str3 = external constant [4 x i8] ; <[4 x i8]*> [#uses=0] 16 @.str4 = external constant [3 x i8] ; <[3 x i8]*> [#uses=0] 17 @.str5 = external constant [4 x i8] ; <[4 x i8]*> [#uses=0] 18 @.str6 = external constant [2 x i8] ; <[2 x i8]*> [#uses=0] 19 @.str7 = external constant [4 x i8] ; <[4 x i8]*> [#uses=0] 20 @.str8 = external constant [4 x i8] ; <[4 x i8]*> [#uses=0] 21 @.str9 = external constant [4 x i8] ; <[4 x i8]*> [#uses=0] 22 @.str10 = external constant [4 x i8] ; <[4 x i8]*> [#uses=0] 23 @.str11 = external constant [2 x i8] ; <[2 x i8]*> [#uses=0] 24 @.str12 = external constant [4 x i8] ; <[4 x i8]*> [#uses=0] 25 @.str13 = external constant [2 x i8] ; <[2 x i8]*> [#uses=0] 26 @.str14 = external constant [5 x i8] ; <[5 x i8]*> [#uses=0] 27 @.str15 = external constant [5 x i8] ; <[5 x i8]*> [#uses=0] 28 @.str16 = external constant [4 x i8] ; <[4 x i8]*> [#uses=0] 29 @.str17 = external constant [4 x i8] ; <[4 x i8]*> [#uses=0] 30 @.str18 = external constant [3 x i8] ; <[3 x i8]*> [#uses=0] 31 @.str19 = external constant [4 x i8] ; <[4 x i8]*> [#uses=0] 32 @.str20 = external constant [4 x i8] ; <[4 x i8]*> [#uses=0] 33 @.str21 = external constant [4 x i8] ; <[4 x i8]*> [#uses=0] 34 @.str22 = external constant [4 x i8] ; <[4 x i8]*> [#uses=0] 35 @.str23 = external constant [5 x i8] ; <[5 x i8]*> [#uses=0] 36 @.str24 = external constant [4 x i8] ; <[4 x i8]*> [#uses=0] 37 @.str25 = external constant [6 x i8] ; <[6 x i8]*> [#uses=0] 38 @.str26 = external constant [5 x i8] ; <[5 x i8]*> [#uses=0] 39 @.str27 = external constant [6 x i8] ; <[6 x i8]*> [#uses=0] 40 @r = external global [17 x i32] ; <[17 x i32]*> [#uses=0] 41 @.str28 = external constant [3 x i8] ; <[3 x i8]*> [#uses=0] 42 @.str29 = external constant [5 x i8] ; <[5 x i8]*> [#uses=0] 43 @pgm = external global [5 x { i32, [3 x i32] }] ; <[5 x { i32, [3 x i32] }]*> [#uses=4] 44 @.str30 = external constant [3 x i8] ; <[3 x i8]*> [#uses=0] 45 @.str31 = external constant [13 x i8] ; <[13 x i8]*> [#uses=0] 46 @.str32 = external constant [3 x i8] ; <[3 x i8]*> [#uses=0] 47 @.str33 = external constant [4 x i8] ; <[4 x i8]*> [#uses=0] 48 @.str34 = external constant [20 x i8] ; <[20 x i8]*> [#uses=0] 49 @numi = external global i32 ; <i32*> [#uses=7] 50 @.str35 = external constant [10 x i8] ; <[10 x i8]*> [#uses=0] 51 @counter = external global [5 x i32] ; <[5 x i32]*> [#uses=2] 52 @itrialx.2510 = external global i32 ; <i32*> [#uses=0] 53 @.str36 = external constant [43 x i8] ; <[43 x i8]*> [#uses=0] 54 @.str37 = external constant [42 x i8] ; <[42 x i8]*> [#uses=0] 55 @corr_result = external global i32 ; <i32*> [#uses=0] 56 @.str38 = external constant [3 x i8] ; <[3 x i8]*> [#uses=0] 57 @.str39 = external constant [5 x i8] ; <[5 x i8]*> [#uses=0] 58 @.str40 = external constant [47 x i8] ; <[47 x i8]*> [#uses=0] 59 @correct_result = external global [17 x i32] ; <[17 x i32]*> [#uses=1] 60 @.str41 = external constant [46 x i8] ; <[46 x i8]*> [#uses=0] 61 @.str42 = external constant [32 x i8] ; <[32 x i8]*> [#uses=0] 62 @.str43 = external constant [44 x i8] ; <[44 x i8]*> [#uses=1] 63 @.str44 = external constant [21 x i8] ; <[21 x i8]*> [#uses=1] 64 @.str45 = external constant [12 x i8] ; <[12 x i8]*> [#uses=1] 65 @.str46 = external constant [5 x i8] ; <[5 x i8]*> [#uses=1] 66 @.str47 = external constant [12 x i8] ; <[12 x i8]*> [#uses=1] 67 68 declare i32 @neg(i32, i32, i32) 69 70 declare i32 @Not(i32, i32, i32) 71 72 declare i32 @pop(i32, i32, i32) 73 74 declare i32 @nlz(i32, i32, i32) 75 76 declare i32 @rev(i32, i32, i32) 77 78 declare i32 @add(i32, i32, i32) 79 80 declare i32 @sub(i32, i32, i32) 81 82 declare i32 @mul(i32, i32, i32) 83 84 declare i32 @divide(i32, i32, i32) 85 86 declare i32 @divu(i32, i32, i32) 87 88 declare i32 @And(i32, i32, i32) 89 90 declare i32 @Or(i32, i32, i32) 91 92 declare i32 @Xor(i32, i32, i32) 93 94 declare i32 @rotl(i32, i32, i32) 95 96 declare i32 @shl(i32, i32, i32) 97 98 declare i32 @shr(i32, i32, i32) 99 100 declare i32 @shrs(i32, i32, i32) 101 102 declare i32 @cmpeq(i32, i32, i32) 103 104 declare i32 @cmplt(i32, i32, i32) 105 106 declare i32 @cmpltu(i32, i32, i32) 107 108 declare i32 @seleq(i32, i32, i32) 109 110 declare i32 @sellt(i32, i32, i32) 111 112 declare i32 @selle(i32, i32, i32) 113 114 declare void @print_expr(i32) 115 116 declare i32 @printf(i8*, ...) 117 118 declare i32 @putchar(i32) 119 120 declare void @print_pgm() 121 122 declare void @simulate_one_instruction(i32) 123 124 declare i32 @check(i32) 125 126 declare i32 @puts(i8*) 127 128 declare void @fix_operands(i32) 129 130 declare void @abort() 131 132 declare i32 @increment() 133 134 declare i32 @search() 135 136 define i32 @main(i32 %argc, i8** %argv) { 137 entry: 138 %argc_addr = alloca i32 ; <i32*> [#uses=1] 139 %argv_addr = alloca i8** ; <i8***> [#uses=1] 140 %retval = alloca i32, align 4 ; <i32*> [#uses=2] 141 %tmp = alloca i32, align 4 ; <i32*> [#uses=2] 142 %i = alloca i32, align 4 ; <i32*> [#uses=21] 143 %num_sol = alloca i32, align 4 ; <i32*> [#uses=4] 144 %total = alloca i32, align 4 ; <i32*> [#uses=4] 145 %"alloca point" = bitcast i32 0 to i32 ; <i32> [#uses=0] 146 store i32 %argc, i32* %argc_addr 147 store i8** %argv, i8*** %argv_addr 148 store i32 0, i32* %num_sol 149 store i32 1, i32* @numi 150 br label %bb91 151 152 bb: ; preds = %cond_next97 153 %tmp1 = load i32, i32* @numi ; <i32> [#uses=1] 154 %tmp2 = getelementptr [44 x i8], [44 x i8]* @.str43, i32 0, i32 0 ; <i8*> [#uses=1] 155 %tmp3 = call i32 (i8*, ...) @printf( i8* %tmp2, i32 %tmp1 ) ; <i32> [#uses=0] 156 store i32 0, i32* %i 157 br label %bb13 158 159 bb4: ; preds = %bb13 160 %tmp5 = load i32, i32* %i ; <i32> [#uses=1] 161 %tmp6 = load i32, i32* %i ; <i32> [#uses=1] 162 %tmp7 = getelementptr [17 x i32], [17 x i32]* @trialx, i32 0, i32 %tmp6 ; <i32*> [#uses=1] 163 %tmp8 = load i32, i32* %tmp7 ; <i32> [#uses=1] 164 %tmp9 = call i32 @userfun( i32 %tmp8 ) ; <i32> [#uses=1] 165 %tmp10 = getelementptr [17 x i32], [17 x i32]* @correct_result, i32 0, i32 %tmp5 ; <i32*> [#uses=1] 166 store i32 %tmp9, i32* %tmp10 167 %tmp11 = load i32, i32* %i ; <i32> [#uses=1] 168 %tmp12 = add i32 %tmp11, 1 ; <i32> [#uses=1] 169 store i32 %tmp12, i32* %i 170 br label %bb13 171 172 bb13: ; preds = %bb4, %bb 173 %tmp14 = load i32, i32* %i ; <i32> [#uses=1] 174 %tmp15 = icmp sle i32 %tmp14, 16 ; <i1> [#uses=1] 175 %tmp1516 = zext i1 %tmp15 to i32 ; <i32> [#uses=1] 176 %toBool = icmp ne i32 %tmp1516, 0 ; <i1> [#uses=1] 177 br i1 %toBool, label %bb4, label %bb17 178 179 bb17: ; preds = %bb13 180 store i32 0, i32* %i 181 br label %bb49 182 183 bb18: ; preds = %bb49 184 %tmp19 = load i32, i32* %i ; <i32> [#uses=1] 185 %tmp20 = getelementptr [5 x { i32, [3 x i32] }], [5 x { i32, [3 x i32] }]* @pgm, i32 0, i32 %tmp19 ; <{ i32, [3 x i32] }*> [#uses=1] 186 %tmp21 = getelementptr { i32, [3 x i32] }, { i32, [3 x i32] }* %tmp20, i32 0, i32 0 ; <i32*> [#uses=1] 187 store i32 0, i32* %tmp21 188 %tmp22 = load i32, i32* %i ; <i32> [#uses=1] 189 %tmp23 = getelementptr [13 x %struct.anon], [13 x %struct.anon]* @isa, i32 0, i32 0 ; <%struct.anon*> [#uses=1] 190 %tmp24 = getelementptr %struct.anon, %struct.anon* %tmp23, i32 0, i32 3 ; <[3 x i32]*> [#uses=1] 191 %tmp25 = getelementptr [3 x i32], [3 x i32]* %tmp24, i32 0, i32 0 ; <i32*> [#uses=1] 192 %tmp26 = load i32, i32* %tmp25 ; <i32> [#uses=1] 193 %tmp27 = getelementptr [5 x { i32, [3 x i32] }], [5 x { i32, [3 x i32] }]* @pgm, i32 0, i32 %tmp22 ; <{ i32, [3 x i32] }*> [#uses=1] 194 %tmp28 = getelementptr { i32, [3 x i32] }, { i32, [3 x i32] }* %tmp27, i32 0, i32 1 ; <[3 x i32]*> [#uses=1] 195 %tmp29 = getelementptr [3 x i32], [3 x i32]* %tmp28, i32 0, i32 0 ; <i32*> [#uses=1] 196 store i32 %tmp26, i32* %tmp29 197 %tmp30 = load i32, i32* %i ; <i32> [#uses=1] 198 %tmp31 = getelementptr [13 x %struct.anon], [13 x %struct.anon]* @isa, i32 0, i32 0 ; <%struct.anon*> [#uses=1] 199 %tmp32 = getelementptr %struct.anon, %struct.anon* %tmp31, i32 0, i32 3 ; <[3 x i32]*> [#uses=1] 200 %tmp33 = getelementptr [3 x i32], [3 x i32]* %tmp32, i32 0, i32 1 ; <i32*> [#uses=1] 201 %tmp34 = load i32, i32* %tmp33 ; <i32> [#uses=1] 202 %tmp35 = getelementptr [5 x { i32, [3 x i32] }], [5 x { i32, [3 x i32] }]* @pgm, i32 0, i32 %tmp30 ; <{ i32, [3 x i32] }*> [#uses=1] 203 %tmp36 = getelementptr { i32, [3 x i32] }, { i32, [3 x i32] }* %tmp35, i32 0, i32 1 ; <[3 x i32]*> [#uses=1] 204 %tmp37 = getelementptr [3 x i32], [3 x i32]* %tmp36, i32 0, i32 1 ; <i32*> [#uses=1] 205 store i32 %tmp34, i32* %tmp37 206 %tmp38 = load i32, i32* %i ; <i32> [#uses=1] 207 %tmp39 = getelementptr [13 x %struct.anon], [13 x %struct.anon]* @isa, i32 0, i32 0 ; <%struct.anon*> [#uses=1] 208 %tmp40 = getelementptr %struct.anon, %struct.anon* %tmp39, i32 0, i32 3 ; <[3 x i32]*> [#uses=1] 209 %tmp41 = getelementptr [3 x i32], [3 x i32]* %tmp40, i32 0, i32 2 ; <i32*> [#uses=1] 210 %tmp42 = load i32, i32* %tmp41 ; <i32> [#uses=1] 211 %tmp43 = getelementptr [5 x { i32, [3 x i32] }], [5 x { i32, [3 x i32] }]* @pgm, i32 0, i32 %tmp38 ; <{ i32, [3 x i32] }*> [#uses=1] 212 %tmp44 = getelementptr { i32, [3 x i32] }, { i32, [3 x i32] }* %tmp43, i32 0, i32 1 ; <[3 x i32]*> [#uses=1] 213 %tmp45 = getelementptr [3 x i32], [3 x i32]* %tmp44, i32 0, i32 2 ; <i32*> [#uses=1] 214 store i32 %tmp42, i32* %tmp45 215 %tmp46 = load i32, i32* %i ; <i32> [#uses=1] 216 call void @fix_operands( i32 %tmp46 ) 217 %tmp47 = load i32, i32* %i ; <i32> [#uses=1] 218 ; CHECK: %tmp47 = phi i32 [ %tmp48, %bb18 ], [ 0, %bb17 ] 219 %tmp48 = add i32 %tmp47, 1 ; <i32> [#uses=1] 220 store i32 %tmp48, i32* %i 221 br label %bb49 222 223 bb49: ; preds = %bb18, %bb17 224 %tmp50 = load i32, i32* @numi ; <i32> [#uses=1] 225 %tmp51 = load i32, i32* %i ; <i32> [#uses=1] 226 %tmp52 = icmp slt i32 %tmp51, %tmp50 ; <i1> [#uses=1] 227 %tmp5253 = zext i1 %tmp52 to i32 ; <i32> [#uses=1] 228 %toBool54 = icmp ne i32 %tmp5253, 0 ; <i1> [#uses=1] 229 br i1 %toBool54, label %bb18, label %bb55 230 231 bb55: ; preds = %bb49 232 %tmp56 = call i32 @search( ) ; <i32> [#uses=1] 233 store i32 %tmp56, i32* %num_sol 234 %tmp57 = getelementptr [21 x i8], [21 x i8]* @.str44, i32 0, i32 0 ; <i8*> [#uses=1] 235 %tmp58 = load i32, i32* %num_sol ; <i32> [#uses=1] 236 %tmp59 = call i32 (i8*, ...) @printf( i8* %tmp57, i32 %tmp58 ) ; <i32> [#uses=0] 237 %tmp60 = load i32, i32* @counters ; <i32> [#uses=1] 238 %tmp61 = icmp ne i32 %tmp60, 0 ; <i1> [#uses=1] 239 %tmp6162 = zext i1 %tmp61 to i32 ; <i32> [#uses=1] 240 %toBool63 = icmp ne i32 %tmp6162, 0 ; <i1> [#uses=1] 241 br i1 %toBool63, label %cond_true, label %cond_next 242 243 cond_true: ; preds = %bb55 244 store i32 0, i32* %total 245 %tmp64 = getelementptr [12 x i8], [12 x i8]* @.str45, i32 0, i32 0 ; <i8*> [#uses=1] 246 %tmp65 = call i32 (i8*, ...) @printf( i8* %tmp64 ) ; <i32> [#uses=0] 247 store i32 0, i32* %i 248 br label %bb79 249 250 bb66: ; preds = %bb79 251 %tmp67 = load i32, i32* %i ; <i32> [#uses=1] 252 %tmp68 = getelementptr [5 x i32], [5 x i32]* @counter, i32 0, i32 %tmp67 ; <i32*> [#uses=1] 253 %tmp69 = load i32, i32* %tmp68 ; <i32> [#uses=1] 254 %tmp70 = getelementptr [5 x i8], [5 x i8]* @.str46, i32 0, i32 0 ; <i8*> [#uses=1] 255 %tmp71 = call i32 (i8*, ...) @printf( i8* %tmp70, i32 %tmp69 ) ; <i32> [#uses=0] 256 %tmp72 = load i32, i32* %i ; <i32> [#uses=1] 257 %tmp73 = getelementptr [5 x i32], [5 x i32]* @counter, i32 0, i32 %tmp72 ; <i32*> [#uses=1] 258 %tmp74 = load i32, i32* %tmp73 ; <i32> [#uses=1] 259 %tmp75 = load i32, i32* %total ; <i32> [#uses=1] 260 %tmp76 = add i32 %tmp74, %tmp75 ; <i32> [#uses=1] 261 store i32 %tmp76, i32* %total 262 %tmp77 = load i32, i32* %i ; <i32> [#uses=1] 263 %tmp78 = add i32 %tmp77, 1 ; <i32> [#uses=1] 264 store i32 %tmp78, i32* %i 265 br label %bb79 266 267 bb79: ; preds = %bb66, %cond_true 268 %tmp80 = load i32, i32* @numi ; <i32> [#uses=1] 269 %tmp81 = load i32, i32* %i ; <i32> [#uses=1] 270 %tmp82 = icmp slt i32 %tmp81, %tmp80 ; <i1> [#uses=1] 271 %tmp8283 = zext i1 %tmp82 to i32 ; <i32> [#uses=1] 272 %toBool84 = icmp ne i32 %tmp8283, 0 ; <i1> [#uses=1] 273 br i1 %toBool84, label %bb66, label %bb85 274 275 bb85: ; preds = %bb79 276 %tmp86 = getelementptr [12 x i8], [12 x i8]* @.str47, i32 0, i32 0 ; <i8*> [#uses=1] 277 %tmp87 = load i32, i32* %total ; <i32> [#uses=1] 278 %tmp88 = call i32 (i8*, ...) @printf( i8* %tmp86, i32 %tmp87 ) ; <i32> [#uses=0] 279 br label %cond_next 280 281 cond_next: ; preds = %bb85, %bb55 282 %tmp89 = load i32, i32* @numi ; <i32> [#uses=1] 283 %tmp90 = add i32 %tmp89, 1 ; <i32> [#uses=1] 284 store i32 %tmp90, i32* @numi 285 br label %bb91 286 287 bb91: ; preds = %cond_next, %entry 288 %tmp92 = load i32, i32* @numi ; <i32> [#uses=1] 289 %tmp93 = icmp sgt i32 %tmp92, 5 ; <i1> [#uses=1] 290 %tmp9394 = zext i1 %tmp93 to i32 ; <i32> [#uses=1] 291 %toBool95 = icmp ne i32 %tmp9394, 0 ; <i1> [#uses=1] 292 br i1 %toBool95, label %cond_true96, label %cond_next97 293 294 cond_true96: ; preds = %bb91 295 br label %bb102 296 297 cond_next97: ; preds = %bb91 298 %tmp98 = load i32, i32* %num_sol ; <i32> [#uses=1] 299 %tmp99 = icmp eq i32 %tmp98, 0 ; <i1> [#uses=1] 300 %tmp99100 = zext i1 %tmp99 to i32 ; <i32> [#uses=1] 301 %toBool101 = icmp ne i32 %tmp99100, 0 ; <i1> [#uses=1] 302 br i1 %toBool101, label %bb, label %bb102 303 304 bb102: ; preds = %cond_next97, %cond_true96 305 store i32 0, i32* %tmp 306 %tmp103 = load i32, i32* %tmp ; <i32> [#uses=1] 307 store i32 %tmp103, i32* %retval 308 br label %return 309 310 return: ; preds = %bb102 311 %retval104 = load i32, i32* %retval ; <i32> [#uses=1] 312 ret i32 %retval104 313 } 314 315 declare i32 @userfun(i32) 316
