Chromium Code Reviews| OLD | NEW |
|---|---|
| (Empty) | |
| 1 //===- subzero/src/IceInstX8664.def - X-macros for x86-32 insts -*- C++ -*-===// | |
|
Jim Stichnoth
2015/06/26 01:12:02
x86-64, presumably?
John
2015/06/26 20:40:31
Done.
| |
| 2 // | |
| 3 // The Subzero Code Generator | |
| 4 // | |
| 5 // This file is distributed under the University of Illinois Open Source | |
| 6 // License. See LICENSE.TXT for details. | |
| 7 // | |
| 8 //===----------------------------------------------------------------------===// | |
| 9 // | |
| 10 // This file defines properties of lowered x86-64 instructions in the | |
| 11 // form of x-macros. | |
| 12 // | |
| 13 //===----------------------------------------------------------------------===// | |
| 14 | |
| 15 #ifndef SUBZERO_SRC_ICEINSTX8664_DEF | |
| 16 #define SUBZERO_SRC_ICEINSTX8664_DEF | |
| 17 | |
| 18 // NOTE: esp is not considered isInt, to avoid register allocating it. | |
| 19 #define REGX8664_GPR_TABLE \ | |
| 20 /* val, encode, name, name32, name16, name8, scratch, preserved, \ | |
| 21 stackptr, frameptr, isI8, isInt, isFP */ \ | |
|
Jim Stichnoth
2015/06/26 01:12:02
I wonder if we'll be able to get rid of isI8 for x
John
2015/06/26 20:40:31
Good point. Given that x86-64 is a little bit more
| |
| 22 X(Reg_rax, = 0, "rax", "eax", "ax", "al", 1, 0, 0, 0, 1, 1, 0) \ | |
| 23 X(Reg_rcx, = Reg_rax + 1, "rcx", "ecx", "cx", "cl", 1, 0, 0, 0, 1, 1, 0) \ | |
|
Jim Stichnoth
2015/06/26 01:12:02
It would be nice if some or all of these tables co
John
2015/06/26 20:40:31
I meant to do this, but I forgot to before sending
| |
| 24 X(Reg_rdx, = Reg_rax + 2, "rdx", "edx", "dx", "dl", 1, 0, 0, 0, 1, 1, 0) \ | |
| 25 X(Reg_rbx, = Reg_rax + 3, "rbx", "ebx", "bx", "bl", 0, 1, 0, 0, 1, 1, 0) \ | |
| 26 X(Reg_rsp, = Reg_rax + 4, "rsp", "esp", "sp", "spl", 0, 0, 1, 0, 0, 0, 0) \ | |
| 27 X(Reg_rbp, = Reg_rax + 5, "rbp", "ebp", "bp", "bpl", 0, 0, 0, 1, 1, 1, 0) \ | |
| 28 X(Reg_rsi, = Reg_rax + 6, "rsi", "esi", "si", "sil", 1, 0, 0, 0, 1, 1, 0) \ | |
| 29 X(Reg_rdi, = Reg_rax + 7, "rdi", "edi", "di", "dil", 1, 0, 0, 0, 1, 1, 0) \ | |
| 30 X(Reg_r8, = Reg_rax + 8, "r8", "r8d", "r8w", "r8l", 1, 0, 0, 0, 1, 1, 0) \ | |
| 31 X(Reg_r9, = Reg_rax + 9, "r9", "r9d", "r9w", "r9l", 1, 0, 0, 0, 1, 1, 0) \ | |
| 32 X(Reg_r10, = Reg_rax + 10, "r10", "r10d", "r10w", "r10l", 1, 0, 0, 0, 1, 1, \ | |
| 33 0) \ | |
| 34 X(Reg_r11, = Reg_rax + 11, "r11", "r11d", "r11w", "r11l", 1, 0, 0, 0, 1, 1, \ | |
| 35 0) \ | |
| 36 X(Reg_r12, = Reg_rax + 12, "r12", "r12d", "r12w", "r12l", 0, 1, 0, 0, 1, 1, \ | |
| 37 0) \ | |
| 38 X(Reg_r13, = Reg_rax + 13, "r13", "r13d", "r13w", "r12l", 0, 1, 0, 0, 1, 1, \ | |
| 39 0) \ | |
| 40 X(Reg_r14, = Reg_rax + 14, "r14", "r14d", "r14w", "r14l", 0, 1, 0, 0, 1, 1, \ | |
| 41 0) \ | |
| 42 X(Reg_r15, = Reg_rax + 14, "r15", "r15d", "r15w", "r15l", 0, 1, 0, 0, 1, 1, 0) | |
| 43 | |
| 44 #define REGX8664_XMM_TABLE \ | |
| 45 X(Reg_xmm0, = 0, "xmm0", "", "", "", 1, 0, 0, 0, 0, 0, 1) \ | |
| 46 X(Reg_xmm1, = Reg_xmm0 + 1, "xmm1", "", "", "", 1, 0, 0, 0, 0, 0, 1) \ | |
| 47 X(Reg_xmm2, = Reg_xmm0 + 2, "xmm2", "", "", "", 1, 0, 0, 0, 0, 0, 1) \ | |
| 48 X(Reg_xmm3, = Reg_xmm0 + 3, "xmm3", "", "", "", 1, 0, 0, 0, 0, 0, 1) \ | |
| 49 X(Reg_xmm4, = Reg_xmm0 + 4, "xmm4", "", "", "", 1, 0, 0, 0, 0, 0, 1) \ | |
| 50 X(Reg_xmm5, = Reg_xmm0 + 5, "xmm5", "", "", "", 1, 0, 0, 0, 0, 0, 1) \ | |
| 51 X(Reg_xmm6, = Reg_xmm0 + 6, "xmm6", "", "", "", 1, 0, 0, 0, 0, 0, 1) \ | |
| 52 X(Reg_xmm7, = Reg_xmm0 + 7, "xmm7", "", "", "", 1, 0, 0, 0, 0, 0, 1) \ | |
| 53 X(Reg_xmm8, = Reg_xmm0 + 8, "xmm8", "", "", "", 1, 0, 0, 0, 0, 0, 1) \ | |
| 54 X(Reg_xmm9, = Reg_xmm0 + 9, "xmm9", "", "", "", 1, 0, 0, 0, 0, 0, 1) \ | |
| 55 X(Reg_xmm10, = Reg_xmm0 + 10, "xmm10", "", "", "", 1, 0, 0, 0, 0, 0, 1) \ | |
| 56 X(Reg_xmm11, = Reg_xmm0 + 11, "xmm11", "", "", "", 1, 0, 0, 0, 0, 0, 1) \ | |
| 57 X(Reg_xmm12, = Reg_xmm0 + 12, "xmm12", "", "", "", 1, 0, 0, 0, 0, 0, 1) \ | |
| 58 X(Reg_xmm13, = Reg_xmm0 + 13, "xmm13", "", "", "", 1, 0, 0, 0, 0, 0, 1) \ | |
| 59 X(Reg_xmm14, = Reg_xmm0 + 14, "xmm14", "", "", "", 1, 0, 0, 0, 0, 0, 1) \ | |
| 60 X(Reg_xmm15, = Reg_xmm0 + 14, "xmm15", "", "", "", 1, 0, 0, 0, 0, 0, 1) | |
|
Jim Stichnoth
2015/06/26 01:12:02
+ 15
John
2015/06/26 20:40:31
Done.
| |
| 61 //#define X(val, encode, name, name32, name16, name8, scratch, preserved, | |
| 62 // stackptr, frameptr, isI8, isInt, isFP) | |
| 63 | |
| 64 // We also provide a combined table, so that there is a namespace where | |
| 65 // all of the registers are considered and have distinct numberings. | |
| 66 // This is in contrast to the above, where the "encode" is based on how | |
| 67 // the register numbers will be encoded in binaries and values can overlap. | |
| 68 // Note that the isI8 attributed of Reg_ah is not set. In general we | |
|
Jim Stichnoth
2015/06/26 01:12:02
Long live Reg_ah.
John
2015/06/26 20:40:31
Long live! I might be able to avoid it completly.
| |
| 69 // don't want the register allocator choosing Reg_ah, in particular | |
| 70 // for lowering insertelement to pinsrb where internally we use an | |
| 71 // 8-bit operand but externally pinsrb uses a 32-bit register, in | |
| 72 // which Reg_ah doesn't map to eax. | |
| 73 #define REGX8664_TABLE \ | |
| 74 /* val, encode, name, name32, name16, name8, scratch, preserved, \ | |
| 75 stackptr, frameptr, isI8, isInt, isFP */ \ | |
| 76 REGX8664_GPR_TABLE \ | |
| 77 X(Reg_ah, = Reg_rax + 4, "?64", "?32", "?16", "ah", 0, 0, 0, 0, 0, 0, 0) \ | |
| 78 REGX8664_XMM_TABLE | |
| 79 //#define X(val, encode, name, name32, name16, name8, scratch, preserved, \ | |
| 80 // stackptr, frameptr, isI8, isInt, isFP) | |
| 81 | |
| 82 #define REGX8664_TABLE_BOUNDS \ | |
| 83 /* val, init */ \ | |
| 84 X(Reg_GPR_First, = Reg_rax) \ | |
| 85 X(Reg_GPR_Last, = Reg_r15) \ | |
| 86 X(Reg_XMM_First, = Reg_xmm0) \ | |
| 87 X(Reg_XMM_Last, = Reg_xmm15) | |
| 88 // define X(val, init) | |
| 89 | |
| 90 // We also need the encodings for the Byte registers (other info overlaps | |
| 91 // what is in the REGX8664_GPR_TABLE). We don't expose the ah, ch, dh, | |
| 92 // bh registers to keep register selection simple. | |
| 93 #define REGX8664_BYTEREG_TABLE \ | |
| 94 /* val, encode */ \ | |
| 95 X(Reg_al, = 0) \ | |
| 96 X(Reg_cl, = 1) \ | |
| 97 X(Reg_dl, = 2) \ | |
| 98 X(Reg_bl, = 3) \ | |
| 99 X(Reg_spl, = 4) \ | |
| 100 X(Reg_bpl, = 5) \ | |
| 101 X(Reg_sil, = 6) \ | |
| 102 X(Reg_dil, = 7) \ | |
| 103 X(Reg_r8l, = 8) \ | |
| 104 X(Reg_r9l, = 9) \ | |
| 105 X(Reg_r10l, = 10) \ | |
| 106 X(Reg_r11l, = 11) \ | |
| 107 X(Reg_r12l, = 12) \ | |
| 108 X(Reg_r13l, = 13) \ | |
| 109 X(Reg_r14l, = 14) \ | |
| 110 X(Reg_r15l, = 15) | |
| 111 //#define X(val, encode) | |
| 112 | |
| 113 #define ICEINSTX8664BR_TABLE \ | |
| 114 /* enum value, encode, opposite, dump, emit */ \ | |
| 115 X(Br_o, = 0, Br_no, "o", "jo") \ | |
| 116 X(Br_no, = 1, Br_o, "no", "jno") \ | |
| 117 X(Br_b, = 2, Br_ae, "b", "jb") \ | |
| 118 X(Br_ae, = 3, Br_b, "ae", "jae") \ | |
| 119 X(Br_e, = 4, Br_ne, "e", "je") \ | |
| 120 X(Br_ne, = 5, Br_e, "ne", "jne") \ | |
| 121 X(Br_be, = 6, Br_a, "be", "jbe") \ | |
| 122 X(Br_a, = 7, Br_be, "a", "ja") \ | |
| 123 X(Br_s, = 8, Br_ns, "s", "js") \ | |
| 124 X(Br_ns, = 9, Br_s, "ns", "jns") \ | |
| 125 X(Br_p, = 10, Br_np, "p", "jp") \ | |
| 126 X(Br_np, = 11, Br_p, "np", "jnp") \ | |
| 127 X(Br_l, = 12, Br_ge, "l", "jl") \ | |
| 128 X(Br_ge, = 13, Br_l, "ge", "jge") \ | |
| 129 X(Br_le, = 14, Br_g, "le", "jle") \ | |
| 130 X(Br_g, = 15, Br_le, "g", "jg") //#define X(tag, encode, opp, dump, emit) | |
|
Jim Stichnoth
2015/06/26 01:12:02
put #define comment on separate line, here and bel
John
2015/06/26 20:40:31
Done.
| |
| 131 | |
| 132 #define ICEINSTX8664CMPPS_TABLE \ | |
| 133 /* enum value, emit */ \ | |
| 134 X(Cmpps_eq, "eq") \ | |
| 135 X(Cmpps_lt, "lt") \ | |
| 136 X(Cmpps_le, "le") \ | |
| 137 X(Cmpps_unord, "unord") \ | |
| 138 X(Cmpps_neq, "neq") \ | |
| 139 X(Cmpps_nlt, "nlt") \ | |
| 140 X(Cmpps_nle, "nle") \ | |
| 141 X(Cmpps_ord, "ord") //#define X(tag, emit) | |
| 142 | |
| 143 #define ICETYPEX8664_TABLE \ | |
| 144 /* tag, element type, cvt, sdss, pack, width, fld */ \ | |
| 145 X(IceType_void, IceType_void, "?", "", "", "", "") \ | |
| 146 X(IceType_i1, IceType_void, "si", "", "", "b", "") \ | |
| 147 X(IceType_i8, IceType_void, "si", "", "", "b", "") \ | |
| 148 X(IceType_i16, IceType_void, "si", "", "", "w", "") \ | |
| 149 X(IceType_i32, IceType_void, "si", "", "", "l", "") \ | |
| 150 X(IceType_i64, IceType_void, "si", "", "", "q", "") \ | |
| 151 X(IceType_f32, IceType_void, "ss", "ss", "d", "", "s") \ | |
| 152 X(IceType_f64, IceType_void, "sd", "sd", "q", "", "l") \ | |
| 153 X(IceType_v4i1, IceType_i32, "?", "", "d", "", "") \ | |
| 154 X(IceType_v8i1, IceType_i16, "?", "", "w", "", "") \ | |
| 155 X(IceType_v16i1, IceType_i8, "?", "", "b", "", "") \ | |
| 156 X(IceType_v16i8, IceType_i8, "?", "", "b", "", "") \ | |
| 157 X(IceType_v8i16, IceType_i16, "?", "", "w", "", "") \ | |
| 158 X(IceType_v4i32, IceType_i32, "dq", "", "d", "", "") \ | |
| 159 X(IceType_v4f32, IceType_f32, "ps", "", "d", "", \ | |
| 160 "") //#define X(tag, elementty, cvt, sdss, pack, width, fld) | |
| 161 | |
| 162 #endif // SUBZERO_SRC_ICEINSTX8664_DEF | |
| OLD | NEW |