| OLD | NEW |
| 1 //===- subzero/src/IceInst.def - X-macros for ICE instructions -*- C++ -*-===// | 1 //===- subzero/src/IceInst.def - X-macros for ICE instructions -*- C++ -*-===// |
| 2 // | 2 // |
| 3 // The Subzero Code Generator | 3 // The Subzero Code Generator |
| 4 // | 4 // |
| 5 // This file is distributed under the University of Illinois Open Source | 5 // This file is distributed under the University of Illinois Open Source |
| 6 // License. See LICENSE.TXT for details. | 6 // License. See LICENSE.TXT for details. |
| 7 // | 7 // |
| 8 //===----------------------------------------------------------------------===// | 8 //===----------------------------------------------------------------------===// |
| 9 // | 9 // |
| 10 // This file defines properties of ICE instructions in the form of x-macros. | 10 // This file defines properties of ICE instructions in the form of x-macros. |
| (...skipping 13 matching lines...) Expand all Loading... |
| 24 // except roundTowardNegative; under that attribute, the sign of an exact | 24 // except roundTowardNegative; under that attribute, the sign of an exact |
| 25 // zero sum (or difference) shall be −0. | 25 // zero sum (or difference) shall be −0. |
| 26 // 3) NaNs are handled by: | 26 // 3) NaNs are handled by: |
| 27 // http://grouper.ieee.org/groups/1788/email/msg03558.html | 27 // http://grouper.ieee.org/groups/1788/email/msg03558.html |
| 28 // clause of 754 at work is 6.2.3 NaN propagation: | 28 // clause of 754 at work is 6.2.3 NaN propagation: |
| 29 // "If two or more inputs are NaN, then the payload of the resulting NaN | 29 // "If two or more inputs are NaN, then the payload of the resulting NaN |
| 30 // should be identical to the payload of one of the input NaNs if | 30 // should be identical to the payload of one of the input NaNs if |
| 31 // representable in the destination format. This standard does not | 31 // representable in the destination format. This standard does not |
| 32 // specify which of the input NaNs will provide the payload." | 32 // specify which of the input NaNs will provide the payload." |
| 33 | 33 |
| 34 #define ICEINSTARITHMETIC_TABLE \ | 34 #define ICEINSTARITHMETIC_TABLE \ |
| 35 /* enum value, printable string, commutative */ \ | 35 /* enum value, printable string, commutative */ \ |
| 36 X(Add, "add", 1) \ | 36 X(Add, "add", 1) \ |
| 37 X(Fadd, "fadd", 1) \ | 37 X(Fadd, "fadd", 1) \ |
| 38 X(Sub, "sub", 0) \ | 38 X(Sub, "sub", 0) \ |
| 39 X(Fsub, "fsub", 0) \ | 39 X(Fsub, "fsub", 0) \ |
| 40 X(Mul, "mul", 1) \ | 40 X(Mul, "mul", 1) \ |
| 41 X(Fmul, "fmul", 1) \ | 41 X(Fmul, "fmul", 1) \ |
| 42 X(Udiv, "udiv", 0) \ | 42 X(Udiv, "udiv", 0) \ |
| 43 X(Sdiv, "sdiv", 0) \ | 43 X(Sdiv, "sdiv", 0) \ |
| 44 X(Fdiv, "fdiv", 0) \ | 44 X(Fdiv, "fdiv", 0) \ |
| 45 X(Urem, "urem", 0) \ | 45 X(Urem, "urem", 0) \ |
| 46 X(Srem, "srem", 0) \ | 46 X(Srem, "srem", 0) \ |
| 47 X(Frem, "frem", 0) \ | 47 X(Frem, "frem", 0) \ |
| 48 X(Shl, "shl", 0) \ | 48 X(Shl, "shl", 0) \ |
| 49 X(Lshr, "lshr", 0) \ | 49 X(Lshr, "lshr", 0) \ |
| 50 X(Ashr, "ashr", 0) \ | 50 X(Ashr, "ashr", 0) \ |
| 51 X(And, "and", 1) \ | 51 X(And, "and", 1) \ |
| 52 X(Or, "or", 1) \ | 52 X(Or, "or", 1) \ |
| 53 X(Xor, "xor", 1) | 53 X(Xor, "xor", 1) |
| 54 //#define X(tag, str, commutative) | 54 //#define X(tag, str, commutative) |
| 55 | 55 |
| 56 #define ICEINSTCAST_TABLE \ | 56 #define ICEINSTCAST_TABLE \ |
| 57 /* enum value, printable string */ \ | 57 /* enum value, printable string */ \ |
| 58 X(Trunc, "trunc") \ | 58 X(Trunc, "trunc") \ |
| 59 X(Zext, "zext") \ | 59 X(Zext, "zext") \ |
| 60 X(Sext, "sext") \ | 60 X(Sext, "sext") \ |
| 61 X(Fptrunc, "fptrunc") \ | 61 X(Fptrunc, "fptrunc") \ |
| 62 X(Fpext, "fpext") \ | 62 X(Fpext, "fpext") \ |
| 63 X(Fptoui, "fptoui") \ | 63 X(Fptoui, "fptoui") \ |
| 64 X(Fptosi, "fptosi") \ | 64 X(Fptosi, "fptosi") \ |
| 65 X(Uitofp, "uitofp") \ | 65 X(Uitofp, "uitofp") \ |
| 66 X(Sitofp, "sitofp") \ | 66 X(Sitofp, "sitofp") \ |
| 67 X(Bitcast, "bitcast") | 67 X(Bitcast, "bitcast") |
| 68 //#define X(tag, str) | 68 //#define X(tag, str) |
| 69 | 69 |
| 70 #define ICEINSTFCMP_TABLE \ | 70 #define ICEINSTFCMP_TABLE \ |
| 71 /* enum value, printable string */ \ | 71 /* enum value, printable string */ \ |
| 72 X(False, "false") \ | 72 X(False, "false") \ |
| 73 X(Oeq, "oeq") \ | 73 X(Oeq, "oeq") \ |
| 74 X(Ogt, "ogt") \ | 74 X(Ogt, "ogt") \ |
| 75 X(Oge, "oge") \ | 75 X(Oge, "oge") \ |
| 76 X(Olt, "olt") \ | 76 X(Olt, "olt") \ |
| 77 X(Ole, "ole") \ | 77 X(Ole, "ole") \ |
| 78 X(One, "one") \ | 78 X(One, "one") \ |
| 79 X(Ord, "ord") \ | 79 X(Ord, "ord") \ |
| 80 X(Ueq, "ueq") \ | 80 X(Ueq, "ueq") \ |
| 81 X(Ugt, "ugt") \ | 81 X(Ugt, "ugt") \ |
| 82 X(Uge, "uge") \ | 82 X(Uge, "uge") \ |
| 83 X(Ult, "ult") \ | 83 X(Ult, "ult") \ |
| 84 X(Ule, "ule") \ | 84 X(Ule, "ule") \ |
| 85 X(Une, "une") \ | 85 X(Une, "une") \ |
| 86 X(Uno, "uno") \ | 86 X(Uno, "uno") \ |
| 87 X(True, "true") | 87 X(True, "true") |
| 88 //#define X(tag, str) | 88 //#define X(tag, str) |
| 89 | 89 |
| 90 #define ICEINSTICMP_TABLE \ | 90 #define ICEINSTICMP_TABLE \ |
| 91 /* enum value, printable string */ \ | 91 /* enum value, reverse, printable string */ \ |
| 92 X(Eq, "eq") \ | 92 X(Eq, Eq, "eq") \ |
| 93 X(Ne, "ne") \ | 93 X(Ne, Ne, "ne") \ |
| 94 X(Ugt, "ugt") \ | 94 X(Ugt, Ult, "ugt") \ |
| 95 X(Uge, "uge") \ | 95 X(Uge, Ule, "uge") \ |
| 96 X(Ult, "ult") \ | 96 X(Ult, Ugt, "ult") \ |
| 97 X(Ule, "ule") \ | 97 X(Ule, Uge, "ule") \ |
| 98 X(Sgt, "sgt") \ | 98 X(Sgt, Slt, "sgt") \ |
| 99 X(Sge, "sge") \ | 99 X(Sge, Sle, "sge") \ |
| 100 X(Slt, "slt") \ | 100 X(Slt, Sgt, "slt") \ |
| 101 X(Sle, "sle") | 101 X(Sle, Sge, "sle") |
| 102 //#define X(tag, str) | 102 //#define X(tag, reverse, str) |
| 103 | 103 |
| 104 #endif // SUBZERO_SRC_ICEINST_DEF | 104 #endif // SUBZERO_SRC_ICEINST_DEF |
| OLD | NEW |