21 lines · plain
1; RUN: opt < %s -aa-pipeline=globals-aa -passes='require<globals-aa>,gvn' -S | FileCheck %s2 3@g = internal global i32 0 ; <ptr> [#uses=2]4 5define i32 @r() {6 %tmp = load i32, ptr @g ; <i32> [#uses=1]7 ret i32 %tmp8}9 10define i32 @f() {11; CHECK: call i32 @e()12; CHECK: call i32 @e()13entry:14 %tmp = call i32 @e( ) ; <i32> [#uses=1]15 store i32 %tmp, ptr @g16 %tmp2 = call i32 @e( ) ; <i32> [#uses=1]17 ret i32 %tmp218}19 20declare i32 @e() readonly ; might call @r21