diff options
| -rw-r--r-- | test/Analysis/BasicAA/global-size.ll | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/test/Analysis/BasicAA/global-size.ll b/test/Analysis/BasicAA/global-size.ll new file mode 100644 index 0000000000..52ea7bc7b0 --- /dev/null +++ b/test/Analysis/BasicAA/global-size.ll @@ -0,0 +1,17 @@ +; A store or load cannot alias a global if the accessed amount is larger then +; the global. + +; RUN: llvm-as < %s | opt -basicaa -load-vn -gcse -instcombine | llvm-dis | not grep load + +%B = global short 8 + +implementation + +short %test(int *%P) { + %X = load short* %B + store int 7, int* %P + %Y = load short* %B + %Z = sub short %Y, %X + ret short %Z +} + |