Sign in
chromium
/
external
/
github.com
/
WebAssembly
/
binaryen
/
refs/heads/runOnModuleCode
/
.
/
test
/
lit
/
validation
/
nn-locals-ok.wast
blob: 1dfd20962efdc502fe0b2f82a1f1028bf62bfcf1 [
file
] [
log
] [
blame
] [
edit
]
;;
Test
for
validation of non
-
nullable locals
;;
RUN
:
wasm
-
opt
-
all
--
enable
-
gc
-
nn
-
locals
%
s
--
print
|
filecheck
%
s
;;
CHECK
:
(
module
(
module
(
func $foo
(
param $nn
(
ref
any
))
;;
It
is
ok to read a non
-
nullable param
.
(
drop
(
local
.
get
$nn
)
)
)
)