| ; RUN: llvm-as < %s | opt -load-vn -gcse | llvm-dis | not grep load | |
| ; Test that loads of undefined memory are eliminated. | |
| define i32 @test1() { | |
| %X = malloc i32 ; <i32*> [#uses=1] | |
| %Y = load i32* %X ; <i32> [#uses=1] | |
| ret i32 %Y | |
| } | |
| define i32 @test2() { | |
| %X = alloca i32 ; <i32*> [#uses=1] | |
| %Y = load i32* %X ; <i32> [#uses=1] | |
| ret i32 %Y | |
| } |