[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / InstCombine / 2008-04-29-VolatileLoadDontMerge.ll
blobaf662bda1e6e97303c154f7d768737b54489ea04
1 ; RUN: opt < %s -instcombine -S | grep "load volatile" | count 2
2 target datalayout = "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"
3 target triple = "i386-apple-darwin8"
4 @g_1 = internal global i32 0            ; <i32*> [#uses=3]
6 define i32 @main() nounwind  {
7 entry:
8         %tmp93 = icmp slt i32 0, 10             ; <i1> [#uses=0]
9         %tmp34 = load volatile i32, i32* @g_1, align 4          ; <i32> [#uses=1]
10         br label %bb
12 bb:             ; preds = %bb, %entry
13         %b.0.reg2mem.0 = phi i32 [ 0, %entry ], [ %tmp6, %bb ]          ; <i32> [#uses=1]
14         %tmp3.reg2mem.0 = phi i32 [ %tmp34, %entry ], [ %tmp3, %bb ]            ; <i32> [#uses=1]
15         %tmp4 = add i32 %tmp3.reg2mem.0, 5              ; <i32> [#uses=1]
16         store volatile i32 %tmp4, i32* @g_1, align 4
17         %tmp6 = add i32 %b.0.reg2mem.0, 1               ; <i32> [#uses=2]
18         %tmp9 = icmp slt i32 %tmp6, 10          ; <i1> [#uses=1]
19         %tmp3 = load volatile i32, i32* @g_1, align 4           ; <i32> [#uses=1]
20         br i1 %tmp9, label %bb, label %bb11
22 bb11:           ; preds = %bb
23         ret i32 0