From fa7f66f0dff2bb91ec25f3fbe864d2e2e4bd17cd Mon Sep 17 00:00:00 2001 From: Dan Gohman Date: Thu, 11 Jun 2015 17:03:45 -0700 Subject: Drop the rest of the ops under consideration. If we don't accept !=, we'll probably want to revisit some of these. --- AstSemantics.md | 5 ----- 1 file changed, 5 deletions(-) (limited to 'AstSemantics.md') 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: -- cgit v1.2.3