test/Transforms/InstCombine/2008-05-08-StrLenSink.ll

   1 ; RUN: opt -S -instcombine < %s | FileCheck %s
   2 ; PR2297
   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 = "i386-apple-darwin8"
   5
   6 define i32 @a() nounwind  {
   7 entry:
   8         %"alloca point" = bitcast i32 0 to i32          ; <i32> [#uses=0]
   9         %tmp1 = call i8* @malloc( i32 10 ) nounwind             ; <i8*> [#uses=5]
  10         %tmp3 = getelementptr i8, i8* %tmp1, i32 1              ; <i8*> [#uses=1]
  11         store i8 0, i8* %tmp3, align 1
  12         %tmp5 = getelementptr i8, i8* %tmp1, i32 0              ; <i8*> [#uses=1]
  13         store i8 1, i8* %tmp5, align 1
  14 ; CHECK: store
  15 ; CHECK: store
  16 ; CHECK-NEXT: strlen
  17 ; CHECK-NEXT: store
  18         %tmp7 = call i32 @strlen( i8* %tmp1 ) nounwind readonly                 ; <i32> [#uses=1]
  19         %tmp9 = getelementptr i8, i8* %tmp1, i32 0              ; <i8*> [#uses=1]
  20         store i8 0, i8* %tmp9, align 1
  21         %tmp11 = call i32 (...) @b( i8* %tmp1 ) nounwind                ; <i32> [#uses=0]
  22         br label %return
  23
  24 return:         ; preds = %entry
  25         ret i32 %tmp7
  26 }
  27
  28 declare i8* @malloc(i32) nounwind
  29
  30 declare i32 @strlen(i8*) nounwind readonly
  31
  32 declare i32 @b(...)