1; RUN: llc -mtriple powerpc-ibm-aix-xcoff < %s | \
2; RUN: FileCheck --check-prefixes=CHECK,32BIT %s
3
4; RUN: llc -mtriple powerpc64-ibm-aix-xcoff < %s | \
5; RUN: FileCheck --check-prefixes=CHECK,64BIT %s
6
7
8define i32 @foo() {
9entry:
10  ret i32 3
11}
12
13define i32 @main() {
14entry:
15  %0 = call i32 @foo()
16  %1 = call i32 bitcast (i32 (...)* @extern_foo to i32 ()*)()
17  %2 = call i32 @static_foo()
18  %3 = add nsw i32 %0, %1
19  %4 = add nsw i32 %3, %2
20  ret i32 %4
21}
22
23declare i32 @extern_foo(...)
24
25define internal i32 @static_foo() {
26entry:
27  ret i32 3
28}
29
30; CHECK: .globl foo[DS]
31; CHECK: .globl .foo
32; 32BIT: .csect foo[DS],2
33; 32BIT-NEXT: .vbyte	4, .foo
34; 32BIT-NEXT: .vbyte	4, TOC[TC0]
35; 32BIT-NEXT: .vbyte	4, 0
36; 64BIT: .csect foo[DS],3
37; 64BIT-NEXT: .vbyte	8, .foo
38; 64BIT-NEXT: .vbyte	8, TOC[TC0]
39; 64BIT-NEXT: .vbyte	8, 0
40; CHECK-NEXT: .csect .text[PR],2
41; CHECK-LABEL: .foo:
42
43; CHECK: .globl main[DS]
44; CHECK: .globl .main
45; 32BIT: .csect main[DS],2
46; 32BIT-NEXT: .vbyte	4, .main
47; 32BIT-NEXT: .vbyte	4, TOC[TC0]
48; 32BIT-NEXT: .vbyte	4, 0
49; 64BIT: .csect main[DS],3
50; 64BIT-NEXT: .vbyte	8, .main
51; 64BIT-NEXT: .vbyte	8, TOC[TC0]
52; 64BIT-NEXT: .vbyte	8, 0
53; CHECK-NEXT: .csect .text[PR],2
54; CHECK-LABEL: .main:
55; CHECK: bl .foo
56; CHECK: bl .extern_foo
57; CHECK: bl .static_foo
58
59; CHECK: .lglobl .static_foo
60; 32BIT: .csect static_foo[DS],2
61; 32BIT-NEXT: .vbyte	4, .static_foo
62; 32BIT-NEXT: .vbyte	4, TOC[TC0]
63; 32BIT-NEXT: .vbyte	4, 0
64; 64BIT: .csect static_foo[DS],3
65; 64BIT-NEXT: .vbyte	8, .static_foo
66; 64BIT-NEXT: .vbyte	8, TOC[TC0]
67; 64BIT-NEXT: .vbyte	8, 0
68; CHECK-NEXT: .csect .text[PR],2
69; CHECK-LABEL: .static_foo:
70
71; CHECK-NOT: .csect extern_foo
72
73; CHECK: .toc
74; CHECK-NOT: .tc
75