Extend the statepoint intrinsic to allow statepoints to be marked as transitions...
[oota-llvm.git] / test / CodeGen / X86 / pr2182.ll
1 ; RUN: llc < %s | FileCheck %s
2 ; PR2182
3
4 target datalayout =
5 "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
6 target triple = "i386-apple-darwin8"
7 @x = weak global i32 0          ; <i32*> [#uses=8]
8
9 define void @loop_2() nounwind  {
10 ; CHECK-LABEL: loop_2:
11 ; CHECK-NOT: ret
12 ; CHECK: addl $3, (%{{.*}})
13 ; CHECK-NEXT: addl $3, (%{{.*}})
14 ; CHECK-NEXT: addl $3, (%{{.*}})
15 ; CHECK-NEXT: addl $3, (%{{.*}})
16 ; CHECK-NEXT: ret
17
18   %tmp = load volatile i32, i32* @x, align 4           ; <i32> [#uses=1]
19   %tmp1 = add i32 %tmp, 3         ; <i32> [#uses=1]
20   store volatile i32 %tmp1, i32* @x, align 4
21   %tmp.1 = load volatile i32, i32* @x, align 4         ; <i32> [#uses=1]
22   %tmp1.1 = add i32 %tmp.1, 3             ; <i32> [#uses=1]
23   store volatile i32 %tmp1.1, i32* @x, align 4
24   %tmp.2 = load volatile i32, i32* @x, align 4         ; <i32> [#uses=1]
25   %tmp1.2 = add i32 %tmp.2, 3             ; <i32> [#uses=1]
26   store volatile i32 %tmp1.2, i32* @x, align 4
27   %tmp.3 = load volatile i32, i32* @x, align 4         ; <i32> [#uses=1]
28   %tmp1.3 = add i32 %tmp.3, 3             ; <i32> [#uses=1]
29   store volatile i32 %tmp1.3, i32* @x, align 4
30   ret void
31 }