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; CHECK: .csect foo[DS]
33; 32BIT: .long .foo
34; 32BIT-NEXT: .long TOC[TC0]
35; 32BIT-NEXT: .long 0
36; 64BIT: .llong .foo
37; 64BIT-NEXT: .llong TOC[TC0]
38; 64BIT-NEXT: .llong 0
39; CHECK-NEXT: .csect .text[PR]
40; CHECK-LABEL: .foo:
41
42; CHECK: .globl main[DS]
43; CHECK: .globl .main
44; CHECK: .csect main[DS]
45; 32BIT: .long .main
46; 32BIT-NEXT: .long TOC[TC0]
47; 32BIT-NEXT: .long 0
48; 64BIT: .llong .main
49; 64BIT-NEXT: .llong TOC[TC0]
50; 64BIT-NEXT: .llong 0
51; CHECK-NEXT: .csect .text[PR]
52; CHECK-LABEL: .main:
53; CHECK: bl .foo
54; CHECK: bl .extern_foo
55; CHECK: bl .static_foo
56
57; CHECK: .lglobl .static_foo
58; CHECK: .csect static_foo[DS]
59; 32BIT: .long .static_foo
60; 32BIT-NEXT: .long TOC[TC0]
61; 32BIT-NEXT: .long 0
62; 64BIT: .llong .static_foo
63; 64BIT-NEXT: .llong TOC[TC0]
64; 64BIT-NEXT: .llong 0
65; CHECK-NEXT: .csect .text[PR]
66; CHECK-LABEL: .static_foo:
67
68; CHECK-NOT: .csect extern_foo
69
70; CHECK: .toc
71; CHECK-NOT: .tc
72