llvm/test/Analysis/BasicAA/tailcall-modref.ll

   1 ; RUN: opt < %s -aa-pipeline=basic-aa -passes=gvn,instcombine -S | FileCheck %s
   2
   3 define i32 @test() {
   4 ; CHECK: ret i32 0
   5         %A = alloca i32         ; <ptr> [#uses=3]
   6         call void @foo( ptr %A )
   7         %X = load i32, ptr %A               ; <i32> [#uses=1]
   8         tail call void @bar( )
   9         %Y = load i32, ptr %A               ; <i32> [#uses=1]
  10         %Z = sub i32 %X, %Y             ; <i32> [#uses=1]
  11         ret i32 %Z
  12 }
  13
  14 declare void @foo(ptr)
  15
  16 declare void @bar()