language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-10-01 07:41:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

never switch on a float

Browse source
This commit is contained in:
Folkert 2023-06-01 12:45:02 +02:00
parent ea2a016fd0
commit 140a294460
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
crates/compiler/mono/src/ir/decision_tree.rs
View file

@ -109,6 +109,7 @@ enum Test<'a> {
arguments: Vec<(Pattern<'a>, InLayout<'a>)>, arguments: Vec<(Pattern<'a>, InLayout<'a>)>,
}, },
IsInt([u8; 16], IntWidth), IsInt([u8; 16], IntWidth),
// stores the f64 bits; u64 so that this type can impl Hash
IsFloat(u64, FloatWidth), IsFloat(u64, FloatWidth),
IsDecimal([u8; 16]), IsDecimal([u8; 16]),
IsStr(Box<str>), IsStr(Box<str>),
@ -131,7 +132,7 @@ impl<'a> Test<'a> {
// llvm does not like switching on 128-bit values // llvm does not like switching on 128-bit values
!matches!(int_width, IntWidth::U128 | IntWidth::I128) !matches!(int_width, IntWidth::U128 | IntWidth::I128)
} }
Test::IsFloat(_, _) => true, Test::IsFloat(_, _) => false,
Test::IsDecimal(_) => false, Test::IsDecimal(_) => false,
Test::IsStr(_) => false, Test::IsStr(_) => false,
Test::IsBit(_) => true, Test::IsBit(_) => true,
@ -2251,7 +2252,7 @@ fn decide_to_branching<'a>(
let tag = match test { let tag = match test {
Test::IsInt(v, _) => i128::from_ne_bytes(v) as u64, Test::IsInt(v, _) => i128::from_ne_bytes(v) as u64,
Test::IsFloat(v, _) => v, Test::IsFloat(_, _) => unreachable!("floats cannot be switched on"),
Test::IsBit(v) => v as u64, Test::IsBit(v) => v as u64,
Test::IsByte { tag_id, .. } => tag_id as u64, Test::IsByte { tag_id, .. } => tag_id as u64,
Test::IsCtor { tag_id, .. } => tag_id as u64, Test::IsCtor { tag_id, .. } => tag_id as u64,