Skip to content
This repository was archived by the owner on May 28, 2025. It is now read-only.

Commit 77efa02

Browse files
committed
Don't compute layout if TargetDataLayout is not available
1 parent 5306eb0 commit 77efa02

File tree

5 files changed

+19
-36
lines changed

5 files changed

+19
-36
lines changed

crates/hir-def/src/layout.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -90,6 +90,7 @@ impl IntegerExt for Integer {
9090
pub enum LayoutError {
9191
UserError(String),
9292
SizeOverflow,
93+
TargetLayoutNotAvailable,
9394
HasPlaceholder,
9495
NotImplemented,
9596
Unknown,

crates/hir-ty/src/db.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -65,7 +65,7 @@ pub trait HirDatabase: DefDatabase + Upcast<dyn DefDatabase> {
6565
fn layout_of_adt(&self, def: AdtId, subst: Substitution) -> Result<Layout, LayoutError>;
6666

6767
#[salsa::invoke(crate::layout::target_data_layout_query)]
68-
fn target_data_layout(&self, krate: CrateId) -> Arc<TargetDataLayout>;
68+
fn target_data_layout(&self, krate: CrateId) -> Option<Arc<TargetDataLayout>>;
6969

7070
#[salsa::invoke(crate::lower::callable_item_sig)]
7171
fn callable_item_signature(&self, def: CallableDefId) -> PolyFnSig;

crates/hir-ty/src/layout.rs

Lines changed: 7 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,5 @@
11
//! Compute the binary representation of a type
22
3-
use std::sync::Arc;
4-
53
use base_db::CrateId;
64
use chalk_ir::{AdtId, TyKind};
75
use hir_def::{
@@ -31,19 +29,19 @@ mod adt;
3129
mod target;
3230

3331
struct LayoutCx<'a> {
34-
db: &'a dyn HirDatabase,
3532
krate: CrateId,
33+
target: &'a TargetDataLayout,
3634
}
3735

38-
impl LayoutCalculator for LayoutCx<'_> {
39-
type TargetDataLayoutRef = Arc<TargetDataLayout>;
36+
impl<'a> LayoutCalculator for LayoutCx<'a> {
37+
type TargetDataLayoutRef = &'a TargetDataLayout;
4038

4139
fn delay_bug(&self, txt: &str) {
4240
never!("{}", txt);
4341
}
4442

45-
fn current_data_layout(&self) -> Arc<TargetDataLayout> {
46-
self.db.target_data_layout(self.krate)
43+
fn current_data_layout(&self) -> &'a TargetDataLayout {
44+
self.target
4745
}
4846
}
4947

@@ -56,7 +54,8 @@ fn scalar(dl: &TargetDataLayout, value: Primitive) -> Layout {
5654
}
5755

5856
pub fn layout_of_ty(db: &dyn HirDatabase, ty: &Ty, krate: CrateId) -> Result<Layout, LayoutError> {
59-
let cx = LayoutCx { db, krate };
57+
let Some(target) = db.target_data_layout(krate) else { return Err(LayoutError::TargetLayoutNotAvailable) };
58+
let cx = LayoutCx { krate, target: &target };
6059
let dl = &*cx.current_data_layout();
6160
Ok(match ty.kind(Interner) {
6261
TyKind::Adt(AdtId(def), subst) => db.layout_of_adt(*def, subst.clone())?,

crates/hir-ty/src/layout/adt.rs

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -23,7 +23,9 @@ pub fn layout_of_adt_query(
2323
def: AdtId,
2424
subst: Substitution,
2525
) -> Result<Layout, LayoutError> {
26-
let cx = LayoutCx { db, krate: def.module(db.upcast()).krate() };
26+
let krate = def.module(db.upcast()).krate();
27+
let Some(target) = db.target_data_layout(krate) else { return Err(LayoutError::TargetLayoutNotAvailable) };
28+
let cx = LayoutCx { krate, target: &target };
2729
let dl = cx.current_data_layout();
2830
let handle_variant = |def: VariantId, var: &VariantData| {
2931
var.fields()

crates/hir-ty/src/layout/target.rs

Lines changed: 7 additions & 26 deletions
Original file line numberDiff line numberDiff line change
@@ -3,34 +3,15 @@
33
use std::sync::Arc;
44

55
use base_db::CrateId;
6-
use hir_def::layout::{Endian, Size, TargetDataLayout};
6+
use hir_def::layout::TargetDataLayout;
77

88
use crate::db::HirDatabase;
99

10-
pub fn target_data_layout_query(db: &dyn HirDatabase, krate: CrateId) -> Arc<TargetDataLayout> {
10+
pub fn target_data_layout_query(
11+
db: &dyn HirDatabase,
12+
krate: CrateId,
13+
) -> Option<Arc<TargetDataLayout>> {
1114
let crate_graph = db.crate_graph();
12-
let target_layout = &crate_graph[krate].target_layout;
13-
let cfg_options = &crate_graph[krate].cfg_options;
14-
Arc::new(
15-
target_layout
16-
.as_ref()
17-
.and_then(|it| TargetDataLayout::parse_from_llvm_datalayout_string(it).ok())
18-
.unwrap_or_else(|| {
19-
let endian = match cfg_options.get_cfg_values("target_endian").next() {
20-
Some(x) if x.as_str() == "big" => Endian::Big,
21-
_ => Endian::Little,
22-
};
23-
let pointer_size = Size::from_bytes(
24-
match cfg_options.get_cfg_values("target_pointer_width").next() {
25-
Some(x) => match x.as_str() {
26-
"16" => 2,
27-
"32" => 4,
28-
_ => 8,
29-
},
30-
_ => 8,
31-
},
32-
);
33-
TargetDataLayout { endian, pointer_size, ..TargetDataLayout::default() }
34-
}),
35-
)
15+
let target_layout = crate_graph[krate].target_layout.as_ref()?;
16+
Some(Arc::new(TargetDataLayout::parse_from_llvm_datalayout_string(&target_layout).ok()?))
3617
}

0 commit comments

Comments
 (0)