Stackmap shadows should consider call returns a branch target.
[oota-llvm.git] / test / CodeGen / X86 / 2009-09-21-NoSpillLoopCount.ll
1 ; RUN: llc < %s -mtriple=i386-apple-darwin10.0 -relocation-model=pic | FileCheck %s
2
3 define void @dot(i16* nocapture %A, i32 %As, i16* nocapture %B, i32 %Bs, i16* nocapture %C, i32 %N) nounwind ssp {
4 ; CHECK-LABEL: dot:
5 ; CHECK: decl %
6 ; CHECK-NEXT: jne
7 entry:
8         %0 = icmp sgt i32 %N, 0         ; <i1> [#uses=1]
9         br i1 %0, label %bb, label %bb2
10
11 bb:             ; preds = %bb, %entry
12         %i.03 = phi i32 [ 0, %entry ], [ %indvar.next, %bb ]            ; <i32> [#uses=3]
13         %sum.04 = phi i32 [ 0, %entry ], [ %10, %bb ]           ; <i32> [#uses=1]
14         %1 = mul i32 %i.03, %As         ; <i32> [#uses=1]
15         %2 = getelementptr i16* %A, i32 %1              ; <i16*> [#uses=1]
16         %3 = load i16* %2, align 2              ; <i16> [#uses=1]
17         %4 = sext i16 %3 to i32         ; <i32> [#uses=1]
18         %5 = mul i32 %i.03, %Bs         ; <i32> [#uses=1]
19         %6 = getelementptr i16* %B, i32 %5              ; <i16*> [#uses=1]
20         %7 = load i16* %6, align 2              ; <i16> [#uses=1]
21         %8 = sext i16 %7 to i32         ; <i32> [#uses=1]
22         %9 = mul i32 %8, %4             ; <i32> [#uses=1]
23         %10 = add i32 %9, %sum.04               ; <i32> [#uses=2]
24         %indvar.next = add i32 %i.03, 1         ; <i32> [#uses=2]
25         %exitcond = icmp eq i32 %indvar.next, %N                ; <i1> [#uses=1]
26         br i1 %exitcond, label %bb1.bb2_crit_edge, label %bb
27
28 bb1.bb2_crit_edge:              ; preds = %bb
29         %phitmp = trunc i32 %10 to i16          ; <i16> [#uses=1]
30         br label %bb2
31
32 bb2:            ; preds = %entry, %bb1.bb2_crit_edge
33         %sum.0.lcssa = phi i16 [ %phitmp, %bb1.bb2_crit_edge ], [ 0, %entry ]           ; <i16> [#uses=1]
34         store i16 %sum.0.lcssa, i16* %C, align 2
35         ret void
36 }