; Test that ds-aa is returning must-alias information when it can.; RUN: llvm-as < %s | opt -no-aa -ds-aa -load-vn -gcse | llvm-dis | not grep load%X=internalglobalint20implementationint*%id(int*%P){retint*%P}int%main(){storeint0,int*%X%XP=callint*%id(int*%X)%A=loadint*%XP; Should eliminate load!retint%A}