language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-30 23:31:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

implement NumPowInt

Browse source
This commit is contained in:
jonas schell 2022-05-08 14:17:11 +02:00
parent dd51479764
commit 532055bf3b
2 changed files with 21 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

22
compiler/gen_wasm/src/low_level.rs
View file

@ -22,7 +22,7 @@ use crate::TARGET_INFO;
/// the smallest integer supported in the Wasm instruction set. /// the smallest integer supported in the Wasm instruction set.
/// We may choose different instructions for signed and unsigned integers, /// We may choose different instructions for signed and unsigned integers,
/// but they share the same Wasm value type. /// but they share the same Wasm value type.
#[derive(Clone, Copy, Debug)] #[derive(Clone, Copy, Debug, PartialEq)]
enum CodeGenNumType { enum CodeGenNumType {
I32, // Supported in Wasm instruction set I32, // Supported in Wasm instruction set
I64, // Supported in Wasm instruction set I64, // Supported in Wasm instruction set
@ -627,7 +627,25 @@ impl<'a> LowLevelCall<'a> {
_ => panic_ret_type(), _ => panic_ret_type(),
} }
} }
NumPowInt => todo!("{:?}", self.lowlevel), NumPowInt => {
self.load_args(backend);
let base_type = CodeGenNumType::for_symbol(backend, self.arguments[0]);
let exponent_type = CodeGenNumType::for_symbol(backend, self.arguments[1]);
let ret_type = CodeGenNumType::from(self.ret_layout);
debug_assert!(base_type == exponent_type);
debug_assert!(exponent_type == ret_type);
let width = match ret_type {
CodeGenNumType::I32 => IntWidth::I32,
CodeGenNumType::I64 => IntWidth::I64,
CodeGenNumType::I128 => todo!("{:?} for I128", self.lowlevel),
_ => internal_error!("Invalid return type for pow: {:?}", ret_type),
};
self.load_args_and_call_zig(backend, &bitcode::NUM_POW_INT[width])
}
NumIsFinite => num_is_finite(backend, self.arguments[0]), NumIsFinite => num_is_finite(backend, self.arguments[0]),
NumAtan => match self.ret_layout { NumAtan => match self.ret_layout {

2
compiler/test_gen/src/gen_num.rs
View file

@ -1648,7 +1648,7 @@ fn floor() {
} }
#[test] #[test]
#[cfg(any(feature = "gen-llvm", feature = "gen-dev"))] #[cfg(any(feature = "gen-llvm", feature = "gen-dev", feature = "gen-wasm"))]
fn pow_int() { fn pow_int() {
assert_evals_to!("Num.powInt 2 3", 8, i64); assert_evals_to!("Num.powInt 2 3", 8, i64);
} }