diff options
| -rw-r--r-- | test/Analysis/LoadVN/undefined_load.ll | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/test/Analysis/LoadVN/undefined_load.ll b/test/Analysis/LoadVN/undefined_load.ll new file mode 100644 index 0000000000..9f01d24806 --- /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 +} + |