1 ; Test resolvable and unresolvable calls through function pointers:
2 ; -- both should be retained in function graphs until resolved or until main
3 ; -- former should get resolved in or before main() and never appear in GG
4 ; -- latter should remain unresolved in main() and copied to GG
5 ; -- globals in GG pointed to by latter should be marked I, but not other nodes
7 ; RUN: analyze %s -datastructure-gc -dsgc-check-flags=KnownPtr:S,UnknownPtr:SI -dsgc-dspass=bu
9 %Z = internal global int 0
10 %X = internal global int 0
11 %M = internal global int 0
12 %.str_1 = internal constant [9 x sbyte] c"&Z = %p\0A\00"
16 declare int %printf(sbyte*, ...)
17 declare void %exit_dummy(int*)
19 internal void %makeCalls(void (int*)* %GpKnown.1, void (int*)* %GpUnknown.1,
20 int* %GpKnownPtr, int* %GpUnknownPtr) {
22 %tmp.1.not = setne int %tmp.0, 0
23 br bool %tmp.1.not, label %else, label %then
26 ; pass to exit_dummy: never resolved
27 call void %GpUnknown.1( int* %GpUnknownPtr )
28 %tmp.61 = load int* %Z
29 %inc1 = add int %tmp.61, 1
30 store int %inc1, int* %Z
31 %tmp.71 = call int (sbyte*, ...)* %printf( sbyte* getelementptr ([9 x sbyte]* %.str_1, long 0, long 0), int* %Z )
35 ; pass to knownF: resolved in main
36 call void %GpKnown.1( int* %GpKnownPtr )
38 %inc = add int %tmp.6, 1
39 store int %inc, int* %Z
41 ; "known external": resolved here
42 %tmp.7 = call int (sbyte*, ...)* %printf( sbyte* getelementptr ([9 x sbyte]* %.str_1, long 0, long 0), int* %Z )
46 internal void %knownF(int* %Y.1) {
47 %tmp.1 = seteq int* %Y.1, null
48 br bool %tmp.1, label %then, label %UnifiedExitNode
51 call void %knownF( int* %Y.1 ) ; direct call to self: resolved here
52 br label %UnifiedExitNode
58 int %main(int %argc.1) {
59 %KnownPtr = alloca int
60 %UnknownPtr = alloca int
62 call void %makeCalls( void (int*)* %knownF, void (int*)* %exit_dummy,
63 int* %KnownPtr, int* %UnknownPtr )