blob: 513ec86ef031b6b4f5026c5d4f0a454e0336de18 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
; RUN: opt < %s -globalsmodref-aa -gvn -S | FileCheck %s
@g = internal global i32 0 ; <i32*> [#uses=2]
define i32 @r() {
%tmp = load i32, i32* @g ; <i32> [#uses=1]
ret i32 %tmp
}
define i32 @f() {
; CHECK: call i32 @e()
; CHECK: call i32 @e()
entry:
%tmp = call i32 @e( ) ; <i32> [#uses=1]
store i32 %tmp, i32* @g
%tmp2 = call i32 @e( ) ; <i32> [#uses=1]
ret i32 %tmp2
}
declare i32 @e() readonly ; might call @r
|
