language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-28 06:14:46 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

add alignment_bytes

Browse source
This commit is contained in:
Folkert 2020-11-17 02:33:17 +01:00
parent b6d46bb6f9
commit 2082d6e57f
1 changed files with 47 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

47
compiler/mono/src/layout.rs
View file

@ -431,9 +431,33 @@ impl<'a> Layout<'a> {
}
}
pub fn alignment_bytes(&self) -> u32 {
match self {
Layout::Struct(fields) => fields
.iter()
.map(|x| x.alignment_bytes())
.max()
.unwrap_or(0),
Layout::Union(tags) | Layout::RecursiveUnion(tags) => tags
.iter()
.map(|x| x.iter())
.flatten()
.map(|x| x.alignment_bytes())
.max()
.unwrap_or(0),
Layout::Builtin(builtin) => builtin.alignment_bytes(),
Layout::PhantomEmptyStruct => 0,
Layout::RecursivePointer => std::mem::align_of::<*const u8>() as u32,
Layout::FunctionPointer(_, _) => std::mem::align_of::<*const u8>() as u32,
Layout::Pointer(_) => std::mem::align_of::<*const u8>() as u32,
Layout::Closure(_, _, _) => todo!(),
}
}
pub fn is_refcounted(&self) -> bool {
match self {
Layout::Builtin(Builtin::List(_, _)) => true,
Layout::Builtin(Builtin::Str) => true,
Layout::RecursiveUnion(_) => true,
Layout::RecursivePointer => true,
_ => false,
@ -631,6 +655,29 @@ impl<'a> Builtin<'a> {
}
}
pub fn alignment_bytes(&self) -> u32 {
use std::mem::align_of;
use Builtin::*;
match self {
Int128 => align_of::<i128>() as u32,
Int64 => align_of::<i64>() as u32,
Int32 => align_of::<i32>() as u32,
Int16 => align_of::<i16>() as u32,
Int8 => align_of::<i8>() as u32,
Int1 => align_of::<bool>() as u32,
Float128 => align_of::<i128>() as u32,
Float64 => align_of::<f64>() as u32,
Float32 => align_of::<f32>() as u32,
Float16 => align_of::<i16>() as u32,
Str | EmptyStr => align_of::<char>() as u32,
Map(_, _) | EmptyMap => todo!(),
Set(_) | EmptySet => todo!(),
EmptyList => 0,
List(_, element_layout) => element_layout.alignment_bytes(),
}
}
pub fn safe_to_memcpy(&self) -> bool {
use Builtin::*;