diff options
| author | Dan Gohman <sunfish@mozilla.com> | 2015-06-11 17:03:45 -0700 |
|---|---|---|
| committer | Dan Gohman <sunfish@mozilla.com> | 2015-06-12 14:26:17 -0700 |
| commit | fa7f66f0dff2bb91ec25f3fbe864d2e2e4bd17cd (patch) | |
| tree | dc486702d33ae606550bfcac1b0a20ec3b539c0a | |
| parent | deb41fb73483c6c4b6e91d811b5f13809a0e8030 (diff) | |
| download | nanowasm-design-fa7f66f0dff2bb91ec25f3fbe864d2e2e4bd17cd.tar.gz | |
Drop the rest of the ops under consideration.
If we don't accept !=, we'll probably want to revisit some of these.
| -rw-r--r-- | AstSemantics.md | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/AstSemantics.md b/AstSemantics.md index 9c69085..0f3f309 100644 --- a/AstSemantics.md +++ b/AstSemantics.md @@ -323,11 +323,6 @@ Note that greater-than and greater-than-or-equal operations are not required, since "a < b" == "b > a" and "a <= b" == "b >= a". Such equalities also hold for floating point comparisons, even considering NaN. -Additional 32-bit integer Operations under consideration: - * Int32Not - signed-less one's complement - * Int32Neg - two's complement negation - * Int32Bang - test equality with zero - ## Floating point operations Floating point arithmetic follows the IEEE-754 standard, except that: |