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