test/Analysis/DSGraph/mustalias.ll

   1 ; Test that ds-aa is returning must-alias information when it can.
   2
   3 ; RUN: llvm-as < %s | opt -no-aa -ds-aa -load-vn -gcse | llvm-dis | not grep load
   4
   5 %X = internal global int 20
   6
   7 implementation
   8
   9 int* %id(int* %P) { ret int* %P }
  10
  11 int %main() {
  12         store int 0, int* %X
  13         %XP = call int* %id(int* %X)
  14         %A = load int* %XP        ; Should eliminate load!
  15         ret int %A
  16 }
  17