1 //! Handling of everything related to debuginfo.
10 use rustc_index::vec::IndexVec;
12 use cranelift_codegen::entity::EntityRef;
13 use cranelift_codegen::ir::{LabelValueLoc, StackSlots, ValueLabel, ValueLoc};
14 use cranelift_codegen::isa::TargetIsa;
15 use cranelift_codegen::ValueLocRange;
18 Address, AttributeValue, DwarfUnit, Expression, LineProgram, LineString, Location,
19 LocationList, Range, RangeList, UnitEntryId,
21 use gimli::{Encoding, Format, LineEncoding, RunTimeEndian, X86_64};
23 pub(crate) use emit::{DebugReloc, DebugRelocName};
24 pub(crate) use unwind::UnwindContext;
26 fn target_endian(tcx: TyCtxt<'_>) -> RunTimeEndian {
27 use rustc_target::abi::Endian;
29 match tcx.data_layout.endian {
30 Endian::Big => RunTimeEndian::Big,
31 Endian::Little => RunTimeEndian::Little,
35 pub(crate) struct DebugContext<'tcx> {
38 endian: RunTimeEndian,
41 unit_range_list: RangeList,
43 types: FxHashMap<Ty<'tcx>, UnitEntryId>,
46 impl<'tcx> DebugContext<'tcx> {
47 pub(crate) fn new(tcx: TyCtxt<'tcx>, isa: &dyn TargetIsa) -> Self {
48 let encoding = Encoding {
49 format: Format::Dwarf32,
50 // FIXME this should be configurable
51 // macOS doesn't seem to support DWARF > 3
52 // 5 version is required for md5 file hash
53 version: if tcx.sess.target.is_like_osx {
56 // FIXME change to version 5 once the gdb and lldb shipping with the latest debian
60 address_size: isa.frontend_config().pointer_bytes(),
63 let mut dwarf = DwarfUnit::new(encoding);
65 let producer = format!(
66 "cg_clif (rustc {}, cranelift {})",
67 rustc_interface::util::version_str().unwrap_or("unknown version"),
68 cranelift_codegen::VERSION,
70 let comp_dir = tcx.sess.opts.working_dir.to_string_lossy(false).into_owned();
71 let (name, file_info) = match tcx.sess.local_crate_source_file.clone() {
73 let name = path.to_string_lossy().into_owned();
76 None => (tcx.crate_name(LOCAL_CRATE).to_string(), None),
79 let mut line_program = LineProgram::new(
81 LineEncoding::default(),
82 LineString::new(comp_dir.as_bytes(), encoding, &mut dwarf.line_strings),
83 LineString::new(name.as_bytes(), encoding, &mut dwarf.line_strings),
86 line_program.file_has_md5 = file_info.is_some();
88 dwarf.unit.line_program = line_program;
91 let name = dwarf.strings.add(name);
92 let comp_dir = dwarf.strings.add(comp_dir);
94 let root = dwarf.unit.root();
95 let root = dwarf.unit.get_mut(root);
96 root.set(gimli::DW_AT_producer, AttributeValue::StringRef(dwarf.strings.add(producer)));
97 root.set(gimli::DW_AT_language, AttributeValue::Language(gimli::DW_LANG_Rust));
98 root.set(gimli::DW_AT_name, AttributeValue::StringRef(name));
99 root.set(gimli::DW_AT_comp_dir, AttributeValue::StringRef(comp_dir));
100 root.set(gimli::DW_AT_low_pc, AttributeValue::Address(Address::Constant(0)));
106 endian: target_endian(tcx),
109 unit_range_list: RangeList(Vec::new()),
111 types: FxHashMap::default(),
115 fn dwarf_ty(&mut self, ty: Ty<'tcx>) -> UnitEntryId {
116 if let Some(type_id) = self.types.get(ty) {
120 let new_entry = |dwarf: &mut DwarfUnit, tag| dwarf.unit.add(dwarf.unit.root(), tag);
122 let primitive = |dwarf: &mut DwarfUnit, ate| {
123 let type_id = new_entry(dwarf, gimli::DW_TAG_base_type);
124 let type_entry = dwarf.unit.get_mut(type_id);
125 type_entry.set(gimli::DW_AT_encoding, AttributeValue::Encoding(ate));
129 let name = format!("{}", ty);
130 let layout = self.tcx.layout_of(ParamEnv::reveal_all().and(ty)).unwrap();
132 let type_id = match ty.kind() {
133 ty::Bool => primitive(&mut self.dwarf, gimli::DW_ATE_boolean),
134 ty::Char => primitive(&mut self.dwarf, gimli::DW_ATE_UTF),
135 ty::Uint(_) => primitive(&mut self.dwarf, gimli::DW_ATE_unsigned),
136 ty::Int(_) => primitive(&mut self.dwarf, gimli::DW_ATE_signed),
137 ty::Float(_) => primitive(&mut self.dwarf, gimli::DW_ATE_float),
138 ty::Ref(_, pointee_ty, _mutbl)
139 | ty::RawPtr(ty::TypeAndMut { ty: pointee_ty, mutbl: _mutbl }) => {
140 let type_id = new_entry(&mut self.dwarf, gimli::DW_TAG_pointer_type);
142 // Ensure that type is inserted before recursing to avoid duplicates
143 self.types.insert(ty, type_id);
145 let pointee = self.dwarf_ty(pointee_ty);
147 let type_entry = self.dwarf.unit.get_mut(type_id);
149 //type_entry.set(gimli::DW_AT_mutable, AttributeValue::Flag(mutbl == rustc_hir::Mutability::Mut));
150 type_entry.set(gimli::DW_AT_type, AttributeValue::UnitRef(pointee));
154 ty::Adt(adt_def, _substs) if adt_def.is_struct() && !layout.is_unsized() => {
155 let type_id = new_entry(&mut self.dwarf, gimli::DW_TAG_structure_type);
157 // Ensure that type is inserted before recursing to avoid duplicates
158 self.types.insert(ty, type_id);
160 let variant = adt_def.non_enum_variant();
162 for (field_idx, field_def) in variant.fields.iter().enumerate() {
163 let field_offset = layout.fields.offset(field_idx);
164 let field_layout = layout.field(
165 &layout::LayoutCx { tcx: self.tcx, param_env: ParamEnv::reveal_all() },
169 let field_type = self.dwarf_ty(field_layout.ty);
171 let field_id = self.dwarf.unit.add(type_id, gimli::DW_TAG_member);
172 let field_entry = self.dwarf.unit.get_mut(field_id);
176 AttributeValue::String(field_def.ident.as_str().to_string().into_bytes()),
179 gimli::DW_AT_data_member_location,
180 AttributeValue::Udata(field_offset.bytes()),
182 field_entry.set(gimli::DW_AT_type, AttributeValue::UnitRef(field_type));
187 _ => new_entry(&mut self.dwarf, gimli::DW_TAG_structure_type),
190 let type_entry = self.dwarf.unit.get_mut(type_id);
192 type_entry.set(gimli::DW_AT_name, AttributeValue::String(name.into_bytes()));
193 type_entry.set(gimli::DW_AT_byte_size, AttributeValue::Udata(layout.size.bytes()));
195 self.types.insert(ty, type_id);
200 fn define_local(&mut self, scope: UnitEntryId, name: String, ty: Ty<'tcx>) -> UnitEntryId {
201 let dw_ty = self.dwarf_ty(ty);
203 let var_id = self.dwarf.unit.add(scope, gimli::DW_TAG_variable);
204 let var_entry = self.dwarf.unit.get_mut(var_id);
206 var_entry.set(gimli::DW_AT_name, AttributeValue::String(name.into_bytes()));
207 var_entry.set(gimli::DW_AT_type, AttributeValue::UnitRef(dw_ty));
212 pub(crate) fn define_function(
214 instance: Instance<'tcx>,
219 source_info_set: &indexmap::IndexSet<SourceInfo>,
220 local_map: IndexVec<mir::Local, CPlace<'tcx>>,
222 let symbol = func_id.as_u32() as usize;
223 let mir = self.tcx.instance_mir(instance.def);
225 // FIXME: add to appropriate scope instead of root
226 let scope = self.dwarf.unit.root();
228 let entry_id = self.dwarf.unit.add(scope, gimli::DW_TAG_subprogram);
229 let entry = self.dwarf.unit.get_mut(entry_id);
230 let name_id = self.dwarf.strings.add(name);
231 // Gdb requires DW_AT_name. Otherwise the DW_TAG_subprogram is skipped.
232 entry.set(gimli::DW_AT_name, AttributeValue::StringRef(name_id));
233 entry.set(gimli::DW_AT_linkage_name, AttributeValue::StringRef(name_id));
235 let end = self.create_debug_lines(symbol, entry_id, context, mir.span, source_info_set);
237 self.unit_range_list.0.push(Range::StartLength {
238 begin: Address::Symbol { symbol, addend: 0 },
239 length: u64::from(end),
242 let func_entry = self.dwarf.unit.get_mut(entry_id);
243 // Gdb requires both DW_AT_low_pc and DW_AT_high_pc. Otherwise the DW_TAG_subprogram is skipped.
246 AttributeValue::Address(Address::Symbol { symbol, addend: 0 }),
248 // Using Udata for DW_AT_high_pc requires at least DWARF4
249 func_entry.set(gimli::DW_AT_high_pc, AttributeValue::Udata(u64::from(end)));
251 // FIXME make it more reliable and implement scopes before re-enabling this.
253 let value_labels_ranges = context.build_value_labels_ranges(isa).unwrap();
255 for (local, _local_decl) in mir.local_decls.iter_enumerated() {
256 let ty = self.tcx.subst_and_normalize_erasing_regions(
258 ty::ParamEnv::reveal_all(),
259 mir.local_decls[local].ty,
261 let var_id = self.define_local(entry_id, format!("{:?}", local), ty);
263 let location = place_location(
269 &value_labels_ranges,
270 Place { local, projection: ty::List::empty() },
273 let var_entry = self.dwarf.unit.get_mut(var_id);
274 var_entry.set(gimli::DW_AT_location, location);
278 // FIXME create locals for all entries in mir.var_debug_info
282 fn place_location<'tcx>(
283 debug_context: &mut DebugContext<'tcx>,
287 local_map: &IndexVec<mir::Local, CPlace<'tcx>>,
288 #[allow(rustc::default_hash_types)] value_labels_ranges: &std::collections::HashMap<
293 ) -> AttributeValue {
294 assert!(place.projection.is_empty()); // FIXME implement them
296 match local_map[place.local].inner() {
297 CPlaceInner::Var(_local, var) => {
298 let value_label = cranelift_codegen::ir::ValueLabel::new(var.index());
299 if let Some(value_loc_ranges) = value_labels_ranges.get(&value_label) {
300 let loc_list = LocationList(
303 .map(|value_loc_range| Location::StartEnd {
304 begin: Address::Symbol {
306 addend: i64::from(value_loc_range.start),
308 end: Address::Symbol { symbol, addend: i64::from(value_loc_range.end) },
312 &context.func.stack_slots,
318 let loc_list_id = debug_context.dwarf.unit.locations.add(loc_list);
320 AttributeValue::LocationListRef(loc_list_id)
322 // FIXME set value labels for unused locals
324 AttributeValue::Exprloc(Expression::new())
327 CPlaceInner::VarPair(_, _, _) => {
328 // FIXME implement this
330 AttributeValue::Exprloc(Expression::new())
332 CPlaceInner::VarLane(_, _, _) => {
333 // FIXME implement this
335 AttributeValue::Exprloc(Expression::new())
337 CPlaceInner::Addr(_, _) => {
338 // FIXME implement this (used by arguments and returns)
340 AttributeValue::Exprloc(Expression::new())
342 // For PointerBase::Stack:
343 //AttributeValue::Exprloc(translate_loc(ValueLoc::Stack(*stack_slot), &context.func.stack_slots).unwrap())
348 // Adapted from https://github.com/CraneStation/wasmtime/blob/5a1845b4caf7a5dba8eda1fef05213a532ed4259/crates/debug/src/transform/expression.rs#L59-L137
352 stack_slots: &StackSlots,
353 ) -> Option<Expression> {
355 LabelValueLoc::ValueLoc(ValueLoc::Reg(reg)) => {
356 let machine_reg = isa.map_dwarf_register(reg).unwrap();
357 let mut expr = Expression::new();
358 expr.op_reg(gimli::Register(machine_reg));
361 LabelValueLoc::ValueLoc(ValueLoc::Stack(ss)) => {
362 if let Some(ss_offset) = stack_slots[ss].offset {
363 let mut expr = Expression::new();
364 expr.op_breg(X86_64::RBP, i64::from(ss_offset) + 16);
370 LabelValueLoc::ValueLoc(ValueLoc::Unassigned) => unreachable!(),
371 LabelValueLoc::Reg(reg) => {
372 let machine_reg = isa.map_regalloc_reg_to_dwarf(reg).unwrap();
373 let mut expr = Expression::new();
374 expr.op_reg(gimli::Register(machine_reg));
377 LabelValueLoc::SPOffset(offset) => {
378 let mut expr = Expression::new();
379 expr.op_breg(X86_64::RSP, offset);