This should always be signed chars, so use int8_t. This fixes a miscompile when
[llvm/stm8.git] / test / CodeGen / X86 / full-lsr.ll
blobff9b1b0b6a5a8b2c55215cc1fc61bc0e5a138e2a
1 ; RUN: llc < %s -march=x86 >%t
3 ; RUN: grep {addl       \\\$4,} %t | count 3
4 ; RUN: not grep {,%} %t
6 define void @foo(float* nocapture %A, float* nocapture %B, float* nocapture %C, i32 %N) nounwind {
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* %A, i32 %i.03         ; <float*> [#uses=1]
14         %2 = load float* %1, align 4            ; <float> [#uses=1]
15         %3 = getelementptr float* %B, i32 %i.03         ; <float*> [#uses=1]
16         %4 = load float* %3, align 4            ; <float> [#uses=1]
17         %5 = fadd float %2, %4          ; <float> [#uses=1]
18         %6 = getelementptr 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* %A, i32 %7            ; <float*> [#uses=1]
22         %9 = load float* %8, align 4            ; <float> [#uses=1]
23         %10 = getelementptr float* %B, i32 %7           ; <float*> [#uses=1]
24         %11 = load float* %10, align 4          ; <float> [#uses=1]
25         %12 = fadd float %9, %11                ; <float> [#uses=1]
26         %13 = getelementptr 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