| //===- subzero/src/IceInst.def - X-macros for ICE instructions -*- C++ -*-===// | |
| // | |
| // The Subzero Code Generator | |
| // | |
| // This file is distributed under the University of Illinois Open Source | |
| // License. See LICENSE.TXT for details. | |
| // | |
| //===----------------------------------------------------------------------===// | |
| // | |
| // This file defines properties of ICE instructions in the form of x-macros. | |
| // | |
| //===----------------------------------------------------------------------===// | |
| #ifndef SUBZERO_SRC_ICEINST_DEF | |
| #define SUBZERO_SRC_ICEINST_DEF | |
| // Floating point addition and multiplication are commutative. | |
| // 1) non-special values and infinities are required to commute. | |
| // 2) signed zeroes are handled by: | |
| // From IEEE standard 754-2008: | |
| // When the sum of two operands with opposite signs (or the difference of | |
| // two operands with like signs) is exactly zero, the sign of that sum | |
| // (or difference) shall be +0 in all rounding-direction attributes | |
| // except roundTowardNegative; under that attribute, the sign of an exact | |
| // zero sum (or difference) shall be −0. | |
| // 3) NaNs are handled by: | |
| // http://grouper.ieee.org/groups/1788/email/msg03558.html | |
| // clause of 754 at work is 6.2.3 NaN propagation: | |
| // "If two or more inputs are NaN, then the payload of the resulting NaN | |
| // should be identical to the payload of one of the input NaNs if | |
| // representable in the destination format. This standard does not | |
| // specify which of the input NaNs will provide the payload." | |
| #define ICEINSTARITHMETIC_TABLE \ | |
| /* enum value, printable string, commutative */ \ | |
| X(Add, "add", 1) \ | |
| X(Fadd, "fadd", 1) \ | |
| X(Sub, "sub", 0) \ | |
| X(Fsub, "fsub", 0) \ | |
| X(Mul, "mul", 1) \ | |
| X(Fmul, "fmul", 1) \ | |
| X(Udiv, "udiv", 0) \ | |
| X(Sdiv, "sdiv", 0) \ | |
| X(Fdiv, "fdiv", 0) \ | |
| X(Urem, "urem", 0) \ | |
| X(Srem, "srem", 0) \ | |
| X(Frem, "frem", 0) \ | |
| X(Shl, "shl", 0) \ | |
| X(Lshr, "lshr", 0) \ | |
| X(Ashr, "ashr", 0) \ | |
| X(And, "and", 1) \ | |
| X(Or, "or", 1) \ | |
| X(Xor, "xor", 1) | |
| //#define X(tag, str, commutative) | |
| #define ICEINSTCAST_TABLE \ | |
| /* enum value, printable string */ \ | |
| X(Trunc, "trunc") \ | |
| X(Zext, "zext") \ | |
| X(Sext, "sext") \ | |
| X(Fptrunc, "fptrunc") \ | |
| X(Fpext, "fpext") \ | |
| X(Fptoui, "fptoui") \ | |
| X(Fptosi, "fptosi") \ | |
| X(Uitofp, "uitofp") \ | |
| X(Sitofp, "sitofp") \ | |
| X(Bitcast, "bitcast") | |
| //#define X(tag, str) | |
| #define ICEINSTFCMP_TABLE \ | |
| /* enum value, printable string */ \ | |
| X(False, "false") \ | |
| X(Oeq, "oeq") \ | |
| X(Ogt, "ogt") \ | |
| X(Oge, "oge") \ | |
| X(Olt, "olt") \ | |
| X(Ole, "ole") \ | |
| X(One, "one") \ | |
| X(Ord, "ord") \ | |
| X(Ueq, "ueq") \ | |
| X(Ugt, "ugt") \ | |
| X(Uge, "uge") \ | |
| X(Ult, "ult") \ | |
| X(Ule, "ule") \ | |
| X(Une, "une") \ | |
| X(Uno, "uno") \ | |
| X(True, "true") | |
| //#define X(tag, str) | |
| #define ICEINSTICMP_TABLE \ | |
| /* enum value, reverse, printable string */ \ | |
| X(Eq, Eq, "eq") \ | |
| X(Ne, Ne, "ne") \ | |
| X(Ugt, Ult, "ugt") \ | |
| X(Uge, Ule, "uge") \ | |
| X(Ult, Ugt, "ult") \ | |
| X(Ule, Uge, "ule") \ | |
| X(Sgt, Slt, "sgt") \ | |
| X(Sge, Sle, "sge") \ | |
| X(Slt, Sgt, "slt") \ | |
| X(Sle, Sge, "sle") | |
| //#define X(tag, reverse, str) | |
| #endif // SUBZERO_SRC_ICEINST_DEF |