test/Analysis/DSGraph/constant_globals.ll


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -datastructure-gc -dsgc-dspass=bu -dsgc-check-flags=A:SM
; Constant globals should not mark stuff incomplete.  This should allow the 
; bu pass to resolve the indirect call immediately in "test", allowing %A to
; be marked complete and the store to happen.

; This is the common case for handling vtables aggressively.

%G = constant void (int*)* %foo 

implementation

void %foo(int *%X) {
  store int 0, int* %X
  ret void
}

void %test() {
  %Fp = load void (int*)** %G
  %A = alloca int
  call void %Fp(int* %A)
  ret void
}