diff options
| author | Thomas Lively <tlively@google.com> | 2023-09-13 10:13:33 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-13 15:13:33 +0000 |
| commit | 3ca8c21b89c207ce5d872e9cb2d410a869522d38 (patch) | |
| tree | 10757c566326c6894512508a71719ed3b4c594fd /src/wasm/wasm-validator.cpp | |
| parent | bd497d3def1e2c702e29521f097be26024a8253e (diff) | |
| download | binaryen-3ca8c21b89c207ce5d872e9cb2d410a869522d38.tar.gz binaryen-3ca8c21b89c207ce5d872e9cb2d410a869522d38.tar.bz2 binaryen-3ca8c21b89c207ce5d872e9cb2d410a869522d38.zip | |
Replace I31New with RefI31 everywhere (#5930)
Globally replace the source string "I31New" with "RefI31" in preparation for
renaming the instruction from "i31.new" to "ref.i31", as implemented in the spec
in https://github.com/WebAssembly/gc/pull/422. This would be NFC, except that it
also changes the string in the external-facing C APIs.
A follow-up PR will make the corresponding behavioral change.
Diffstat (limited to 'src/wasm/wasm-validator.cpp')
| -rw-r--r-- | src/wasm/wasm-validator.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/wasm/wasm-validator.cpp b/src/wasm/wasm-validator.cpp index d6575f7d4..0d45a4773 100644 --- a/src/wasm/wasm-validator.cpp +++ b/src/wasm/wasm-validator.cpp @@ -448,7 +448,7 @@ public: void visitTupleMake(TupleMake* curr); void visitTupleExtract(TupleExtract* curr); void visitCallRef(CallRef* curr); - void visitI31New(I31New* curr); + void visitRefI31(RefI31* curr); void visitI31Get(I31Get* curr); void visitRefTest(RefTest* curr); void visitRefCast(RefCast* curr); @@ -2502,7 +2502,7 @@ void FunctionValidator::visitCallRef(CallRef* curr) { } } -void FunctionValidator::visitI31New(I31New* curr) { +void FunctionValidator::visitRefI31(RefI31* curr) { shouldBeTrue( getModule()->features.hasGC(), curr, "i31.new requires gc [--enable-gc]"); shouldBeSubType(curr->value->type, |