diff options
| -rw-r--r-- | test/Analysis/DSGraph/mustalias.ll | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/test/Analysis/DSGraph/mustalias.ll b/test/Analysis/DSGraph/mustalias.ll new file mode 100644 index 0000000000..349377cd3d --- /dev/null +++ b/test/Analysis/DSGraph/mustalias.ll @@ -0,0 +1,17 @@ +; Test that ds-aa is returning must-alias information when it can. + +; RUN: as < %s | opt -no-aa -ds-aa -load-vn -gcse | dis | not grep load + +%X = global int 20 + +implementation + +int* %id(int* %P) { ret int* %P } + +int %main() { + store int 0, int* %X + %XP = call int* %id(int* %X) + %A = load int* %XP ; Should eliminate load! + ret int %A +} + |