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 |