llvm/test/Transforms/InstCombine/2007-10-28-stacksave.ll

   1 ; RUN: opt < %s -passes=instcombine -S | 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 ptr null               ; <ptr> [#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 ptr @llvm.stacksave( )             ; <ptr> [#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          ; <ptr> [#uses=1]
  25         %tmp21 = getelementptr i32, ptr %tmp18, i32 0           ; <ptr> [#uses=1]
  26         store i32 1, ptr %tmp21, align 4
  27         store volatile ptr %tmp18, ptr @p, align 4
  28         %tmp25 = add i32 %n.0, 1                ; <i32> [#uses=2]
  29         %tmp27 = icmp sle i32 %tmp25, 999999            ; <i1> [#uses=1]
  30         %tmp2728 = zext i1 %tmp27 to i8         ; <i8> [#uses=1]
  31         %toBool = icmp ne i8 %tmp2728, 0                ; <i1> [#uses=1]
  32         br i1 %toBool, label %cleanup31, label %cond_next
  33
  34 cond_next:              ; preds = %lab
  35         call void @llvm.stackrestore( ptr %tmp2 )
  36         ret i32 0
  37
  38 cleanup31:              ; preds = %lab
  39         call void @llvm.stackrestore( ptr %tmp2 )
  40         br label %lab
  41 }
  42
  43 declare ptr @llvm.stacksave()
  44
  45 declare void @llvm.stackrestore(ptr)