Stackmap shadows should consider call returns a branch target.
[oota-llvm.git] / test / CodeGen / X86 / coalescer-commute4.ll
1 ; RUN: llc < %s -mtriple=i686-apple-darwin -mattr=+sse2 | not grep movaps
2 ; PR1501
3
4 define float @foo(i32* %x, float* %y, i32 %c) nounwind  {
5 entry:
6         %tmp2132 = icmp eq i32 %c, 0            ; <i1> [#uses=2]
7         br i1 %tmp2132, label %bb23, label %bb.preheader
8
9 bb.preheader:           ; preds = %entry
10         %umax = select i1 %tmp2132, i32 1, i32 %c               ; <i32> [#uses=1]
11         br label %bb
12
13 bb:             ; preds = %bb, %bb.preheader
14         %i.0.reg2mem.0 = phi i32 [ 0, %bb.preheader ], [ %indvar.next, %bb ]            ; <i32> [#uses=3]
15         %res.0.reg2mem.0 = phi float [ 0.000000e+00, %bb.preheader ], [ %tmp14, %bb ]           ; <float> [#uses=1]
16         %tmp3 = getelementptr i32* %x, i32 %i.0.reg2mem.0               ; <i32*> [#uses=1]
17         %tmp4 = load i32* %tmp3, align 4                ; <i32> [#uses=1]
18         %tmp45 = sitofp i32 %tmp4 to float              ; <float> [#uses=1]
19         %tmp8 = getelementptr float* %y, i32 %i.0.reg2mem.0             ; <float*> [#uses=1]
20         %tmp9 = load float* %tmp8, align 4              ; <float> [#uses=1]
21         %tmp11 = fmul float %tmp9, %tmp45               ; <float> [#uses=1]
22         %tmp14 = fadd float %tmp11, %res.0.reg2mem.0            ; <float> [#uses=2]
23         %indvar.next = add i32 %i.0.reg2mem.0, 1                ; <i32> [#uses=2]
24         %exitcond = icmp eq i32 %indvar.next, %umax             ; <i1> [#uses=1]
25         br i1 %exitcond, label %bb23, label %bb
26
27 bb23:           ; preds = %bb, %entry
28         %res.0.reg2mem.1 = phi float [ 0.000000e+00, %entry ], [ %tmp14, %bb ]          ; <float> [#uses=1]
29         ret float %res.0.reg2mem.1
30 }