test/Transforms/InstCombine/malloc2.ll

   1 ; RUN: opt < %s -instcombine -S | FileCheck %s
   2 ; PR1313
   3
   4 define i32 @test1(i32 %argc, i8* %argv, i8* %envp) {
   5         %tmp15.i.i.i23 = malloc [2564 x i32]            ; <[2564 x i32]*> [#uses=1]
   6 ; CHECK-NOT: call i8* @malloc
   7         %c = icmp eq [2564 x i32]* %tmp15.i.i.i23, null              ; <i1>:0 [#uses=1]
   8         %retval = zext i1 %c to i32             ; <i32> [#uses=1]
   9         ret i32 %retval
  10 ; CHECK: ret i32 0
  11 }
  12
  13 define i32 @test2(i32 %argc, i8* %argv, i8* %envp) {
  14         %tmp15.i.i.i23 = malloc [2564 x i32]            ; <[2564 x i32]*> [#uses=1]
  15 ; CHECK-NOT: call i8* @malloc
  16         %X = bitcast [2564 x i32]* %tmp15.i.i.i23 to i32*
  17         %c = icmp ne i32* %X, null
  18         %retval = zext i1 %c to i32             ; <i32> [#uses=1]
  19         ret i32 %retval
  20 ; CHECK: ret i32 1
  21 }
  22