Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 49a24278bafa149e1f4327fdeb272c398fd86bd3 / . / llvm / test / CodeGen / X86 / code-model-elf.ll
blob: 56d3f4c102f0f16a748b912ee5edfadb503cd220 [file] [log] [blame]
Reid Kleckner980c4df2018-07-23 21:14:35 +0000[diff] [blame]1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; Run with --no_x86_scrub_rip because we care a lot about how globals are
3; accessed in the code model.
4
Reid Kleckner49a24272018-10-24 22:57:28 +0000[diff] [blame^]5; RUN: llc -verify-machineinstrs < %s -relocation-model=static -code-model=small | FileCheck %s --check-prefix=CHECK --check-prefix=SMALL-STATIC
6; RUN: llc -verify-machineinstrs < %s -relocation-model=static -code-model=medium | FileCheck %s --check-prefix=CHECK --check-prefix=MEDIUM-STATIC
7; RUN: llc -verify-machineinstrs < %s -relocation-model=static -code-model=large | FileCheck %s --check-prefix=CHECK --check-prefix=LARGE-STATIC
8; RUN: llc -verify-machineinstrs < %s -relocation-model=pic -code-model=small | FileCheck %s --check-prefix=CHECK --check-prefix=SMALL-PIC
9; RUN: llc -verify-machineinstrs < %s -relocation-model=pic -code-model=medium | FileCheck %s --check-prefix=CHECK --check-prefix=MEDIUM-PIC
10; RUN: llc -verify-machineinstrs < %s -relocation-model=pic -code-model=large | FileCheck %s --check-prefix=CHECK --check-prefix=LARGE-PIC
Reid Kleckner980c4df2018-07-23 21:14:35 +0000[diff] [blame]11
12; Generated from this C source:
13;
14; static int static_data[10];
15; int global_data[10] = {1, 2};
16; extern int extern_data[10];
17;
18; int *lea_static_data() { return &static_data[0]; }
19; int *lea_global_data() { return &global_data[0]; }
20; int *lea_extern_data() { return &extern_data[0]; }
21;
22; static void static_fn(void) {}
23; void global_fn(void) {}
24; void extern_fn(void);
25;
26; typedef void (*void_fn)(void);
27; void_fn lea_static_fn() { return &static_fn; }
28; void_fn lea_global_fn() { return &global_fn; }
29; void_fn lea_extern_fn() { return &extern_fn; }
30
31
32; ModuleID = 'model.c'
33source_filename = "model.c"
34target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
35target triple = "x86_64--linux"
36
37@global_data = dso_local global [10 x i32] [i32 1, i32 2, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0], align 16
38@static_data = internal global [10 x i32] zeroinitializer, align 16
39@extern_data = external global [10 x i32], align 16
40
41define dso_local i32* @lea_static_data() #0 {
42; SMALL-STATIC-LABEL: lea_static_data:
43; SMALL-STATIC: # %bb.0:
44; SMALL-STATIC-NEXT: movl $static_data, %eax
45; SMALL-STATIC-NEXT: retq
46;
47; MEDIUM-STATIC-LABEL: lea_static_data:
48; MEDIUM-STATIC: # %bb.0:
49; MEDIUM-STATIC-NEXT: movabsq $static_data, %rax
50; MEDIUM-STATIC-NEXT: retq
51;
52; LARGE-STATIC-LABEL: lea_static_data:
53; LARGE-STATIC: # %bb.0:
54; LARGE-STATIC-NEXT: movabsq $static_data, %rax
55; LARGE-STATIC-NEXT: retq
56;
57; SMALL-PIC-LABEL: lea_static_data:
58; SMALL-PIC: # %bb.0:
59; SMALL-PIC-NEXT: leaq static_data(%rip), %rax
60; SMALL-PIC-NEXT: retq
61;
62; MEDIUM-PIC-LABEL: lea_static_data:
63; MEDIUM-PIC: # %bb.0:
64; MEDIUM-PIC-NEXT: leaq _GLOBAL_OFFSET_TABLE_(%rip), %rcx
65; MEDIUM-PIC-NEXT: movabsq $static_data@GOTOFF, %rax
66; MEDIUM-PIC-NEXT: addq %rcx, %rax
67; MEDIUM-PIC-NEXT: retq
68;
69; LARGE-PIC-LABEL: lea_static_data:
70; LARGE-PIC: # %bb.0:
Reid Kleckner49a24272018-10-24 22:57:28 +0000[diff] [blame^]71; LARGE-PIC-NEXT: .L0$pb:
72; LARGE-PIC-NEXT: leaq .L0$pb(%rip), %rax
73; LARGE-PIC-NEXT: movabsq $_GLOBAL_OFFSET_TABLE_-.L0$pb, %rcx
Reid Kleckner980c4df2018-07-23 21:14:35 +0000[diff] [blame]74; LARGE-PIC-NEXT: addq %rax, %rcx
75; LARGE-PIC-NEXT: movabsq $static_data@GOTOFF, %rax
76; LARGE-PIC-NEXT: addq %rcx, %rax
77; LARGE-PIC-NEXT: retq
78 ret i32* getelementptr inbounds ([10 x i32], [10 x i32]* @static_data, i64 0, i64 0)
79}
80
81define dso_local i32* @lea_global_data() #0 {
82; SMALL-STATIC-LABEL: lea_global_data:
83; SMALL-STATIC: # %bb.0:
84; SMALL-STATIC-NEXT: movl $global_data, %eax
85; SMALL-STATIC-NEXT: retq
86;
87; MEDIUM-STATIC-LABEL: lea_global_data:
88; MEDIUM-STATIC: # %bb.0:
89; MEDIUM-STATIC-NEXT: movabsq $global_data, %rax
90; MEDIUM-STATIC-NEXT: retq
91;
92; LARGE-STATIC-LABEL: lea_global_data:
93; LARGE-STATIC: # %bb.0:
94; LARGE-STATIC-NEXT: movabsq $global_data, %rax
95; LARGE-STATIC-NEXT: retq
96;
97; SMALL-PIC-LABEL: lea_global_data:
98; SMALL-PIC: # %bb.0:
99; SMALL-PIC-NEXT: leaq global_data(%rip), %rax
100; SMALL-PIC-NEXT: retq
101;
102; MEDIUM-PIC-LABEL: lea_global_data:
103; MEDIUM-PIC: # %bb.0:
104; MEDIUM-PIC-NEXT: leaq _GLOBAL_OFFSET_TABLE_(%rip), %rcx
105; MEDIUM-PIC-NEXT: movabsq $global_data@GOTOFF, %rax
106; MEDIUM-PIC-NEXT: addq %rcx, %rax
107; MEDIUM-PIC-NEXT: retq
108;
109; LARGE-PIC-LABEL: lea_global_data:
110; LARGE-PIC: # %bb.0:
Reid Kleckner49a24272018-10-24 22:57:28 +0000[diff] [blame^]111; LARGE-PIC-NEXT: .L1$pb:
112; LARGE-PIC-NEXT: leaq .L1$pb(%rip), %rax
113; LARGE-PIC-NEXT: movabsq $_GLOBAL_OFFSET_TABLE_-.L1$pb, %rcx
Reid Kleckner980c4df2018-07-23 21:14:35 +0000[diff] [blame]114; LARGE-PIC-NEXT: addq %rax, %rcx
115; LARGE-PIC-NEXT: movabsq $global_data@GOTOFF, %rax
116; LARGE-PIC-NEXT: addq %rcx, %rax
117; LARGE-PIC-NEXT: retq
118 ret i32* getelementptr inbounds ([10 x i32], [10 x i32]* @global_data, i64 0, i64 0)
119}
120
121define dso_local i32* @lea_extern_data() #0 {
122; SMALL-STATIC-LABEL: lea_extern_data:
123; SMALL-STATIC: # %bb.0:
124; SMALL-STATIC-NEXT: movl $extern_data, %eax
125; SMALL-STATIC-NEXT: retq
126;
127; MEDIUM-STATIC-LABEL: lea_extern_data:
128; MEDIUM-STATIC: # %bb.0:
129; MEDIUM-STATIC-NEXT: movabsq $extern_data, %rax
130; MEDIUM-STATIC-NEXT: retq
131;
132; LARGE-STATIC-LABEL: lea_extern_data:
133; LARGE-STATIC: # %bb.0:
134; LARGE-STATIC-NEXT: movabsq $extern_data, %rax
135; LARGE-STATIC-NEXT: retq
136;
137; SMALL-PIC-LABEL: lea_extern_data:
138; SMALL-PIC: # %bb.0:
139; SMALL-PIC-NEXT: movq extern_data@GOTPCREL(%rip), %rax
140; SMALL-PIC-NEXT: retq
141;
142; MEDIUM-PIC-LABEL: lea_extern_data:
143; MEDIUM-PIC: # %bb.0:
144; MEDIUM-PIC-NEXT: movq extern_data@GOTPCREL(%rip), %rax
145; MEDIUM-PIC-NEXT: retq
146;
147; LARGE-PIC-LABEL: lea_extern_data:
148; LARGE-PIC: # %bb.0:
Reid Kleckner49a24272018-10-24 22:57:28 +0000[diff] [blame^]149; LARGE-PIC-NEXT: .L2$pb:
150; LARGE-PIC-NEXT: leaq .L2$pb(%rip), %rax
151; LARGE-PIC-NEXT: movabsq $_GLOBAL_OFFSET_TABLE_-.L2$pb, %rcx
152; LARGE-PIC-NEXT: addq %rax, %rcx
153; LARGE-PIC-NEXT: movabsq $extern_data@GOT, %rax
154; LARGE-PIC-NEXT: movq (%rcx,%rax), %rax
Reid Kleckner980c4df2018-07-23 21:14:35 +0000[diff] [blame]155; LARGE-PIC-NEXT: retq
156 ret i32* getelementptr inbounds ([10 x i32], [10 x i32]* @extern_data, i64 0, i64 0)
157}
158
159define dso_local i32 @load_global_data() #0 {
160; SMALL-STATIC-LABEL: load_global_data:
161; SMALL-STATIC: # %bb.0:
162; SMALL-STATIC-NEXT: movl global_data+8(%rip), %eax
163; SMALL-STATIC-NEXT: retq
164;
165; MEDIUM-STATIC-LABEL: load_global_data:
166; MEDIUM-STATIC: # %bb.0:
167; MEDIUM-STATIC-NEXT: movabsq $global_data, %rax
168; MEDIUM-STATIC-NEXT: movl 8(%rax), %eax
169; MEDIUM-STATIC-NEXT: retq
170;
171; LARGE-STATIC-LABEL: load_global_data:
172; LARGE-STATIC: # %bb.0:
173; LARGE-STATIC-NEXT: movabsq $global_data, %rax
174; LARGE-STATIC-NEXT: movl 8(%rax), %eax
175; LARGE-STATIC-NEXT: retq
176;
177; SMALL-PIC-LABEL: load_global_data:
178; SMALL-PIC: # %bb.0:
179; SMALL-PIC-NEXT: movl global_data+8(%rip), %eax
180; SMALL-PIC-NEXT: retq
181;
182; MEDIUM-PIC-LABEL: load_global_data:
183; MEDIUM-PIC: # %bb.0:
184; MEDIUM-PIC-NEXT: leaq _GLOBAL_OFFSET_TABLE_(%rip), %rax
185; MEDIUM-PIC-NEXT: movabsq $global_data@GOTOFF, %rcx
186; MEDIUM-PIC-NEXT: movl 8(%rax,%rcx), %eax
187; MEDIUM-PIC-NEXT: retq
188;
189; LARGE-PIC-LABEL: load_global_data:
190; LARGE-PIC: # %bb.0:
Reid Kleckner49a24272018-10-24 22:57:28 +0000[diff] [blame^]191; LARGE-PIC-NEXT: .L3$pb:
192; LARGE-PIC-NEXT: leaq .L3$pb(%rip), %rax
193; LARGE-PIC-NEXT: movabsq $_GLOBAL_OFFSET_TABLE_-.L3$pb, %rcx
194; LARGE-PIC-NEXT: addq %rax, %rcx
195; LARGE-PIC-NEXT: movabsq $global_data@GOTOFF, %rax
196; LARGE-PIC-NEXT: movl 8(%rcx,%rax), %eax
Reid Kleckner980c4df2018-07-23 21:14:35 +0000[diff] [blame]197; LARGE-PIC-NEXT: retq
198 %rv = load i32, i32* getelementptr inbounds ([10 x i32], [10 x i32]* @global_data, i64 0, i64 2)
199 ret i32 %rv
200}
201
202define dso_local i32 @load_extern_data() #0 {
203; SMALL-STATIC-LABEL: load_extern_data:
204; SMALL-STATIC: # %bb.0:
205; SMALL-STATIC-NEXT: movl extern_data+8(%rip), %eax
206; SMALL-STATIC-NEXT: retq
207;
208; MEDIUM-STATIC-LABEL: load_extern_data:
209; MEDIUM-STATIC: # %bb.0:
210; MEDIUM-STATIC-NEXT: movabsq $extern_data, %rax
211; MEDIUM-STATIC-NEXT: movl 8(%rax), %eax
212; MEDIUM-STATIC-NEXT: retq
213;
214; LARGE-STATIC-LABEL: load_extern_data:
215; LARGE-STATIC: # %bb.0:
216; LARGE-STATIC-NEXT: movabsq $extern_data, %rax
217; LARGE-STATIC-NEXT: movl 8(%rax), %eax
218; LARGE-STATIC-NEXT: retq
219;
220; SMALL-PIC-LABEL: load_extern_data:
221; SMALL-PIC: # %bb.0:
222; SMALL-PIC-NEXT: movq extern_data@GOTPCREL(%rip), %rax
223; SMALL-PIC-NEXT: movl 8(%rax), %eax
224; SMALL-PIC-NEXT: retq
225;
226; MEDIUM-PIC-LABEL: load_extern_data:
227; MEDIUM-PIC: # %bb.0:
228; MEDIUM-PIC-NEXT: movq extern_data@GOTPCREL(%rip), %rax
229; MEDIUM-PIC-NEXT: movl 8(%rax), %eax
230; MEDIUM-PIC-NEXT: retq
231;
232; LARGE-PIC-LABEL: load_extern_data:
233; LARGE-PIC: # %bb.0:
Reid Kleckner49a24272018-10-24 22:57:28 +0000[diff] [blame^]234; LARGE-PIC-NEXT: .L4$pb:
235; LARGE-PIC-NEXT: leaq .L4$pb(%rip), %rax
236; LARGE-PIC-NEXT: movabsq $_GLOBAL_OFFSET_TABLE_-.L4$pb, %rcx
237; LARGE-PIC-NEXT: addq %rax, %rcx
238; LARGE-PIC-NEXT: movabsq $extern_data@GOT, %rax
239; LARGE-PIC-NEXT: movq (%rcx,%rax), %rax
Reid Kleckner980c4df2018-07-23 21:14:35 +0000[diff] [blame]240; LARGE-PIC-NEXT: movl 8(%rax), %eax
241; LARGE-PIC-NEXT: retq
242 %rv = load i32, i32* getelementptr inbounds ([10 x i32], [10 x i32]* @extern_data, i64 0, i64 2)
243 ret i32 %rv
244}
245
246define dso_local void @global_fn() #0 {
247; CHECK-LABEL: global_fn:
248; CHECK: # %bb.0:
249; CHECK-NEXT: retq
250 ret void
251}
252
253define internal void @static_fn() #0 {
254; CHECK-LABEL: static_fn:
255; CHECK: # %bb.0:
256; CHECK-NEXT: retq
257 ret void
258}
259
260declare void @extern_fn()
261
262define dso_local void ()* @lea_static_fn() #0 {
263; SMALL-STATIC-LABEL: lea_static_fn:
264; SMALL-STATIC: # %bb.0:
265; SMALL-STATIC-NEXT: movl $static_fn, %eax
266; SMALL-STATIC-NEXT: retq
267;
268; MEDIUM-STATIC-LABEL: lea_static_fn:
269; MEDIUM-STATIC: # %bb.0:
270; MEDIUM-STATIC-NEXT: movabsq $static_fn, %rax
271; MEDIUM-STATIC-NEXT: retq
272;
273; LARGE-STATIC-LABEL: lea_static_fn:
274; LARGE-STATIC: # %bb.0:
275; LARGE-STATIC-NEXT: movabsq $static_fn, %rax
276; LARGE-STATIC-NEXT: retq
277;
278; SMALL-PIC-LABEL: lea_static_fn:
279; SMALL-PIC: # %bb.0:
280; SMALL-PIC-NEXT: leaq static_fn(%rip), %rax
281; SMALL-PIC-NEXT: retq
282;
283; MEDIUM-PIC-LABEL: lea_static_fn:
284; MEDIUM-PIC: # %bb.0:
285; MEDIUM-PIC-NEXT: movabsq $static_fn, %rax
286; MEDIUM-PIC-NEXT: retq
287;
288; LARGE-PIC-LABEL: lea_static_fn:
289; LARGE-PIC: # %bb.0:
Reid Kleckner49a24272018-10-24 22:57:28 +0000[diff] [blame^]290; LARGE-PIC-NEXT: .L7$pb:
291; LARGE-PIC-NEXT: leaq .L7$pb(%rip), %rax
292; LARGE-PIC-NEXT: movabsq $_GLOBAL_OFFSET_TABLE_-.L7$pb, %rcx
Reid Kleckner980c4df2018-07-23 21:14:35 +0000[diff] [blame]293; LARGE-PIC-NEXT: addq %rax, %rcx
294; LARGE-PIC-NEXT: movabsq $static_fn@GOTOFF, %rax
295; LARGE-PIC-NEXT: addq %rcx, %rax
296; LARGE-PIC-NEXT: retq
297 ret void ()* @static_fn
298}
299
300define dso_local void ()* @lea_global_fn() #0 {
301; SMALL-STATIC-LABEL: lea_global_fn:
302; SMALL-STATIC: # %bb.0:
303; SMALL-STATIC-NEXT: movl $global_fn, %eax
304; SMALL-STATIC-NEXT: retq
305;
306; MEDIUM-STATIC-LABEL: lea_global_fn:
307; MEDIUM-STATIC: # %bb.0:
308; MEDIUM-STATIC-NEXT: movabsq $global_fn, %rax
309; MEDIUM-STATIC-NEXT: retq
310;
311; LARGE-STATIC-LABEL: lea_global_fn:
312; LARGE-STATIC: # %bb.0:
313; LARGE-STATIC-NEXT: movabsq $global_fn, %rax
314; LARGE-STATIC-NEXT: retq
315;
316; SMALL-PIC-LABEL: lea_global_fn:
317; SMALL-PIC: # %bb.0:
318; SMALL-PIC-NEXT: leaq global_fn(%rip), %rax
319; SMALL-PIC-NEXT: retq
320;
321; MEDIUM-PIC-LABEL: lea_global_fn:
322; MEDIUM-PIC: # %bb.0:
323; MEDIUM-PIC-NEXT: movabsq $global_fn, %rax
324; MEDIUM-PIC-NEXT: retq
325;
326; LARGE-PIC-LABEL: lea_global_fn:
327; LARGE-PIC: # %bb.0:
Reid Kleckner49a24272018-10-24 22:57:28 +0000[diff] [blame^]328; LARGE-PIC-NEXT: .L8$pb:
329; LARGE-PIC-NEXT: leaq .L8$pb(%rip), %rax
330; LARGE-PIC-NEXT: movabsq $_GLOBAL_OFFSET_TABLE_-.L8$pb, %rcx
Reid Kleckner980c4df2018-07-23 21:14:35 +0000[diff] [blame]331; LARGE-PIC-NEXT: addq %rax, %rcx
332; LARGE-PIC-NEXT: movabsq $global_fn@GOTOFF, %rax
333; LARGE-PIC-NEXT: addq %rcx, %rax
334; LARGE-PIC-NEXT: retq
335 ret void ()* @global_fn
336}
337
338define dso_local void ()* @lea_extern_fn() #0 {
339; SMALL-STATIC-LABEL: lea_extern_fn:
340; SMALL-STATIC: # %bb.0:
341; SMALL-STATIC-NEXT: movl $extern_fn, %eax
342; SMALL-STATIC-NEXT: retq
343;
344; MEDIUM-STATIC-LABEL: lea_extern_fn:
345; MEDIUM-STATIC: # %bb.0:
346; MEDIUM-STATIC-NEXT: movabsq $extern_fn, %rax
347; MEDIUM-STATIC-NEXT: retq
348;
349; LARGE-STATIC-LABEL: lea_extern_fn:
350; LARGE-STATIC: # %bb.0:
351; LARGE-STATIC-NEXT: movabsq $extern_fn, %rax
352; LARGE-STATIC-NEXT: retq
353;
354; SMALL-PIC-LABEL: lea_extern_fn:
355; SMALL-PIC: # %bb.0:
356; SMALL-PIC-NEXT: movq extern_fn@GOTPCREL(%rip), %rax
357; SMALL-PIC-NEXT: retq
358;
359; MEDIUM-PIC-LABEL: lea_extern_fn:
360; MEDIUM-PIC: # %bb.0:
361; MEDIUM-PIC-NEXT: movq extern_fn@GOTPCREL(%rip), %rax
362; MEDIUM-PIC-NEXT: retq
363;
364; LARGE-PIC-LABEL: lea_extern_fn:
365; LARGE-PIC: # %bb.0:
Reid Kleckner49a24272018-10-24 22:57:28 +0000[diff] [blame^]366; LARGE-PIC-NEXT: .L9$pb:
367; LARGE-PIC-NEXT: leaq .L9$pb(%rip), %rax
368; LARGE-PIC-NEXT: movabsq $_GLOBAL_OFFSET_TABLE_-.L9$pb, %rcx
369; LARGE-PIC-NEXT: addq %rax, %rcx
370; LARGE-PIC-NEXT: movabsq $extern_fn@GOT, %rax
371; LARGE-PIC-NEXT: movq (%rcx,%rax), %rax
Reid Kleckner980c4df2018-07-23 21:14:35 +0000[diff] [blame]372; LARGE-PIC-NEXT: retq
373 ret void ()* @extern_fn
374}
375
376attributes #0 = { noinline nounwind uwtable }
377
378!llvm.module.flags = !{!0, !1, !2}
379!llvm.ident = !{!3}
380
381!0 = !{i32 1, !"wchar_size", i32 4}
382!1 = !{i32 7, !"PIC Level", i32 2}
383!2 = !{i32 7, !"PIE Level", i32 2}
384!3 = !{!"clang version 7.0.0 "}