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

Function xadd32

pulley/tests/all/interp.rs:138–158  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

136
137#[test]
138fn xadd32() {
139 for (expected, a, b) in [
140 (42u64 | 0x1234567800000000, 10u64, 32u64),
141 (0x1234567800000000, u32::MAX as _, 1),
142 ] {
143 unsafe {
144 assert_one(
145 [(x(0), 0x1234567812345678), (x(1), a), (x(2), b)],
146 Xadd32 {
147 operands: BinaryOperands {
148 dst: x(0),
149 src1: x(1),
150 src2: x(2),
151 },
152 },
153 x(0),
154 expected,
155 );
156 }
157 }
158}
159
160#[test]
161fn xadd64() {

Callers 1

pulley_emitFunction · 0.85

Calls 2

assert_oneFunction · 0.85
xFunction · 0.70

Tested by

no test coverage detected