1 files changed, 22 insertions, 0 deletions
diff --git a/test/Transforms/InstCombine/malloc2.ll b/test/Transforms/InstCombine/malloc2.ll
new file mode 100644
index 0000000..8462dac
--- /dev/null
+++ b/test/Transforms/InstCombine/malloc2.ll
@@ -0,0 +1,22 @@
+; RUN: opt < %s -instcombine -S | FileCheck %s
+; PR1313
+
+define i32 @test1(i32 %argc, i8* %argv, i8* %envp) {
+        %tmp15.i.i.i23 = malloc [2564 x i32]            ; <[2564 x i32]*> [#uses=1]
+; CHECK-NOT: call i8* @malloc
+        %c = icmp eq [2564 x i32]* %tmp15.i.i.i23, null              ; <i1>:0 [#uses=1]
+        %retval = zext i1 %c to i32             ; <i32> [#uses=1]
+        ret i32 %retval
+; CHECK: ret i32 0
+}
+
+define i32 @test2(i32 %argc, i8* %argv, i8* %envp) {
+        %tmp15.i.i.i23 = malloc [2564 x i32]            ; <[2564 x i32]*> [#uses=1]
+; CHECK-NOT: call i8* @malloc
+        %X = bitcast [2564 x i32]* %tmp15.i.i.i23 to i32*
+        %c = icmp ne i32* %X, null
+        %retval = zext i1 %c to i32             ; <i32> [#uses=1]
+        ret i32 %retval
+; CHECK: ret i32 1
+}
+