Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
bytecodealliance
GitHub Repository: bytecodealliance/wasmtime
Path: blob/main/cranelift/interpreter/src/value.rs
1692 views
1
//! The [DataValueExt] trait is an extension trait for [DataValue]. It provides a lot of functions
2
//! used by the rest of the interpreter.
3
4
#![expect(trivial_numeric_casts, reason = "macro-generated code")]
5
6
use core::fmt::{self, Display, Formatter};
7
use core::ops::Neg;
8
use cranelift_codegen::data_value::{DataValue, DataValueCastFailure};
9
use cranelift_codegen::ir::immediates::{Ieee16, Ieee32, Ieee64, Ieee128};
10
use cranelift_codegen::ir::{Type, types};
11
use thiserror::Error;
12
13
use crate::step::{SimdVec, extractlanes};
14
15
pub type ValueResult<T> = Result<T, ValueError>;
16
17
pub trait DataValueExt: Sized {
18
// Identity.
19
fn int(n: i128, ty: Type) -> ValueResult<Self>;
20
fn into_int_signed(self) -> ValueResult<i128>;
21
fn into_int_unsigned(self) -> ValueResult<u128>;
22
fn float(n: u64, ty: Type) -> ValueResult<Self>;
23
fn into_float(self) -> ValueResult<f64>;
24
fn is_float(&self) -> bool;
25
fn is_nan(&self) -> ValueResult<bool>;
26
fn bool(b: bool, vec_elem: bool, ty: Type) -> ValueResult<Self>;
27
fn into_bool(self) -> ValueResult<bool>;
28
fn vector(v: [u8; 16], ty: Type) -> ValueResult<Self>;
29
fn into_array(&self) -> ValueResult<[u8; 16]>;
30
fn convert(self, kind: ValueConversionKind) -> ValueResult<Self>;
31
fn concat(self, other: Self) -> ValueResult<Self>;
32
33
fn is_negative(&self) -> ValueResult<bool>;
34
fn is_zero(&self) -> ValueResult<bool>;
35
36
fn umax(self, other: Self) -> ValueResult<Self>;
37
fn smax(self, other: Self) -> ValueResult<Self>;
38
fn umin(self, other: Self) -> ValueResult<Self>;
39
fn smin(self, other: Self) -> ValueResult<Self>;
40
41
// Comparison.
42
fn uno(&self, other: &Self) -> ValueResult<bool>;
43
44
// Arithmetic.
45
fn add(self, other: Self) -> ValueResult<Self>;
46
fn sub(self, other: Self) -> ValueResult<Self>;
47
fn mul(self, other: Self) -> ValueResult<Self>;
48
fn udiv(self, other: Self) -> ValueResult<Self>;
49
fn sdiv(self, other: Self) -> ValueResult<Self>;
50
fn urem(self, other: Self) -> ValueResult<Self>;
51
fn srem(self, other: Self) -> ValueResult<Self>;
52
fn sqrt(self) -> ValueResult<Self>;
53
fn fma(self, a: Self, b: Self) -> ValueResult<Self>;
54
fn abs(self) -> ValueResult<Self>;
55
fn uadd_checked(self, other: Self) -> ValueResult<Option<Self>>;
56
fn sadd_checked(self, other: Self) -> ValueResult<Option<Self>>;
57
fn uadd_overflow(self, other: Self) -> ValueResult<(Self, bool)>;
58
fn sadd_overflow(self, other: Self) -> ValueResult<(Self, bool)>;
59
fn usub_overflow(self, other: Self) -> ValueResult<(Self, bool)>;
60
fn ssub_overflow(self, other: Self) -> ValueResult<(Self, bool)>;
61
fn umul_overflow(self, other: Self) -> ValueResult<(Self, bool)>;
62
fn smul_overflow(self, other: Self) -> ValueResult<(Self, bool)>;
63
64
// Float operations
65
fn neg(self) -> ValueResult<Self>;
66
fn copysign(self, sign: Self) -> ValueResult<Self>;
67
fn ceil(self) -> ValueResult<Self>;
68
fn floor(self) -> ValueResult<Self>;
69
fn trunc(self) -> ValueResult<Self>;
70
fn nearest(self) -> ValueResult<Self>;
71
72
// Saturating arithmetic.
73
fn uadd_sat(self, other: Self) -> ValueResult<Self>;
74
fn sadd_sat(self, other: Self) -> ValueResult<Self>;
75
fn usub_sat(self, other: Self) -> ValueResult<Self>;
76
fn ssub_sat(self, other: Self) -> ValueResult<Self>;
77
78
// Bitwise.
79
fn shl(self, other: Self) -> ValueResult<Self>;
80
fn ushr(self, other: Self) -> ValueResult<Self>;
81
fn sshr(self, other: Self) -> ValueResult<Self>;
82
fn rotl(self, other: Self) -> ValueResult<Self>;
83
fn rotr(self, other: Self) -> ValueResult<Self>;
84
fn and(self, other: Self) -> ValueResult<Self>;
85
fn or(self, other: Self) -> ValueResult<Self>;
86
fn xor(self, other: Self) -> ValueResult<Self>;
87
fn not(self) -> ValueResult<Self>;
88
89
// Bit counting.
90
fn count_ones(self) -> ValueResult<Self>;
91
fn leading_ones(self) -> ValueResult<Self>;
92
fn leading_zeros(self) -> ValueResult<Self>;
93
fn trailing_zeros(self) -> ValueResult<Self>;
94
fn reverse_bits(self) -> ValueResult<Self>;
95
fn swap_bytes(self) -> ValueResult<Self>;
96
97
// An iterator over the lanes of a SIMD type
98
fn iter_lanes(&self, ty: Type) -> ValueResult<DataValueIterator>;
99
}
100
101
#[derive(Error, Debug, PartialEq)]
102
pub enum ValueError {
103
#[error("unable to convert type {1} into class {0}")]
104
InvalidType(ValueTypeClass, Type),
105
#[error("unable to convert value into type {0}")]
106
InvalidValue(Type),
107
#[error("unable to convert to primitive integer")]
108
InvalidInteger(#[from] std::num::TryFromIntError),
109
#[error("unable to cast data value")]
110
InvalidDataValueCast(#[from] DataValueCastFailure),
111
#[error("performed a division by zero")]
112
IntegerDivisionByZero,
113
#[error("performed a operation that overflowed this integer type")]
114
IntegerOverflow,
115
}
116
117
#[derive(Debug, PartialEq)]
118
pub enum ValueTypeClass {
119
Integer,
120
Boolean,
121
Float,
122
Vector,
123
}
124
125
impl Display for ValueTypeClass {
126
fn fmt(&self, f: &mut Formatter<'_>) -> fmt::Result {
127
match self {
128
ValueTypeClass::Integer => write!(f, "integer"),
129
ValueTypeClass::Boolean => write!(f, "boolean"),
130
ValueTypeClass::Float => write!(f, "float"),
131
ValueTypeClass::Vector => write!(f, "vector"),
132
}
133
}
134
}
135
136
#[derive(Debug, Clone)]
137
pub enum ValueConversionKind {
138
/// Throw a [ValueError] if an exact conversion to [Type] is not possible; e.g. in `i32` to
139
/// `i16`, convert `0x00001234` to `0x1234`.
140
Exact(Type),
141
/// Truncate the value to fit into the specified [Type]; e.g. in `i16` to `i8`, `0x1234` becomes
142
/// `0x34`.
143
Truncate(Type),
144
/// Similar to Truncate, but extracts from the top of the value; e.g. in a `i32` to `u8`,
145
/// `0x12345678` becomes `0x12`.
146
ExtractUpper(Type),
147
/// Convert to a larger integer type, extending the sign bit; e.g. in `i8` to `i16`, `0xff`
148
/// becomes `0xffff`.
149
SignExtend(Type),
150
/// Convert to a larger integer type, extending with zeroes; e.g. in `i8` to `i16`, `0xff`
151
/// becomes `0x00ff`.
152
ZeroExtend(Type),
153
/// Convert a floating point number by rounding to the nearest possible value with ties to even.
154
/// See `fdemote`, e.g.
155
RoundNearestEven(Type),
156
/// Converts an integer into a boolean, zero integers are converted into a
157
/// `false`, while other integers are converted into `true`. Booleans are passed through.
158
ToBoolean,
159
/// Converts an integer into either -1 or zero.
160
Mask(Type),
161
}
162
163
/// Helper for creating match expressions over [DataValue].
164
macro_rules! unary_match {
165
( $op:ident($arg1:expr); [ $( $data_value_ty:ident ),* ]; [ $( $return_value_ty:ident ),* ] ) => {
166
match $arg1 {
167
$( DataValue::$data_value_ty(a) => {
168
Ok(DataValue::$data_value_ty($return_value_ty::try_from(a.$op()).unwrap()))
169
} )*
170
_ => unimplemented!()
171
}
172
};
173
( $op:ident($arg1:expr); [ $( $data_value_ty:ident ),* ] ) => {
174
match $arg1 {
175
$( DataValue::$data_value_ty(a) => { Ok(DataValue::$data_value_ty(a.$op())) } )*
176
_ => unimplemented!()
177
}
178
};
179
}
180
macro_rules! binary_match {
181
( $op:ident($arg1:expr, $arg2:expr); [ $( $data_value_ty:ident ),* ] ) => {
182
match ($arg1, $arg2) {
183
$( (DataValue::$data_value_ty(a), DataValue::$data_value_ty(b)) => { Ok(DataValue::$data_value_ty(a.$op(*b))) } )*
184
_ => unimplemented!()
185
}
186
};
187
( $op:ident($arg1:expr, $arg2:expr); [ $( $data_value_ty:ident ),* ]; [ $( $op_type:ty ),* ] ) => {
188
match ($arg1, $arg2) {
189
$( (DataValue::$data_value_ty(a), DataValue::$data_value_ty(b)) => { Ok(DataValue::$data_value_ty((*a as $op_type).$op(*b as $op_type) as _)) } )*
190
_ => unimplemented!()
191
}
192
};
193
( option $op:ident($arg1:expr, $arg2:expr); [ $( $data_value_ty:ident ),* ]; [ $( $op_type:ty ),* ] ) => {
194
match ($arg1, $arg2) {
195
$( (DataValue::$data_value_ty(a), DataValue::$data_value_ty(b)) => { Ok((*a as $op_type).$op(*b as $op_type).map(|v| DataValue::$data_value_ty(v as _))) } )*
196
_ => unimplemented!()
197
}
198
};
199
( pair $op:ident($arg1:expr, $arg2:expr); [ $( $data_value_ty:ident ),* ]; [ $( $op_type:ty ),* ] ) => {
200
match ($arg1, $arg2) {
201
$( (DataValue::$data_value_ty(a), DataValue::$data_value_ty(b)) => {
202
let (f, s) = (*a as $op_type).$op(*b as $op_type);
203
Ok((DataValue::$data_value_ty(f as _), s))
204
} )*
205
_ => unimplemented!()
206
}
207
};
208
( $op:tt($arg1:expr, $arg2:expr); [ $( $data_value_ty:ident ),* ] ) => {
209
match ($arg1, $arg2) {
210
$( (DataValue::$data_value_ty(a), DataValue::$data_value_ty(b)) => { Ok(DataValue::$data_value_ty(a $op b)) } )*
211
_ => unimplemented!()
212
}
213
};
214
( $op:tt($arg1:expr, $arg2:expr); [ $( $data_value_ty:ident ),* ]; [ $( $op_type:ty ),* ] ) => {
215
match ($arg1, $arg2) {
216
$( (DataValue::$data_value_ty(a), DataValue::$data_value_ty(b)) => { Ok(DataValue::$data_value_ty(((*a as $op_type) $op (*b as $op_type)) as _)) } )*
217
_ => unimplemented!()
218
}
219
};
220
( $op:tt($arg1:expr, $arg2:expr); [ $( $data_value_ty:ident ),* ]; [ $( $a_type:ty ),* ]; rhs: $rhs:tt,$rhs_type:ty ) => {
221
match ($arg1, $arg2) {
222
$( (DataValue::$data_value_ty(a), DataValue::$rhs(b)) => { Ok(DataValue::$data_value_ty((*a as $a_type).$op(*b as $rhs_type) as _)) } )*
223
_ => unimplemented!()
224
}
225
};
226
}
227
228
macro_rules! bitop {
229
( $op:tt($arg1:expr, $arg2:expr) ) => {
230
Ok(match ($arg1, $arg2) {
231
(DataValue::I8(a), DataValue::I8(b)) => DataValue::I8(a $op b),
232
(DataValue::I16(a), DataValue::I16(b)) => DataValue::I16(a $op b),
233
(DataValue::I32(a), DataValue::I32(b)) => DataValue::I32(a $op b),
234
(DataValue::I64(a), DataValue::I64(b)) => DataValue::I64(a $op b),
235
(DataValue::I128(a), DataValue::I128(b)) => DataValue::I128(a $op b),
236
(DataValue::F32(a), DataValue::F32(b)) => DataValue::F32(a $op b),
237
(DataValue::F64(a), DataValue::F64(b)) => DataValue::F64(a $op b),
238
(DataValue::V128(a), DataValue::V128(b)) => {
239
let mut a2 = a.clone();
240
for (a, b) in a2.iter_mut().zip(b.iter()) {
241
*a = *a $op *b;
242
}
243
DataValue::V128(a2)
244
}
245
_ => unimplemented!(),
246
})
247
};
248
}
249
250
impl DataValueExt for DataValue {
251
fn int(n: i128, ty: Type) -> ValueResult<Self> {
252
if ty.is_vector() {
253
// match ensures graceful failure since read_from_slice_ne()
254
// panics on anything other than 8 and 16 bytes
255
match ty.bytes() {
256
8 | 16 => Ok(DataValue::read_from_slice_ne(&n.to_ne_bytes(), ty)),
257
_ => Err(ValueError::InvalidType(ValueTypeClass::Vector, ty)),
258
}
259
} else if ty.is_int() {
260
DataValue::from_integer(n, ty).map_err(|_| ValueError::InvalidValue(ty))
261
} else {
262
Err(ValueError::InvalidType(ValueTypeClass::Integer, ty))
263
}
264
}
265
266
fn into_int_signed(self) -> ValueResult<i128> {
267
match self {
268
DataValue::I8(n) => Ok(n as i128),
269
DataValue::I16(n) => Ok(n as i128),
270
DataValue::I32(n) => Ok(n as i128),
271
DataValue::I64(n) => Ok(n as i128),
272
DataValue::I128(n) => Ok(n),
273
_ => Err(ValueError::InvalidType(ValueTypeClass::Integer, self.ty())),
274
}
275
}
276
277
fn into_int_unsigned(self) -> ValueResult<u128> {
278
match self {
279
DataValue::I8(n) => Ok(n as u8 as u128),
280
DataValue::I16(n) => Ok(n as u16 as u128),
281
DataValue::I32(n) => Ok(n as u32 as u128),
282
DataValue::I64(n) => Ok(n as u64 as u128),
283
DataValue::I128(n) => Ok(n as u128),
284
_ => Err(ValueError::InvalidType(ValueTypeClass::Integer, self.ty())),
285
}
286
}
287
288
fn float(bits: u64, ty: Type) -> ValueResult<Self> {
289
match ty {
290
types::F32 => Ok(DataValue::F32(Ieee32::with_bits(u32::try_from(bits)?))),
291
types::F64 => Ok(DataValue::F64(Ieee64::with_bits(bits))),
292
_ => Err(ValueError::InvalidType(ValueTypeClass::Float, ty)),
293
}
294
}
295
296
fn into_float(self) -> ValueResult<f64> {
297
match self {
298
DataValue::F32(n) => Ok(n.as_f32() as f64),
299
DataValue::F64(n) => Ok(n.as_f64()),
300
_ => Err(ValueError::InvalidType(ValueTypeClass::Float, self.ty())),
301
}
302
}
303
304
fn is_float(&self) -> bool {
305
match self {
306
DataValue::F16(_) | DataValue::F32(_) | DataValue::F64(_) | DataValue::F128(_) => true,
307
_ => false,
308
}
309
}
310
311
fn is_nan(&self) -> ValueResult<bool> {
312
match self {
313
DataValue::F32(f) => Ok(f.is_nan()),
314
DataValue::F64(f) => Ok(f.is_nan()),
315
_ => Err(ValueError::InvalidType(ValueTypeClass::Float, self.ty())),
316
}
317
}
318
319
fn bool(b: bool, vec_elem: bool, ty: Type) -> ValueResult<Self> {
320
assert!(ty.is_int());
321
macro_rules! make_bool {
322
($ty:ident) => {
323
Ok(DataValue::$ty(if b {
324
if vec_elem { -1 } else { 1 }
325
} else {
326
0
327
}))
328
};
329
}
330
331
match ty {
332
types::I8 => make_bool!(I8),
333
types::I16 => make_bool!(I16),
334
types::I32 => make_bool!(I32),
335
types::I64 => make_bool!(I64),
336
types::I128 => make_bool!(I128),
337
_ => Err(ValueError::InvalidType(ValueTypeClass::Integer, ty)),
338
}
339
}
340
341
fn into_bool(self) -> ValueResult<bool> {
342
match self {
343
DataValue::I8(b) => Ok(b != 0),
344
DataValue::I16(b) => Ok(b != 0),
345
DataValue::I32(b) => Ok(b != 0),
346
DataValue::I64(b) => Ok(b != 0),
347
DataValue::I128(b) => Ok(b != 0),
348
_ => Err(ValueError::InvalidType(ValueTypeClass::Boolean, self.ty())),
349
}
350
}
351
352
fn vector(v: [u8; 16], ty: Type) -> ValueResult<Self> {
353
assert!(ty.is_vector() && [2, 4, 8, 16].contains(&ty.bytes()));
354
match ty.bytes() {
355
16 => Ok(DataValue::V128(v)),
356
8 => Ok(DataValue::V64(v[..8].try_into().unwrap())),
357
4 => Ok(DataValue::V32(v[..4].try_into().unwrap())),
358
2 => Ok(DataValue::V16(v[..2].try_into().unwrap())),
359
_ => unreachable!(),
360
}
361
}
362
363
fn into_array(&self) -> ValueResult<[u8; 16]> {
364
match *self {
365
DataValue::V128(v) => Ok(v),
366
DataValue::V64(v) => {
367
let mut v128 = [0; 16];
368
v128[..8].clone_from_slice(&v);
369
Ok(v128)
370
}
371
DataValue::V32(v) => {
372
let mut v128 = [0; 16];
373
v128[..4].clone_from_slice(&v);
374
Ok(v128)
375
}
376
DataValue::V16(v) => {
377
let mut v128 = [0; 16];
378
v128[..2].clone_from_slice(&v);
379
Ok(v128)
380
}
381
_ => Err(ValueError::InvalidType(ValueTypeClass::Vector, self.ty())),
382
}
383
}
384
385
fn convert(self, kind: ValueConversionKind) -> ValueResult<Self> {
386
Ok(match kind {
387
ValueConversionKind::Exact(ty) => match (self, ty) {
388
// TODO a lot to do here: from bmask to ireduce to bitcast...
389
(val, ty) if val.ty().is_int() && ty.is_int() => {
390
DataValue::from_integer(val.into_int_signed()?, ty)?
391
}
392
(DataValue::I16(n), types::F16) => DataValue::F16(Ieee16::with_bits(n as u16)),
393
(DataValue::I32(n), types::F32) => DataValue::F32(f32::from_bits(n as u32).into()),
394
(DataValue::I64(n), types::F64) => DataValue::F64(f64::from_bits(n as u64).into()),
395
(DataValue::I128(n), types::F128) => DataValue::F128(Ieee128::with_bits(n as u128)),
396
(DataValue::F16(n), types::I16) => DataValue::I16(n.bits() as i16),
397
(DataValue::F32(n), types::I32) => DataValue::I32(n.bits() as i32),
398
(DataValue::F64(n), types::I64) => DataValue::I64(n.bits() as i64),
399
(DataValue::F128(n), types::I128) => DataValue::I128(n.bits() as i128),
400
(DataValue::F32(n), types::F64) => DataValue::F64((n.as_f32() as f64).into()),
401
(dv, t) if (t.is_int() || t.is_float()) && dv.ty() == t => dv,
402
(dv, _) => unimplemented!("conversion: {} -> {:?}", dv.ty(), kind),
403
},
404
ValueConversionKind::Truncate(ty) => {
405
assert!(
406
ty.is_int(),
407
"unimplemented conversion: {} -> {:?}",
408
self.ty(),
409
kind
410
);
411
412
let mask = (1 << (ty.bytes() * 8)) - 1i128;
413
let truncated = self.into_int_signed()? & mask;
414
Self::from_integer(truncated, ty)?
415
}
416
ValueConversionKind::ExtractUpper(ty) => {
417
assert!(
418
ty.is_int(),
419
"unimplemented conversion: {} -> {:?}",
420
self.ty(),
421
kind
422
);
423
424
let shift_amt = (self.ty().bytes() * 8) - (ty.bytes() * 8);
425
let mask = (1 << (ty.bytes() * 8)) - 1i128;
426
let shifted_mask = mask << shift_amt;
427
428
let extracted = (self.into_int_signed()? & shifted_mask) >> shift_amt;
429
Self::from_integer(extracted, ty)?
430
}
431
ValueConversionKind::SignExtend(ty) => match (self, ty) {
432
(DataValue::I8(n), types::I16) => DataValue::I16(n as i16),
433
(DataValue::I8(n), types::I32) => DataValue::I32(n as i32),
434
(DataValue::I8(n), types::I64) => DataValue::I64(n as i64),
435
(DataValue::I8(n), types::I128) => DataValue::I128(n as i128),
436
(DataValue::I16(n), types::I32) => DataValue::I32(n as i32),
437
(DataValue::I16(n), types::I64) => DataValue::I64(n as i64),
438
(DataValue::I16(n), types::I128) => DataValue::I128(n as i128),
439
(DataValue::I32(n), types::I64) => DataValue::I64(n as i64),
440
(DataValue::I32(n), types::I128) => DataValue::I128(n as i128),
441
(DataValue::I64(n), types::I128) => DataValue::I128(n as i128),
442
(dv, _) => unimplemented!("conversion: {} -> {:?}", dv.ty(), kind),
443
},
444
ValueConversionKind::ZeroExtend(ty) => match (self, ty) {
445
(DataValue::I8(n), types::I16) => DataValue::I16(n as u8 as i16),
446
(DataValue::I8(n), types::I32) => DataValue::I32(n as u8 as i32),
447
(DataValue::I8(n), types::I64) => DataValue::I64(n as u8 as i64),
448
(DataValue::I8(n), types::I128) => DataValue::I128(n as u8 as i128),
449
(DataValue::I16(n), types::I32) => DataValue::I32(n as u16 as i32),
450
(DataValue::I16(n), types::I64) => DataValue::I64(n as u16 as i64),
451
(DataValue::I16(n), types::I128) => DataValue::I128(n as u16 as i128),
452
(DataValue::I32(n), types::I64) => DataValue::I64(n as u32 as i64),
453
(DataValue::I32(n), types::I128) => DataValue::I128(n as u32 as i128),
454
(DataValue::I64(n), types::I128) => DataValue::I128(n as u64 as i128),
455
(from, to) if from.ty() == to => from,
456
(dv, _) => unimplemented!("conversion: {} -> {:?}", dv.ty(), kind),
457
},
458
ValueConversionKind::RoundNearestEven(ty) => match (self, ty) {
459
(DataValue::F64(n), types::F32) => DataValue::F32(Ieee32::from(n.as_f64() as f32)),
460
(s, _) => unimplemented!("conversion: {} -> {:?}", s.ty(), kind),
461
},
462
ValueConversionKind::ToBoolean => match self.ty() {
463
ty if ty.is_int() => {
464
DataValue::I8(if self.into_int_signed()? != 0 { 1 } else { 0 })
465
}
466
ty => unimplemented!("conversion: {} -> {:?}", ty, kind),
467
},
468
ValueConversionKind::Mask(ty) => {
469
let b = self.into_bool()?;
470
Self::bool(b, true, ty).unwrap()
471
}
472
})
473
}
474
475
fn concat(self, other: Self) -> ValueResult<Self> {
476
match (self, other) {
477
(DataValue::I64(lhs), DataValue::I64(rhs)) => Ok(DataValue::I128(
478
(((lhs as u64) as u128) | (((rhs as u64) as u128) << 64)) as i128,
479
)),
480
(lhs, rhs) => unimplemented!("concat: {} -> {}", lhs.ty(), rhs.ty()),
481
}
482
}
483
484
fn is_negative(&self) -> ValueResult<bool> {
485
match self {
486
DataValue::F32(f) => Ok(f.is_negative()),
487
DataValue::F64(f) => Ok(f.is_negative()),
488
_ => Err(ValueError::InvalidType(ValueTypeClass::Float, self.ty())),
489
}
490
}
491
492
fn is_zero(&self) -> ValueResult<bool> {
493
match self {
494
DataValue::I8(f) => Ok(*f == 0),
495
DataValue::I16(f) => Ok(*f == 0),
496
DataValue::I32(f) => Ok(*f == 0),
497
DataValue::I64(f) => Ok(*f == 0),
498
DataValue::I128(f) => Ok(*f == 0),
499
DataValue::F16(f) => Ok(f.is_zero()),
500
DataValue::F32(f) => Ok(f.is_zero()),
501
DataValue::F64(f) => Ok(f.is_zero()),
502
DataValue::F128(f) => Ok(f.is_zero()),
503
DataValue::V16(_) | DataValue::V32(_) | DataValue::V64(_) | DataValue::V128(_) => {
504
Err(ValueError::InvalidType(ValueTypeClass::Float, self.ty()))
505
}
506
}
507
}
508
509
fn umax(self, other: Self) -> ValueResult<Self> {
510
let lhs = self.clone().into_int_unsigned()?;
511
let rhs = other.clone().into_int_unsigned()?;
512
if lhs > rhs { Ok(self) } else { Ok(other) }
513
}
514
515
fn smax(self, other: Self) -> ValueResult<Self> {
516
if self > other { Ok(self) } else { Ok(other) }
517
}
518
519
fn umin(self, other: Self) -> ValueResult<Self> {
520
let lhs = self.clone().into_int_unsigned()?;
521
let rhs = other.clone().into_int_unsigned()?;
522
if lhs < rhs { Ok(self) } else { Ok(other) }
523
}
524
525
fn smin(self, other: Self) -> ValueResult<Self> {
526
if self < other { Ok(self) } else { Ok(other) }
527
}
528
529
fn uno(&self, other: &Self) -> ValueResult<bool> {
530
Ok(self.is_nan()? || other.is_nan()?)
531
}
532
533
fn add(self, other: Self) -> ValueResult<Self> {
534
if self.is_float() {
535
binary_match!(+(self, other); [F32, F64])
536
} else {
537
binary_match!(wrapping_add(&self, &other); [I8, I16, I32, I64, I128])
538
}
539
}
540
541
fn sub(self, other: Self) -> ValueResult<Self> {
542
if self.is_float() {
543
binary_match!(-(self, other); [F32, F64])
544
} else {
545
binary_match!(wrapping_sub(&self, &other); [I8, I16, I32, I64, I128])
546
}
547
}
548
549
fn mul(self, other: Self) -> ValueResult<Self> {
550
if self.is_float() {
551
binary_match!(*(self, other); [F32, F64])
552
} else {
553
binary_match!(wrapping_mul(&self, &other); [I8, I16, I32, I64, I128])
554
}
555
}
556
557
fn sdiv(self, other: Self) -> ValueResult<Self> {
558
if self.is_float() {
559
return binary_match!(/(self, other); [F32, F64]);
560
}
561
562
let denominator = other.clone().into_int_signed()?;
563
564
// Check if we are dividing INT_MIN / -1. This causes an integer overflow trap.
565
let min = DataValueExt::int(1i128 << (self.ty().bits() - 1), self.ty())?;
566
if self == min && denominator == -1 {
567
return Err(ValueError::IntegerOverflow);
568
}
569
570
if denominator == 0 {
571
return Err(ValueError::IntegerDivisionByZero);
572
}
573
574
binary_match!(/(&self, &other); [I8, I16, I32, I64, I128])
575
}
576
577
fn udiv(self, other: Self) -> ValueResult<Self> {
578
if self.is_float() {
579
return binary_match!(/(self, other); [F32, F64]);
580
}
581
582
let denominator = other.clone().into_int_unsigned()?;
583
584
if denominator == 0 {
585
return Err(ValueError::IntegerDivisionByZero);
586
}
587
588
binary_match!(/(&self, &other); [I8, I16, I32, I64, I128]; [u8, u16, u32, u64, u128])
589
}
590
591
fn srem(self, other: Self) -> ValueResult<Self> {
592
let denominator = other.clone().into_int_signed()?;
593
594
// Check if we are dividing INT_MIN / -1. This causes an integer overflow trap.
595
let min = DataValueExt::int(1i128 << (self.ty().bits() - 1), self.ty())?;
596
if self == min && denominator == -1 {
597
return Err(ValueError::IntegerOverflow);
598
}
599
600
if denominator == 0 {
601
return Err(ValueError::IntegerDivisionByZero);
602
}
603
604
binary_match!(%(&self, &other); [I8, I16, I32, I64, I128])
605
}
606
607
fn urem(self, other: Self) -> ValueResult<Self> {
608
let denominator = other.clone().into_int_unsigned()?;
609
610
if denominator == 0 {
611
return Err(ValueError::IntegerDivisionByZero);
612
}
613
614
binary_match!(%(&self, &other); [I8, I16, I32, I64, I128]; [u8, u16, u32, u64, u128])
615
}
616
617
fn sqrt(self) -> ValueResult<Self> {
618
unary_match!(sqrt(&self); [F32, F64]; [Ieee32, Ieee64])
619
}
620
621
fn fma(self, b: Self, c: Self) -> ValueResult<Self> {
622
match (self, b, c) {
623
(DataValue::F32(a), DataValue::F32(b), DataValue::F32(c)) => {
624
// The `fma` function for `x86_64-pc-windows-gnu` is incorrect. Use `libm`'s instead.
625
// See: https://github.com/bytecodealliance/wasmtime/issues/4512
626
#[cfg(all(target_arch = "x86_64", target_os = "windows", target_env = "gnu"))]
627
let res = libm::fmaf(a.as_f32(), b.as_f32(), c.as_f32());
628
629
#[cfg(not(all(
630
target_arch = "x86_64",
631
target_os = "windows",
632
target_env = "gnu"
633
)))]
634
let res = a.as_f32().mul_add(b.as_f32(), c.as_f32());
635
636
Ok(DataValue::F32(res.into()))
637
}
638
(DataValue::F64(a), DataValue::F64(b), DataValue::F64(c)) => {
639
#[cfg(all(target_arch = "x86_64", target_os = "windows", target_env = "gnu"))]
640
let res = libm::fma(a.as_f64(), b.as_f64(), c.as_f64());
641
642
#[cfg(not(all(
643
target_arch = "x86_64",
644
target_os = "windows",
645
target_env = "gnu"
646
)))]
647
let res = a.as_f64().mul_add(b.as_f64(), c.as_f64());
648
649
Ok(DataValue::F64(res.into()))
650
}
651
(a, _b, _c) => Err(ValueError::InvalidType(ValueTypeClass::Float, a.ty())),
652
}
653
}
654
655
fn abs(self) -> ValueResult<Self> {
656
unary_match!(abs(&self); [F32, F64])
657
}
658
659
fn sadd_checked(self, other: Self) -> ValueResult<Option<Self>> {
660
binary_match!(option checked_add(&self, &other); [I8, I16, I32, I64, I128]; [i8, i16, i32, i64, i128])
661
}
662
663
fn uadd_checked(self, other: Self) -> ValueResult<Option<Self>> {
664
binary_match!(option checked_add(&self, &other); [I8, I16, I32, I64, I128]; [u8, u16, u32, u64, u128])
665
}
666
667
fn sadd_overflow(self, other: Self) -> ValueResult<(Self, bool)> {
668
binary_match!(pair overflowing_add(&self, &other); [I8, I16, I32, I64, I128]; [i8, i16, i32, i64, i128])
669
}
670
671
fn uadd_overflow(self, other: Self) -> ValueResult<(Self, bool)> {
672
binary_match!(pair overflowing_add(&self, &other); [I8, I16, I32, I64, I128]; [u8, u16, u32, u64, u128])
673
}
674
675
fn ssub_overflow(self, other: Self) -> ValueResult<(Self, bool)> {
676
binary_match!(pair overflowing_sub(&self, &other); [I8, I16, I32, I64, I128]; [i8, i16, i32, i64, i128])
677
}
678
679
fn usub_overflow(self, other: Self) -> ValueResult<(Self, bool)> {
680
binary_match!(pair overflowing_sub(&self, &other); [I8, I16, I32, I64, I128]; [u8, u16, u32, u64, u128])
681
}
682
683
fn smul_overflow(self, other: Self) -> ValueResult<(Self, bool)> {
684
binary_match!(pair overflowing_mul(&self, &other); [I8, I16, I32, I64, I128]; [i8, i16, i32, i64, i128])
685
}
686
687
fn umul_overflow(self, other: Self) -> ValueResult<(Self, bool)> {
688
binary_match!(pair overflowing_mul(&self, &other); [I8, I16, I32, I64, I128]; [u8, u16, u32, u64, u128])
689
}
690
691
fn neg(self) -> ValueResult<Self> {
692
unary_match!(neg(&self); [F32, F64])
693
}
694
695
fn copysign(self, sign: Self) -> ValueResult<Self> {
696
binary_match!(copysign(&self, &sign); [F32, F64])
697
}
698
699
fn ceil(self) -> ValueResult<Self> {
700
unary_match!(ceil(&self); [F32, F64])
701
}
702
703
fn floor(self) -> ValueResult<Self> {
704
unary_match!(floor(&self); [F32, F64])
705
}
706
707
fn trunc(self) -> ValueResult<Self> {
708
unary_match!(trunc(&self); [F32, F64])
709
}
710
711
fn nearest(self) -> ValueResult<Self> {
712
unary_match!(round_ties_even(&self); [F32, F64])
713
}
714
715
fn sadd_sat(self, other: Self) -> ValueResult<Self> {
716
binary_match!(saturating_add(self, &other); [I8, I16, I32, I64, I128])
717
}
718
719
fn uadd_sat(self, other: Self) -> ValueResult<Self> {
720
binary_match!(saturating_add(&self, &other); [I8, I16, I32, I64, I128]; [u8, u16, u32, u64, u128])
721
}
722
723
fn ssub_sat(self, other: Self) -> ValueResult<Self> {
724
binary_match!(saturating_sub(self, &other); [I8, I16, I32, I64, I128])
725
}
726
727
fn usub_sat(self, other: Self) -> ValueResult<Self> {
728
binary_match!(saturating_sub(&self, &other); [I8, I16, I32, I64, I128]; [u8, u16, u32, u64, u128])
729
}
730
731
fn shl(self, other: Self) -> ValueResult<Self> {
732
let amt = other.convert(ValueConversionKind::Exact(types::I32))?;
733
binary_match!(wrapping_shl(&self, &amt); [I8, I16, I32, I64, I128]; [i8, i16, i32, i64, i128]; rhs: I32,u32)
734
}
735
736
fn ushr(self, other: Self) -> ValueResult<Self> {
737
let amt = other.convert(ValueConversionKind::Exact(types::I32))?;
738
binary_match!(wrapping_shr(&self, &amt); [I8, I16, I32, I64, I128]; [u8, u16, u32, u64, u128]; rhs: I32,u32)
739
}
740
741
fn sshr(self, other: Self) -> ValueResult<Self> {
742
let amt = other.convert(ValueConversionKind::Exact(types::I32))?;
743
binary_match!(wrapping_shr(&self, &amt); [I8, I16, I32, I64, I128]; [i8, i16, i32, i64, i128]; rhs: I32,u32)
744
}
745
746
fn rotl(self, other: Self) -> ValueResult<Self> {
747
let amt = other.convert(ValueConversionKind::Exact(types::I32))?;
748
binary_match!(rotate_left(&self, &amt); [I8, I16, I32, I64, I128]; [i8, i16, i32, i64, i128]; rhs: I32,u32)
749
}
750
751
fn rotr(self, other: Self) -> ValueResult<Self> {
752
let amt = other.convert(ValueConversionKind::Exact(types::I32))?;
753
binary_match!(rotate_right(&self, &amt); [I8, I16, I32, I64, I128]; [i8, i16, i32, i64, i128]; rhs: I32,u32)
754
}
755
756
fn and(self, other: Self) -> ValueResult<Self> {
757
bitop!(&(self, other))
758
}
759
760
fn or(self, other: Self) -> ValueResult<Self> {
761
bitop!(|(self, other))
762
}
763
764
fn xor(self, other: Self) -> ValueResult<Self> {
765
bitop!(^(self, other))
766
}
767
768
fn not(self) -> ValueResult<Self> {
769
Ok(match self {
770
DataValue::I8(a) => DataValue::I8(!a),
771
DataValue::I16(a) => DataValue::I16(!a),
772
DataValue::I32(a) => DataValue::I32(!a),
773
DataValue::I64(a) => DataValue::I64(!a),
774
DataValue::I128(a) => DataValue::I128(!a),
775
DataValue::F32(a) => DataValue::F32(!a),
776
DataValue::F64(a) => DataValue::F64(!a),
777
DataValue::V128(mut a) => {
778
for byte in a.iter_mut() {
779
*byte = !*byte;
780
}
781
DataValue::V128(a)
782
}
783
_ => unimplemented!(),
784
})
785
}
786
787
fn count_ones(self) -> ValueResult<Self> {
788
unary_match!(count_ones(&self); [I8, I16, I32, I64, I128]; [i8, i16, i32, i64, i128])
789
}
790
791
fn leading_ones(self) -> ValueResult<Self> {
792
unary_match!(leading_ones(&self); [I8, I16, I32, I64, I128]; [i8, i16, i32, i64, i128])
793
}
794
795
fn leading_zeros(self) -> ValueResult<Self> {
796
unary_match!(leading_zeros(&self); [I8, I16, I32, I64, I128]; [i8, i16, i32, i64, i128])
797
}
798
799
fn trailing_zeros(self) -> ValueResult<Self> {
800
unary_match!(trailing_zeros(&self); [I8, I16, I32, I64, I128]; [i8, i16, i32, i64, i128])
801
}
802
803
fn reverse_bits(self) -> ValueResult<Self> {
804
unary_match!(reverse_bits(&self); [I8, I16, I32, I64, I128])
805
}
806
807
fn swap_bytes(self) -> ValueResult<Self> {
808
unary_match!(swap_bytes(&self); [I16, I32, I64, I128])
809
}
810
811
fn iter_lanes(&self, ty: Type) -> ValueResult<DataValueIterator> {
812
DataValueIterator::new(self, ty)
813
}
814
}
815
816
/// Iterator for DataValue's
817
pub struct DataValueIterator {
818
ty: Type,
819
v: SimdVec<DataValue>,
820
idx: usize,
821
}
822
823
impl DataValueIterator {
824
fn new(dv: &DataValue, ty: Type) -> Result<Self, ValueError> {
825
match extractlanes(dv, ty) {
826
Ok(v) => return Ok(Self { ty, v, idx: 0 }),
827
Err(err) => return Err(err),
828
}
829
}
830
}
831
832
impl Iterator for DataValueIterator {
833
type Item = DataValue;
834
835
fn next(&mut self) -> Option<Self::Item> {
836
if self.idx >= self.ty.lane_count() as usize {
837
return None;
838
}
839
840
let dv = self.v[self.idx].clone();
841
self.idx += 1;
842
Some(dv)
843
}
844
}
845
846
#[cfg(test)]
847
mod test {
848
use super::*;
849
850
#[test]
851
fn test_iterator_v128() {
852
let dv = DataValue::V128([99, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]);
853
assert_eq!(simd_sum(dv, types::I8X16), 219);
854
}
855
856
#[test]
857
fn test_iterator_v128_empty() {
858
let dv = DataValue::V128([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]);
859
assert_eq!(simd_sum(dv, types::I8X16), 0);
860
}
861
862
#[test]
863
fn test_iterator_v128_ones() {
864
let dv = DataValue::V128([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]);
865
assert_eq!(simd_sum(dv, types::I8X16), 16);
866
}
867
868
#[test]
869
fn test_iterator_v64_empty() {
870
let dv = DataValue::V64([0, 0, 0, 0, 0, 0, 0, 0]);
871
assert_eq!(simd_sum(dv, types::I8X8), 0);
872
}
873
#[test]
874
fn test_iterator_v64_ones() {
875
let dv = DataValue::V64([1, 1, 1, 1, 1, 1, 1, 1]);
876
assert_eq!(simd_sum(dv, types::I8X8), 8);
877
}
878
#[test]
879
fn test_iterator_v64() {
880
let dv = DataValue::V64([10, 20, 30, 40, 50, 60, 70, 80]);
881
assert_eq!(simd_sum(dv, types::I8X8), 360);
882
}
883
884
fn simd_sum(dv: DataValue, ty: types::Type) -> i128 {
885
let itr = dv.iter_lanes(ty).unwrap();
886
887
itr.map(|e| {
888
if let Some(v) = e.into_int_signed().ok() {
889
v
890
} else {
891
0
892
}
893
})
894
.sum()
895
}
896
}
897
898