1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; Run with --no_x86_scrub_rip because we care a lot about how globals are
; accessed in the code model.
; Memset is interesting because it is an ExternalSymbol reference instead of a
; GlobalValue. Make sure we do the right GOT load for 64-bit large.
; RUN: llc < %s -relocation-model=pic -code-model=small | FileCheck %s --check-prefix=CHECK --check-prefix=SMALL-PIC
; RUN: llc < %s -relocation-model=pic -code-model=medium | FileCheck %s --check-prefix=CHECK --check-prefix=MEDIUM-PIC
; RUN: llc < %s -relocation-model=pic -code-model=large | FileCheck %s --check-prefix=CHECK --check-prefix=LARGE-PIC
; Generated from this C source:
;
; int main() {
; unsigned int a[100] = {0};
; return 0;
; }
; ModuleID = 'model.c'
source_filename = "model.c"
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64--linux"
declare void @llvm.memset.p0i8.i64(i8* nocapture writeonly, i8, i64, i1) #1
define i32 @main() #0 {
; SMALL-PIC-LABEL: main:
; SMALL-PIC: # %bb.0: # %entry
; SMALL-PIC-NEXT: subq $424, %rsp # imm = 0x1A8
; SMALL-PIC-NEXT: .cfi_def_cfa_offset 432
; SMALL-PIC-NEXT: movl $0, {{[0-9]+}}(%rsp)
; SMALL-PIC-NEXT: leaq {{[0-9]+}}(%rsp), %rdi
; SMALL-PIC-NEXT: movl $400, %edx # imm = 0x190
; SMALL-PIC-NEXT: xorl %esi, %esi
; SMALL-PIC-NEXT: callq memset@PLT
; SMALL-PIC-NEXT: xorl %eax, %eax
; SMALL-PIC-NEXT: addq $424, %rsp # imm = 0x1A8
; SMALL-PIC-NEXT: .cfi_def_cfa_offset 8
; SMALL-PIC-NEXT: retq
;
; MEDIUM-PIC-LABEL: main:
; MEDIUM-PIC: # %bb.0: # %entry
; MEDIUM-PIC-NEXT: subq $424, %rsp # imm = 0x1A8
; MEDIUM-PIC-NEXT: .cfi_def_cfa_offset 432
; MEDIUM-PIC-NEXT: movl $0, {{[0-9]+}}(%rsp)
; MEDIUM-PIC-NEXT: leaq {{[0-9]+}}(%rsp), %rdi
; MEDIUM-PIC-NEXT: movl $400, %edx # imm = 0x190
; MEDIUM-PIC-NEXT: xorl %esi, %esi
; MEDIUM-PIC-NEXT: callq memset@PLT
; MEDIUM-PIC-NEXT: xorl %eax, %eax
; MEDIUM-PIC-NEXT: addq $424, %rsp # imm = 0x1A8
; MEDIUM-PIC-NEXT: .cfi_def_cfa_offset 8
; MEDIUM-PIC-NEXT: retq
;
; LARGE-PIC-LABEL: main:
; LARGE-PIC: # %bb.0: # %entry
; LARGE-PIC-NEXT: subq $424, %rsp # imm = 0x1A8
; LARGE-PIC-NEXT: .cfi_def_cfa_offset 432
; LARGE-PIC-NEXT: .L0$pb:
; LARGE-PIC-NEXT: leaq .L0${{.*}}(%rip), %rax
; LARGE-PIC-NEXT: movabsq $_GLOBAL_OFFSET_TABLE_-.L0$pb, %rcx
; LARGE-PIC-NEXT: addq %rax, %rcx
; LARGE-PIC-NEXT: movl $0, {{[0-9]+}}(%rsp)
; LARGE-PIC-NEXT: leaq {{[0-9]+}}(%rsp), %rdi
; LARGE-PIC-NEXT: movabsq $memset@GOT, %rax
; LARGE-PIC-NEXT: movl $400, %edx # imm = 0x190
; LARGE-PIC-NEXT: xorl %esi, %esi
; LARGE-PIC-NEXT: callq *(%rcx,%rax)
; LARGE-PIC-NEXT: xorl %eax, %eax
; LARGE-PIC-NEXT: addq $424, %rsp # imm = 0x1A8
; LARGE-PIC-NEXT: .cfi_def_cfa_offset 8
; LARGE-PIC-NEXT: retq
entry:
%retval = alloca i32, align 4
%a = alloca [100 x i32], align 16
store i32 0, i32* %retval, align 4
%0 = bitcast [100 x i32]* %a to i8*
call void @llvm.memset.p0i8.i64(i8* align 16 %0, i8 0, i64 400, i1 false)
ret i32 0
}
attributes #0 = { noinline nounwind uwtable }
attributes #0 = { argmemonly nounwind uwtable }
!llvm.module.flags = !{!0, !1, !2}
!llvm.ident = !{!3}
!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 7, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{!"clang version 7.0.0 "}
|