1; RUN: llc -verify-machineinstrs -mtriple powerpc-ibm-aix-xcoff -mcpu=pwr4 \
2; RUN: -mattr=-altivec < %s | FileCheck --check-prefixes=COMMON,BIT32 %s
3
4; RUN: llc -verify-machineinstrs -mtriple powerpc64-ibm-aix-xcoff -mcpu=pwr4 \
5; RUN: -mattr=-altivec < %s | FileCheck --check-prefixes=COMMON,BIT64 %s
6
7; RUN: llc -verify-machineinstrs -mtriple powerpc-ibm-aix-xcoff -mcpu=pwr4 \
8; RUN: -mattr=-altivec -filetype=obj -o %t.o < %s
9; RUN: llvm-readobj --symbols %t.o | FileCheck --check-prefix=CHECKSYM %s
10
11; RUN: not --crash llc -verify-machineinstrs -mcpu=pwr4 -mtriple powerpc64-ibm-aix-xcoff \
12; RUN: -mattr=-altivec -filetype=obj -o %t.o 2>&1 < %s | FileCheck --check-prefix=XCOFF64 %s
13; XCOFF64: LLVM ERROR: 64-bit XCOFF object files are not supported yet.
14
15@foo_weak_p = global void (...)* bitcast (void ()* @foo_ref_weak to void (...)*), align 4
16@b = weak global i32 0, align 4
17
18define weak void @foo_weak(i32* %p)  {
19entry:
20  %p.addr = alloca i32*, align 4
21  store i32* %p, i32** %p.addr, align 4
22  %0 = load i32*, i32** %p.addr, align 4
23  %1 = load i32, i32* %0, align 4
24  %inc = add nsw i32 %1, 1
25  store i32 %inc, i32* %0, align 4
26  ret void
27}
28
29define weak void @foo_ref_weak()  {
30entry:
31  ret void
32}
33
34define i32 @main()  {
35entry:
36  %0 = load void (...)*, void (...)** @foo_weak_p, align 4
37  %callee.knr.cast = bitcast void (...)* %0 to void ()*
38  call void %callee.knr.cast()
39  call void @foo_weak(i32* @b)
40  call void @foo_ref_weak()
41  ret i32 0
42}
43
44; COMMON:               .weak	foo_weak[DS]            # -- Begin function foo_weak
45; COMMON-NEXT:          .weak	.foo_weak
46; COMMON-NEXT:          .align	4
47; COMMON-NEXT:          .csect foo_weak[DS]
48; BIT32-NEXT:           .vbyte	4, .foo_weak               # @foo_weak
49; BIT32-NEXT:           .vbyte	4, TOC[TC0]
50; BIT32-NEXT:           .vbyte	4, 0
51; BIT64-NEXT:           .vbyte	8, .foo_weak               # @foo_weak
52; BIT64-NEXT:           .vbyte	8, TOC[TC0]
53; BIT64-NEXT:           .vbyte	8, 0
54; COMMON-NEXT:          .csect .text[PR]
55; COMMON-NEXT:  .foo_weak:
56
57; COMMON:               .weak   foo_ref_weak[DS]        # -- Begin function foo_ref_weak
58; COMMON-NEXT:          .weak	.foo_ref_weak
59; COMMON-NEXT:          .align	4
60; COMMON-NEXT:          .csect foo_ref_weak[DS]
61; BIT32-NEXT:           .vbyte	4, .foo_ref_weak           # @foo_ref_weak
62; BIT32-NEXT:           .vbyte	4, TOC[TC0]
63; BIT32-NEXT:           .vbyte	4, 0
64; BIT64-NEXT:           .vbyte	8, .foo_ref_weak           # @foo_ref_weak
65; BIT64-NEXT:           .vbyte	8, TOC[TC0]
66; BIT64-NEXT:           .vbyte	8, 0
67; COMMON-NEXT:          .csect .text[PR]
68; COMMON-NEXT:  .foo_ref_weak:
69
70; COMMON:               .globl  main[DS]                # -- Begin function main
71; COMMON-NEXT:          .globl  .main
72; COMMON-NEXT:          .align	4
73; COMMON-NEXT:          .csect main[DS]
74; BIT32-NEXT:           .vbyte	4, .main                   # @main
75; BIT32-NEXT:           .vbyte	4, TOC[TC0]
76; BIT32-NEXT:           .vbyte	4, 0
77; BIT64-NEXT:           .vbyte	8, .main                   # @main
78; BIT64-NEXT:           .vbyte	8, TOC[TC0]
79; BIT64-NEXT:           .vbyte	8, 0
80; COMMON-NEXT:          .csect .text[PR]
81; COMMON-NEXT:  .main:
82
83; COMMON:     	        .csect .data[RW]
84; COMMON-NEXT:          .globl	foo_weak_p
85; BIT32-NEXT:           .align	2
86; BIT64-NEXT:           .align	3
87; COMMON-NEXT:  foo_weak_p:
88; BIT32-NEXT:           .vbyte	4, foo_ref_weak[DS]
89; BIT64-NEXT:           .vbyte	8, foo_ref_weak[DS]
90; COMMON-NEXT:          .weak	b
91; COMMON-NEXT:          .align	2
92; COMMON-NEXT:  b:
93; COMMON-NEXT:          .vbyte	4, 0                       # 0x0
94; COMMON-NEXT:          .toc
95; COMMON-NEXT:  L..C0:
96; COMMON-NEXT:          .tc foo_weak_p[TC],foo_weak_p
97; COMMON-NEXT:  L..C1:
98; COMMON-NEXT:          .tc b[TC],b
99
100
101; CHECKSYM:      Symbols [
102; CHECKSYM-NEXT:   Symbol {
103; CHECKSYM-NEXT:     Index: [[#Index:]]
104; CHECKSYM-NEXT:     Name: .text
105; CHECKSYM-NEXT:     Value (RelocatableAddress): 0x0
106; CHECKSYM-NEXT:     Section: .text
107; CHECKSYM-NEXT:     Type: 0x0
108; CHECKSYM-NEXT:     StorageClass: C_HIDEXT (0x6B)
109; CHECKSYM-NEXT:     NumberOfAuxEntries: 1
110; CHECKSYM-NEXT:     CSECT Auxiliary Entry {
111; CHECKSYM-NEXT:       Index: [[#Index+1]]
112; CHECKSYM-NEXT:       SectionLen: 136
113; CHECKSYM-NEXT:       ParameterHashIndex: 0x0
114; CHECKSYM-NEXT:       TypeChkSectNum: 0x0
115; CHECKSYM-NEXT:       SymbolAlignmentLog2: 4
116; CHECKSYM-NEXT:       SymbolType: XTY_SD (0x1)
117; CHECKSYM-NEXT:       StorageMappingClass: XMC_PR (0x0)
118; CHECKSYM-NEXT:       StabInfoIndex: 0x0
119; CHECKSYM-NEXT:       StabSectNum: 0x0
120; CHECKSYM-NEXT:     }
121; CHECKSYM-NEXT:   }
122; CHECKSYM-NEXT:   Symbol {
123; CHECKSYM-NEXT:     Index: [[#Index+2]]
124; CHECKSYM-NEXT:     Name: .foo_weak
125; CHECKSYM-NEXT:     Value (RelocatableAddress): 0x0
126; CHECKSYM-NEXT:     Section: .text
127; CHECKSYM-NEXT:     Type: 0x0
128; CHECKSYM-NEXT:     StorageClass: C_WEAKEXT (0x6F)
129; CHECKSYM-NEXT:     NumberOfAuxEntries: 1
130; CHECKSYM-NEXT:     CSECT Auxiliary Entry {
131; CHECKSYM-NEXT:       Index: [[#Index+3]]
132; CHECKSYM-NEXT:       ContainingCsectSymbolIndex: [[#Index]]
133; CHECKSYM-NEXT:       ParameterHashIndex: 0x0
134; CHECKSYM-NEXT:       TypeChkSectNum: 0x0
135; CHECKSYM-NEXT:       SymbolAlignmentLog2: 0
136; CHECKSYM-NEXT:       SymbolType: XTY_LD (0x2)
137; CHECKSYM-NEXT:       StorageMappingClass: XMC_PR (0x0)
138; CHECKSYM-NEXT:       StabInfoIndex: 0x0
139; CHECKSYM-NEXT:       StabSectNum: 0x0
140; CHECKSYM-NEXT:     }
141; CHECKSYM-NEXT:   }
142; CHECKSYM-NEXT:   Symbol {
143; CHECKSYM-NEXT:     Index: [[#Index+4]]
144; CHECKSYM-NEXT:     Name: .foo_ref_weak
145; CHECKSYM-NEXT:     Value (RelocatableAddress): 0x20
146; CHECKSYM-NEXT:     Section: .text
147; CHECKSYM-NEXT:     Type: 0x0
148; CHECKSYM-NEXT:     StorageClass: C_WEAKEXT (0x6F)
149; CHECKSYM-NEXT:     NumberOfAuxEntries: 1
150; CHECKSYM-NEXT:     CSECT Auxiliary Entry {
151; CHECKSYM-NEXT:       Index: [[#Index+5]]
152; CHECKSYM-NEXT:       ContainingCsectSymbolIndex: [[#Index]]
153; CHECKSYM-NEXT:       ParameterHashIndex: 0x0
154; CHECKSYM-NEXT:       TypeChkSectNum: 0x0
155; CHECKSYM-NEXT:       SymbolAlignmentLog2: 0
156; CHECKSYM-NEXT:       SymbolType: XTY_LD (0x2)
157; CHECKSYM-NEXT:       StorageMappingClass: XMC_PR (0x0)
158; CHECKSYM-NEXT:       StabInfoIndex: 0x0
159; CHECKSYM-NEXT:       StabSectNum: 0x0
160; CHECKSYM-NEXT:     }
161; CHECKSYM-NEXT:   }
162; CHECKSYM-NEXT:   Symbol {
163; CHECKSYM-NEXT:     Index: [[#Index+6]]
164; CHECKSYM-NEXT:     Name: .main
165; CHECKSYM-NEXT:     Value (RelocatableAddress): 0x30
166; CHECKSYM-NEXT:     Section: .text
167; CHECKSYM-NEXT:     Type: 0x0
168; CHECKSYM-NEXT:     StorageClass: C_EXT (0x2)
169; CHECKSYM-NEXT:     NumberOfAuxEntries: 1
170; CHECKSYM-NEXT:     CSECT Auxiliary Entry {
171; CHECKSYM-NEXT:       Index: [[#Index+7]]
172; CHECKSYM-NEXT:       ContainingCsectSymbolIndex: [[#Index]]
173; CHECKSYM-NEXT:       ParameterHashIndex: 0x0
174; CHECKSYM-NEXT:       TypeChkSectNum: 0x0
175; CHECKSYM-NEXT:       SymbolAlignmentLog2: 0
176; CHECKSYM-NEXT:       SymbolType: XTY_LD (0x2)
177; CHECKSYM-NEXT:       StorageMappingClass: XMC_PR (0x0)
178; CHECKSYM-NEXT:       StabInfoIndex: 0x0
179; CHECKSYM-NEXT:       StabSectNum: 0x0
180; CHECKSYM-NEXT:     }
181; CHECKSYM-NEXT:   }
182; CHECKSYM-NEXT:   Symbol {
183; CHECKSYM-NEXT:     Index: [[#Index+8]]
184; CHECKSYM-NEXT:     Name: .data
185; CHECKSYM-NEXT:     Value (RelocatableAddress): 0x88
186; CHECKSYM-NEXT:     Section: .data
187; CHECKSYM-NEXT:     Type: 0x0
188; CHECKSYM-NEXT:     StorageClass: C_HIDEXT (0x6B)
189; CHECKSYM-NEXT:     NumberOfAuxEntries: 1
190; CHECKSYM-NEXT:     CSECT Auxiliary Entry {
191; CHECKSYM-NEXT:       Index: [[#Index+9]]
192; CHECKSYM-NEXT:       SectionLen: 8
193; CHECKSYM-NEXT:       ParameterHashIndex: 0x0
194; CHECKSYM-NEXT:       TypeChkSectNum: 0x0
195; CHECKSYM-NEXT:       SymbolAlignmentLog2: 2
196; CHECKSYM-NEXT:       SymbolType: XTY_SD (0x1)
197; CHECKSYM-NEXT:       StorageMappingClass: XMC_RW (0x5)
198; CHECKSYM-NEXT:       StabInfoIndex: 0x0
199; CHECKSYM-NEXT:       StabSectNum: 0x0
200; CHECKSYM-NEXT:     }
201; CHECKSYM-NEXT:   }
202; CHECKSYM-NEXT:   Symbol {
203; CHECKSYM-NEXT:     Index: [[#Index+10]]
204; CHECKSYM-NEXT:     Name: foo_weak_p
205; CHECKSYM-NEXT:     Value (RelocatableAddress): 0x88
206; CHECKSYM-NEXT:     Section: .data
207; CHECKSYM-NEXT:     Type: 0x0
208; CHECKSYM-NEXT:     StorageClass: C_EXT (0x2)
209; CHECKSYM-NEXT:     NumberOfAuxEntries: 1
210; CHECKSYM-NEXT:     CSECT Auxiliary Entry {
211; CHECKSYM-NEXT:       Index: [[#Index+11]]
212; CHECKSYM-NEXT:       ContainingCsectSymbolIndex: [[#Index+8]]
213; CHECKSYM-NEXT:       ParameterHashIndex: 0x0
214; CHECKSYM-NEXT:       TypeChkSectNum: 0x0
215; CHECKSYM-NEXT:       SymbolAlignmentLog2: 0
216; CHECKSYM-NEXT:       SymbolType: XTY_LD (0x2)
217; CHECKSYM-NEXT:       StorageMappingClass: XMC_RW (0x5)
218; CHECKSYM-NEXT:       StabInfoIndex: 0x0
219; CHECKSYM-NEXT:       StabSectNum: 0x0
220; CHECKSYM-NEXT:     }
221; CHECKSYM-NEXT:   }
222; CHECKSYM-NEXT:   Symbol {
223; CHECKSYM-NEXT:     Index: [[#Index+12]]
224; CHECKSYM-NEXT:     Name: b
225; CHECKSYM-NEXT:     Value (RelocatableAddress): 0x8C
226; CHECKSYM-NEXT:     Section: .data
227; CHECKSYM-NEXT:     Type: 0x0
228; CHECKSYM-NEXT:     StorageClass: C_WEAKEXT (0x6F)
229; CHECKSYM-NEXT:     NumberOfAuxEntries: 1
230; CHECKSYM-NEXT:     CSECT Auxiliary Entry {
231; CHECKSYM-NEXT:       Index: [[#Index+13]]
232; CHECKSYM-NEXT:       ContainingCsectSymbolIndex: [[#Index+8]]
233; CHECKSYM-NEXT:       ParameterHashIndex: 0x0
234; CHECKSYM-NEXT:       TypeChkSectNum: 0x0
235; CHECKSYM-NEXT:       SymbolAlignmentLog2: 0
236; CHECKSYM-NEXT:       SymbolType: XTY_LD (0x2)
237; CHECKSYM-NEXT:       StorageMappingClass: XMC_RW (0x5)
238; CHECKSYM-NEXT:       StabInfoIndex: 0x0
239; CHECKSYM-NEXT:       StabSectNum: 0x0
240; CHECKSYM-NEXT:     }
241; CHECKSYM-NEXT:   }
242; CHECKSYM-NEXT:   Symbol {
243; CHECKSYM-NEXT:     Index: [[#Index+14]]
244; CHECKSYM-NEXT:     Name: foo_weak
245; CHECKSYM-NEXT:     Value (RelocatableAddress): 0x90
246; CHECKSYM-NEXT:     Section: .data
247; CHECKSYM-NEXT:     Type: 0x0
248; CHECKSYM-NEXT:     StorageClass: C_WEAKEXT (0x6F)
249; CHECKSYM-NEXT:     NumberOfAuxEntries: 1
250; CHECKSYM-NEXT:     CSECT Auxiliary Entry {
251; CHECKSYM-NEXT:       Index: [[#Index+15]]
252; CHECKSYM-NEXT:       SectionLen: 12
253; CHECKSYM-NEXT:       ParameterHashIndex: 0x0
254; CHECKSYM-NEXT:       TypeChkSectNum: 0x0
255; CHECKSYM-NEXT:       SymbolAlignmentLog2: 2
256; CHECKSYM-NEXT:       SymbolType: XTY_SD (0x1)
257; CHECKSYM-NEXT:       StorageMappingClass: XMC_DS (0xA)
258; CHECKSYM-NEXT:       StabInfoIndex: 0x0
259; CHECKSYM-NEXT:       StabSectNum: 0x0
260; CHECKSYM-NEXT:     }
261; CHECKSYM-NEXT:   }
262; CHECKSYM-NEXT:   Symbol {
263; CHECKSYM-NEXT:     Index: [[#Index+16]]
264; CHECKSYM-NEXT:     Name: foo_ref_weak
265; CHECKSYM-NEXT:     Value (RelocatableAddress): 0x9C
266; CHECKSYM-NEXT:     Section: .data
267; CHECKSYM-NEXT:     Type: 0x0
268; CHECKSYM-NEXT:     StorageClass: C_WEAKEXT (0x6F)
269; CHECKSYM-NEXT:     NumberOfAuxEntries: 1
270; CHECKSYM-NEXT:     CSECT Auxiliary Entry {
271; CHECKSYM-NEXT:       Index: [[#Index+17]]
272; CHECKSYM-NEXT:       SectionLen: 12
273; CHECKSYM-NEXT:       ParameterHashIndex: 0x0
274; CHECKSYM-NEXT:       TypeChkSectNum: 0x0
275; CHECKSYM-NEXT:       SymbolAlignmentLog2: 2
276; CHECKSYM-NEXT:       SymbolType: XTY_SD (0x1)
277; CHECKSYM-NEXT:       StorageMappingClass: XMC_DS (0xA)
278; CHECKSYM-NEXT:       StabInfoIndex: 0x0
279; CHECKSYM-NEXT:       StabSectNum: 0x0
280; CHECKSYM-NEXT:     }
281; CHECKSYM-NEXT:   }
282; CHECKSYM-NEXT:   Symbol {
283; CHECKSYM-NEXT:     Index: [[#Index+18]]
284; CHECKSYM-NEXT:     Name: main
285; CHECKSYM-NEXT:     Value (RelocatableAddress): 0xA8
286; CHECKSYM-NEXT:     Section: .data
287; CHECKSYM-NEXT:     Type: 0x0
288; CHECKSYM-NEXT:     StorageClass: C_EXT (0x2)
289; CHECKSYM-NEXT:     NumberOfAuxEntries: 1
290; CHECKSYM-NEXT:     CSECT Auxiliary Entry {
291; CHECKSYM-NEXT:       Index: [[#Index+19]]
292; CHECKSYM-NEXT:       SectionLen: 12
293; CHECKSYM-NEXT:       ParameterHashIndex: 0x0
294; CHECKSYM-NEXT:       TypeChkSectNum: 0x0
295; CHECKSYM-NEXT:       SymbolAlignmentLog2: 2
296; CHECKSYM-NEXT:       SymbolType: XTY_SD (0x1)
297; CHECKSYM-NEXT:       StorageMappingClass: XMC_DS (0xA)
298; CHECKSYM-NEXT:       StabInfoIndex: 0x0
299; CHECKSYM-NEXT:       StabSectNum: 0x0
300; CHECKSYM-NEXT:     }
301; CHECKSYM-NEXT:   }
302; CHECKSYM-NEXT:   Symbol {
303; CHECKSYM-NEXT:     Index: [[#Index+20]]
304; CHECKSYM-NEXT:     Name: TOC
305; CHECKSYM-NEXT:     Value (RelocatableAddress): 0xB4
306; CHECKSYM-NEXT:     Section: .data
307; CHECKSYM-NEXT:     Type: 0x0
308; CHECKSYM-NEXT:     StorageClass: C_HIDEXT (0x6B)
309; CHECKSYM-NEXT:     NumberOfAuxEntries: 1
310; CHECKSYM-NEXT:     CSECT Auxiliary Entry {
311; CHECKSYM-NEXT:       Index: [[#Index+21]]
312; CHECKSYM-NEXT:       SectionLen: 0
313; CHECKSYM-NEXT:       ParameterHashIndex: 0x0
314; CHECKSYM-NEXT:       TypeChkSectNum: 0x0
315; CHECKSYM-NEXT:       SymbolAlignmentLog2: 2
316; CHECKSYM-NEXT:       SymbolType: XTY_SD (0x1)
317; CHECKSYM-NEXT:       StorageMappingClass: XMC_TC0 (0xF)
318; CHECKSYM-NEXT:       StabInfoIndex: 0x0
319; CHECKSYM-NEXT:       StabSectNum: 0x0
320; CHECKSYM-NEXT:     }
321; CHECKSYM-NEXT:   }
322; CHECKSYM-NEXT:   Symbol {
323; CHECKSYM-NEXT:     Index: [[#Index+22]]
324; CHECKSYM-NEXT:     Name: foo_weak_p
325; CHECKSYM-NEXT:     Value (RelocatableAddress): 0xB4
326; CHECKSYM-NEXT:     Section: .data
327; CHECKSYM-NEXT:     Type: 0x0
328; CHECKSYM-NEXT:     StorageClass: C_HIDEXT (0x6B)
329; CHECKSYM-NEXT:     NumberOfAuxEntries: 1
330; CHECKSYM-NEXT:     CSECT Auxiliary Entry {
331; CHECKSYM-NEXT:       Index: [[#Index+23]]
332; CHECKSYM-NEXT:       SectionLen: 4
333; CHECKSYM-NEXT:       ParameterHashIndex: 0x0
334; CHECKSYM-NEXT:       TypeChkSectNum: 0x0
335; CHECKSYM-NEXT:       SymbolAlignmentLog2: 2
336; CHECKSYM-NEXT:       SymbolType: XTY_SD (0x1)
337; CHECKSYM-NEXT:       StorageMappingClass: XMC_TC (0x3)
338; CHECKSYM-NEXT:       StabInfoIndex: 0x0
339; CHECKSYM-NEXT:       StabSectNum: 0x0
340; CHECKSYM-NEXT:     }
341; CHECKSYM-NEXT:   }
342; CHECKSYM-NEXT:   Symbol {
343; CHECKSYM-NEXT:     Index: [[#Index+24]]
344; CHECKSYM-NEXT:     Name: b
345; CHECKSYM-NEXT:     Value (RelocatableAddress): 0xB8
346; CHECKSYM-NEXT:     Section: .data
347; CHECKSYM-NEXT:     Type: 0x0
348; CHECKSYM-NEXT:     StorageClass: C_HIDEXT (0x6B)
349; CHECKSYM-NEXT:     NumberOfAuxEntries: 1
350; CHECKSYM-NEXT:     CSECT Auxiliary Entry {
351; CHECKSYM-NEXT:       Index: [[#Index+25]]
352; CHECKSYM-NEXT:       SectionLen: 4
353; CHECKSYM-NEXT:       ParameterHashIndex: 0x0
354; CHECKSYM-NEXT:       TypeChkSectNum: 0x0
355; CHECKSYM-NEXT:       SymbolAlignmentLog2: 2
356; CHECKSYM-NEXT:       SymbolType: XTY_SD (0x1)
357; CHECKSYM-NEXT:       StorageMappingClass: XMC_TC (0x3)
358; CHECKSYM-NEXT:       StabInfoIndex: 0x0
359; CHECKSYM-NEXT:       StabSectNum: 0x0
360; CHECKSYM-NEXT:     }
361; CHECKSYM-NEXT:   }
362; CHECKSYM-NEXT: ]
363