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

wazevo: fuzz, fix ssa.OpcodeInsertlane (#1825)

Browse Source 
Signed-off-by: Edoardo Vacchi <evacchi@users.noreply.github.com>
This commit is contained in:
Edoardo Vacchi
2023-10-31 23:18:46 +01:00
committed by GitHub
parent ec1844c6fc
commit 928fce854f
4 changed files with 224 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -699,3 +699,19 @@ func Test1823(t *testing.T) {
require.Equal(t, uint64(4671060543367625455), m.Globals[0].ValHi)
})
}
// Test1825 tests that OpcodeInsertlane allocates correctly the temporary registers.
func Test1825(t *testing.T) {
if !platform.CompilerSupported() {
return
}
run(t, func(t *testing.T, r wazero.Runtime) {
mod, err := r.Instantiate(ctx, getWasmBinary(t, "1825"))
require.NoError(t, err)
m := mod.(*wasm.ModuleInstance)
_, err = m.ExportedFunction("").Call(ctx)
require.NoError(t, err)
require.Equal(t, uint64(1099511627775), m.Globals[6].Val)
require.Equal(t, uint64(18446744073709551615), m.Globals[6].ValHi)
})
}