[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / X86 / full-lsr.ll
blob36c98c8b494e30d59ea583e3a2561fe7625dca8f
1 ; RUN: llc < %s -mtriple=i686-- -mcpu=generic | FileCheck %s
3 define void @foo(float* nocapture %A, float* nocapture %B, float* nocapture %C, i32 %N) nounwind {
4 ; CHECK: foo
5 ; CHECK: incl
7 entry:
8         %0 = icmp sgt i32 %N, 0         ; <i1> [#uses=1]
9         br i1 %0, label %bb, label %return
11 bb:             ; preds = %bb, %entry
12         %i.03 = phi i32 [ 0, %entry ], [ %indvar.next, %bb ]            ; <i32> [#uses=5]
13         %1 = getelementptr float, float* %A, i32 %i.03          ; <float*> [#uses=1]
14         %2 = load float, float* %1, align 4             ; <float> [#uses=1]
15         %3 = getelementptr float, float* %B, i32 %i.03          ; <float*> [#uses=1]
16         %4 = load float, float* %3, align 4             ; <float> [#uses=1]
17         %5 = fadd float %2, %4          ; <float> [#uses=1]
18         %6 = getelementptr float, float* %C, i32 %i.03          ; <float*> [#uses=1]
19         store float %5, float* %6, align 4
20         %7 = add i32 %i.03, 10          ; <i32> [#uses=3]
21         %8 = getelementptr float, float* %A, i32 %7             ; <float*> [#uses=1]
22         %9 = load float, float* %8, align 4             ; <float> [#uses=1]
23         %10 = getelementptr float, float* %B, i32 %7            ; <float*> [#uses=1]
24         %11 = load float, float* %10, align 4           ; <float> [#uses=1]
25         %12 = fadd float %9, %11                ; <float> [#uses=1]
26         %13 = getelementptr float, float* %C, i32 %7            ; <float*> [#uses=1]
27         store float %12, float* %13, align 4
28         %indvar.next = add i32 %i.03, 1         ; <i32> [#uses=2]
29         %exitcond = icmp eq i32 %indvar.next, %N                ; <i1> [#uses=1]
30         br i1 %exitcond, label %return, label %bb
32 return:         ; preds = %bb, %entry
33         ret void