language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-08-03 19:58:18 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

inline lowlevel in rc

Browse source
This commit is contained in:
J.Teeuwissen 2023-04-13 12:26:05 +02:00
parent bcb494ca6a
commit 5f7f9b766b
No known key found for this signature in database
GPG key ID: DB5F7A1ED8D478AD
80 changed files with 496 additions and 436 deletions
Download patch file Download diff file Expand all files Collapse all files

26
crates/compiler/gen_llvm/src/llvm/lowlevel.rs
View file

@ -1502,10 +1502,28 @@ pub fn build_num_binop<'a, 'ctx, 'env>(
rhs_layout: InLayout<'a>,
op: LowLevel,
) -> BasicValueEnum<'ctx> {
match (
layout_interner.get(lhs_layout),
layout_interner.get(rhs_layout),
) {
// Recursively getting the lambdaset runtime representation
// as inlining lowlevels in RC might cause the layout to not to match the lowlevel args.
// Originally, the wrapper function received the mismatching layout but this was not validated.
let mut lhs_inlayout = lhs_layout;
let lhs_interned = loop {
let lhs_interned = layout_interner.get(lhs_inlayout);
match lhs_interned {
Layout::LambdaSet(lambda) => lhs_inlayout = lambda.runtime_representation(),
other => break other,
};
};
let mut rhs_inlayout = lhs_layout;
let rhs_interned = loop {
let rhs_interned = layout_interner.get(rhs_inlayout);
match rhs_interned {
Layout::LambdaSet(lambda) => rhs_inlayout = lambda.runtime_representation(),
other => break other,
};
};
match (lhs_interned, rhs_interned) {
(Layout::Builtin(lhs_builtin), Layout::Builtin(rhs_builtin))
if lhs_builtin == rhs_builtin =>
{