diff options
| author | Daniel Wirtz <dcode@dcode.io> | 2020-09-24 12:02:09 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-24 12:02:09 +0200 |
| commit | e9e1b2ff00aeb05aaeb57af3811add267dc25323 (patch) | |
| tree | 4e19032813858b2e650f0cda46fe9fa227aa0a7f /src/ir/ReFinalize.cpp | |
| parent | a42423fafa8cf731c69303ddc0acbe80c890e0ab (diff) | |
| download | binaryen-e9e1b2ff00aeb05aaeb57af3811add267dc25323.tar.gz binaryen-e9e1b2ff00aeb05aaeb57af3811add267dc25323.tar.bz2 binaryen-e9e1b2ff00aeb05aaeb57af3811add267dc25323.zip | |
GC: Add i31 instructions (#3154)
Adds the `i31.new` and `i31.get_s/u` instructions for creating and working with `i31ref` typed values. Does not include fuzzer integration just yet because the fuzzer expects that trivial values it creates are suitable in global initializers, which is not the case for trivial `i31ref` expressions.
Diffstat (limited to 'src/ir/ReFinalize.cpp')
| -rw-r--r-- | src/ir/ReFinalize.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/ir/ReFinalize.cpp b/src/ir/ReFinalize.cpp index 99387ada1..c6b3ab855 100644 --- a/src/ir/ReFinalize.cpp +++ b/src/ir/ReFinalize.cpp @@ -141,6 +141,8 @@ void ReFinalize::visitUnreachable(Unreachable* curr) { curr->finalize(); } void ReFinalize::visitPop(Pop* curr) { curr->finalize(); } void ReFinalize::visitTupleMake(TupleMake* curr) { curr->finalize(); } void ReFinalize::visitTupleExtract(TupleExtract* curr) { curr->finalize(); } +void ReFinalize::visitI31New(I31New* curr) { curr->finalize(); } +void ReFinalize::visitI31Get(I31Get* curr) { curr->finalize(); } void ReFinalize::visitFunction(Function* curr) { // we may have changed the body from unreachable to none, which might be bad |