blob: 102422ee5fc7d3dae5b0af33657ea74077545d20 [file] [log] [blame]
Dan Gohman72a13d22009-09-08 22:34:10 +00001; RUN: opt < %s -instcombine -S | grep {ret i32 0}
2; RUN: opt < %s -instcombine -S | not grep malloc
Chris Lattner992b4512007-04-06 18:56:54 +00003; PR1313
4
5define i32 @test1(i32 %argc, i8* %argv, i8* %envp) {
6 %tmp15.i.i.i23 = malloc [2564 x i32] ; <[2564 x i32]*> [#uses=1]
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}
11
12define i32 @test2(i32 %argc, i8* %argv, i8* %envp) {
13 %tmp15.i.i.i23 = malloc [2564 x i32] ; <[2564 x i32]*> [#uses=1]
14 %X = bitcast [2564 x i32]* %tmp15.i.i.i23 to i32*
15 %c = icmp ne i32* %X, null
16 %retval = zext i1 %c to i32 ; <i32> [#uses=1]
17 ret i32 %retval
18}
19