This should always be signed chars, so use int8_t. This fixes a miscompile when
[llvm/stm8.git] / test / CodeGen / X86 / phys_subreg_coalesce-3.ll
blobf23669ed9a4abeae70a9d4c03077b9faa3eda555
1 ; RUN: llc < %s -mtriple=i386-apple-darwin | FileCheck %s
2 ; rdar://5571034
4 define void @foo(i32* nocapture %quadrant, i32* nocapture %ptr, i32 %bbSize, i32 %bbStart, i32 %shifts) nounwind ssp {
5 ; CHECK: foo:
6 entry:
7   %j.03 = add i32 %bbSize, -1                     ; <i32> [#uses=2]
8   %0 = icmp sgt i32 %j.03, -1                     ; <i1> [#uses=1]
9   br i1 %0, label %bb.nph, label %return
11 bb.nph:                                           ; preds = %entry
12   %tmp9 = add i32 %bbStart, %bbSize               ; <i32> [#uses=1]
13   %tmp10 = add i32 %tmp9, -1                      ; <i32> [#uses=1]
14   br label %bb
16 bb:                                               ; preds = %bb, %bb.nph
17 ; CHECK: %bb
18 ; CHECK-NOT: movb {{.*}}l, %cl
19 ; CHECK: sarl %cl
20   %indvar = phi i32 [ 0, %bb.nph ], [ %indvar.next, %bb ] ; <i32> [#uses=3]
21   %j.06 = sub i32 %j.03, %indvar                  ; <i32> [#uses=1]
22   %tmp11 = sub i32 %tmp10, %indvar                ; <i32> [#uses=1]
23   %scevgep = getelementptr i32* %ptr, i32 %tmp11  ; <i32*> [#uses=1]
24   %1 = load i32* %scevgep, align 4                ; <i32> [#uses=1]
25   %2 = ashr i32 %j.06, %shifts                    ; <i32> [#uses=1]
26   %3 = and i32 %2, 65535                          ; <i32> [#uses=1]
27   %4 = getelementptr inbounds i32* %quadrant, i32 %1 ; <i32*> [#uses=1]
28   store i32 %3, i32* %4, align 4
29   %indvar.next = add i32 %indvar, 1               ; <i32> [#uses=2]
30   %exitcond = icmp eq i32 %indvar.next, %bbSize   ; <i1> [#uses=1]
31   br i1 %exitcond, label %return, label %bb
33 return:                                           ; preds = %bb, %entry
34   ret void