summaryrefslogtreecommitdiff
path: root/src/validator.cc
diff options
context:
space:
mode:
authorBen Smith <binjimin@gmail.com>2017-11-21 14:51:34 -0800
committerGitHub <noreply@github.com>2017-11-21 14:51:34 -0800
commita630c95d472dc1615640bfe7d33849d45631778c (patch)
treee9b4e6b3568d70f1fa767c2cc0a5d2d0eca7263a /src/validator.cc
parent49b7984544ddaf14d5e2f1ad9115dad7e9a2b299 (diff)
downloadwabt-a630c95d472dc1615640bfe7d33849d45631778c.tar.gz
wabt-a630c95d472dc1615640bfe7d33849d45631778c.tar.bz2
wabt-a630c95d472dc1615640bfe7d33849d45631778c.zip
Rename {wake,wait} -> atomic.{wake,wait} (#672)
This was recently changed in the spec.
Diffstat (limited to 'src/validator.cc')
-rw-r--r--src/validator.cc16
1 files changed, 8 insertions, 8 deletions
diff --git a/src/validator.cc b/src/validator.cc
index c4ad1f9a..5d6f3bca 100644
--- a/src/validator.cc
+++ b/src/validator.cc
@@ -457,6 +457,14 @@ void Validator::CheckExpr(const Expr* expr) {
CheckAtomicExpr(cast<AtomicStoreExpr>(expr), &TypeChecker::OnAtomicStore);
break;
+ case ExprType::AtomicWait:
+ CheckAtomicExpr(cast<AtomicWaitExpr>(expr), &TypeChecker::OnAtomicWait);
+ break;
+
+ case ExprType::AtomicWake:
+ CheckAtomicExpr(cast<AtomicWakeExpr>(expr), &TypeChecker::OnAtomicWake);
+ break;
+
case ExprType::Binary:
typechecker_.OnBinary(cast<BinaryExpr>(expr)->opcode);
break;
@@ -660,14 +668,6 @@ void Validator::CheckExpr(const Expr* expr) {
case ExprType::Unreachable:
typechecker_.OnUnreachable();
break;
-
- case ExprType::Wait:
- CheckAtomicExpr(cast<WaitExpr>(expr), &TypeChecker::OnWait);
- break;
-
- case ExprType::Wake:
- CheckAtomicExpr(cast<WakeExpr>(expr), &TypeChecker::OnWake);
- break;
}
}