test/Analysis/BasicAA/tailcall-modref.ll

   1 ; RUN: llvm-upgrade < %s | llvm-as | opt -basicaa -load-vn -gcse -instcombine | llvm-dis | grep 'ret i32 0'
   2 declare void %foo(int*)
   3 declare void %bar()
   4
   5 int %test() {
   6         %A = alloca int
   7         call void %foo(int* %A)
   8
   9         %X = load int* %A
  10         tail call void %bar()   ;; Cannot modify *%A because it's on the stack.
  11         %Y = load int* %A
  12         %Z = sub int %X, %Y
  13         ret int %Z
  14 }
  15
  16