Use floats for wasmtime::component::Val::Float* (#5510)
The definitions of `wasmtime::component::Val::Float{32,64}` mirrored
`wasmtime::Val::F{32,64}` by using integers as their wrapped types,
storing the bit representation of their floating point values.
This was necessary for the core Wasm `f32`/`f64` types because Rust
floats don't have guaranteed NaN bit representations.
The component model `float32`/`float64` types require NaN
canonicalization, so we can use normal Rust `f{32,64}` instead.
Closes #5480
This commit is contained in:
@@ -34,8 +34,8 @@ pub fn arbitrary_val(ty: &component::Type, input: &mut Unstructured) -> arbitrar
|
||||
Type::U32 => Val::U32(input.arbitrary()?),
|
||||
Type::S64 => Val::S64(input.arbitrary()?),
|
||||
Type::U64 => Val::U64(input.arbitrary()?),
|
||||
Type::Float32 => Val::Float32(input.arbitrary::<f32>()?.to_bits()),
|
||||
Type::Float64 => Val::Float64(input.arbitrary::<f64>()?.to_bits()),
|
||||
Type::Float32 => Val::Float32(input.arbitrary()?),
|
||||
Type::Float64 => Val::Float64(input.arbitrary()?),
|
||||
Type::Char => Val::Char(input.arbitrary()?),
|
||||
Type::String => Val::String(input.arbitrary()?),
|
||||
Type::List(list) => {
|
||||
|
||||
@@ -11,7 +11,7 @@ use std::ops::Deref;
|
||||
use wasmtime_component_util::{DiscriminantSize, FlagsSize};
|
||||
use wasmtime_environ::component::VariantInfo;
|
||||
|
||||
#[derive(PartialEq, Eq, Clone)]
|
||||
#[derive(PartialEq, Clone)]
|
||||
pub struct List {
|
||||
ty: types::List,
|
||||
values: Box<[Val]>,
|
||||
@@ -57,7 +57,7 @@ impl fmt::Debug for List {
|
||||
}
|
||||
}
|
||||
|
||||
#[derive(PartialEq, Eq, Clone)]
|
||||
#[derive(PartialEq, Clone)]
|
||||
pub struct Record {
|
||||
ty: types::Record,
|
||||
values: Box<[Val]>,
|
||||
@@ -127,7 +127,7 @@ impl fmt::Debug for Record {
|
||||
}
|
||||
}
|
||||
|
||||
#[derive(PartialEq, Eq, Clone)]
|
||||
#[derive(PartialEq, Clone)]
|
||||
pub struct Tuple {
|
||||
ty: types::Tuple,
|
||||
values: Box<[Val]>,
|
||||
@@ -176,7 +176,7 @@ impl fmt::Debug for Tuple {
|
||||
}
|
||||
}
|
||||
|
||||
#[derive(PartialEq, Eq, Clone)]
|
||||
#[derive(PartialEq, Clone)]
|
||||
pub struct Variant {
|
||||
ty: types::Variant,
|
||||
discriminant: u32,
|
||||
@@ -284,7 +284,7 @@ impl fmt::Debug for Enum {
|
||||
}
|
||||
}
|
||||
|
||||
#[derive(PartialEq, Eq, Clone)]
|
||||
#[derive(PartialEq, Clone)]
|
||||
pub struct Union {
|
||||
ty: types::Union,
|
||||
discriminant: u32,
|
||||
@@ -336,7 +336,7 @@ impl fmt::Debug for Union {
|
||||
}
|
||||
}
|
||||
|
||||
#[derive(PartialEq, Eq, Clone)]
|
||||
#[derive(PartialEq, Clone)]
|
||||
pub struct OptionVal {
|
||||
ty: types::OptionType,
|
||||
discriminant: u32,
|
||||
@@ -378,7 +378,7 @@ impl fmt::Debug for OptionVal {
|
||||
}
|
||||
}
|
||||
|
||||
#[derive(PartialEq, Eq, Clone)]
|
||||
#[derive(PartialEq, Clone)]
|
||||
pub struct ResultVal {
|
||||
ty: types::ResultType,
|
||||
discriminant: u32,
|
||||
@@ -487,7 +487,7 @@ impl fmt::Debug for Flags {
|
||||
}
|
||||
|
||||
/// Represents possible runtime values which a component function can either consume or produce
|
||||
#[derive(Debug, PartialEq, Eq, Clone)]
|
||||
#[derive(Debug, Clone, PartialEq)]
|
||||
#[allow(missing_docs)]
|
||||
pub enum Val {
|
||||
Bool(bool),
|
||||
@@ -499,8 +499,8 @@ pub enum Val {
|
||||
U32(u32),
|
||||
S64(i64),
|
||||
U64(u64),
|
||||
Float32(u32),
|
||||
Float64(u64),
|
||||
Float32(f32),
|
||||
Float64(f64),
|
||||
Char(char),
|
||||
String(Box<str>),
|
||||
List(List),
|
||||
@@ -560,8 +560,8 @@ impl Val {
|
||||
Type::U32 => Val::U32(u32::lift(store, options, next(src))?),
|
||||
Type::S64 => Val::S64(i64::lift(store, options, next(src))?),
|
||||
Type::U64 => Val::U64(u64::lift(store, options, next(src))?),
|
||||
Type::Float32 => Val::Float32(u32::lift(store, options, next(src))?),
|
||||
Type::Float64 => Val::Float64(u64::lift(store, options, next(src))?),
|
||||
Type::Float32 => Val::Float32(f32::lift(store, options, next(src))?),
|
||||
Type::Float64 => Val::Float64(f64::lift(store, options, next(src))?),
|
||||
Type::Char => Val::Char(char::lift(store, options, next(src))?),
|
||||
Type::String => {
|
||||
Val::String(Box::<str>::lift(store, options, &[*next(src), *next(src)])?)
|
||||
@@ -688,8 +688,8 @@ impl Val {
|
||||
Type::U32 => Val::U32(u32::load(mem, bytes)?),
|
||||
Type::S64 => Val::S64(i64::load(mem, bytes)?),
|
||||
Type::U64 => Val::U64(u64::load(mem, bytes)?),
|
||||
Type::Float32 => Val::Float32(u32::load(mem, bytes)?),
|
||||
Type::Float64 => Val::Float64(u64::load(mem, bytes)?),
|
||||
Type::Float32 => Val::Float32(f32::load(mem, bytes)?),
|
||||
Type::Float64 => Val::Float64(f64::load(mem, bytes)?),
|
||||
Type::Char => Val::Char(char::load(mem, bytes)?),
|
||||
Type::String => Val::String(Box::<str>::load(mem, bytes)?),
|
||||
Type::List(handle) => {
|
||||
|
||||
@@ -18,8 +18,8 @@ pub fn val(v: &WastVal<'_>, ty: &Type) -> Result<Val> {
|
||||
WastVal::S32(b) => Val::S32(*b),
|
||||
WastVal::U64(b) => Val::U64(*b),
|
||||
WastVal::S64(b) => Val::S64(*b),
|
||||
WastVal::Float32(b) => Val::Float32(b.bits),
|
||||
WastVal::Float64(b) => Val::Float64(b.bits),
|
||||
WastVal::Float32(b) => Val::Float32(f32::from_bits(b.bits)),
|
||||
WastVal::Float64(b) => Val::Float64(f64::from_bits(b.bits)),
|
||||
WastVal::Char(b) => Val::Char(*b),
|
||||
WastVal::String(s) => Val::String(s.to_string().into()),
|
||||
WastVal::List(vals) => match ty {
|
||||
@@ -173,11 +173,11 @@ pub fn match_val(expected: &WastVal<'_>, actual: &Val) -> Result<()> {
|
||||
_ => mismatch(expected, actual),
|
||||
},
|
||||
WastVal::Float32(e) => match actual {
|
||||
Val::Float32(a) => core::match_f32(*a, &NanPattern::Value(*e)),
|
||||
Val::Float32(a) => core::match_f32(a.to_bits(), &NanPattern::Value(*e)),
|
||||
_ => mismatch(expected, actual),
|
||||
},
|
||||
WastVal::Float64(e) => match actual {
|
||||
Val::Float64(a) => core::match_f64(*a, &NanPattern::Value(*e)),
|
||||
Val::Float64(a) => core::match_f64(a.to_bits(), &NanPattern::Value(*e)),
|
||||
_ => mismatch(expected, actual),
|
||||
},
|
||||
WastVal::Char(e) => match actual {
|
||||
|
||||
Reference in New Issue
Block a user