1*f4a2713aSLionel Sambuc; RUN: llc < %s | FileCheck %s 2*f4a2713aSLionel Sambuctarget 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" 3*f4a2713aSLionel Sambuctarget triple = "x86_64-apple-darwin10.0.0" 4*f4a2713aSLionel Sambuc 5*f4a2713aSLionel Sambucdefine i32 @f(i32 %x) nounwind ssp { 6*f4a2713aSLionel Sambucentry: 7*f4a2713aSLionel Sambuc %shl.i = shl i32 %x, 12 8*f4a2713aSLionel Sambuc %neg.i = xor i32 %shl.i, -1 9*f4a2713aSLionel Sambuc %add.i = add nsw i32 %neg.i, %x 10*f4a2713aSLionel Sambuc %shr.i = ashr i32 %add.i, 22 11*f4a2713aSLionel Sambuc %xor.i = xor i32 %shr.i, %add.i 12*f4a2713aSLionel Sambuc %shl5.i = shl i32 %xor.i, 13 13*f4a2713aSLionel Sambuc %neg6.i = xor i32 %shl5.i, -1 14*f4a2713aSLionel Sambuc %add8.i = add nsw i32 %xor.i, %neg6.i 15*f4a2713aSLionel Sambuc %shr10.i = ashr i32 %add8.i, 8 16*f4a2713aSLionel Sambuc %xor12.i = xor i32 %shr10.i, %add8.i 17*f4a2713aSLionel Sambuc %add16.i = mul i32 %xor12.i, 9 18*f4a2713aSLionel Sambuc %shr18.i = ashr i32 %add16.i, 15 19*f4a2713aSLionel Sambuc %xor20.i = xor i32 %shr18.i, %add16.i 20*f4a2713aSLionel Sambuc %shl22.i = shl i32 %xor20.i, 27 21*f4a2713aSLionel Sambuc %neg23.i = xor i32 %shl22.i, -1 22*f4a2713aSLionel Sambuc %add25.i = add nsw i32 %xor20.i, %neg23.i 23*f4a2713aSLionel Sambuc %shr27.i = ashr i32 %add25.i, 31 24*f4a2713aSLionel Sambuc %rem = srem i32 %x, 7 25*f4a2713aSLionel Sambuc %cmp = icmp eq i32 %rem, 3 26*f4a2713aSLionel Sambuc br i1 %cmp, label %land.lhs.true, label %do.body.preheader 27*f4a2713aSLionel Sambuc 28*f4a2713aSLionel Sambucland.lhs.true: 29*f4a2713aSLionel Sambuc %call3 = tail call i32 @g(i32 %x) nounwind 30*f4a2713aSLionel Sambuc %cmp4 = icmp eq i32 %call3, 10 31*f4a2713aSLionel Sambuc br i1 %cmp4, label %do.body.preheader, label %if.then 32*f4a2713aSLionel Sambuc 33*f4a2713aSLionel Sambuc; %add16.i should be sinked all the way down to do.body.preheader, but not into the loop. 34*f4a2713aSLionel Sambuc; CHECK: do.body.preheader 35*f4a2713aSLionel Sambuc; CHECK-NOT: do.body 36*f4a2713aSLionel Sambuc; CHECK: leal ([[SRC:%r[a-z0-9]+]],[[SRC]],8) 37*f4a2713aSLionel Sambuc 38*f4a2713aSLionel Sambucdo.body.preheader: 39*f4a2713aSLionel Sambuc %xor29.i = xor i32 %shr27.i, %add25.i 40*f4a2713aSLionel Sambuc br label %do.body 41*f4a2713aSLionel Sambuc 42*f4a2713aSLionel Sambucif.then: 43*f4a2713aSLionel Sambuc %add = add nsw i32 %x, 11 44*f4a2713aSLionel Sambuc ret i32 %add 45*f4a2713aSLionel Sambuc 46*f4a2713aSLionel Sambucdo.body: 47*f4a2713aSLionel Sambuc %x.addr.1 = phi i32 [ %add9, %do.body ], [ %x, %do.body.preheader ] 48*f4a2713aSLionel Sambuc %xor = xor i32 %xor29.i, %x.addr.1 49*f4a2713aSLionel Sambuc %add9 = add nsw i32 %xor, %x.addr.1 50*f4a2713aSLionel Sambuc %and = and i32 %add9, 13 51*f4a2713aSLionel Sambuc %tobool = icmp eq i32 %and, 0 52*f4a2713aSLionel Sambuc br i1 %tobool, label %if.end, label %do.body 53*f4a2713aSLionel Sambuc 54*f4a2713aSLionel Sambucif.end: 55*f4a2713aSLionel Sambuc ret i32 %add9 56*f4a2713aSLionel Sambuc} 57*f4a2713aSLionel Sambuc 58*f4a2713aSLionel Sambucdeclare i32 @g(i32) 59