mleku/wazero
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

wazevo: fuzz, fix i16x8.narrow_i32x4_u (#1820)

Browse Source 
Signed-off-by: Edoardo Vacchi <evacchi@users.noreply.github.com>
This commit is contained in:
Edoardo Vacchi
2023-10-29 02:02:08 +02:00
committed by GitHub
parent a5d1b12385
commit 695b49e94d
4 changed files with 164 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
internal/integration_test/fuzzcases/fuzzcases_test.go
View File

@@ -666,3 +666,19 @@ func Test1817(t *testing.T) {
require.Equal(t, uint64(0x8000000080000000), m.Globals[0].ValHi)
})
}
// Test1817 tests that i16x8.narrow_i32x4_u assigns the dest register correctly.
func Test1818(t *testing.T) {
if !platform.CompilerSupported() {
return
}
run(t, func(t *testing.T, r wazero.Runtime) {
mod, err := r.Instantiate(ctx, getWasmBinary(t, "1818"))
require.NoError(t, err)
m := mod.(*wasm.ModuleInstance)
_, err = m.ExportedFunction("").Call(ctx)
require.NoError(t, err)
require.Equal(t, uint64(0xFFFFFFFFFFFF0000), m.Globals[1].Val)
require.Equal(t, uint64(0xFFFF), m.Globals[1].ValHi)
})
}