1; RUN: opt < %s -passes=instcombine -S 2target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128-n8:16:32" 3target triple = "i386-apple-darwin10.0" 4 5define i32 @test0(i8 %tmp2) ssp { 6entry: 7 %tmp3 = zext i8 %tmp2 to i32 8 %tmp8 = lshr i32 %tmp3, 6 9 %tmp9 = lshr i32 %tmp3, 7 10 %tmp10 = xor i32 %tmp9, 67108858 11 %tmp11 = xor i32 %tmp10, %tmp8 12 %tmp12 = xor i32 %tmp11, 0 13 ret i32 %tmp12 14} 15 16; PR4905 17define <2 x i64> @test1(<2 x i64> %x, <2 x i64> %y) nounwind { 18entry: 19 %conv.i94 = bitcast <2 x i64> %y to <4 x i32> ; <<4 x i32>> [#uses=1] 20 %sub.i97 = sub <4 x i32> %conv.i94, poison ; <<4 x i32>> [#uses=1] 21 %conv3.i98 = bitcast <4 x i32> %sub.i97 to <2 x i64> ; <<2 x i64>> [#uses=2] 22 %conv2.i86 = bitcast <2 x i64> %conv3.i98 to <4 x i32> ; <<4 x i32>> [#uses=1] 23 %cmp.i87 = icmp sgt <4 x i32> poison, %conv2.i86 ; <<4 x i1>> [#uses=1] 24 %sext.i88 = sext <4 x i1> %cmp.i87 to <4 x i32> ; <<4 x i32>> [#uses=1] 25 %conv3.i89 = bitcast <4 x i32> %sext.i88 to <2 x i64> ; <<2 x i64>> [#uses=1] 26 %and.i = and <2 x i64> %conv3.i89, %conv3.i98 ; <<2 x i64>> [#uses=1] 27 %or.i = or <2 x i64> zeroinitializer, %and.i ; <<2 x i64>> [#uses=1] 28 %conv2.i43 = bitcast <2 x i64> %or.i to <4 x i32> ; <<4 x i32>> [#uses=1] 29 %sub.i = sub <4 x i32> zeroinitializer, %conv2.i43 ; <<4 x i32>> [#uses=1] 30 %conv3.i44 = bitcast <4 x i32> %sub.i to <2 x i64> ; <<2 x i64>> [#uses=1] 31 ret <2 x i64> %conv3.i44 32} 33 34 35; PR4908 36define void @test2(ptr nocapture %b, ptr nocapture %c) nounwind ssp { 37entry: 38 %arrayidx = getelementptr inbounds <1 x i16>, ptr %b, i64 0 ; <ptr> 39 %tmp2 = load <1 x i16>, ptr %arrayidx ; <<1 x i16>> [#uses=1] 40 %tmp6 = bitcast <1 x i16> %tmp2 to i16 ; <i16> [#uses=1] 41 %tmp7 = zext i16 %tmp6 to i32 ; <i32> [#uses=1] 42 %ins = or i32 0, %tmp7 ; <i32> [#uses=1] 43 %arrayidx20 = getelementptr inbounds i32, ptr %c, i64 0 ; <ptr> [#uses=1] 44 store i32 %ins, ptr %arrayidx20 45 ret void 46} 47 48; PR5262 49@tmp2 = global i64 0 ; <ptr> [#uses=1] 50 51declare void @use(i64) nounwind 52 53define void @foo(i1) nounwind align 2 { 54; <label>:1 55 br i1 %0, label %2, label %3 56 57; <label>:2 ; preds = %1 58 br label %3 59 60; <label>:3 ; preds = %2, %1 61 %4 = phi i8 [ 1, %2 ], [ 0, %1 ] ; <i8> [#uses=1] 62 %5 = icmp eq i8 %4, 0 ; <i1> [#uses=1] 63 %6 = load i64, ptr @tmp2, align 8 ; <i64> [#uses=1] 64 %7 = select i1 %5, i64 0, i64 %6 ; <i64> [#uses=1] 65 br label %8 66 67; <label>:8 ; preds = %3 68 call void @use(i64 %7) 69 ret void 70} 71 72%t0 = type { i32, i32 } 73%t1 = type { i32, i32, i32, i32, ptr } 74 75declare ptr @bar2(i64) 76 77define void @bar3(i1, i1) nounwind align 2 { 78; <label>:2 79 br i1 %1, label %10, label %3 80 81; <label>:3 ; preds = %2 82 %4 = getelementptr inbounds %t0, ptr null, i64 0, i32 1 ; <ptr> [#uses=0] 83 %5 = getelementptr inbounds %t1, ptr null, i64 0, i32 4 ; <ptr> [#uses=1] 84 %6 = load ptr, ptr %5, align 8 ; <ptr> [#uses=1] 85 %7 = icmp ne ptr %6, null ; <i1> [#uses=1] 86 %8 = zext i1 %7 to i32 ; <i32> [#uses=1] 87 %9 = add i32 %8, 0 ; <i32> [#uses=1] 88 br label %10 89 90; <label>:10 ; preds = %3, %2 91 %11 = phi i32 [ %9, %3 ], [ 0, %2 ] ; <i32> [#uses=1] 92 br i1 %1, label %12, label %13 93 94; <label>:12 ; preds = %10 95 br label %13 96 97; <label>:13 ; preds = %12, %10 98 %14 = zext i32 %11 to i64 ; <i64> [#uses=1] 99 %15 = tail call ptr @bar2(i64 %14) nounwind ; <ptr> [#uses=0] 100 ret void 101} 102 103 104 105 106; PR5262 107; Make sure the PHI node gets put in a place where all of its operands dominate 108; it. 109define i64 @test4(i1 %c, ptr %P) nounwind align 2 { 110BB0: 111 br i1 %c, label %BB1, label %BB2 112 113BB1: 114 br label %BB2 115 116BB2: 117 %v5_ = phi i1 [ true, %BB0], [false, %BB1] 118 %v6 = load i64, ptr %P 119 br label %l8 120 121l8: 122 br label %l10 123 124l10: 125 %v11 = select i1 %v5_, i64 0, i64 %v6 126 ret i64 %v11 127} 128 129; PR5471 130define i32 @test5a() { 131 ret i32 0 132} 133 134define void @test5(ptr %ptr) personality ptr @__gxx_personality_v0 { 135 store i1 true, ptr %ptr 136 %r = invoke i32 @test5a() to label %exit unwind label %unwind 137unwind: 138 %exn = landingpad {ptr, i32} 139 cleanup 140 br label %exit 141exit: 142 ret void 143} 144 145 146; PR5673 147 148@test6g = external global ptr 149 150define arm_aapcs_vfpcc i32 @test6(i32 %argc, ptr %argv) nounwind { 151entry: 152 store ptr getelementptr (i32, ptr @test6, i32 -2048), ptr @test6g, align 4 153 unreachable 154} 155 156 157; PR5827 158 159%class.RuleBasedBreakIterator = type { ptr } 160%class.UStack = type { ptr } 161 162define i32 @_ZN22RuleBasedBreakIterator15checkDictionaryEi(ptr %this, i32 %x) align 2 personality ptr @__gxx_personality_v0 { 163entry: 164 %breaks = alloca %class.UStack, align 4 ; <ptr> [#uses=3] 165 call void @_ZN6UStackC1Ei(ptr %breaks, i32 0) 166 %tobool = icmp ne i32 %x, 0 ; <i1> [#uses=1] 167 br i1 %tobool, label %cond.end, label %cond.false 168 169terminate.handler: ; preds = %ehcleanup 170 %exc = landingpad { ptr, i32 } 171 cleanup 172 call void @_ZSt9terminatev() noreturn nounwind 173 unreachable 174 175ehcleanup: ; preds = %cond.false 176 %exc1 = landingpad { ptr, i32 } 177 catch ptr null 178 invoke void @_ZN6UStackD1Ev(ptr %breaks) 179 to label %cont unwind label %terminate.handler 180 181cont: ; preds = %ehcleanup 182 resume { ptr, i32 } %exc1 183 184cond.false: ; preds = %entry 185 %tmp4 = getelementptr inbounds %class.RuleBasedBreakIterator, ptr %this, i32 0, i32 0 ; <ptr> [#uses=1] 186 %tmp5 = load ptr, ptr %tmp4 ; <ptr> [#uses=1] 187 %call = invoke i64 %tmp5() 188 to label %cond.end unwind label %ehcleanup ; <i64> [#uses=1] 189 190cond.end: ; preds = %cond.false, %entry 191 %cond = phi i64 [ 0, %entry ], [ %call, %cond.false ] ; <i64> [#uses=1] 192 %conv = trunc i64 %cond to i32 ; <i32> [#uses=1] 193 call void @_ZN6UStackD1Ev(ptr %breaks) 194 ret i32 %conv 195} 196 197declare void @_ZN6UStackC1Ei(ptr, i32) 198 199declare void @_ZN6UStackD1Ev(ptr) 200 201declare i32 @__gxx_personality_v0(...) 202 203declare void @_ZSt9terminatev() 204 205declare void @_Unwind_Resume_or_Rethrow(ptr) 206 207 208 209; rdar://7590304 210define ptr @test10(ptr %self, ptr %tmp3, ptr %ptr1, ptr %ptr2) personality ptr @__gxx_personality_v0 { 211entry: 212 store i1 true, ptr %ptr1 213 store i1 true, ptr %ptr2 214 invoke void @test10a() 215 to label %invoke.cont unwind label %try.handler ; <ptr> [#uses=0] 216 217invoke.cont: ; preds = %entry 218 unreachable 219 220try.handler: ; preds = %entry 221 %exn = landingpad {ptr, i32} 222 catch ptr null 223 ret ptr %self 224} 225 226define void @test10a() { 227 ret void 228} 229 230 231; PR6193 232define i32 @test11(i32 %aMaskWidth, i8 %aStride) nounwind { 233entry: 234 %conv41 = sext i8 %aStride to i32 235 %neg = xor i32 %conv41, -1 236 %and42 = and i32 %aMaskWidth, %neg 237 %and47 = and i32 130, %conv41 238 %or = or i32 %and42, %and47 239 ret i32 %or 240} 241 242; PR6503 243define void @test12(ptr %A) nounwind { 244entry: 245 %tmp1 = load i32, ptr %A 246 %cmp = icmp ugt i32 1, %tmp1 ; <i1> [#uses=1] 247 %conv = zext i1 %cmp to i32 ; <i32> [#uses=1] 248 %tmp2 = load i32, ptr %A 249 %cmp3 = icmp ne i32 %tmp2, 0 ; <i1> [#uses=1] 250 %conv4 = zext i1 %cmp3 to i32 ; <i32> [#uses=1] 251 %or = or i32 %conv, %conv4 ; <i32> [#uses=1] 252 %cmp5 = icmp ugt i32 0, %or ; <i1> [#uses=1] 253 %conv6 = zext i1 %cmp5 to i32 ; <i32> [#uses=0] 254 ret void 255} 256 257%s1 = type { %s2, %s2, [6 x %s2], i32, i32, i32, [1 x i32], [0 x i8] } 258%s2 = type { i64 } 259define void @test13(ptr %ptr1, ptr %ptr2, ptr %ptr3) nounwind { 260entry: 261 %0 = getelementptr inbounds %s1, ptr null, i64 0, i32 2, i64 0, i32 0 262 %1 = getelementptr inbounds %s1, ptr null, i64 0, i32 2, i64 1, i32 0 263 %.pre = load i32, ptr %0, align 8 264 %2 = lshr i32 %.pre, 19 265 %brmerge = or i1 1, 0 266 %3 = and i32 %2, 3 267 %4 = add nsw i32 %3, 1 268 %5 = shl i32 %4, 19 269 %6 = add i32 %5, 1572864 270 %7 = and i32 %6, 1572864 271 %8 = load i64, ptr %1, align 8 272 %trunc156 = trunc i64 %8 to i32 273 %9 = and i32 %trunc156, -1537 274 %10 = and i32 %9, -6145 275 %11 = or i32 %10, 2048 276 %12 = and i32 %11, -24577 277 %13 = or i32 %12, 16384 278 %14 = or i32 %13, 98304 279 store i32 %14, ptr %ptr1, align 8 280 %15 = and i32 %14, -1572865 281 %16 = or i32 %15, %7 282 store i32 %16, ptr %ptr2, align 8 283 %17 = and i32 %16, -449 284 %18 = or i32 %17, 64 285 store i32 %18, ptr %ptr3, align 8 286 unreachable 287} 288 289 290; PR8807 291declare i32 @test14f(ptr) nounwind 292 293define void @test14(ptr %ptr) nounwind readnone { 294entry: 295 %call10 = call i32 @test14f(ptr byval(i32) %ptr) 296 ret void 297} 298 299 300; PR8896 301@g_54 = external global [7 x i16] 302 303define void @test15(ptr %p_92, i1 %c1) nounwind { 304entry: 305%0 = load i32, ptr %p_92, align 4 306%1 = icmp ne i32 %0, 0 307%2 = zext i1 %1 to i32 308%3 = call i32 @func_14() nounwind 309%4 = trunc i32 %3 to i16 310%5 = sext i16 %4 to i32 311%6 = trunc i32 %5 to i16 312br i1 %c1, label %"3", label %"5" 313 314"3": ; preds = %entry 315%7 = sext i16 %6 to i32 316%8 = ashr i32 %7, -1649554541 317%9 = trunc i32 %8 to i16 318br label %"5" 319 320"5": ; preds = %"3", %entry 321%10 = phi i16 [ %9, %"3" ], [ %6, %entry ] 322%11 = sext i16 %10 to i32 323%12 = xor i32 %2, %11 324%13 = sext i32 %12 to i64 325%14 = icmp ne i64 %13, 0 326br i1 %14, label %return, label %"7" 327 328"7": ; preds = %"5" 329ret void 330 331return: ; preds = %"5" 332ret void 333} 334 335declare i32 @func_14() 336 337 338define double @test16(i32 %a) nounwind { 339 %cmp = icmp slt i32 %a, 2 340 %select = select i1 %cmp, double 2.000000e+00, double 3.141592e+00 341 ret double %select 342} 343 344 345; PR8983 346%struct.basic_ios = type { i8 } 347 348define ptr@test17() ssp { 349entry: 350 ret ptr null 351} 352 353; PR9013 354define void @test18() nounwind ssp { 355entry: 356 br label %for.cond 357 358for.cond: ; preds = %for.inc, %entry 359 %l_197.0 = phi i32 [ 0, %entry ], [ %sub.i, %for.inc ] 360 br label %for.inc 361 362for.inc: ; preds = %for.cond 363 %conv = and i32 %l_197.0, 255 364 %sub.i = add nsw i32 %conv, -1 365 br label %for.cond 366 367return: ; No predecessors! 368 ret void 369} 370 371; PR11275 372declare void @test18b() noreturn 373declare void @test18foo(ptr) 374declare void @test18a() noreturn 375define fastcc void @test18x(ptr %t0, i1 %b) uwtable align 2 personality ptr @__gxx_personality_v0 { 376entry: 377 br i1 %b, label %e1, label %e2 378e1: 379 invoke void @test18b() noreturn 380 to label %u unwind label %lpad 381e2: 382 invoke void @test18a() noreturn 383 to label %u unwind label %lpad 384lpad: 385 %t5 = phi ptr [ %t0, %e1 ], [ %t0, %e2 ] 386 %lpad.nonloopexit262 = landingpad { ptr, i32 } 387 cleanup 388 call void @test18foo(ptr %t5) 389 unreachable 390u: 391 unreachable 392} 393