ramtej/nac3
1
0
Fork 0
forked from M-Labs/nac3
Code Pull Requests Activity

[core] codegen: Simplify TupleType::construct

Browse Source
This commit is contained in:
David Mak 2025-02-10 11:18:08 +08:00
parent a078481cd2
commit 2df22e29f7
1 changed files with 3 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
nac3core/src/codegen/types/tuple.rs
View File

@ -115,15 +115,8 @@ impl<'ctx> TupleType<'ctx> {
/// Constructs a [`TupleValue`] from this type by zero-initializing the tuple value. /// Constructs a [`TupleValue`] from this type by zero-initializing the tuple value.
#[must_use] #[must_use]
pub fn construct( pub fn construct(&self, name: Option<&'ctx str>) -> <Self as ProxyType<'ctx>>::Value {
&self, self.map_struct_value(self.as_abi_type().const_zero(), name)
ctx: &CodeGenContext<'ctx, '_>,
name: Option<&'ctx str>,
) -> <Self as ProxyType<'ctx>>::Value {
self.map_struct_value(
Self::llvm_type(ctx.ctx, &self.ty.get_field_types()).const_zero(),
name,
)
} }
/// Constructs a [`TupleValue`] from `objects`. The resulting tuple preserves the order of /// Constructs a [`TupleValue`] from `objects`. The resulting tuple preserves the order of
@ -143,7 +136,7 @@ impl<'ctx> TupleType<'ctx> {
.enumerate() .enumerate()
.all(|(i, v)| { v.get_type() == unsafe { self.type_at_index_unchecked(i as u32) } })); .all(|(i, v)| { v.get_type() == unsafe { self.type_at_index_unchecked(i as u32) } }));
let mut value = self.construct(ctx, name); let mut value = self.construct(name);
for (i, val) in values.into_iter().enumerate() { for (i, val) in values.into_iter().enumerate() {
value.store_element(ctx, i as u32, val); value.store_element(ctx, i as u32, val);
} }