MCPcopy Create free account
hub / github.com/bytecodealliance/wasmtime / concat

Method concat

cranelift/interpreter/src/value.rs:482–489  ·  view source on GitHub ↗
(self, other: Self)

Source from the content-addressed store, hash-verified

480 }
481
482 fn concat(self, other: Self) -> ValueResult<Self> {
483 match (self, other) {
484 (DataValue::I64(lhs), DataValue::I64(rhs)) => Ok(DataValue::I128(
485 (((lhs as u64) as u128) | (((rhs as u64) as u128) << 64)) as i128,
486 )),
487 (lhs, rhs) => unimplemented!("concat: {} -> {}", lhs.ty(), rhs.ty()),
488 }
489 }
490
491 fn is_negative(&self) -> ValueResult<bool> {
492 match self {

Callers 15

extend_concreteMethod · 0.80
rotate_symbolicMethod · 0.80
vir_expr_to_sexpMethod · 0.80
subsFunction · 0.80
clz32Function · 0.80
clz16Function · 0.80
clz8Function · 0.80
clz1Function · 0.80
cls32Function · 0.80
cls16Function · 0.80

Calls 1

OkFunction · 0.85

Tested by 1