diff --git a/test/Analysis/LoadVN/undefined_load.ll b/test/Analysis/LoadVN/undefined_load.ll new file mode 100644 index 00000000000..9f01d24806d --- /dev/null +++ b/test/Analysis/LoadVN/undefined_load.ll @@ -0,0 +1,14 @@ +; RUN: llvm-as < %s | opt -load-vn -gcse | llvm-dis | not grep load +; Test that loads of undefined memory are eliminated. + +int %test1() { + %X = malloc int + %Y = load int* %X + ret int %Y +} +int %test2() { + %X = alloca int + %Y = load int* %X + ret int %Y +} +