blob: 4162015ea88e39f37f0b6f490995b16ce1cdcbb1 [file] [log] [blame]
Jakob Stoklund Olesen17d4f9b2011-05-04 23:54:59 +00001; RUN: llc < %s -mtriple=i386-apple-darwin -join-physregs | FileCheck %s
Evan Cheng8c4df812010-03-11 08:20:21 +00002; rdar://5571034
3
Jakob Stoklund Olesen17d4f9b2011-05-04 23:54:59 +00004; This requires physreg joining, %vreg13 is live everywhere:
5; 304L %CL<def> = COPY %vreg13:sub_8bit; GR32_ABCD:%vreg13
6; 320L %vreg15<def> = COPY %vreg19; GR32:%vreg15 GR32_NOSP:%vreg19
7; 336L %vreg15<def> = SAR32rCL %vreg15, %EFLAGS<imp-def,dead>, %CL<imp-use,kill>; GR32:%vreg15
8
Evan Cheng8c4df812010-03-11 08:20:21 +00009define void @foo(i32* nocapture %quadrant, i32* nocapture %ptr, i32 %bbSize, i32 %bbStart, i32 %shifts) nounwind ssp {
10; CHECK: foo:
11entry:
12 %j.03 = add i32 %bbSize, -1 ; <i32> [#uses=2]
13 %0 = icmp sgt i32 %j.03, -1 ; <i1> [#uses=1]
14 br i1 %0, label %bb.nph, label %return
15
16bb.nph: ; preds = %entry
17 %tmp9 = add i32 %bbStart, %bbSize ; <i32> [#uses=1]
18 %tmp10 = add i32 %tmp9, -1 ; <i32> [#uses=1]
19 br label %bb
20
21bb: ; preds = %bb, %bb.nph
22; CHECK: %bb
23; CHECK-NOT: movb {{.*}}l, %cl
24; CHECK: sarl %cl
25 %indvar = phi i32 [ 0, %bb.nph ], [ %indvar.next, %bb ] ; <i32> [#uses=3]
26 %j.06 = sub i32 %j.03, %indvar ; <i32> [#uses=1]
27 %tmp11 = sub i32 %tmp10, %indvar ; <i32> [#uses=1]
28 %scevgep = getelementptr i32* %ptr, i32 %tmp11 ; <i32*> [#uses=1]
29 %1 = load i32* %scevgep, align 4 ; <i32> [#uses=1]
30 %2 = ashr i32 %j.06, %shifts ; <i32> [#uses=1]
31 %3 = and i32 %2, 65535 ; <i32> [#uses=1]
32 %4 = getelementptr inbounds i32* %quadrant, i32 %1 ; <i32*> [#uses=1]
33 store i32 %3, i32* %4, align 4
34 %indvar.next = add i32 %indvar, 1 ; <i32> [#uses=2]
35 %exitcond = icmp eq i32 %indvar.next, %bbSize ; <i1> [#uses=1]
36 br i1 %exitcond, label %return, label %bb
37
38return: ; preds = %bb, %entry
39 ret void
40}