Model stacksave and stackrestore as both writing memory, since we
[oota-llvm.git] / test / Transforms / InstCombine / 2007-10-28-stacksave.ll
1 ; RUN: llvm-as < %s | opt -instcombine | llvm-dis | grep {call.*stacksave}
2 ; PR1745
3 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"
4 target triple = "i686-apple-darwin8"
5 @p = weak global i8* null               ; <i8**> [#uses=1]
6
7 define i32 @main() {
8 entry:
9         %"alloca point" = bitcast i32 0 to i32          ; <i32> [#uses=0]
10         br label %lab
11
12 lab:            ; preds = %cleanup31, %entry
13         %n.0 = phi i32 [ 0, %entry ], [ %tmp25, %cleanup31 ]            ; <i32> [#uses=2]
14         %tmp2 = call i8* @llvm.stacksave( )             ; <i8*> [#uses=2]
15         %tmp4 = srem i32 %n.0, 47               ; <i32> [#uses=1]
16         %tmp5 = add i32 %tmp4, 1                ; <i32> [#uses=5]
17         %tmp7 = sub i32 %tmp5, 1                ; <i32> [#uses=0]
18         %tmp89 = zext i32 %tmp5 to i64          ; <i64> [#uses=1]
19         %tmp10 = mul i64 %tmp89, 32             ; <i64> [#uses=0]
20         %tmp12 = mul i32 %tmp5, 4               ; <i32> [#uses=0]
21         %tmp1314 = zext i32 %tmp5 to i64                ; <i64> [#uses=1]
22         %tmp15 = mul i64 %tmp1314, 32           ; <i64> [#uses=0]
23         %tmp17 = mul i32 %tmp5, 4               ; <i32> [#uses=1]
24         %tmp18 = alloca i8, i32 %tmp17          ; <i8*> [#uses=1]
25         %tmp1819 = bitcast i8* %tmp18 to i32*           ; <i32*> [#uses=2]
26         %tmp21 = getelementptr i32* %tmp1819, i32 0             ; <i32*> [#uses=1]
27         store i32 1, i32* %tmp21, align 4
28         %tmp2223 = bitcast i32* %tmp1819 to i8*         ; <i8*> [#uses=1]
29         volatile store i8* %tmp2223, i8** @p, align 4
30         %tmp25 = add i32 %n.0, 1                ; <i32> [#uses=2]
31         %tmp27 = icmp sle i32 %tmp25, 999999            ; <i1> [#uses=1]
32         %tmp2728 = zext i1 %tmp27 to i8         ; <i8> [#uses=1]
33         %toBool = icmp ne i8 %tmp2728, 0                ; <i1> [#uses=1]
34         br i1 %toBool, label %cleanup31, label %cond_next
35
36 cond_next:              ; preds = %lab
37         call void @llvm.stackrestore( i8* %tmp2 )
38         ret i32 0
39
40 cleanup31:              ; preds = %lab
41         call void @llvm.stackrestore( i8* %tmp2 )
42         br label %lab
43 }
44
45 declare i8* @llvm.stacksave()
46
47 declare void @llvm.stackrestore(i8*)