diff options
| author | Andy Wingo <wingo@igalia.com> | 2020-04-20 21:10:19 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-20 12:10:19 -0700 |
| commit | d041025854ba2b00b3df9f308914c8aba05dcda9 (patch) | |
| tree | 2066b1cef60effa9c2a0ef7cf13cf65a34f23b1b /src/expr-visitor.cc | |
| parent | 952c3b8006911a8659c1b922c3bb4adffc671d89 (diff) | |
| download | wabt-d041025854ba2b00b3df9f308914c8aba05dcda9.tar.gz wabt-d041025854ba2b00b3df9f308914c8aba05dcda9.tar.bz2 wabt-d041025854ba2b00b3df9f308914c8aba05dcda9.zip | |
Add support for atomic.fence from the threads proposal (#1231)
See https://github.com/WebAssembly/threads/pull/141 for the binary
encoding. This patch does add a field to AtomicFenceExpr for the
consistency model, though without a type for the time being.
Diffstat (limited to 'src/expr-visitor.cc')
| -rw-r--r-- | src/expr-visitor.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/expr-visitor.cc b/src/expr-visitor.cc index 9e2ba730..448bca00 100644 --- a/src/expr-visitor.cc +++ b/src/expr-visitor.cc @@ -156,6 +156,10 @@ Result ExprVisitor::HandleDefaultState(Expr* expr) { CHECK_RESULT(delegate_->OnAtomicWaitExpr(cast<AtomicWaitExpr>(expr))); break; + case ExprType::AtomicFence: + CHECK_RESULT(delegate_->OnAtomicFenceExpr(cast<AtomicFenceExpr>(expr))); + break; + case ExprType::AtomicNotify: CHECK_RESULT(delegate_->OnAtomicNotifyExpr(cast<AtomicNotifyExpr>(expr))); break; |