blob: 22dab2d758af73ee2cfbc50b313bc47551bd34c1 [file] [log] [blame]
; RUN: opt < %s -aa-pipeline=basic-aa -passes=gvn,instcombine -S | FileCheck %s
define i32 @test() {
; CHECK: ret i32 0
%A = alloca i32 ; <ptr> [#uses=3]
call void @foo( ptr %A )
%X = load i32, ptr %A ; <i32> [#uses=1]
tail call void @bar( )
%Y = load i32, ptr %A ; <i32> [#uses=1]
%Z = sub i32 %X, %Y ; <i32> [#uses=1]
ret i32 %Z
}
declare void @foo(ptr)
declare void @bar()