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
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
|
-- | Constants describing the DWARF format. Most of this simply
-- mirrors \/usr\/include\/dwarf.h.
module GHC.CmmToAsm.Dwarf.Constants where
import GHC.Prelude
import GHC.Utils.Asm
import GHC.Platform
import GHC.Utils.Outputable
import GHC.Platform.Reg
import GHC.CmmToAsm.X86.Regs
import GHC.CmmToAsm.PPC.Regs (toRegNo)
import Data.Word
-- | Language ID used for Haskell.
dW_LANG_Haskell :: Word
dW_LANG_Haskell = 0x18
-- Thanks to Nathan Howell for getting us our very own language ID!
-- * Dwarf tags
dW_TAG_compile_unit, dW_TAG_subroutine_type,
dW_TAG_file_type, dW_TAG_subprogram, dW_TAG_lexical_block,
dW_TAG_base_type, dW_TAG_structure_type, dW_TAG_pointer_type,
dW_TAG_array_type, dW_TAG_subrange_type, dW_TAG_typedef,
dW_TAG_variable, dW_TAG_arg_variable, dW_TAG_auto_variable,
dW_TAG_ghc_src_note :: Word
dW_TAG_array_type = 1
dW_TAG_lexical_block = 11
dW_TAG_pointer_type = 15
dW_TAG_compile_unit = 17
dW_TAG_structure_type = 19
dW_TAG_typedef = 22
dW_TAG_subroutine_type = 32
dW_TAG_subrange_type = 33
dW_TAG_base_type = 36
dW_TAG_file_type = 41
dW_TAG_subprogram = 46
dW_TAG_variable = 52
dW_TAG_auto_variable = 256
dW_TAG_arg_variable = 257
dW_TAG_ghc_src_note = 0x5b00
-- * Dwarf attributes
dW_AT_name, dW_AT_stmt_list, dW_AT_low_pc, dW_AT_high_pc, dW_AT_language,
dW_AT_comp_dir, dW_AT_producer, dW_AT_external, dW_AT_frame_base,
dW_AT_use_UTF8, dW_AT_linkage_name :: Word
dW_AT_name = 0x03
dW_AT_stmt_list = 0x10
dW_AT_low_pc = 0x11
dW_AT_high_pc = 0x12
dW_AT_language = 0x13
dW_AT_comp_dir = 0x1b
dW_AT_producer = 0x25
dW_AT_external = 0x3f
dW_AT_frame_base = 0x40
dW_AT_use_UTF8 = 0x53
dW_AT_linkage_name = 0x6e
-- * Custom DWARF attributes
-- Chosen a more or less random section of the vendor-extensible region
-- ** Describing C-- blocks
-- These appear in DW_TAG_lexical_scope DIEs corresponding to C-- blocks
dW_AT_ghc_tick_parent :: Word
dW_AT_ghc_tick_parent = 0x2b20
-- ** Describing source notes
-- These appear in DW_TAG_ghc_src_note DIEs
dW_AT_ghc_span_file, dW_AT_ghc_span_start_line,
dW_AT_ghc_span_start_col, dW_AT_ghc_span_end_line,
dW_AT_ghc_span_end_col :: Word
dW_AT_ghc_span_file = 0x2b00
dW_AT_ghc_span_start_line = 0x2b01
dW_AT_ghc_span_start_col = 0x2b02
dW_AT_ghc_span_end_line = 0x2b03
dW_AT_ghc_span_end_col = 0x2b04
-- * Abbrev declarations
dW_CHILDREN_no, dW_CHILDREN_yes :: Word8
dW_CHILDREN_no = 0
dW_CHILDREN_yes = 1
dW_FORM_addr, dW_FORM_data2, dW_FORM_data4, dW_FORM_string, dW_FORM_flag,
dW_FORM_block1, dW_FORM_ref4, dW_FORM_ref_addr, dW_FORM_flag_present :: Word
dW_FORM_addr = 0x01
dW_FORM_data2 = 0x05
dW_FORM_data4 = 0x06
dW_FORM_string = 0x08
dW_FORM_flag = 0x0c
dW_FORM_block1 = 0x0a
dW_FORM_ref_addr = 0x10
dW_FORM_ref4 = 0x13
dW_FORM_flag_present = 0x19
-- * Dwarf native types
dW_ATE_address, dW_ATE_boolean, dW_ATE_float, dW_ATE_signed,
dW_ATE_signed_char, dW_ATE_unsigned, dW_ATE_unsigned_char :: Word
dW_ATE_address = 1
dW_ATE_boolean = 2
dW_ATE_float = 4
dW_ATE_signed = 5
dW_ATE_signed_char = 6
dW_ATE_unsigned = 7
dW_ATE_unsigned_char = 8
-- * Call frame information
dW_CFA_set_loc, dW_CFA_undefined, dW_CFA_same_value,
dW_CFA_def_cfa, dW_CFA_def_cfa_offset, dW_CFA_def_cfa_expression,
dW_CFA_expression, dW_CFA_offset_extended_sf, dW_CFA_def_cfa_offset_sf,
dW_CFA_def_cfa_sf, dW_CFA_val_offset, dW_CFA_val_expression,
dW_CFA_offset :: Word8
dW_CFA_set_loc = 0x01
dW_CFA_undefined = 0x07
dW_CFA_same_value = 0x08
dW_CFA_def_cfa = 0x0c
dW_CFA_def_cfa_offset = 0x0e
dW_CFA_def_cfa_expression = 0x0f
dW_CFA_expression = 0x10
dW_CFA_offset_extended_sf = 0x11
dW_CFA_def_cfa_sf = 0x12
dW_CFA_def_cfa_offset_sf = 0x13
dW_CFA_val_offset = 0x14
dW_CFA_val_expression = 0x16
dW_CFA_offset = 0x80
-- * Operations
dW_OP_addr, dW_OP_deref, dW_OP_consts,
dW_OP_minus, dW_OP_mul, dW_OP_plus,
dW_OP_lit0, dW_OP_breg0, dW_OP_call_frame_cfa :: Word8
dW_OP_addr = 0x03
dW_OP_deref = 0x06
dW_OP_consts = 0x11
dW_OP_minus = 0x1c
dW_OP_mul = 0x1e
dW_OP_plus = 0x22
dW_OP_lit0 = 0x30
dW_OP_breg0 = 0x70
dW_OP_call_frame_cfa = 0x9c
-- * Dwarf section declarations
dwarfInfoSection, dwarfAbbrevSection, dwarfLineSection,
dwarfFrameSection, dwarfGhcSection, dwarfARangesSection :: Platform -> SDoc
dwarfInfoSection platform = dwarfSection platform "info"
dwarfAbbrevSection platform = dwarfSection platform "abbrev"
dwarfLineSection platform = dwarfSection platform "line"
dwarfFrameSection platform = dwarfSection platform "frame"
dwarfGhcSection platform = dwarfSection platform "ghc"
dwarfARangesSection platform = dwarfSection platform "aranges"
dwarfSection :: Platform -> String -> SDoc
dwarfSection platform name =
case platformOS platform of
os | osElfTarget os
-> text "\t.section .debug_" <> text name <> text ",\"\","
<> sectionType platform "progbits"
| osMachOTarget os
-> text "\t.section __DWARF,__debug_" <> text name <> text ",regular,debug"
| otherwise
-> text "\t.section .debug_" <> text name <> text ",\"dr\""
-- * Dwarf section labels
dwarfInfoLabel, dwarfAbbrevLabel, dwarfLineLabel, dwarfFrameLabel :: SDoc
dwarfInfoLabel = text ".Lsection_info"
dwarfAbbrevLabel = text ".Lsection_abbrev"
dwarfLineLabel = text ".Lsection_line"
dwarfFrameLabel = text ".Lsection_frame"
-- | Mapping of registers to DWARF register numbers
dwarfRegNo :: Platform -> Reg -> Word8
dwarfRegNo p r = case platformArch p of
ArchX86
| r == eax -> 0
| r == ecx -> 1 -- yes, no typo
| r == edx -> 2
| r == ebx -> 3
| r == esp -> 4
| r == ebp -> 5
| r == esi -> 6
| r == edi -> 7
ArchX86_64
| r == rax -> 0
| r == rdx -> 1 -- this neither. The order GCC allocates registers in?
| r == rcx -> 2
| r == rbx -> 3
| r == rsi -> 4
| r == rdi -> 5
| r == rbp -> 6
| r == rsp -> 7
| r == r8 -> 8
| r == r9 -> 9
| r == r10 -> 10
| r == r11 -> 11
| r == r12 -> 12
| r == r13 -> 13
| r == r14 -> 14
| r == r15 -> 15
| r == xmm0 -> 17
| r == xmm1 -> 18
| r == xmm2 -> 19
| r == xmm3 -> 20
| r == xmm4 -> 21
| r == xmm5 -> 22
| r == xmm6 -> 23
| r == xmm7 -> 24
| r == xmm8 -> 25
| r == xmm9 -> 26
| r == xmm10 -> 27
| r == xmm11 -> 28
| r == xmm12 -> 29
| r == xmm13 -> 30
| r == xmm14 -> 31
| r == xmm15 -> 32
ArchPPC_64 _ -> fromIntegral $ toRegNo r
_other -> error "dwarfRegNo: Unsupported platform or unknown register!"
-- | Virtual register number to use for return address.
dwarfReturnRegNo :: Platform -> Word8
dwarfReturnRegNo p
-- We "overwrite" IP with our pseudo register - that makes sense, as
-- when using this mechanism gdb already knows the IP anyway. Clang
-- does this too, so it must be safe.
= case platformArch p of
ArchX86 -> 8 -- eip
ArchX86_64 -> 16 -- rip
ArchPPC_64 ELF_V2 -> 65 -- lr (link register)
_other -> error "dwarfReturnRegNo: Unsupported platform!"
|
