cv-loc-unreachable.s
6.07 KB
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
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
# RUN: llvm-mc %s -triple=i686-pc-win32 -filetype=obj -o %t.obj
# RUN: llvm-objdump -d %t.obj | FileCheck %s --check-prefix=ASM
# RUN: llvm-pdbutil dump -il -symbols %t.obj | FileCheck %s --check-prefix=CODEVIEW
# Original source, slightly modified with an extra .cv_loc directive (at EXTRA
# below) that was causing assertions:
#
# void __declspec(noreturn) __declspec(dllimport) exit(int);
# int unlikely();
# static inline void do_exit() {
# if (unlikely()) {
# exit(32);
# }
# }
# void callit() {
# do_exit();
# }
# ASM: 00000000 _callit:
# begin inline {
# ASM-NEXT: 0: e8 00 00 00 00 calll 0 <_callit+0x5>
# ASM-NEXT: 5: 85 c0 testl %eax, %eax
# ASM-NEXT: 7: 75 01 jne 1 <_callit+0xa>
# } end inline
# ASM-NEXT: 9: c3 retl
# begin inline {
# ASM-NEXT: a: 6a 20 pushl $32
# ASM-NEXT: c: ff 15 00 00 00 00 calll *0
# } end inline
# CODEVIEW: Inlinee | Line | Source File
# CODEVIEW: 0x1002 | 3 | C:\src\llvm-project\build\t.cpp (MD5: 0BC092F354CE14FDC2FA78F8EDE7426E)
# CODEVIEW: S_INLINESITE [size = 26]
# CODEVIEW-NEXT: inlinee = 0x1002 (do_exit), parent = 0, end = 0
# CODEVIEW-NEXT: 0602 line 1 (+1)
# CODEVIEW-NEXT: 0409 code end 0x9 (+0x9)
# CODEVIEW-NEXT: 0B21 code 0xA (+0x1) line 2 (+1)
# CODEVIEW-NEXT: 0B28 code 0x12 (+0x8) line 3 (+1)
# CODEVIEW-NEXT: 0400 code end 0x12 (+0x0)
.text
.def _callit; .scl 2; .type 32; .endef
.globl _callit # -- Begin function callit
_callit: # @callit
Lfunc_begin0:
.cv_func_id 0
.cv_fpo_proc _callit 0
# %bb.0: # %entry
.cv_file 1 "C:\\src\\llvm-project\\build\\t.cpp" "0BC092F354CE14FDC2FA78F8EDE7426E" 1
.cv_inline_site_id 1 within 0 inlined_at 1 9 0
.cv_loc 1 1 4 0 is_stmt 0 # t.cpp:4:0
calll _unlikely
testl %eax, %eax
jne LBB0_1
Ltmp0:
# %bb.2: # %do_exit.exit
.cv_loc 0 1 10 0 # t.cpp:10:0
retl
LBB0_1: # %if.then.i
Ltmp1:
.cv_loc 1 1 5 0 # t.cpp:5:0
pushl $32
calll *__imp__exit
# EXTRA
.cv_loc 1 1 6 0 # t.cpp:6:0
Ltmp2:
.cv_fpo_endproc
Lfunc_end0:
# -- End function
.section .debug$S,"dr"
.p2align 2
.long 4 # Debug section magic
.long 241
.long Ltmp4-Ltmp3 # Subsection size
Ltmp3:
.short Ltmp6-Ltmp5 # Record length
Ltmp5:
.short 4412 # Record kind: S_COMPILE3
.long 0 # Flags and language
.short 7 # CPUType
.short 7 # Frontend version
.short 0
.short 0
.short 0
.short 7000 # Backend version
.short 0
.short 0
.short 0
.asciz "clang version 7.0.0 " # Null-terminated compiler version string
Ltmp6:
Ltmp4:
.p2align 2
.long 246 # Inlinee lines subsection
.long Ltmp8-Ltmp7 # Subsection size
Ltmp7:
.long 0 # Inlinee lines signature
# Inlined function do_exit starts at t.cpp:3
.long 4098 # Type index of inlined function
.cv_filechecksumoffset 1 # Offset into filechecksum table
.long 3 # Starting line number
Ltmp8:
.p2align 2
.cv_fpo_data _callit
.long 241 # Symbol subsection for callit
.long Ltmp10-Ltmp9 # Subsection size
Ltmp9:
.short Ltmp12-Ltmp11 # Record length
Ltmp11:
.short 4423 # Record kind: S_GPROC32_ID
.long 0 # PtrParent
.long 0 # PtrEnd
.long 0 # PtrNext
.long Lfunc_end0-_callit # Code size
.long 0 # Offset after prologue
.long 0 # Offset before epilogue
.long 4099 # Function type index
.secrel32 _callit # Function section relative address
.secidx _callit # Function section index
.byte 0 # Flags
.asciz "callit" # Function name
Ltmp12:
.short Ltmp14-Ltmp13 # Record length
Ltmp13:
.short 4429 # Record kind: S_INLINESITE
.long 0 # PtrParent
.long 0 # PtrEnd
.long 4098 # Inlinee type index
.cv_inline_linetable 1 1 3 Lfunc_begin0 Lfunc_end0
Ltmp14:
.short 2 # Record length
.short 4430 # Record kind: S_INLINESITE_END
.short 2 # Record length
.short 4431 # Record kind: S_PROC_ID_END
Ltmp10:
.p2align 2
.cv_linetable 0, _callit, Lfunc_end0
.cv_filechecksums # File index to string table offset subsection
.cv_stringtable # String table
.section .debug$T,"dr"
.p2align 2
.long 4 # Debug section magic
# ArgList (0x1000) {
# TypeLeafKind: LF_ARGLIST (0x1201)
# NumArgs: 0
# Arguments [
# ]
# }
.byte 0x06, 0x00, 0x01, 0x12
.byte 0x00, 0x00, 0x00, 0x00
# Procedure (0x1001) {
# TypeLeafKind: LF_PROCEDURE (0x1008)
# ReturnType: void (0x3)
# CallingConvention: NearC (0x0)
# FunctionOptions [ (0x0)
# ]
# NumParameters: 0
# ArgListType: () (0x1000)
# }
.byte 0x0e, 0x00, 0x08, 0x10
.byte 0x03, 0x00, 0x00, 0x00
.byte 0x00, 0x00, 0x00, 0x00
.byte 0x00, 0x10, 0x00, 0x00
# FuncId (0x1002) {
# TypeLeafKind: LF_FUNC_ID (0x1601)
# ParentScope: 0x0
# FunctionType: void () (0x1001)
# Name: do_exit
# }
.byte 0x12, 0x00, 0x01, 0x16
.byte 0x00, 0x00, 0x00, 0x00
.byte 0x01, 0x10, 0x00, 0x00
.byte 0x64, 0x6f, 0x5f, 0x65
.byte 0x78, 0x69, 0x74, 0x00
# FuncId (0x1003) {
# TypeLeafKind: LF_FUNC_ID (0x1601)
# ParentScope: 0x0
# FunctionType: void () (0x1001)
# Name: callit
# }
.byte 0x12, 0x00, 0x01, 0x16
.byte 0x00, 0x00, 0x00, 0x00
.byte 0x01, 0x10, 0x00, 0x00
.byte 0x63, 0x61, 0x6c, 0x6c
.byte 0x69, 0x74, 0x00, 0xf1