1 ; Test that ds-aa is returning must-alias information when it can.
3 ; RUN: llvm-as < %s | opt -no-aa -ds-aa -load-vn -gcse | llvm-dis | not grep load
5 %X = internal global int 20
9 int* %id(int* %P) { ret int* %P }
13 %XP = call int* %id(int* %X)
14 %A = load int* %XP ; Should eliminate load!