17 lines · plain
1; RUN: opt < %s -aa-pipeline=basic-aa -passes=gvn,instcombine -S | FileCheck %s2 3define i32 @test() {4; CHECK: ret i32 05 %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 %Z12}13 14declare void @foo(ptr)15 16declare void @bar()17