[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / X86 / 2007-11-06-InstrSched.ll
blob3894029e59258fac17d37fa28fcb5afecb4ee691
1 ; RUN: llc < %s -mtriple=i686-- -mcpu=generic -mattr=+sse2 | not grep lea
3 define float @foo(i32* %x, float* %y, i32 %c) nounwind {
4 entry:
5         %tmp2132 = icmp eq i32 %c, 0            ; <i1> [#uses=1]
6         br i1 %tmp2132, label %bb23, label %bb18
8 bb18:           ; preds = %bb18, %entry
9         %i.0.reg2mem.0 = phi i32 [ 0, %entry ], [ %tmp17, %bb18 ]               ; <i32> [#uses=3]
10         %res.0.reg2mem.0 = phi float [ 0.000000e+00, %entry ], [ %tmp14, %bb18 ]                ; <float> [#uses=1]
11         %tmp3 = getelementptr i32, i32* %x, i32 %i.0.reg2mem.0          ; <i32*> [#uses=1]
12         %tmp4 = load i32, i32* %tmp3, align 4           ; <i32> [#uses=1]
13         %tmp45 = sitofp i32 %tmp4 to float              ; <float> [#uses=1]
14         %tmp8 = getelementptr float, float* %y, i32 %i.0.reg2mem.0              ; <float*> [#uses=1]
15         %tmp9 = load float, float* %tmp8, align 4               ; <float> [#uses=1]
16         %tmp11 = fmul float %tmp9, %tmp45               ; <float> [#uses=1]
17         %tmp14 = fadd float %tmp11, %res.0.reg2mem.0            ; <float> [#uses=2]
18         %tmp17 = add i32 %i.0.reg2mem.0, 1              ; <i32> [#uses=2]
19         %tmp21 = icmp ult i32 %tmp17, %c                ; <i1> [#uses=1]
20         br i1 %tmp21, label %bb18, label %bb23
22 bb23:           ; preds = %bb18, %entry
23         %res.0.reg2mem.1 = phi float [ 0.000000e+00, %entry ], [ %tmp14, %bb18 ]                ; <float> [#uses=1]
24         ret float %res.0.reg2mem.1