| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2009 The Android Open Source Project |
| 3 | * |
| 4 | * Licensed under the Apache License, Version 2.0 (the "License"); |
| 5 | * you may not use this file except in compliance with the License. |
| 6 | * You may obtain a copy of the License at |
| 7 | * |
| 8 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 9 | * |
| 10 | * Unless required by applicable law or agreed to in writing, software |
| 11 | * distributed under the License is distributed on an "AS IS" BASIS, |
| 12 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 13 | * See the License for the specific language governing permissions and |
| 14 | * limitations under the License. |
| 15 | */ |
| 16 | |
| 17 | #include "Dalvik.h" |
| 18 | #include "libdex/OpCode.h" |
| 19 | #include "dexdump/OpCodeNames.h" |
| 20 | |
| 21 | #include "../../CompilerInternals.h" |
| Bill Buzbee | 89efc3d | 2009-07-28 11:22:22 -0700 | [diff] [blame] | 22 | #include "ArmLIR.h" |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 23 | #include <unistd.h> /* for cacheflush */ |
| 24 | |
| 25 | /* |
| Bill Buzbee | 89efc3d | 2009-07-28 11:22:22 -0700 | [diff] [blame] | 26 | * opcode: ArmOpCode enum |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 27 | * skeleton: pre-designated bit-pattern for this opcode |
| Bill Buzbee | 9bc3df3 | 2009-07-30 10:52:29 -0700 | [diff] [blame] | 28 | * k0: key to applying ds/de |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 29 | * ds: dest start bit position |
| 30 | * de: dest end bit position |
| Bill Buzbee | 9bc3df3 | 2009-07-30 10:52:29 -0700 | [diff] [blame] | 31 | * k1: key to applying s1s/s1e |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 32 | * s1s: src1 start bit position |
| 33 | * s1e: src1 end bit position |
| Bill Buzbee | 9bc3df3 | 2009-07-30 10:52:29 -0700 | [diff] [blame] | 34 | * k2: key to applying s2s/s2e |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 35 | * s2s: src2 start bit position |
| 36 | * s2e: src2 end bit position |
| 37 | * operands: number of operands (for sanity check purposes) |
| 38 | * name: mnemonic name |
| 39 | * fmt: for pretty-prining |
| 40 | */ |
| Bill Buzbee | 9bc3df3 | 2009-07-30 10:52:29 -0700 | [diff] [blame] | 41 | #define ENCODING_MAP(opcode, skeleton, k0, ds, de, k1, s1s, s1e, k2, s2s, s2e, \ |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 42 | k3, k3s, k3e, flags, name, fmt, size) \ |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 43 | {skeleton, {{k0, ds, de}, {k1, s1s, s1e}, {k2, s2s, s2e}, \ |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 44 | {k3, k3s, k3e}}, opcode, flags, name, fmt, size} |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 45 | |
| 46 | /* Instruction dump string format keys: !pf, where "!" is the start |
| 47 | * of the key, "p" is which numeric operand to use and "f" is the |
| 48 | * print format. |
| 49 | * |
| 50 | * [p]ositions: |
| 51 | * 0 -> operands[0] (dest) |
| 52 | * 1 -> operands[1] (src1) |
| 53 | * 2 -> operands[2] (src2) |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 54 | * 3 -> operands[3] (extra) |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 55 | * |
| 56 | * [f]ormats: |
| 57 | * h -> 4-digit hex |
| 58 | * d -> decimal |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 59 | * E -> decimal*4 |
| 60 | * F -> decimal*2 |
| 61 | * c -> branch condition (beq, bne, etc.) |
| 62 | * t -> pc-relative target |
| 63 | * u -> 1st half of bl[x] target |
| 64 | * v -> 2nd half ob bl[x] target |
| 65 | * R -> register list |
| Bill Buzbee | 9727c3d | 2009-08-01 11:32:36 -0700 | [diff] [blame] | 66 | * s -> single precision floating point register |
| 67 | * S -> double precision floating point register |
| Bill Buzbee | 7ea0f64 | 2009-08-10 17:06:51 -0700 | [diff] [blame] | 68 | * m -> Thumb2 modified immediate |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 69 | * n -> complimented Thumb2 modified immediate |
| Bill Buzbee | 7ea0f64 | 2009-08-10 17:06:51 -0700 | [diff] [blame] | 70 | * M -> Thumb2 16-bit zero-extended immediate |
| Bill Buzbee | a4a7f07 | 2009-08-27 13:58:09 -0700 | [diff] [blame] | 71 | * b -> 4-digit binary |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 72 | * |
| 73 | * [!] escape. To insert "!", use "!!" |
| 74 | */ |
| Bill Buzbee | 89efc3d | 2009-07-28 11:22:22 -0700 | [diff] [blame] | 75 | /* NOTE: must be kept in sync with enum ArmOpcode from ArmLIR.h */ |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 76 | ArmEncodingMap EncodingMap[kArmLast] = { |
| 77 | ENCODING_MAP(kArm16BitData, 0x0000, |
| 78 | kFmtBitBlt, 15, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1, |
| 79 | kFmtUnused, -1, -1, IS_UNARY_OP, "data", "0x!0h(!0d)", 1), |
| 80 | ENCODING_MAP(kThumbAdcRR, 0x4140, |
| 81 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1, |
| 82 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 83 | IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES | USES_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 84 | "adcs", "r!0d, r!1d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 85 | ENCODING_MAP(kThumbAddRRI3, 0x1c00, |
| 86 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 8, 6, |
| 87 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 88 | IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 89 | "adds", "r!0d, r!1d, #!2d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 90 | ENCODING_MAP(kThumbAddRI8, 0x3000, |
| 91 | kFmtBitBlt, 10, 8, kFmtBitBlt, 7, 0, kFmtUnused, -1, -1, |
| 92 | kFmtUnused, -1, -1, |
| Ben Cheng | d7d426a | 2009-09-22 11:23:36 -0700 | [diff] [blame] | 93 | IS_BINARY_OP | REG_DEF0_USE0 | SETS_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 94 | "adds", "r!0d, r!0d, #!1d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 95 | ENCODING_MAP(kThumbAddRRR, 0x1800, |
| 96 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 8, 6, |
| 97 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 98 | IS_TERTIARY_OP | REG_DEF0_USE12 | SETS_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 99 | "adds", "r!0d, r!1d, r!2d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 100 | ENCODING_MAP(kThumbAddRRLH, 0x4440, |
| 101 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1, |
| 102 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE01, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 103 | "add", "r!0d, r!1d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 104 | ENCODING_MAP(kThumbAddRRHL, 0x4480, |
| 105 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1, |
| 106 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE01, |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 107 | "add", "r!0d, r!1d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 108 | ENCODING_MAP(kThumbAddRRHH, 0x44c0, |
| 109 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1, |
| 110 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE01, |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 111 | "add", "r!0d, r!1d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 112 | ENCODING_MAP(kThumbAddPcRel, 0xa000, |
| 113 | kFmtBitBlt, 10, 8, kFmtBitBlt, 7, 0, kFmtUnused, -1, -1, |
| 114 | kFmtUnused, -1, -1, IS_TERTIARY_OP | IS_BRANCH, |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 115 | "add", "r!0d, pc, #!1E", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 116 | ENCODING_MAP(kThumbAddSpRel, 0xa800, |
| 117 | kFmtBitBlt, 10, 8, kFmtUnused, -1, -1, kFmtBitBlt, 7, 0, |
| 118 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF_SP | REG_USE_SP, |
| Bill Buzbee | a4a7f07 | 2009-08-27 13:58:09 -0700 | [diff] [blame] | 119 | "add", "r!0d, sp, #!2E", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 120 | ENCODING_MAP(kThumbAddSpI7, 0xb000, |
| 121 | kFmtBitBlt, 6, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1, |
| 122 | kFmtUnused, -1, -1, IS_UNARY_OP | REG_DEF_SP | REG_USE_SP, |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 123 | "add", "sp, #!0d*4", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 124 | ENCODING_MAP(kThumbAndRR, 0x4000, |
| 125 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1, |
| 126 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 127 | IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 128 | "ands", "r!0d, r!1d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 129 | ENCODING_MAP(kThumbAsrRRI5, 0x1000, |
| 130 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 10, 6, |
| 131 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 132 | IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 133 | "asrs", "r!0d, r!1d, #!2d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 134 | ENCODING_MAP(kThumbAsrRR, 0x4100, |
| 135 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1, |
| 136 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 137 | IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 138 | "asrs", "r!0d, r!1d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 139 | ENCODING_MAP(kThumbBCond, 0xd000, |
| 140 | kFmtBitBlt, 7, 0, kFmtBitBlt, 11, 8, kFmtUnused, -1, -1, |
| 141 | kFmtUnused, -1, -1, IS_BINARY_OP | IS_BRANCH | USES_CCODES, |
| Bill Buzbee | a4a7f07 | 2009-08-27 13:58:09 -0700 | [diff] [blame] | 142 | "b!1c", "!0t", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 143 | ENCODING_MAP(kThumbBUncond, 0xe000, |
| 144 | kFmtBitBlt, 10, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1, |
| 145 | kFmtUnused, -1, -1, NO_OPERAND | IS_BRANCH, |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 146 | "b", "!0t", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 147 | ENCODING_MAP(kThumbBicRR, 0x4380, |
| 148 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1, |
| 149 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 150 | IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 151 | "bics", "r!0d, r!1d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 152 | ENCODING_MAP(kThumbBkpt, 0xbe00, |
| 153 | kFmtBitBlt, 7, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1, |
| 154 | kFmtUnused, -1, -1, IS_UNARY_OP | IS_BRANCH, |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 155 | "bkpt", "!0d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 156 | ENCODING_MAP(kThumbBlx1, 0xf000, |
| 157 | kFmtBitBlt, 10, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1, |
| 158 | kFmtUnused, -1, -1, IS_BINARY_OP | IS_BRANCH | REG_DEF_LR, |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 159 | "blx_1", "!0u", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 160 | ENCODING_MAP(kThumbBlx2, 0xe800, |
| 161 | kFmtBitBlt, 10, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1, |
| 162 | kFmtUnused, -1, -1, IS_BINARY_OP | IS_BRANCH | REG_DEF_LR, |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 163 | "blx_2", "!0v", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 164 | ENCODING_MAP(kThumbBl1, 0xf000, |
| 165 | kFmtBitBlt, 10, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1, |
| 166 | kFmtUnused, -1, -1, IS_UNARY_OP | IS_BRANCH | REG_DEF_LR, |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 167 | "bl_1", "!0u", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 168 | ENCODING_MAP(kThumbBl2, 0xf800, |
| 169 | kFmtBitBlt, 10, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1, |
| 170 | kFmtUnused, -1, -1, IS_UNARY_OP | IS_BRANCH | REG_DEF_LR, |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 171 | "bl_2", "!0v", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 172 | ENCODING_MAP(kThumbBlxR, 0x4780, |
| 173 | kFmtBitBlt, 6, 3, kFmtUnused, -1, -1, kFmtUnused, -1, -1, |
| 174 | kFmtUnused, -1, -1, |
| Ben Cheng | d7d426a | 2009-09-22 11:23:36 -0700 | [diff] [blame] | 175 | IS_UNARY_OP | REG_USE0 | IS_BRANCH | REG_DEF_LR, |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 176 | "blx", "r!0d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 177 | ENCODING_MAP(kThumbBx, 0x4700, |
| 178 | kFmtBitBlt, 6, 3, kFmtUnused, -1, -1, kFmtUnused, -1, -1, |
| 179 | kFmtUnused, -1, -1, IS_UNARY_OP | IS_BRANCH, |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 180 | "bx", "r!0d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 181 | ENCODING_MAP(kThumbCmnRR, 0x42c0, |
| 182 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1, |
| 183 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_USE01 | SETS_CCODES, |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 184 | "cmn", "r!0d, r!1d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 185 | ENCODING_MAP(kThumbCmpRI8, 0x2800, |
| 186 | kFmtBitBlt, 10, 8, kFmtBitBlt, 7, 0, kFmtUnused, -1, -1, |
| 187 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_USE0 | SETS_CCODES, |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 188 | "cmp", "r!0d, #!1d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 189 | ENCODING_MAP(kThumbCmpRR, 0x4280, |
| 190 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1, |
| 191 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_USE01 | SETS_CCODES, |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 192 | "cmp", "r!0d, r!1d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 193 | ENCODING_MAP(kThumbCmpLH, 0x4540, |
| 194 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1, |
| 195 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_USE01 | SETS_CCODES, |
| Ben Cheng | d7d426a | 2009-09-22 11:23:36 -0700 | [diff] [blame] | 196 | "cmp", "r!0d, r!1d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 197 | ENCODING_MAP(kThumbCmpHL, 0x4580, |
| 198 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1, |
| 199 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_USE01 | SETS_CCODES, |
| Ben Cheng | d7d426a | 2009-09-22 11:23:36 -0700 | [diff] [blame] | 200 | "cmp", "r!0d, r!1d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 201 | ENCODING_MAP(kThumbCmpHH, 0x45c0, |
| 202 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1, |
| 203 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_USE01 | SETS_CCODES, |
| Ben Cheng | d7d426a | 2009-09-22 11:23:36 -0700 | [diff] [blame] | 204 | "cmp", "r!0d, r!1d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 205 | ENCODING_MAP(kThumbEorRR, 0x4040, |
| 206 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1, |
| 207 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 208 | IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 209 | "eors", "r!0d, r!1d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 210 | ENCODING_MAP(kThumbLdmia, 0xc800, |
| 211 | kFmtBitBlt, 10, 8, kFmtBitBlt, 7, 0, kFmtUnused, -1, -1, |
| 212 | kFmtUnused, -1, -1, |
| Ben Cheng | d7d426a | 2009-09-22 11:23:36 -0700 | [diff] [blame] | 213 | IS_BINARY_OP | REG_DEF0_USE0 | REG_DEF_LIST1, |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 214 | "ldmia", "r!0d!!, <!1R>", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 215 | ENCODING_MAP(kThumbLdrRRI5, 0x6800, |
| 216 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 10, 6, |
| 217 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1, |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 218 | "ldr", "r!0d, [r!1d, #!2E]", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 219 | ENCODING_MAP(kThumbLdrRRR, 0x5800, |
| 220 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 8, 6, |
| 221 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12, |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 222 | "ldr", "r!0d, [r!1d, r!2d]", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 223 | ENCODING_MAP(kThumbLdrPcRel, 0x4800, |
| 224 | kFmtBitBlt, 10, 8, kFmtBitBlt, 7, 0, kFmtUnused, -1, -1, |
| 225 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0 | REG_USE_PC, |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 226 | "ldr", "r!0d, [pc, #!1E]", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 227 | ENCODING_MAP(kThumbLdrSpRel, 0x9800, |
| 228 | kFmtBitBlt, 10, 8, kFmtUnused, -1, -1, kFmtBitBlt, 7, 0, |
| 229 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0 | REG_USE_SP, |
| Bill Buzbee | a4a7f07 | 2009-08-27 13:58:09 -0700 | [diff] [blame] | 230 | "ldr", "r!0d, [sp, #!2E]", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 231 | ENCODING_MAP(kThumbLdrbRRI5, 0x7800, |
| 232 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 10, 6, |
| 233 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1, |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 234 | "ldrb", "r!0d, [r!1d, #2d]", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 235 | ENCODING_MAP(kThumbLdrbRRR, 0x5c00, |
| 236 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 8, 6, |
| 237 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12, |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 238 | "ldrb", "r!0d, [r!1d, r!2d]", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 239 | ENCODING_MAP(kThumbLdrhRRI5, 0x8800, |
| 240 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 10, 6, |
| 241 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1, |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 242 | "ldrh", "r!0d, [r!1d, #!2F]", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 243 | ENCODING_MAP(kThumbLdrhRRR, 0x5a00, |
| 244 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 8, 6, |
| 245 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12, |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 246 | "ldrh", "r!0d, [r!1d, r!2d]", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 247 | ENCODING_MAP(kThumbLdrsbRRR, 0x5600, |
| 248 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 8, 6, |
| 249 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12, |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 250 | "ldrsb", "r!0d, [r!1d, r!2d]", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 251 | ENCODING_MAP(kThumbLdrshRRR, 0x5e00, |
| 252 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 8, 6, |
| 253 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12, |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 254 | "ldrsh", "r!0d, [r!1d, r!2d]", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 255 | ENCODING_MAP(kThumbLslRRI5, 0x0000, |
| 256 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 10, 6, |
| 257 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 258 | IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 259 | "lsls", "r!0d, r!1d, #!2d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 260 | ENCODING_MAP(kThumbLslRR, 0x4080, |
| 261 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1, |
| 262 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 263 | IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 264 | "lsls", "r!0d, r!1d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 265 | ENCODING_MAP(kThumbLsrRRI5, 0x0800, |
| 266 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 10, 6, |
| 267 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 268 | IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 269 | "lsrs", "r!0d, r!1d, #!2d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 270 | ENCODING_MAP(kThumbLsrRR, 0x40c0, |
| 271 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1, |
| 272 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 273 | IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 274 | "lsrs", "r!0d, r!1d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 275 | ENCODING_MAP(kThumbMovImm, 0x2000, |
| 276 | kFmtBitBlt, 10, 8, kFmtBitBlt, 7, 0, kFmtUnused, -1, -1, |
| 277 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 278 | IS_BINARY_OP | REG_DEF0 | SETS_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 279 | "movs", "r!0d, #!1d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 280 | ENCODING_MAP(kThumbMovRR, 0x1c00, |
| 281 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1, |
| 282 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 283 | IS_BINARY_OP | REG_DEF0_USE1 | SETS_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 284 | "movs", "r!0d, r!1d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 285 | ENCODING_MAP(kThumbMovRR_H2H, 0x46c0, |
| 286 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1, |
| 287 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, |
| Ben Cheng | d7d426a | 2009-09-22 11:23:36 -0700 | [diff] [blame] | 288 | "mov", "r!0d, r!1d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 289 | ENCODING_MAP(kThumbMovRR_H2L, 0x4640, |
| 290 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1, |
| 291 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, |
| Ben Cheng | d7d426a | 2009-09-22 11:23:36 -0700 | [diff] [blame] | 292 | "mov", "r!0d, r!1d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 293 | ENCODING_MAP(kThumbMovRR_L2H, 0x4680, |
| 294 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1, |
| 295 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, |
| Ben Cheng | d7d426a | 2009-09-22 11:23:36 -0700 | [diff] [blame] | 296 | "mov", "r!0d, r!1d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 297 | ENCODING_MAP(kThumbMul, 0x4340, |
| 298 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1, |
| 299 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 300 | IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 301 | "muls", "r!0d, r!1d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 302 | ENCODING_MAP(kThumbMvn, 0x43c0, |
| 303 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1, |
| 304 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 305 | IS_BINARY_OP | REG_DEF0_USE1 | SETS_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 306 | "mvns", "r!0d, r!1d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 307 | ENCODING_MAP(kThumbNeg, 0x4240, |
| 308 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1, |
| 309 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 310 | IS_BINARY_OP | REG_DEF0_USE1 | SETS_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 311 | "negs", "r!0d, r!1d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 312 | ENCODING_MAP(kThumbOrr, 0x4300, |
| 313 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1, |
| 314 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 315 | IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 316 | "orrs", "r!0d, r!1d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 317 | ENCODING_MAP(kThumbPop, 0xbc00, |
| 318 | kFmtBitBlt, 8, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1, |
| 319 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 320 | IS_UNARY_OP | REG_DEF_SP | REG_USE_SP | REG_DEF_LIST0, |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 321 | "pop", "<!0R>", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 322 | ENCODING_MAP(kThumbPush, 0xb400, |
| 323 | kFmtBitBlt, 8, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1, |
| 324 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 325 | IS_UNARY_OP | REG_DEF_SP | REG_USE_SP | REG_USE_LIST0, |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 326 | "push", "<!0R>", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 327 | ENCODING_MAP(kThumbRorRR, 0x41c0, |
| 328 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1, |
| 329 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 330 | IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 331 | "rors", "r!0d, r!1d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 332 | ENCODING_MAP(kThumbSbc, 0x4180, |
| 333 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1, |
| 334 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 335 | IS_BINARY_OP | REG_DEF0_USE01 | USES_CCODES | SETS_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 336 | "sbcs", "r!0d, r!1d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 337 | ENCODING_MAP(kThumbStmia, 0xc000, |
| 338 | kFmtBitBlt, 10, 8, kFmtBitBlt, 7, 0, kFmtUnused, -1, -1, |
| 339 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 340 | IS_BINARY_OP | REG_DEF0 | REG_USE0 | REG_USE_LIST1, |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 341 | "stmia", "r!0d!!, <!1R>", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 342 | ENCODING_MAP(kThumbStrRRI5, 0x6000, |
| 343 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 10, 6, |
| 344 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE01, |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 345 | "str", "r!0d, [r!1d, #!2E]", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 346 | ENCODING_MAP(kThumbStrRRR, 0x5000, |
| 347 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 8, 6, |
| 348 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE012, |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 349 | "str", "r!0d, [r!1d, r!2d]", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 350 | ENCODING_MAP(kThumbStrSpRel, 0x9000, |
| 351 | kFmtBitBlt, 10, 8, kFmtUnused, -1, -1, kFmtBitBlt, 7, 0, |
| 352 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE0 | REG_USE_SP, |
| Bill Buzbee | a4a7f07 | 2009-08-27 13:58:09 -0700 | [diff] [blame] | 353 | "str", "r!0d, [sp, #!2E]", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 354 | ENCODING_MAP(kThumbStrbRRI5, 0x7000, |
| 355 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 10, 6, |
| 356 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE01, |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 357 | "strb", "r!0d, [r!1d, #!2d]", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 358 | ENCODING_MAP(kThumbStrbRRR, 0x5400, |
| 359 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 8, 6, |
| 360 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE012, |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 361 | "strb", "r!0d, [r!1d, r!2d]", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 362 | ENCODING_MAP(kThumbStrhRRI5, 0x8000, |
| 363 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 10, 6, |
| 364 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE01, |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 365 | "strh", "r!0d, [r!1d, #!2F]", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 366 | ENCODING_MAP(kThumbStrhRRR, 0x5200, |
| 367 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 8, 6, |
| 368 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE012, |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 369 | "strh", "r!0d, [r!1d, r!2d]", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 370 | ENCODING_MAP(kThumbSubRRI3, 0x1e00, |
| 371 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 8, 6, |
| 372 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 373 | IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 374 | "subs", "r!0d, r!1d, #!2d]", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 375 | ENCODING_MAP(kThumbSubRI8, 0x3800, |
| 376 | kFmtBitBlt, 10, 8, kFmtBitBlt, 7, 0, kFmtUnused, -1, -1, |
| 377 | kFmtUnused, -1, -1, |
| Ben Cheng | d7d426a | 2009-09-22 11:23:36 -0700 | [diff] [blame] | 378 | IS_BINARY_OP | REG_DEF0_USE0 | SETS_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 379 | "subs", "r!0d, #!1d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 380 | ENCODING_MAP(kThumbSubRRR, 0x1a00, |
| 381 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 8, 6, |
| 382 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 383 | IS_TERTIARY_OP | REG_DEF0_USE12 | SETS_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 384 | "subs", "r!0d, r!1d, r!2d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 385 | ENCODING_MAP(kThumbSubSpI7, 0xb080, |
| 386 | kFmtBitBlt, 6, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1, |
| 387 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 388 | IS_UNARY_OP | REG_DEF_SP | REG_USE_SP, |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 389 | "sub", "sp, #!0d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 390 | ENCODING_MAP(kThumbSwi, 0xdf00, |
| 391 | kFmtBitBlt, 7, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1, kFmtUnused, -1, -1, IS_UNARY_OP | IS_BRANCH, |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 392 | "swi", "!0d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 393 | ENCODING_MAP(kThumbTst, 0x4200, |
| 394 | kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1, |
| 395 | kFmtUnused, -1, -1, IS_UNARY_OP | REG_USE01 | SETS_CCODES, |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 396 | "tst", "r!0d, r!1d", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 397 | ENCODING_MAP(kThumb2Vldrs, 0xed900a00, |
| 398 | kFmtSfp, 22, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 7, 0, |
| 399 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1, |
| Bill Buzbee | 9727c3d | 2009-08-01 11:32:36 -0700 | [diff] [blame] | 400 | "vldr", "!0s, [r!1d, #!2E]", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 401 | ENCODING_MAP(kThumb2Vldrd, 0xed900b00, |
| 402 | kFmtDfp, 22, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 7, 0, |
| 403 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1, |
| Bill Buzbee | 9727c3d | 2009-08-01 11:32:36 -0700 | [diff] [blame] | 404 | "vldr", "!0S, [r!1d, #!2E]", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 405 | ENCODING_MAP(kThumb2Vmuls, 0xee200a00, |
| 406 | kFmtSfp, 22, 12, kFmtSfp, 7, 16, kFmtSfp, 5, 0, |
| 407 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 408 | IS_TERTIARY_OP | REG_DEF0_USE12, |
| Bill Buzbee | 9727c3d | 2009-08-01 11:32:36 -0700 | [diff] [blame] | 409 | "vmuls", "!0s, !1s, !2s", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 410 | ENCODING_MAP(kThumb2Vmuld, 0xee200b00, |
| 411 | kFmtDfp, 22, 12, kFmtDfp, 7, 16, kFmtDfp, 5, 0, |
| 412 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12, |
| Bill Buzbee | 9727c3d | 2009-08-01 11:32:36 -0700 | [diff] [blame] | 413 | "vmuld", "!0S, !1S, !2S", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 414 | ENCODING_MAP(kThumb2Vstrs, 0xed800a00, |
| 415 | kFmtSfp, 22, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 7, 0, |
| 416 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE01, |
| Bill Buzbee | 9727c3d | 2009-08-01 11:32:36 -0700 | [diff] [blame] | 417 | "vstr", "!0s, [r!1d, #!2E]", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 418 | ENCODING_MAP(kThumb2Vstrd, 0xed800b00, |
| 419 | kFmtDfp, 22, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 7, 0, |
| 420 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE01, |
| Bill Buzbee | 9727c3d | 2009-08-01 11:32:36 -0700 | [diff] [blame] | 421 | "vstr", "!0S, [r!1d, #!2E]", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 422 | ENCODING_MAP(kThumb2Vsubs, 0xee300a40, |
| 423 | kFmtSfp, 22, 12, kFmtSfp, 7, 16, kFmtSfp, 5, 0, |
| 424 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12, |
| Bill Buzbee | 9727c3d | 2009-08-01 11:32:36 -0700 | [diff] [blame] | 425 | "vsub", "!0s, !1s, !2s", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 426 | ENCODING_MAP(kThumb2Vsubd, 0xee300b40, |
| 427 | kFmtDfp, 22, 12, kFmtDfp, 7, 16, kFmtDfp, 5, 0, |
| 428 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12, |
| Bill Buzbee | 9727c3d | 2009-08-01 11:32:36 -0700 | [diff] [blame] | 429 | "vsub", "!0S, !1S, !2S", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 430 | ENCODING_MAP(kThumb2Vadds, 0xee300a00, |
| 431 | kFmtSfp, 22, 12, kFmtSfp, 7, 16, kFmtSfp, 5, 0, |
| 432 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12, |
| Bill Buzbee | 9727c3d | 2009-08-01 11:32:36 -0700 | [diff] [blame] | 433 | "vadd", "!0s, !1s, !2s", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 434 | ENCODING_MAP(kThumb2Vaddd, 0xee300b00, |
| 435 | kFmtDfp, 22, 12, kFmtDfp, 7, 16, kFmtDfp, 5, 0, |
| 436 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12, |
| Bill Buzbee | 9727c3d | 2009-08-01 11:32:36 -0700 | [diff] [blame] | 437 | "vadd", "!0S, !1S, !2S", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 438 | ENCODING_MAP(kThumb2Vdivs, 0xee800a00, |
| 439 | kFmtSfp, 22, 12, kFmtSfp, 7, 16, kFmtSfp, 5, 0, |
| 440 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12, |
| Bill Buzbee | 9727c3d | 2009-08-01 11:32:36 -0700 | [diff] [blame] | 441 | "vdivs", "!0s, !1s, !2s", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 442 | ENCODING_MAP(kThumb2Vdivd, 0xee800b00, |
| 443 | kFmtDfp, 22, 12, kFmtDfp, 7, 16, kFmtDfp, 5, 0, |
| 444 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12, |
| Bill Buzbee | 7fb2edd | 2009-08-31 10:25:55 -0700 | [diff] [blame] | 445 | "vdivd", "!0S, !1S, !2S", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 446 | ENCODING_MAP(kThumb2VcvtIF, 0xeeb80ac0, |
| 447 | kFmtSfp, 22, 12, kFmtSfp, 5, 0, kFmtUnused, -1, -1, |
| 448 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, |
| Bill Buzbee | 9727c3d | 2009-08-01 11:32:36 -0700 | [diff] [blame] | 449 | "vcvt.f32", "!0s, !1s", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 450 | ENCODING_MAP(kThumb2VcvtID, 0xeeb80bc0, |
| 451 | kFmtDfp, 22, 12, kFmtSfp, 5, 0, kFmtUnused, -1, -1, |
| 452 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, |
| Bill Buzbee | 9727c3d | 2009-08-01 11:32:36 -0700 | [diff] [blame] | 453 | "vcvt.f64", "!0S, !1s", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 454 | ENCODING_MAP(kThumb2VcvtFI, 0xeebd0ac0, |
| 455 | kFmtSfp, 22, 12, kFmtSfp, 5, 0, kFmtUnused, -1, -1, |
| 456 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, |
| Bill Buzbee | 9727c3d | 2009-08-01 11:32:36 -0700 | [diff] [blame] | 457 | "vcvt.s32.f32 ", "!0s, !1s", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 458 | ENCODING_MAP(kThumb2VcvtDI, 0xeebd0bc0, |
| 459 | kFmtSfp, 22, 12, kFmtDfp, 5, 0, kFmtUnused, -1, -1, |
| 460 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, |
| Bill Buzbee | 9727c3d | 2009-08-01 11:32:36 -0700 | [diff] [blame] | 461 | "vcvt.s32.f64 ", "!0s, !1S", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 462 | ENCODING_MAP(kThumb2VcvtFd, 0xeeb70ac0, |
| 463 | kFmtDfp, 22, 12, kFmtSfp, 5, 0, kFmtUnused, -1, -1, |
| 464 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, |
| Bill Buzbee | 9727c3d | 2009-08-01 11:32:36 -0700 | [diff] [blame] | 465 | "vcvt.f64.f32 ", "!0S, !1s", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 466 | ENCODING_MAP(kThumb2VcvtDF, 0xeeb70bc0, |
| 467 | kFmtSfp, 22, 12, kFmtDfp, 5, 0, kFmtUnused, -1, -1, |
| 468 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, |
| Bill Buzbee | 9727c3d | 2009-08-01 11:32:36 -0700 | [diff] [blame] | 469 | "vcvt.f32.f64 ", "!0s, !1S", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 470 | ENCODING_MAP(kThumb2Vsqrts, 0xeeb10ac0, |
| 471 | kFmtSfp, 22, 12, kFmtSfp, 5, 0, kFmtUnused, -1, -1, |
| 472 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, |
| Bill Buzbee | 9727c3d | 2009-08-01 11:32:36 -0700 | [diff] [blame] | 473 | "vsqrt.f32 ", "!0s, !1s", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 474 | ENCODING_MAP(kThumb2Vsqrtd, 0xeeb10bc0, |
| 475 | kFmtDfp, 22, 12, kFmtDfp, 5, 0, kFmtUnused, -1, -1, |
| 476 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, |
| Bill Buzbee | 9727c3d | 2009-08-01 11:32:36 -0700 | [diff] [blame] | 477 | "vsqrt.f64 ", "!0S, !1S", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 478 | ENCODING_MAP(kThumb2MovImmShift, 0xf04f0000, /* no setflags encoding */ |
| 479 | kFmtBitBlt, 11, 8, kFmtModImm, -1, -1, kFmtUnused, -1, -1, |
| 480 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0, |
| Bill Buzbee | 7ea0f64 | 2009-08-10 17:06:51 -0700 | [diff] [blame] | 481 | "mov", "r!0d, #!1m", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 482 | ENCODING_MAP(kThumb2MovImm16, 0xf2400000, |
| 483 | kFmtBitBlt, 11, 8, kFmtImm16, -1, -1, kFmtUnused, -1, -1, |
| 484 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0, |
| Bill Buzbee | 7ea0f64 | 2009-08-10 17:06:51 -0700 | [diff] [blame] | 485 | "mov", "r!0d, #!1M", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 486 | ENCODING_MAP(kThumb2StrRRI12, 0xf8c00000, |
| 487 | kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 11, 0, |
| 488 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE01, |
| Bill Buzbee | 7ea0f64 | 2009-08-10 17:06:51 -0700 | [diff] [blame] | 489 | "str", "r!0d,[r!1d, #!2d", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 490 | ENCODING_MAP(kThumb2LdrRRI12, 0xf8d00000, |
| 491 | kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 11, 0, |
| 492 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1, |
| Bill Buzbee | 7ea0f64 | 2009-08-10 17:06:51 -0700 | [diff] [blame] | 493 | "ldr", "r!0d,[r!1d, #!2d", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 494 | ENCODING_MAP(kThumb2StrRRI8Predec, 0xf8400c00, |
| 495 | kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 8, 0, |
| 496 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE01, |
| Bill Buzbee | 7ea0f64 | 2009-08-10 17:06:51 -0700 | [diff] [blame] | 497 | "str", "r!0d,[r!1d, #-!2d]", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 498 | ENCODING_MAP(kThumb2LdrRRI8Predec, 0xf8500c00, |
| 499 | kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 8, 0, |
| 500 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1, |
| Bill Buzbee | 7ea0f64 | 2009-08-10 17:06:51 -0700 | [diff] [blame] | 501 | "ldr", "r!0d,[r!1d, #-!2d]", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 502 | ENCODING_MAP(kThumb2Cbnz, 0xb900, /* Note: does not affect flags */ |
| 503 | kFmtBitBlt, 2, 0, kFmtImm6, -1, -1, kFmtUnused, -1, -1, |
| 504 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_USE0 | IS_BRANCH, |
| Bill Buzbee | 7ea0f64 | 2009-08-10 17:06:51 -0700 | [diff] [blame] | 505 | "cbnz", "r!0d,!1t", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 506 | ENCODING_MAP(kThumb2Cbz, 0xb100, /* Note: does not affect flags */ |
| 507 | kFmtBitBlt, 2, 0, kFmtImm6, -1, -1, kFmtUnused, -1, -1, |
| 508 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_USE0 | IS_BRANCH, |
| Bill Buzbee | 7ea0f64 | 2009-08-10 17:06:51 -0700 | [diff] [blame] | 509 | "cbz", "r!0d,!1t", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 510 | ENCODING_MAP(kThumb2AddRRI12, 0xf2000000, |
| 511 | kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtImm12, -1, -1, |
| 512 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 513 | IS_TERTIARY_OP | REG_DEF0_USE1,/* Note: doesn't affect flags */ |
| Bill Buzbee | 7ea0f64 | 2009-08-10 17:06:51 -0700 | [diff] [blame] | 514 | "add", "r!0d,r!1d,#!2d", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 515 | ENCODING_MAP(kThumb2MovRR, 0xea4f0000, /* no setflags encoding */ |
| 516 | kFmtBitBlt, 11, 8, kFmtBitBlt, 3, 0, kFmtUnused, -1, -1, |
| 517 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, |
| Bill Buzbee | 7ea0f64 | 2009-08-10 17:06:51 -0700 | [diff] [blame] | 518 | "mov", "r!0d, r!1d", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 519 | ENCODING_MAP(kThumb2Vmovs, 0xeeb00a40, |
| 520 | kFmtSfp, 22, 12, kFmtSfp, 5, 0, kFmtUnused, -1, -1, |
| 521 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, |
| Bill Buzbee | 7fb2edd | 2009-08-31 10:25:55 -0700 | [diff] [blame] | 522 | "vmov.f32 ", " !0s, !1s", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 523 | ENCODING_MAP(kThumb2Vmovd, 0xeeb00b40, |
| 524 | kFmtDfp, 22, 12, kFmtDfp, 5, 0, kFmtUnused, -1, -1, |
| 525 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, |
| Bill Buzbee | 7fb2edd | 2009-08-31 10:25:55 -0700 | [diff] [blame] | 526 | "vmov.f64 ", " !0S, !1S", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 527 | ENCODING_MAP(kThumb2Ldmia, 0xe8900000, |
| 528 | kFmtBitBlt, 19, 16, kFmtBitBlt, 15, 0, kFmtUnused, -1, -1, |
| 529 | kFmtUnused, -1, -1, |
| Ben Cheng | d7d426a | 2009-09-22 11:23:36 -0700 | [diff] [blame] | 530 | IS_BINARY_OP | REG_DEF0_USE0 | REG_DEF_LIST1, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 531 | "ldmia", "r!0d!!, <!1R>", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 532 | ENCODING_MAP(kThumb2Stmia, 0xe8800000, |
| 533 | kFmtBitBlt, 19, 16, kFmtBitBlt, 15, 0, kFmtUnused, -1, -1, |
| 534 | kFmtUnused, -1, -1, |
| Ben Cheng | d7d426a | 2009-09-22 11:23:36 -0700 | [diff] [blame] | 535 | IS_BINARY_OP | REG_DEF0_USE0 | REG_USE_LIST1, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 536 | "stmia", "r!0d!!, <!1R>", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 537 | ENCODING_MAP(kThumb2AddRRR, 0xeb100000, /* setflags encoding */ |
| 538 | kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0, |
| 539 | kFmtShift, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 540 | IS_QUAD_OP | REG_DEF0_USE12 | SETS_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 541 | "adds", "r!0d, r!1d, r!2d", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 542 | ENCODING_MAP(kThumb2SubRRR, 0xebb00000, /* setflags enconding */ |
| 543 | kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0, |
| 544 | kFmtShift, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 545 | IS_QUAD_OP | REG_DEF0_USE12 | SETS_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 546 | "subs", "r!0d, r!1d, r!2d", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 547 | ENCODING_MAP(kThumb2SbcRRR, 0xeb700000, /* setflags encoding */ |
| 548 | kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0, |
| 549 | kFmtShift, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 550 | IS_QUAD_OP | REG_DEF0_USE12 | USES_CCODES | SETS_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 551 | "sbcs", "r!0d, r!1d, r!2d", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 552 | ENCODING_MAP(kThumb2CmpRR, 0xebb00f00, |
| 553 | kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0, kFmtShift, -1, -1, |
| 554 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 555 | IS_TERTIARY_OP | REG_USE01 | SETS_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 556 | "cmp", "r!0d, r!1d", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 557 | ENCODING_MAP(kThumb2SubRRI12, 0xf2a00000, |
| 558 | kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtImm12, -1, -1, |
| 559 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 560 | IS_TERTIARY_OP | REG_DEF0_USE1,/* Note: doesn't affect flags */ |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 561 | "sub", "r!0d,r!1d,#!2d", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 562 | ENCODING_MAP(kThumb2MvnImmShift, 0xf06f0000, /* no setflags encoding */ |
| 563 | kFmtBitBlt, 11, 8, kFmtModImm, -1, -1, kFmtUnused, -1, -1, |
| 564 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 565 | "mvn", "r!0d, #!1n", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 566 | ENCODING_MAP(kThumb2Sel, 0xfaa0f080, |
| 567 | kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0, |
| 568 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 569 | IS_TERTIARY_OP | REG_DEF0_USE12 | USES_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 570 | "sel", "r!0d, r!1d, r!2d", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 571 | ENCODING_MAP(kThumb2Ubfx, 0xf3c00000, |
| 572 | kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtLsb, -1, -1, |
| 573 | kFmtBWidth, 4, 0, IS_QUAD_OP | REG_DEF0_USE1, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 574 | "ubfx", "r!0d, r!1d, #!2d, #!3d", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 575 | ENCODING_MAP(kThumb2Sbfx, 0xf3400000, |
| 576 | kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtLsb, -1, -1, |
| 577 | kFmtBWidth, 4, 0, IS_QUAD_OP | REG_DEF0_USE1, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 578 | "sbfx", "r!0d, r!1d, #!2d, #!3d", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 579 | ENCODING_MAP(kThumb2LdrRRR, 0xf8500000, |
| 580 | kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0, |
| 581 | kFmtBitBlt, 5, 4, IS_QUAD_OP | REG_DEF0_USE12, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 582 | "ldr", "r!0d,[r!1d, r!2d, LSL #!3d]", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 583 | ENCODING_MAP(kThumb2LdrhRRR, 0xf8300000, |
| 584 | kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0, |
| 585 | kFmtBitBlt, 5, 4, IS_QUAD_OP | REG_DEF0_USE12, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 586 | "ldrh", "r!0d,[r!1d, r!2d, LSL #!3d]", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 587 | ENCODING_MAP(kThumb2LdrshRRR, 0xf9300000, |
| 588 | kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0, |
| 589 | kFmtBitBlt, 5, 4, IS_QUAD_OP | REG_DEF0_USE12, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 590 | "ldrsh", "r!0d,[r!1d, r!2d, LSL #!3d]", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 591 | ENCODING_MAP(kThumb2LdrbRRR, 0xf8100000, |
| 592 | kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0, |
| 593 | kFmtBitBlt, 5, 4, IS_QUAD_OP | REG_DEF0_USE12, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 594 | "ldrb", "r!0d,[r!1d, r!2d, LSL #!3d]", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 595 | ENCODING_MAP(kThumb2LdrsbRRR, 0xf9100000, |
| 596 | kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0, |
| 597 | kFmtBitBlt, 5, 4, IS_QUAD_OP | REG_DEF0_USE12, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 598 | "ldrsb", "r!0d,[r!1d, r!2d, LSL #!3d]", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 599 | ENCODING_MAP(kThumb2StrRRR, 0xf8400000, |
| 600 | kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0, |
| 601 | kFmtBitBlt, 5, 4, IS_QUAD_OP | REG_USE012, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 602 | "str", "r!0d,[r!1d, r!2d, LSL #!3d]", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 603 | ENCODING_MAP(kThumb2StrhRRR, 0xf8200000, |
| 604 | kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0, |
| 605 | kFmtBitBlt, 5, 4, IS_QUAD_OP | REG_USE012, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 606 | "strh", "r!0d,[r!1d, r!2d, LSL #!3d]", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 607 | ENCODING_MAP(kThumb2StrbRRR, 0xf8000000, |
| 608 | kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0, |
| 609 | kFmtBitBlt, 5, 4, IS_QUAD_OP | REG_USE012, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 610 | "strb", "r!0d,[r!1d, r!2d, LSL #!3d]", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 611 | ENCODING_MAP(kThumb2LdrhRRI12, 0xf8b00000, |
| 612 | kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 11, 0, |
| 613 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1, |
| 614 | "ldrh", "r!0d,[r!1d, #!2d]", 2), |
| 615 | ENCODING_MAP(kThumb2LdrshRRI12, 0xf9b00000, |
| 616 | kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 11, 0, |
| 617 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1, |
| 618 | "ldrsh", "r!0d,[r!1d, #!2d]", 2), |
| 619 | ENCODING_MAP(kThumb2LdrbRRI12, 0xf8900000, |
| 620 | kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 11, 0, |
| 621 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1, |
| 622 | "ldrb", "r!0d,[r!1d, #!2d]", 2), |
| 623 | ENCODING_MAP(kThumb2LdrsbRRI12, 0xf9900000, |
| 624 | kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 11, 0, |
| 625 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1, |
| 626 | "ldrsb", "r!0d,[r!1d, #!2d]", 2), |
| 627 | ENCODING_MAP(kThumb2StrhRRI12, 0xf8a00000, |
| 628 | kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 11, 0, |
| 629 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE01, |
| 630 | "strh", "r!0d,[r!1d, #!2d]", 2), |
| 631 | ENCODING_MAP(kThumb2StrbRRI12, 0xf8800000, |
| 632 | kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 11, 0, |
| 633 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE01, |
| 634 | "strb", "r!0d,[r!1d, #!2d]", 2), |
| 635 | ENCODING_MAP(kThumb2Pop, 0xe8bd0000, |
| 636 | kFmtBitBlt, 15, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1, |
| 637 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 638 | IS_UNARY_OP | REG_DEF_SP | REG_USE_SP | REG_DEF_LIST0, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 639 | "pop", "<!0R>", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 640 | ENCODING_MAP(kThumb2Push, 0xe8ad0000, |
| 641 | kFmtBitBlt, 15, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1, |
| 642 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 643 | IS_UNARY_OP | REG_DEF_SP | REG_USE_SP | REG_USE_LIST0, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 644 | "push", "<!0R>", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 645 | ENCODING_MAP(kThumb2CmpRI8, 0xf1b00f00, |
| 646 | kFmtBitBlt, 19, 16, kFmtModImm, -1, -1, kFmtUnused, -1, -1, |
| 647 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 648 | IS_BINARY_OP | REG_USE0 | SETS_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 649 | "cmp", "r!0d, #!1m", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 650 | ENCODING_MAP(kThumb2AdcRRR, 0xeb500000, /* setflags encoding */ |
| 651 | kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0, |
| 652 | kFmtShift, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 653 | IS_QUAD_OP | REG_DEF0_USE12 | SETS_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 654 | "acds", "r!0d, r!1d, r!2d, shift !3d", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 655 | ENCODING_MAP(kThumb2AndRRR, 0xea000000, |
| 656 | kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0, |
| 657 | kFmtShift, -1, -1, IS_QUAD_OP | REG_DEF0_USE12, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 658 | "and", "r!0d, r!1d, r!2d, shift !3d", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 659 | ENCODING_MAP(kThumb2BicRRR, 0xea200000, |
| 660 | kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0, |
| 661 | kFmtShift, -1, -1, IS_QUAD_OP | REG_DEF0_USE12, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 662 | "bic", "r!0d, r!1d, r!2d, shift !3d", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 663 | ENCODING_MAP(kThumb2CmnRR, 0xeb000000, |
| 664 | kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0, kFmtShift, -1, -1, |
| 665 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 666 | IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 667 | "cmn", "r!0d, r!1d, shift !2d", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 668 | ENCODING_MAP(kThumb2EorRRR, 0xea800000, |
| 669 | kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0, |
| 670 | kFmtShift, -1, -1, IS_QUAD_OP | REG_DEF0_USE12, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 671 | "eor", "r!0d, r!1d, r!2d, shift !3d", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 672 | ENCODING_MAP(kThumb2MulRRR, 0xfb00f000, |
| 673 | kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0, |
| 674 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 675 | "mul", "r!0d, r!1d, r!2d", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 676 | ENCODING_MAP(kThumb2MnvRR, 0xea6f0000, |
| 677 | kFmtBitBlt, 11, 8, kFmtBitBlt, 3, 0, kFmtShift, -1, -1, |
| 678 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 679 | "mvn", "r!0d, r!1d, shift !2d", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 680 | ENCODING_MAP(kThumb2RsubRRI8, 0xf1d00000, |
| 681 | kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtModImm, -1, -1, |
| 682 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 683 | IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 684 | "rsb", "r!0d,r!1d,#!2m", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 685 | ENCODING_MAP(kThumb2NegRR, 0xf1d00000, /* instance of rsub */ |
| 686 | kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtUnused, -1, -1, |
| 687 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 688 | IS_BINARY_OP | REG_DEF0_USE1 | SETS_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 689 | "neg", "r!0d,r!1d", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 690 | ENCODING_MAP(kThumb2OrrRRR, 0xea400000, |
| 691 | kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0, |
| 692 | kFmtShift, -1, -1, IS_QUAD_OP | REG_DEF0_USE12, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 693 | "orr", "r!0d, r!1d, r!2d, shift !3d", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 694 | ENCODING_MAP(kThumb2TstRR, 0xea100f00, |
| 695 | kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0, kFmtShift, -1, -1, |
| 696 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 697 | IS_TERTIARY_OP | REG_USE01 | SETS_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 698 | "tst", "r!0d, r!1d, shift !2d", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 699 | ENCODING_MAP(kThumb2LslRRR, 0xfa00f000, |
| 700 | kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0, |
| 701 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 702 | "lsl", "r!0d, r!1d, r!2d", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 703 | ENCODING_MAP(kThumb2LsrRRR, 0xfa20f000, |
| 704 | kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0, |
| 705 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 706 | "lsr", "r!0d, r!1d, r!2d", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 707 | ENCODING_MAP(kThumb2AsrRRR, 0xfa40f000, |
| 708 | kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0, |
| 709 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 710 | "asr", "r!0d, r!1d, r!2d", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 711 | ENCODING_MAP(kThumb2RorRRR, 0xfa60f000, |
| 712 | kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0, |
| 713 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 714 | "ror", "r!0d, r!1d, r!2d", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 715 | ENCODING_MAP(kThumb2LslRRI5, 0xea4f0000, |
| 716 | kFmtBitBlt, 11, 8, kFmtBitBlt, 3, 0, kFmtShift5, -1, -1, |
| 717 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 718 | "lsl", "r!0d, r!1d, #!2d", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 719 | ENCODING_MAP(kThumb2LsrRRI5, 0xea4f0010, |
| 720 | kFmtBitBlt, 11, 8, kFmtBitBlt, 3, 0, kFmtShift5, -1, -1, |
| 721 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 722 | "lsr", "r!0d, r!1d, #!2d", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 723 | ENCODING_MAP(kThumb2AsrRRI5, 0xea4f0020, |
| 724 | kFmtBitBlt, 11, 8, kFmtBitBlt, 3, 0, kFmtShift5, -1, -1, |
| 725 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 726 | "asr", "r!0d, r!1d, #!2d", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 727 | ENCODING_MAP(kThumb2RorRRI5, 0xea4f0030, |
| 728 | kFmtBitBlt, 11, 8, kFmtBitBlt, 3, 0, kFmtShift5, -1, -1, |
| 729 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 730 | "ror", "r!0d, r!1d, #!2d", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 731 | ENCODING_MAP(kThumb2BicRRI8, 0xf0200000, |
| 732 | kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtModImm, -1, -1, |
| 733 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 734 | "bic", "r!0d, r!1d, #!2m", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 735 | ENCODING_MAP(kThumb2AndRRI8, 0xf0000000, |
| 736 | kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtModImm, -1, -1, |
| 737 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 738 | "and", "r!0d, r!1d, #!2m", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 739 | ENCODING_MAP(kThumb2OrrRRI8, 0xf0400000, |
| 740 | kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtModImm, -1, -1, |
| 741 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 742 | "orr", "r!0d, r!1d, #!2m", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 743 | ENCODING_MAP(kThumb2EorRRI8, 0xf0800000, |
| 744 | kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtModImm, -1, -1, |
| 745 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 746 | "eor", "r!0d, r!1d, #!2m", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 747 | ENCODING_MAP(kThumb2AddRRI8, 0xf1100000, |
| 748 | kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtModImm, -1, -1, |
| 749 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 750 | IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 751 | "adds", "r!0d, r!1d, #!2m", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 752 | ENCODING_MAP(kThumb2AdcRRI8, 0xf1500000, |
| 753 | kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtModImm, -1, -1, |
| 754 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 755 | IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES | USES_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 756 | "adcs", "r!0d, r!1d, #!2m", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 757 | ENCODING_MAP(kThumb2SubRRI8, 0xf1b00000, |
| 758 | kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtModImm, -1, -1, |
| 759 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 760 | IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 761 | "subs", "r!0d, r!1d, #!2m", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 762 | ENCODING_MAP(kThumb2SbcRRI8, 0xf1700000, |
| 763 | kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtModImm, -1, -1, |
| 764 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 765 | IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES | USES_CCODES, |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 766 | "sbcs", "r!0d, r!1d, #!2m", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 767 | ENCODING_MAP(kThumb2It, 0xbf00, |
| 768 | kFmtBitBlt, 7, 4, kFmtBitBlt, 3, 0, kFmtModImm, -1, -1, |
| 769 | kFmtUnused, -1, -1, IS_BINARY_OP | IS_IT | USES_CCODES, |
| Bill Buzbee | a4a7f07 | 2009-08-27 13:58:09 -0700 | [diff] [blame] | 770 | "it:!1b", "!0c", 1), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 771 | ENCODING_MAP(kThumb2Fmstat, 0xeef1fa10, |
| 772 | kFmtUnused, -1, -1, kFmtUnused, -1, -1, kFmtUnused, -1, -1, |
| 773 | kFmtUnused, -1, -1, NO_OPERAND | SETS_CCODES, |
| Bill Buzbee | a4a7f07 | 2009-08-27 13:58:09 -0700 | [diff] [blame] | 774 | "fmstat", "", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 775 | ENCODING_MAP(kThumb2Vcmpd, 0xeeb40b40, |
| 776 | kFmtDfp, 22, 12, kFmtDfp, 5, 0, kFmtUnused, -1, -1, |
| 777 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_USE01, |
| Bill Buzbee | 7fb2edd | 2009-08-31 10:25:55 -0700 | [diff] [blame] | 778 | "vcmp.f64", "!0S, !1S", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 779 | ENCODING_MAP(kThumb2Vcmps, 0xeeb40a40, |
| 780 | kFmtSfp, 22, 12, kFmtSfp, 5, 0, kFmtUnused, -1, -1, |
| 781 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_USE01, |
| Bill Buzbee | 7fb2edd | 2009-08-31 10:25:55 -0700 | [diff] [blame] | 782 | "vcmp.f32", "!0s, !1s", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 783 | ENCODING_MAP(kThumb2LdrPcRel12, 0xf8df0000, |
| 784 | kFmtBitBlt, 15, 12, kFmtBitBlt, 11, 0, kFmtUnused, -1, -1, |
| 785 | kFmtUnused, -1, -1, |
| Ben Cheng | dcf3e5d | 2009-09-11 13:42:05 -0700 | [diff] [blame] | 786 | IS_TERTIARY_OP | REG_DEF0 | REG_USE_PC, |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 787 | "ldr", "r!0d,[rpc, #!1d]", 2), |
| 788 | ENCODING_MAP(kThumb2BCond, 0xf0008000, |
| 789 | kFmtBrOffset, -1, -1, kFmtBitBlt, 25, 22, kFmtUnused, -1, -1, |
| 790 | kFmtUnused, -1, -1, |
| Bill Buzbee | a4a7f07 | 2009-08-27 13:58:09 -0700 | [diff] [blame] | 791 | IS_BINARY_OP | IS_BRANCH | USES_CCODES, |
| 792 | "b!1c", "!0t", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 793 | ENCODING_MAP(kThumb2Vmovd_RR, 0xeeb00b40, |
| 794 | kFmtDfp, 22, 12, kFmtDfp, 5, 0, kFmtUnused, -1, -1, |
| 795 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, |
| Bill Buzbee | 7fb2edd | 2009-08-31 10:25:55 -0700 | [diff] [blame] | 796 | "vmov.f64", "!0S, !1S", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 797 | ENCODING_MAP(kThumb2Vmovs_RR, 0xeeb00a40, |
| 798 | kFmtSfp, 22, 12, kFmtSfp, 5, 0, kFmtUnused, -1, -1, |
| 799 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, |
| 800 | "vmov.f32", "!0s, !1s", 2), |
| 801 | ENCODING_MAP(kThumb2Fmrs, 0xee100a10, |
| 802 | kFmtBitBlt, 15, 12, kFmtSfp, 7, 16, kFmtUnused, -1, -1, |
| 803 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, |
| Bill Buzbee | 7fb2edd | 2009-08-31 10:25:55 -0700 | [diff] [blame] | 804 | "fmrs", "r!0d, !1s", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 805 | ENCODING_MAP(kThumb2Fmsr, 0xee000a10, |
| 806 | kFmtSfp, 7, 16, kFmtBitBlt, 15, 12, kFmtUnused, -1, -1, |
| 807 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, |
| Bill Buzbee | 7fb2edd | 2009-08-31 10:25:55 -0700 | [diff] [blame] | 808 | "fmsr", "!0s, r!1d", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 809 | ENCODING_MAP(kThumb2Fmrrd, 0xec500b10, |
| 810 | kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtDfp, 5, 0, |
| 811 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF01_USE2, |
| Bill Buzbee | 7fb2edd | 2009-08-31 10:25:55 -0700 | [diff] [blame] | 812 | "fmrrd", "r!0d, r!1d, !2S", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 813 | ENCODING_MAP(kThumb2Fmdrr, 0xec400b10, |
| 814 | kFmtDfp, 5, 0, kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, |
| 815 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12, |
| Bill Buzbee | 7fb2edd | 2009-08-31 10:25:55 -0700 | [diff] [blame] | 816 | "fmdrr", "!0S, r!1d, r!2d", 2), |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 817 | ENCODING_MAP(kThumb2Vabsd, 0xeeb00bc0, |
| 818 | kFmtDfp, 22, 12, kFmtDfp, 5, 0, kFmtUnused, -1, -1, |
| 819 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, |
| 820 | "vabs.f64", "!0S, !1S", 2), |
| 821 | ENCODING_MAP(kThumb2Vabss, 0xeeb00ac0, |
| 822 | kFmtSfp, 22, 12, kFmtSfp, 5, 0, kFmtUnused, -1, -1, |
| 823 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, |
| 824 | "vabs.f32", "!0s, !1s", 2), |
| 825 | ENCODING_MAP(kThumb2Vnegd, 0xeeb10b40, |
| 826 | kFmtDfp, 22, 12, kFmtDfp, 5, 0, kFmtUnused, -1, -1, |
| 827 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, |
| 828 | "vneg.f64", "!0S, !1S", 2), |
| 829 | ENCODING_MAP(kThumb2Vnegs, 0xeeb10a40, |
| 830 | kFmtSfp, 22, 12, kFmtSfp, 5, 0, kFmtUnused, -1, -1, |
| 831 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, |
| 832 | "vneg.f32", "!0s, !1s", 2), |
| 833 | ENCODING_MAP(kThumb2Vmovs_IMM8, 0xeeb00a00, |
| 834 | kFmtSfp, 22, 12, kFmtFPImm, 16, 0, kFmtUnused, -1, -1, |
| 835 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0, |
| 836 | "vmov.f32", "!0s, #0x!1h", 2), |
| 837 | ENCODING_MAP(kThumb2Vmovd_IMM8, 0xeeb00b00, |
| 838 | kFmtDfp, 22, 12, kFmtFPImm, 16, 0, kFmtUnused, -1, -1, |
| 839 | kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0, |
| 840 | "vmov.f64", "!0S, #0x!1h", 2), |
| 841 | ENCODING_MAP(kThumb2Mla, 0xfb000000, |
| 842 | kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0, |
| 843 | kFmtBitBlt, 15, 12, |
| 844 | IS_QUAD_OP | REG_DEF0 | REG_USE1 | REG_USE2 | REG_USE3, |
| 845 | "mla", "r!0d, r!1d, r!2d, r!3d", 2), |
| 846 | ENCODING_MAP(kThumb2Umull, 0xfba00000, |
| 847 | kFmtBitBlt, 15, 12, kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, |
| 848 | kFmtBitBlt, 3, 0, |
| 849 | IS_QUAD_OP | REG_DEF0 | REG_DEF1 | REG_USE2 | REG_USE3, |
| 850 | "umull", "r!0d, r!1d, r!2d, r!3d", 2), |
| 851 | ENCODING_MAP(kThumb2Ldrex, 0xe8500f00, |
| 852 | kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 7, 0, |
| 853 | kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1, |
| 854 | "ldrex", "r!0d,[r!1d, #!2E]", 2), |
| 855 | ENCODING_MAP(kThumb2Strex, 0xe8400000, |
| 856 | kFmtBitBlt, 11, 8, kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, |
| 857 | kFmtBitBlt, 7, 0, IS_QUAD_OP | REG_DEF0_USE12, |
| 858 | "strex", "r!0d,r!1d, [r!2d, #!2E]", 2), |
| 859 | ENCODING_MAP(kThumb2Clrex, 0xf3bf8f2f, |
| 860 | kFmtUnused, -1, -1, kFmtUnused, -1, -1, kFmtUnused, -1, -1, |
| 861 | kFmtUnused, -1, -1, NO_OPERAND, "clrex", "", 2), |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 862 | }; |
| 863 | |
| Ben Cheng | 6d57609 | 2009-09-01 17:01:58 -0700 | [diff] [blame] | 864 | /* |
| 865 | * The fake NOP of moving r0 to r0 actually will incur data stalls if r0 is |
| 866 | * not ready. Since r5 (rFP) is not updated often, it is less likely to |
| 867 | * generate unnecessary stall cycles. |
| 868 | */ |
| 869 | #define PADDING_MOV_R5_R5 0x1C2D |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 870 | |
| 871 | /* Write the numbers in the literal pool to the codegen stream */ |
| Bill Buzbee | 46cd5b6 | 2009-06-05 15:36:06 -0700 | [diff] [blame] | 872 | static void installDataContent(CompilationUnit *cUnit) |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 873 | { |
| Ben Cheng | e80cd94 | 2009-07-17 15:54:23 -0700 | [diff] [blame] | 874 | int *dataPtr = (int *) ((char *) cUnit->baseAddr + cUnit->dataOffset); |
| Bill Buzbee | 89efc3d | 2009-07-28 11:22:22 -0700 | [diff] [blame] | 875 | ArmLIR *dataLIR = (ArmLIR *) cUnit->wordList; |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 876 | while (dataLIR) { |
| 877 | *dataPtr++ = dataLIR->operands[0]; |
| 878 | dataLIR = NEXT_LIR(dataLIR); |
| 879 | } |
| 880 | } |
| 881 | |
| Bill Buzbee | 46cd5b6 | 2009-06-05 15:36:06 -0700 | [diff] [blame] | 882 | /* Returns the size of a Jit trace description */ |
| 883 | static int jitTraceDescriptionSize(const JitTraceDescription *desc) |
| 884 | { |
| 885 | int runCount; |
| 886 | for (runCount = 0; ; runCount++) { |
| 887 | if (desc->trace[runCount].frag.runEnd) |
| 888 | break; |
| 889 | } |
| 890 | return sizeof(JitCodeDesc) + ((runCount+1) * sizeof(JitTraceRun)); |
| 891 | } |
| 892 | |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 893 | /* Return TRUE if error happens */ |
| 894 | static bool assembleInstructions(CompilationUnit *cUnit, intptr_t startAddr) |
| 895 | { |
| 896 | short *bufferAddr = (short *) cUnit->codeBuffer; |
| Bill Buzbee | 89efc3d | 2009-07-28 11:22:22 -0700 | [diff] [blame] | 897 | ArmLIR *lir; |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 898 | |
| Bill Buzbee | 89efc3d | 2009-07-28 11:22:22 -0700 | [diff] [blame] | 899 | for (lir = (ArmLIR *) cUnit->firstLIRInsn; lir; lir = NEXT_LIR(lir)) { |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 900 | if (lir->opCode < 0) { |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 901 | if ((lir->opCode == kArmPseudoPseudoAlign4) && |
| Ben Cheng | 1efc9c5 | 2009-06-08 18:25:27 -0700 | [diff] [blame] | 902 | /* 1 means padding is needed */ |
| 903 | (lir->operands[0] == 1)) { |
| Ben Cheng | 6d57609 | 2009-09-01 17:01:58 -0700 | [diff] [blame] | 904 | *bufferAddr++ = PADDING_MOV_R5_R5; |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 905 | } |
| 906 | continue; |
| 907 | } |
| 908 | |
| Ben Cheng | e9695e5 | 2009-06-16 16:11:47 -0700 | [diff] [blame] | 909 | if (lir->isNop) { |
| 910 | continue; |
| 911 | } |
| 912 | |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 913 | if (lir->opCode == kThumbLdrPcRel || |
| 914 | lir->opCode == kThumb2LdrPcRel12 || |
| 915 | lir->opCode == kThumbAddPcRel || |
| 916 | ((lir->opCode == kThumb2Vldrs) && (lir->operands[1] == rpc))) { |
| Bill Buzbee | 89efc3d | 2009-07-28 11:22:22 -0700 | [diff] [blame] | 917 | ArmLIR *lirTarget = (ArmLIR *) lir->generic.target; |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 918 | intptr_t pc = (lir->generic.offset + 4) & ~3; |
| Ben Cheng | 38329f5 | 2009-07-07 14:19:20 -0700 | [diff] [blame] | 919 | /* |
| 920 | * Allow an offset (stored in operands[2] to be added to the |
| 921 | * PC-relative target. Useful to get to a fixed field inside a |
| 922 | * chaining cell. |
| 923 | */ |
| 924 | intptr_t target = lirTarget->generic.offset + lir->operands[2]; |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 925 | int delta = target - pc; |
| 926 | if (delta & 0x3) { |
| 927 | LOGE("PC-rel distance is not multiples of 4: %d\n", delta); |
| 928 | dvmAbort(); |
| 929 | } |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 930 | if ((lir->opCode == kThumb2LdrPcRel12) && (delta > 4091)) { |
| Bill Buzbee | a4a7f07 | 2009-08-27 13:58:09 -0700 | [diff] [blame] | 931 | return true; |
| 932 | } else if (delta > 1020) { |
| Ben Cheng | 1efc9c5 | 2009-06-08 18:25:27 -0700 | [diff] [blame] | 933 | return true; |
| 934 | } |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 935 | if (lir->opCode == kThumb2Vldrs) { |
| 936 | lir->operands[2] = delta >> 2; |
| 937 | } else { |
| 938 | lir->operands[1] = (lir->opCode == kThumb2LdrPcRel12) ? |
| 939 | delta : delta >> 2; |
| 940 | } |
| 941 | } else if (lir->opCode == kThumb2Cbnz || lir->opCode == kThumb2Cbz) { |
| Bill Buzbee | 7ea0f64 | 2009-08-10 17:06:51 -0700 | [diff] [blame] | 942 | ArmLIR *targetLIR = (ArmLIR *) lir->generic.target; |
| 943 | intptr_t pc = lir->generic.offset + 4; |
| 944 | intptr_t target = targetLIR->generic.offset; |
| 945 | int delta = target - pc; |
| 946 | if (delta > 126 || delta < 0) { |
| Bill Buzbee | a4a7f07 | 2009-08-27 13:58:09 -0700 | [diff] [blame] | 947 | /* |
| Bill Buzbee | 7fb2edd | 2009-08-31 10:25:55 -0700 | [diff] [blame] | 948 | * TODO: allow multiple kinds of assembler failure to allow |
| 949 | * change of code patterns when things don't fit. |
| Bill Buzbee | a4a7f07 | 2009-08-27 13:58:09 -0700 | [diff] [blame] | 950 | */ |
| Bill Buzbee | 7ea0f64 | 2009-08-10 17:06:51 -0700 | [diff] [blame] | 951 | return true; |
| Bill Buzbee | a4a7f07 | 2009-08-27 13:58:09 -0700 | [diff] [blame] | 952 | } else { |
| 953 | lir->operands[1] = delta >> 1; |
| Bill Buzbee | 7ea0f64 | 2009-08-10 17:06:51 -0700 | [diff] [blame] | 954 | } |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 955 | } else if (lir->opCode == kThumbBCond || |
| 956 | lir->opCode == kThumb2BCond) { |
| Bill Buzbee | 89efc3d | 2009-07-28 11:22:22 -0700 | [diff] [blame] | 957 | ArmLIR *targetLIR = (ArmLIR *) lir->generic.target; |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 958 | intptr_t pc = lir->generic.offset + 4; |
| 959 | intptr_t target = targetLIR->generic.offset; |
| 960 | int delta = target - pc; |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 961 | if ((lir->opCode == kThumbBCond) && (delta > 254 || delta < -256)) { |
| Ben Cheng | 1efc9c5 | 2009-06-08 18:25:27 -0700 | [diff] [blame] | 962 | return true; |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 963 | } |
| 964 | lir->operands[0] = delta >> 1; |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 965 | } else if (lir->opCode == kThumbBUncond) { |
| Bill Buzbee | 89efc3d | 2009-07-28 11:22:22 -0700 | [diff] [blame] | 966 | ArmLIR *targetLIR = (ArmLIR *) lir->generic.target; |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 967 | intptr_t pc = lir->generic.offset + 4; |
| 968 | intptr_t target = targetLIR->generic.offset; |
| 969 | int delta = target - pc; |
| 970 | if (delta > 2046 || delta < -2048) { |
| 971 | LOGE("Unconditional branch distance out of range: %d\n", delta); |
| 972 | dvmAbort(); |
| 973 | } |
| 974 | lir->operands[0] = delta >> 1; |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 975 | } else if (lir->opCode == kThumbBlx1) { |
| 976 | assert(NEXT_LIR(lir)->opCode == kThumbBlx2); |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 977 | /* curPC is Thumb */ |
| 978 | intptr_t curPC = (startAddr + lir->generic.offset + 4) & ~3; |
| 979 | intptr_t target = lir->operands[1]; |
| 980 | |
| 981 | /* Match bit[1] in target with base */ |
| 982 | if (curPC & 0x2) { |
| 983 | target |= 0x2; |
| 984 | } |
| 985 | int delta = target - curPC; |
| 986 | assert((delta >= -(1<<22)) && (delta <= ((1<<22)-2))); |
| 987 | |
| 988 | lir->operands[0] = (delta >> 12) & 0x7ff; |
| 989 | NEXT_LIR(lir)->operands[0] = (delta>> 1) & 0x7ff; |
| 990 | } |
| 991 | |
| Bill Buzbee | 89efc3d | 2009-07-28 11:22:22 -0700 | [diff] [blame] | 992 | ArmEncodingMap *encoder = &EncodingMap[lir->opCode]; |
| Bill Buzbee | 9bc3df3 | 2009-07-30 10:52:29 -0700 | [diff] [blame] | 993 | u4 bits = encoder->skeleton; |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 994 | int i; |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 995 | for (i = 0; i < 4; i++) { |
| Bill Buzbee | a4a7f07 | 2009-08-27 13:58:09 -0700 | [diff] [blame] | 996 | u4 operand; |
| Bill Buzbee | 9bc3df3 | 2009-07-30 10:52:29 -0700 | [diff] [blame] | 997 | u4 value; |
| Bill Buzbee | a4a7f07 | 2009-08-27 13:58:09 -0700 | [diff] [blame] | 998 | operand = lir->operands[i]; |
| Bill Buzbee | 9bc3df3 | 2009-07-30 10:52:29 -0700 | [diff] [blame] | 999 | switch(encoder->fieldLoc[i].kind) { |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 1000 | case kFmtUnused: |
| Bill Buzbee | 9bc3df3 | 2009-07-30 10:52:29 -0700 | [diff] [blame] | 1001 | break; |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 1002 | case kFmtFPImm: |
| 1003 | value = ((operand & 0xF0) >> 4) << encoder->fieldLoc[i].end; |
| 1004 | value |= (operand & 0x0F) << encoder->fieldLoc[i].start; |
| 1005 | bits |= value; |
| Bill Buzbee | a4a7f07 | 2009-08-27 13:58:09 -0700 | [diff] [blame] | 1006 | break; |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 1007 | case kFmtBrOffset: |
| 1008 | /* |
| 1009 | * NOTE: branch offsets are not handled here, but |
| 1010 | * in the main assembly loop (where label values |
| 1011 | * are known). For reference, here is what the |
| 1012 | * encoder handing would be: |
| 1013 | value = ((operand & 0x80000) >> 19) << 26; |
| 1014 | value |= ((operand & 0x40000) >> 18) << 11; |
| 1015 | value |= ((operand & 0x20000) >> 17) << 13; |
| 1016 | value |= ((operand & 0x1f800) >> 11) << 16; |
| 1017 | value |= (operand & 0x007ff); |
| 1018 | bits |= value; |
| 1019 | */ |
| 1020 | break; |
| 1021 | case kFmtShift5: |
| Bill Buzbee | a4a7f07 | 2009-08-27 13:58:09 -0700 | [diff] [blame] | 1022 | value = ((operand & 0x1c) >> 2) << 12; |
| 1023 | value |= (operand & 0x03) << 6; |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 1024 | bits |= value; |
| 1025 | break; |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 1026 | case kFmtShift: |
| Bill Buzbee | a4a7f07 | 2009-08-27 13:58:09 -0700 | [diff] [blame] | 1027 | value = ((operand & 0x70) >> 4) << 12; |
| 1028 | value |= (operand & 0x0f) << 4; |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 1029 | bits |= value; |
| 1030 | break; |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 1031 | case kFmtBWidth: |
| Bill Buzbee | a4a7f07 | 2009-08-27 13:58:09 -0700 | [diff] [blame] | 1032 | value = operand - 1; |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 1033 | bits |= value; |
| 1034 | break; |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 1035 | case kFmtLsb: |
| Bill Buzbee | a4a7f07 | 2009-08-27 13:58:09 -0700 | [diff] [blame] | 1036 | value = ((operand & 0x1c) >> 2) << 12; |
| 1037 | value |= (operand & 0x03) << 6; |
| Bill Buzbee | 270c1d6 | 2009-08-13 16:58:07 -0700 | [diff] [blame] | 1038 | bits |= value; |
| 1039 | break; |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 1040 | case kFmtImm6: |
| Bill Buzbee | a4a7f07 | 2009-08-27 13:58:09 -0700 | [diff] [blame] | 1041 | value = ((operand & 0x20) >> 5) << 9; |
| 1042 | value |= (operand & 0x1f) << 3; |
| Bill Buzbee | 7ea0f64 | 2009-08-10 17:06:51 -0700 | [diff] [blame] | 1043 | bits |= value; |
| 1044 | break; |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 1045 | case kFmtBitBlt: |
| Bill Buzbee | a4a7f07 | 2009-08-27 13:58:09 -0700 | [diff] [blame] | 1046 | value = (operand << encoder->fieldLoc[i].start) & |
| Bill Buzbee | 9bc3df3 | 2009-07-30 10:52:29 -0700 | [diff] [blame] | 1047 | ((1 << (encoder->fieldLoc[i].end + 1)) - 1); |
| 1048 | bits |= value; |
| 1049 | break; |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 1050 | case kFmtDfp: { |
| 1051 | assert(DOUBLEREG(operand)); |
| 1052 | assert((operand & 0x1) == 0); |
| Ben Cheng | 30f1f46 | 2009-10-12 13:46:55 -0700 | [diff] [blame] | 1053 | int regName = (operand & FP_REG_MASK) >> 1; |
| Bill Buzbee | 9bc3df3 | 2009-07-30 10:52:29 -0700 | [diff] [blame] | 1054 | /* Snag the 1-bit slice and position it */ |
| Ben Cheng | 30f1f46 | 2009-10-12 13:46:55 -0700 | [diff] [blame] | 1055 | value = ((regName & 0x10) >> 4) << |
| Bill Buzbee | 9bc3df3 | 2009-07-30 10:52:29 -0700 | [diff] [blame] | 1056 | encoder->fieldLoc[i].end; |
| 1057 | /* Extract and position the 4-bit slice */ |
| Ben Cheng | 30f1f46 | 2009-10-12 13:46:55 -0700 | [diff] [blame] | 1058 | value |= (regName & 0x0f) << |
| Bill Buzbee | 9bc3df3 | 2009-07-30 10:52:29 -0700 | [diff] [blame] | 1059 | encoder->fieldLoc[i].start; |
| 1060 | bits |= value; |
| 1061 | break; |
| Ben Cheng | 30f1f46 | 2009-10-12 13:46:55 -0700 | [diff] [blame] | 1062 | } |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 1063 | case kFmtSfp: |
| 1064 | assert(SINGLEREG(operand)); |
| Bill Buzbee | 9bc3df3 | 2009-07-30 10:52:29 -0700 | [diff] [blame] | 1065 | /* Snag the 1-bit slice and position it */ |
| Bill Buzbee | a4a7f07 | 2009-08-27 13:58:09 -0700 | [diff] [blame] | 1066 | value = (operand & 0x1) << |
| Bill Buzbee | 9bc3df3 | 2009-07-30 10:52:29 -0700 | [diff] [blame] | 1067 | encoder->fieldLoc[i].end; |
| 1068 | /* Extract and position the 4-bit slice */ |
| Bill Buzbee | a4a7f07 | 2009-08-27 13:58:09 -0700 | [diff] [blame] | 1069 | value |= ((operand & 0x1e) >> 1) << |
| Bill Buzbee | 9bc3df3 | 2009-07-30 10:52:29 -0700 | [diff] [blame] | 1070 | encoder->fieldLoc[i].start; |
| 1071 | bits |= value; |
| 1072 | break; |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 1073 | case kFmtImm12: |
| 1074 | case kFmtModImm: |
| Bill Buzbee | a4a7f07 | 2009-08-27 13:58:09 -0700 | [diff] [blame] | 1075 | value = ((operand & 0x800) >> 11) << 26; |
| 1076 | value |= ((operand & 0x700) >> 8) << 12; |
| 1077 | value |= operand & 0x0ff; |
| Bill Buzbee | 7ea0f64 | 2009-08-10 17:06:51 -0700 | [diff] [blame] | 1078 | bits |= value; |
| 1079 | break; |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 1080 | case kFmtImm16: |
| Bill Buzbee | a4a7f07 | 2009-08-27 13:58:09 -0700 | [diff] [blame] | 1081 | value = ((operand & 0x0800) >> 11) << 26; |
| 1082 | value |= ((operand & 0xf000) >> 12) << 16; |
| 1083 | value |= ((operand & 0x0700) >> 8) << 12; |
| 1084 | value |= operand & 0x0ff; |
| Bill Buzbee | 7ea0f64 | 2009-08-10 17:06:51 -0700 | [diff] [blame] | 1085 | bits |= value; |
| Bill Buzbee | 9bc3df3 | 2009-07-30 10:52:29 -0700 | [diff] [blame] | 1086 | break; |
| 1087 | default: |
| 1088 | assert(0); |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 1089 | } |
| 1090 | } |
| Bill Buzbee | 9bc3df3 | 2009-07-30 10:52:29 -0700 | [diff] [blame] | 1091 | if (encoder->size == 2) { |
| 1092 | *bufferAddr++ = (bits >> 16) & 0xffff; |
| 1093 | } |
| 1094 | *bufferAddr++ = bits & 0xffff; |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 1095 | } |
| Ben Cheng | 1efc9c5 | 2009-06-08 18:25:27 -0700 | [diff] [blame] | 1096 | return false; |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 1097 | } |
| 1098 | |
| 1099 | /* |
| Bill Buzbee | 46cd5b6 | 2009-06-05 15:36:06 -0700 | [diff] [blame] | 1100 | * Translation layout in the code cache. Note that the codeAddress pointer |
| 1101 | * in JitTable will point directly to the code body (field codeAddress). The |
| 1102 | * chain cell offset codeAddress - 2, and (if present) executionCount is at |
| 1103 | * codeAddress - 6. |
| 1104 | * |
| 1105 | * +----------------------------+ |
| 1106 | * | Execution count | -> [Optional] 4 bytes |
| 1107 | * +----------------------------+ |
| 1108 | * +--| Offset to chain cell counts| -> 2 bytes |
| 1109 | * | +----------------------------+ |
| 1110 | * | | Code body | -> Start address for translation |
| 1111 | * | | | variable in 2-byte chunks |
| 1112 | * | . . (JitTable's codeAddress points here) |
| 1113 | * | . . |
| 1114 | * | | | |
| 1115 | * | +----------------------------+ |
| 1116 | * | | Chaining Cells | -> 8 bytes each, must be 4 byte aligned |
| 1117 | * | . . |
| 1118 | * | . . |
| 1119 | * | | | |
| 1120 | * | +----------------------------+ |
| 1121 | * +->| Chaining cell counts | -> 4 bytes, chain cell counts by type |
| 1122 | * +----------------------------+ |
| 1123 | * | Trace description | -> variable sized |
| 1124 | * . . |
| 1125 | * | | |
| 1126 | * +----------------------------+ |
| 1127 | * | Literal pool | -> 4-byte aligned, variable size |
| 1128 | * . . |
| 1129 | * . . |
| 1130 | * | | |
| 1131 | * +----------------------------+ |
| 1132 | * |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 1133 | * Go over each instruction in the list and calculate the offset from the top |
| 1134 | * before sending them off to the assembler. If out-of-range branch distance is |
| 1135 | * seen rearrange the instructions a bit to correct it. |
| 1136 | */ |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 1137 | void dvmCompilerAssembleLIR(CompilationUnit *cUnit, JitTranslationInfo *info) |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 1138 | { |
| 1139 | LIR *lir; |
| Bill Buzbee | 89efc3d | 2009-07-28 11:22:22 -0700 | [diff] [blame] | 1140 | ArmLIR *armLIR; |
| Ben Cheng | 1efc9c5 | 2009-06-08 18:25:27 -0700 | [diff] [blame] | 1141 | int offset = 0; |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 1142 | int i; |
| Bill Buzbee | 46cd5b6 | 2009-06-05 15:36:06 -0700 | [diff] [blame] | 1143 | ChainCellCounts chainCellCounts; |
| Bill Buzbee | 46cd5b6 | 2009-06-05 15:36:06 -0700 | [diff] [blame] | 1144 | int descSize = jitTraceDescriptionSize(cUnit->traceDesc); |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 1145 | |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 1146 | info->instructionSet = cUnit->instructionSet; |
| 1147 | |
| Bill Buzbee | 46cd5b6 | 2009-06-05 15:36:06 -0700 | [diff] [blame] | 1148 | /* Beginning offset needs to allow space for chain cell offset */ |
| Bill Buzbee | 89efc3d | 2009-07-28 11:22:22 -0700 | [diff] [blame] | 1149 | for (armLIR = (ArmLIR *) cUnit->firstLIRInsn; |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 1150 | armLIR; |
| 1151 | armLIR = NEXT_LIR(armLIR)) { |
| 1152 | armLIR->generic.offset = offset; |
| Ben Cheng | e9695e5 | 2009-06-16 16:11:47 -0700 | [diff] [blame] | 1153 | if (armLIR->opCode >= 0 && !armLIR->isNop) { |
| Bill Buzbee | 9bc3df3 | 2009-07-30 10:52:29 -0700 | [diff] [blame] | 1154 | armLIR->size = EncodingMap[armLIR->opCode].size * 2; |
| 1155 | offset += armLIR->size; |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 1156 | } else if (armLIR->opCode == kArmPseudoPseudoAlign4) { |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 1157 | if (offset & 0x2) { |
| 1158 | offset += 2; |
| 1159 | armLIR->operands[0] = 1; |
| 1160 | } else { |
| 1161 | armLIR->operands[0] = 0; |
| 1162 | } |
| 1163 | } |
| 1164 | /* Pseudo opcodes don't consume space */ |
| 1165 | } |
| 1166 | |
| 1167 | /* Const values have to be word aligned */ |
| Bill Buzbee | 46cd5b6 | 2009-06-05 15:36:06 -0700 | [diff] [blame] | 1168 | offset = (offset + 3) & ~3; |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 1169 | |
| Bill Buzbee | 46cd5b6 | 2009-06-05 15:36:06 -0700 | [diff] [blame] | 1170 | /* Add space for chain cell counts & trace description */ |
| Ben Cheng | 1efc9c5 | 2009-06-08 18:25:27 -0700 | [diff] [blame] | 1171 | u4 chainCellOffset = offset; |
| Bill Buzbee | 89efc3d | 2009-07-28 11:22:22 -0700 | [diff] [blame] | 1172 | ArmLIR *chainCellOffsetLIR = (ArmLIR *) cUnit->chainCellOffsetLIR; |
| Bill Buzbee | 6e963e1 | 2009-06-17 16:56:19 -0700 | [diff] [blame] | 1173 | assert(chainCellOffsetLIR); |
| Ben Cheng | 1efc9c5 | 2009-06-08 18:25:27 -0700 | [diff] [blame] | 1174 | assert(chainCellOffset < 0x10000); |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 1175 | assert(chainCellOffsetLIR->opCode == kArm16BitData && |
| Ben Cheng | 1efc9c5 | 2009-06-08 18:25:27 -0700 | [diff] [blame] | 1176 | chainCellOffsetLIR->operands[0] == CHAIN_CELL_OFFSET_TAG); |
| 1177 | |
| Ben Cheng | e80cd94 | 2009-07-17 15:54:23 -0700 | [diff] [blame] | 1178 | /* |
| 1179 | * Replace the CHAIN_CELL_OFFSET_TAG with the real value. If trace |
| 1180 | * profiling is enabled, subtract 4 (occupied by the counter word) from |
| 1181 | * the absolute offset as the value stored in chainCellOffsetLIR is the |
| 1182 | * delta from &chainCellOffsetLIR to &ChainCellCounts. |
| 1183 | */ |
| 1184 | chainCellOffsetLIR->operands[0] = |
| 1185 | gDvmJit.profile ? (chainCellOffset - 4) : chainCellOffset; |
| Ben Cheng | 1efc9c5 | 2009-06-08 18:25:27 -0700 | [diff] [blame] | 1186 | |
| Bill Buzbee | 46cd5b6 | 2009-06-05 15:36:06 -0700 | [diff] [blame] | 1187 | offset += sizeof(chainCellCounts) + descSize; |
| 1188 | |
| 1189 | assert((offset & 0x3) == 0); /* Should still be word aligned */ |
| 1190 | |
| 1191 | /* Set up offsets for literals */ |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 1192 | cUnit->dataOffset = offset; |
| 1193 | |
| 1194 | for (lir = cUnit->wordList; lir; lir = lir->next) { |
| 1195 | lir->offset = offset; |
| 1196 | offset += 4; |
| 1197 | } |
| 1198 | |
| 1199 | cUnit->totalSize = offset; |
| 1200 | |
| Bill Buzbee | 46cd5b6 | 2009-06-05 15:36:06 -0700 | [diff] [blame] | 1201 | if (gDvmJit.codeCacheByteUsed + cUnit->totalSize > CODE_CACHE_SIZE) { |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 1202 | gDvmJit.codeCacheFull = true; |
| 1203 | cUnit->baseAddr = NULL; |
| 1204 | return; |
| 1205 | } |
| Bill Buzbee | 46cd5b6 | 2009-06-05 15:36:06 -0700 | [diff] [blame] | 1206 | |
| 1207 | /* Allocate enough space for the code block */ |
| 1208 | cUnit->codeBuffer = dvmCompilerNew(chainCellOffset, true); |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 1209 | if (cUnit->codeBuffer == NULL) { |
| 1210 | LOGE("Code buffer allocation failure\n"); |
| 1211 | cUnit->baseAddr = NULL; |
| 1212 | return; |
| 1213 | } |
| 1214 | |
| Ben Cheng | 1efc9c5 | 2009-06-08 18:25:27 -0700 | [diff] [blame] | 1215 | bool assemblerFailure = assembleInstructions( |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 1216 | cUnit, (intptr_t) gDvmJit.codeCache + gDvmJit.codeCacheByteUsed); |
| 1217 | |
| Ben Cheng | 1efc9c5 | 2009-06-08 18:25:27 -0700 | [diff] [blame] | 1218 | /* |
| 1219 | * Currently the only reason that can cause the assembler to fail is due to |
| 1220 | * trace length - cut it in half and retry. |
| 1221 | */ |
| 1222 | if (assemblerFailure) { |
| 1223 | cUnit->halveInstCount = true; |
| 1224 | return; |
| 1225 | } |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 1226 | |
| Ben Cheng | ccd6c01 | 2009-10-15 14:52:45 -0700 | [diff] [blame] | 1227 | /* Don't go all the way if the goal is just to get the verbose output */ |
| 1228 | if (info->discardResult) return; |
| Bill Buzbee | 6e963e1 | 2009-06-17 16:56:19 -0700 | [diff] [blame] | 1229 | |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 1230 | cUnit->baseAddr = (char *) gDvmJit.codeCache + gDvmJit.codeCacheByteUsed; |
| 1231 | gDvmJit.codeCacheByteUsed += offset; |
| 1232 | |
| Bill Buzbee | 46cd5b6 | 2009-06-05 15:36:06 -0700 | [diff] [blame] | 1233 | /* Install the code block */ |
| Ben Cheng | 1efc9c5 | 2009-06-08 18:25:27 -0700 | [diff] [blame] | 1234 | memcpy((char*)cUnit->baseAddr, cUnit->codeBuffer, chainCellOffset); |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 1235 | gDvmJit.numCompilations++; |
| 1236 | |
| Bill Buzbee | 46cd5b6 | 2009-06-05 15:36:06 -0700 | [diff] [blame] | 1237 | /* Install the chaining cell counts */ |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 1238 | for (i=0; i< kChainingCellLast; i++) { |
| Bill Buzbee | 46cd5b6 | 2009-06-05 15:36:06 -0700 | [diff] [blame] | 1239 | chainCellCounts.u.count[i] = cUnit->numChainingCells[i]; |
| 1240 | } |
| 1241 | memcpy((char*)cUnit->baseAddr + chainCellOffset, &chainCellCounts, |
| 1242 | sizeof(chainCellCounts)); |
| 1243 | |
| 1244 | /* Install the trace description */ |
| 1245 | memcpy((char*)cUnit->baseAddr + chainCellOffset + sizeof(chainCellCounts), |
| 1246 | cUnit->traceDesc, descSize); |
| 1247 | |
| 1248 | /* Write the literals directly into the code cache */ |
| 1249 | installDataContent(cUnit); |
| 1250 | |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 1251 | /* Flush dcache and invalidate the icache to maintain coherence */ |
| Bill Buzbee | 46cd5b6 | 2009-06-05 15:36:06 -0700 | [diff] [blame] | 1252 | cacheflush((long)cUnit->baseAddr, |
| Ben Cheng | e80cd94 | 2009-07-17 15:54:23 -0700 | [diff] [blame] | 1253 | (long)((char *) cUnit->baseAddr + offset), 0); |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 1254 | |
| 1255 | /* Record code entry point and instruction set */ |
| 1256 | info->codeAddress = (char*)cUnit->baseAddr + cUnit->headerSize; |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 1257 | /* If applicable, mark low bit to denote thumb */ |
| 1258 | if (info->instructionSet != DALVIK_JIT_ARM) |
| 1259 | info->codeAddress = (char*)info->codeAddress + 1; |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 1260 | } |
| 1261 | |
| Ben Cheng | 38329f5 | 2009-07-07 14:19:20 -0700 | [diff] [blame] | 1262 | static u4 assembleBXPair(int branchOffset) |
| 1263 | { |
| 1264 | u4 thumb1, thumb2; |
| 1265 | |
| 1266 | if ((branchOffset < -2048) | (branchOffset > 2046)) { |
| 1267 | thumb1 = (0xf000 | ((branchOffset>>12) & 0x7ff)); |
| 1268 | thumb2 = (0xf800 | ((branchOffset>> 1) & 0x7ff)); |
| 1269 | } else { |
| 1270 | thumb1 = (0xe000 | ((branchOffset>> 1) & 0x7ff)); |
| 1271 | thumb2 = 0x4300; /* nop -> or r0, r0 */ |
| 1272 | } |
| 1273 | |
| 1274 | return thumb2<<16 | thumb1; |
| 1275 | } |
| 1276 | |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 1277 | /* |
| 1278 | * Perform translation chain operation. |
| 1279 | * For ARM, we'll use a pair of thumb instructions to generate |
| 1280 | * an unconditional chaining branch of up to 4MB in distance. |
| 1281 | * Use a BL, though we don't really need the link. The format is |
| 1282 | * 111HHooooooooooo |
| 1283 | * Where HH is 10 for the 1st inst, and 11 for the second and |
| 1284 | * the "o" field is each instruction's 11-bit contribution to the |
| 1285 | * 22-bit branch offset. |
| Bill Buzbee | 46cd5b6 | 2009-06-05 15:36:06 -0700 | [diff] [blame] | 1286 | * If the target is nearby, use a single-instruction bl. |
| 1287 | * If one or more threads is suspended, don't chain. |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 1288 | */ |
| 1289 | void* dvmJitChain(void* tgtAddr, u4* branchAddr) |
| 1290 | { |
| 1291 | int baseAddr = (u4) branchAddr + 4; |
| 1292 | int branchOffset = (int) tgtAddr - baseAddr; |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 1293 | u4 newInst; |
| 1294 | |
| Bill Buzbee | 46cd5b6 | 2009-06-05 15:36:06 -0700 | [diff] [blame] | 1295 | if (gDvm.sumThreadSuspendCount == 0) { |
| 1296 | assert((branchOffset >= -(1<<22)) && (branchOffset <= ((1<<22)-2))); |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 1297 | |
| Bill Buzbee | 46cd5b6 | 2009-06-05 15:36:06 -0700 | [diff] [blame] | 1298 | gDvmJit.translationChains++; |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 1299 | |
| Bill Buzbee | 46cd5b6 | 2009-06-05 15:36:06 -0700 | [diff] [blame] | 1300 | COMPILER_TRACE_CHAINING( |
| 1301 | LOGD("Jit Runtime: chaining 0x%x to 0x%x\n", |
| 1302 | (int) branchAddr, (int) tgtAddr & -2)); |
| Bill Buzbee | 46cd5b6 | 2009-06-05 15:36:06 -0700 | [diff] [blame] | 1303 | |
| Ben Cheng | 38329f5 | 2009-07-07 14:19:20 -0700 | [diff] [blame] | 1304 | newInst = assembleBXPair(branchOffset); |
| 1305 | |
| Bill Buzbee | 46cd5b6 | 2009-06-05 15:36:06 -0700 | [diff] [blame] | 1306 | *branchAddr = newInst; |
| 1307 | cacheflush((long)branchAddr, (long)branchAddr + 4, 0); |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 1308 | } |
| 1309 | |
| Ben Cheng | ba4fc8b | 2009-06-01 13:00:29 -0700 | [diff] [blame] | 1310 | return tgtAddr; |
| 1311 | } |
| Bill Buzbee | 46cd5b6 | 2009-06-05 15:36:06 -0700 | [diff] [blame] | 1312 | |
| 1313 | /* |
| Ben Cheng | 38329f5 | 2009-07-07 14:19:20 -0700 | [diff] [blame] | 1314 | * This method is called from the invoke templates for virtual and interface |
| 1315 | * methods to speculatively setup a chain to the callee. The templates are |
| 1316 | * written in assembly and have setup method, cell, and clazz at r0, r2, and |
| 1317 | * r3 respectively, so there is a unused argument in the list. Upon return one |
| 1318 | * of the following three results may happen: |
| 1319 | * 1) Chain is not setup because the callee is native. Reset the rechain |
| 1320 | * count to a big number so that it will take a long time before the next |
| 1321 | * rechain attempt to happen. |
| 1322 | * 2) Chain is not setup because the callee has not been created yet. Reset |
| 1323 | * the rechain count to a small number and retry in the near future. |
| 1324 | * 3) Ask all other threads to stop before patching this chaining cell. |
| 1325 | * This is required because another thread may have passed the class check |
| 1326 | * but hasn't reached the chaining cell yet to follow the chain. If we |
| 1327 | * patch the content before halting the other thread, there could be a |
| 1328 | * small window for race conditions to happen that it may follow the new |
| 1329 | * but wrong chain to invoke a different method. |
| 1330 | */ |
| 1331 | const Method *dvmJitToPatchPredictedChain(const Method *method, |
| 1332 | void *unused, |
| 1333 | PredictedChainingCell *cell, |
| 1334 | const ClassObject *clazz) |
| 1335 | { |
| Jeff Hao | 97319a8 | 2009-08-12 16:57:15 -0700 | [diff] [blame] | 1336 | #if defined(WITH_SELF_VERIFICATION) |
| 1337 | /* Disable chaining and prevent this from triggering again for a while */ |
| 1338 | cell->counter = PREDICTED_CHAIN_COUNTER_AVOID; |
| 1339 | cacheflush((long) cell, (long) (cell+1), 0); |
| 1340 | goto done; |
| 1341 | #else |
| Ben Cheng | 38329f5 | 2009-07-07 14:19:20 -0700 | [diff] [blame] | 1342 | /* Don't come back here for a long time if the method is native */ |
| 1343 | if (dvmIsNativeMethod(method)) { |
| 1344 | cell->counter = PREDICTED_CHAIN_COUNTER_AVOID; |
| 1345 | cacheflush((long) cell, (long) (cell+1), 0); |
| 1346 | COMPILER_TRACE_CHAINING( |
| 1347 | LOGD("Jit Runtime: predicted chain %p to native method %s ignored", |
| 1348 | cell, method->name)); |
| 1349 | goto done; |
| 1350 | } |
| 1351 | int tgtAddr = (int) dvmJitGetCodeAddr(method->insns); |
| 1352 | |
| 1353 | /* |
| 1354 | * Compilation not made yet for the callee. Reset the counter to a small |
| 1355 | * value and come back to check soon. |
| 1356 | */ |
| 1357 | if (tgtAddr == 0) { |
| 1358 | /* |
| 1359 | * Wait for a few invocations (currently set to be 16) before trying |
| 1360 | * to setup the chain again. |
| 1361 | */ |
| 1362 | cell->counter = PREDICTED_CHAIN_COUNTER_DELAY; |
| 1363 | cacheflush((long) cell, (long) (cell+1), 0); |
| 1364 | COMPILER_TRACE_CHAINING( |
| Ben Cheng | a8e64a7 | 2009-10-20 13:01:36 -0700 | [diff] [blame] | 1365 | LOGD("Jit Runtime: predicted chain %p to method %s%s delayed", |
| 1366 | cell, method->clazz->descriptor, method->name)); |
| Ben Cheng | 38329f5 | 2009-07-07 14:19:20 -0700 | [diff] [blame] | 1367 | goto done; |
| 1368 | } |
| 1369 | |
| Ben Cheng | a8e64a7 | 2009-10-20 13:01:36 -0700 | [diff] [blame] | 1370 | /* |
| 1371 | * Bump up the counter first just in case other mutator threads are in |
| 1372 | * nearby territory to also attempt to rechain this cell. This is not |
| 1373 | * done in a thread-safe way and doesn't need to be since the consequence |
| 1374 | * of the race condition [rare] is two back-to-back suspend-all attempts, |
| 1375 | * which will be handled correctly. |
| 1376 | */ |
| 1377 | cell->counter = PREDICTED_CHAIN_COUNTER_AVOID; |
| 1378 | |
| Ben Cheng | 38329f5 | 2009-07-07 14:19:20 -0700 | [diff] [blame] | 1379 | /* Stop the world */ |
| Ben Cheng | a8e64a7 | 2009-10-20 13:01:36 -0700 | [diff] [blame] | 1380 | dvmSuspendAllThreads(SUSPEND_FOR_IC_PATCH); |
| Ben Cheng | 38329f5 | 2009-07-07 14:19:20 -0700 | [diff] [blame] | 1381 | |
| 1382 | int baseAddr = (int) cell + 4; // PC is cur_addr + 4 |
| 1383 | int branchOffset = tgtAddr - baseAddr; |
| 1384 | |
| 1385 | COMPILER_TRACE_CHAINING( |
| 1386 | LOGD("Jit Runtime: predicted chain %p from %s to %s (%s) patched", |
| 1387 | cell, cell->clazz ? cell->clazz->descriptor : "NULL", |
| 1388 | clazz->descriptor, |
| 1389 | method->name)); |
| 1390 | |
| 1391 | cell->branch = assembleBXPair(branchOffset); |
| 1392 | cell->clazz = clazz; |
| 1393 | cell->method = method; |
| Ben Cheng | a8e64a7 | 2009-10-20 13:01:36 -0700 | [diff] [blame] | 1394 | /* |
| 1395 | * Reset the counter again in case other mutator threads got invoked |
| 1396 | * between the previous rest and dvmSuspendAllThreads call. |
| 1397 | */ |
| Ben Cheng | 38329f5 | 2009-07-07 14:19:20 -0700 | [diff] [blame] | 1398 | cell->counter = PREDICTED_CHAIN_COUNTER_RECHAIN; |
| 1399 | |
| 1400 | cacheflush((long) cell, (long) (cell+1), 0); |
| 1401 | |
| 1402 | /* All done - resume all other threads */ |
| Ben Cheng | a8e64a7 | 2009-10-20 13:01:36 -0700 | [diff] [blame] | 1403 | dvmResumeAllThreads(SUSPEND_FOR_IC_PATCH); |
| Jeff Hao | 97319a8 | 2009-08-12 16:57:15 -0700 | [diff] [blame] | 1404 | #endif |
| Ben Cheng | 38329f5 | 2009-07-07 14:19:20 -0700 | [diff] [blame] | 1405 | |
| 1406 | done: |
| 1407 | return method; |
| 1408 | } |
| 1409 | |
| 1410 | /* |
| Bill Buzbee | 46cd5b6 | 2009-06-05 15:36:06 -0700 | [diff] [blame] | 1411 | * Unchain a trace given the starting address of the translation |
| 1412 | * in the code cache. Refer to the diagram in dvmCompilerAssembleLIR. |
| 1413 | * Returns the address following the last cell unchained. Note that |
| 1414 | * the incoming codeAddr is a thumb code address, and therefore has |
| 1415 | * the low bit set. |
| 1416 | */ |
| 1417 | u4* dvmJitUnchain(void* codeAddr) |
| 1418 | { |
| 1419 | u2* pChainCellOffset = (u2*)((char*)codeAddr - 3); |
| 1420 | u2 chainCellOffset = *pChainCellOffset; |
| 1421 | ChainCellCounts *pChainCellCounts = |
| Ben Cheng | e80cd94 | 2009-07-17 15:54:23 -0700 | [diff] [blame] | 1422 | (ChainCellCounts*)((char*)codeAddr + chainCellOffset - 3); |
| Ben Cheng | 38329f5 | 2009-07-07 14:19:20 -0700 | [diff] [blame] | 1423 | int cellSize; |
| Bill Buzbee | 46cd5b6 | 2009-06-05 15:36:06 -0700 | [diff] [blame] | 1424 | u4* pChainCells; |
| 1425 | u4* pStart; |
| 1426 | u4 thumb1; |
| 1427 | u4 thumb2; |
| 1428 | u4 newInst; |
| 1429 | int i,j; |
| Ben Cheng | 38329f5 | 2009-07-07 14:19:20 -0700 | [diff] [blame] | 1430 | PredictedChainingCell *predChainCell; |
| Bill Buzbee | 46cd5b6 | 2009-06-05 15:36:06 -0700 | [diff] [blame] | 1431 | |
| 1432 | /* Get total count of chain cells */ |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 1433 | for (i = 0, cellSize = 0; i < kChainingCellLast; i++) { |
| 1434 | if (i != kChainingCellInvokePredicted) { |
| Ben Cheng | 38329f5 | 2009-07-07 14:19:20 -0700 | [diff] [blame] | 1435 | cellSize += pChainCellCounts->u.count[i] * 2; |
| 1436 | } else { |
| 1437 | cellSize += pChainCellCounts->u.count[i] * 4; |
| 1438 | } |
| Bill Buzbee | 46cd5b6 | 2009-06-05 15:36:06 -0700 | [diff] [blame] | 1439 | } |
| 1440 | |
| 1441 | /* Locate the beginning of the chain cell region */ |
| Ben Cheng | 38329f5 | 2009-07-07 14:19:20 -0700 | [diff] [blame] | 1442 | pStart = pChainCells = ((u4 *) pChainCellCounts) - cellSize; |
| Bill Buzbee | 46cd5b6 | 2009-06-05 15:36:06 -0700 | [diff] [blame] | 1443 | |
| 1444 | /* The cells are sorted in order - walk through them and reset */ |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 1445 | for (i = 0; i < kChainingCellLast; i++) { |
| Ben Cheng | 38329f5 | 2009-07-07 14:19:20 -0700 | [diff] [blame] | 1446 | int elemSize = 2; /* Most chaining cell has two words */ |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 1447 | if (i == kChainingCellInvokePredicted) { |
| Ben Cheng | 38329f5 | 2009-07-07 14:19:20 -0700 | [diff] [blame] | 1448 | elemSize = 4; |
| 1449 | } |
| 1450 | |
| Bill Buzbee | 46cd5b6 | 2009-06-05 15:36:06 -0700 | [diff] [blame] | 1451 | for (j = 0; j < pChainCellCounts->u.count[i]; j++) { |
| 1452 | int targetOffset; |
| 1453 | switch(i) { |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 1454 | case kChainingCellNormal: |
| Bill Buzbee | 46cd5b6 | 2009-06-05 15:36:06 -0700 | [diff] [blame] | 1455 | targetOffset = offsetof(InterpState, |
| 1456 | jitToInterpEntries.dvmJitToInterpNormal); |
| 1457 | break; |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 1458 | case kChainingCellHot: |
| 1459 | case kChainingCellInvokeSingleton: |
| Bill Buzbee | 46cd5b6 | 2009-06-05 15:36:06 -0700 | [diff] [blame] | 1460 | targetOffset = offsetof(InterpState, |
| 1461 | jitToInterpEntries.dvmJitToTraceSelect); |
| 1462 | break; |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 1463 | case kChainingCellInvokePredicted: |
| Ben Cheng | 38329f5 | 2009-07-07 14:19:20 -0700 | [diff] [blame] | 1464 | targetOffset = 0; |
| 1465 | predChainCell = (PredictedChainingCell *) pChainCells; |
| 1466 | /* Reset the cell to the init state */ |
| 1467 | predChainCell->branch = PREDICTED_CHAIN_BX_PAIR_INIT; |
| 1468 | predChainCell->clazz = PREDICTED_CHAIN_CLAZZ_INIT; |
| 1469 | predChainCell->method = PREDICTED_CHAIN_METHOD_INIT; |
| 1470 | predChainCell->counter = PREDICTED_CHAIN_COUNTER_INIT; |
| 1471 | break; |
| Jeff Hao | 97319a8 | 2009-08-12 16:57:15 -0700 | [diff] [blame] | 1472 | #if defined(WITH_SELF_VERIFICATION) |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 1473 | case kChainingCellBackwardBranch: |
| Jeff Hao | 97319a8 | 2009-08-12 16:57:15 -0700 | [diff] [blame] | 1474 | targetOffset = offsetof(InterpState, |
| 1475 | jitToInterpEntries.dvmJitToBackwardBranch); |
| 1476 | break; |
| Bill Buzbee | 9c4b7c8 | 2009-09-10 10:10:38 -0700 | [diff] [blame] | 1477 | #elif defined(WITH_JIT_TUNING) |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 1478 | case kChainingCellBackwardBranch: |
| Bill Buzbee | 9c4b7c8 | 2009-09-10 10:10:38 -0700 | [diff] [blame] | 1479 | targetOffset = offsetof(InterpState, |
| 1480 | jitToInterpEntries.dvmJitToInterpNormal); |
| 1481 | break; |
| Jeff Hao | 97319a8 | 2009-08-12 16:57:15 -0700 | [diff] [blame] | 1482 | #endif |
| Bill Buzbee | 46cd5b6 | 2009-06-05 15:36:06 -0700 | [diff] [blame] | 1483 | default: |
| 1484 | dvmAbort(); |
| 1485 | } |
| Ben Cheng | 38329f5 | 2009-07-07 14:19:20 -0700 | [diff] [blame] | 1486 | COMPILER_TRACE_CHAINING( |
| 1487 | LOGD("Jit Runtime: unchaining 0x%x", (int)pChainCells)); |
| Bill Buzbee | 46cd5b6 | 2009-06-05 15:36:06 -0700 | [diff] [blame] | 1488 | /* |
| Ben Cheng | 38329f5 | 2009-07-07 14:19:20 -0700 | [diff] [blame] | 1489 | * Thumb code sequence for a chaining cell is: |
| Bill Buzbee | 46cd5b6 | 2009-06-05 15:36:06 -0700 | [diff] [blame] | 1490 | * ldr r0, rGLUE, #<word offset> |
| 1491 | * blx r0 |
| 1492 | */ |
| Bill Buzbee | 1465db5 | 2009-09-23 17:17:35 -0700 | [diff] [blame^] | 1493 | if (i != kChainingCellInvokePredicted) { |
| Ben Cheng | 38329f5 | 2009-07-07 14:19:20 -0700 | [diff] [blame] | 1494 | targetOffset = targetOffset >> 2; /* convert to word offset */ |
| 1495 | thumb1 = 0x6800 | (targetOffset << 6) | |
| 1496 | (rGLUE << 3) | (r0 << 0); |
| 1497 | thumb2 = 0x4780 | (r0 << 3); |
| 1498 | newInst = thumb2<<16 | thumb1; |
| 1499 | *pChainCells = newInst; |
| 1500 | } |
| 1501 | pChainCells += elemSize; /* Advance by a fixed number of words */ |
| Bill Buzbee | 46cd5b6 | 2009-06-05 15:36:06 -0700 | [diff] [blame] | 1502 | } |
| 1503 | } |
| 1504 | return pChainCells; |
| 1505 | } |
| 1506 | |
| 1507 | /* Unchain all translation in the cache. */ |
| 1508 | void dvmJitUnchainAll() |
| 1509 | { |
| 1510 | u4* lowAddress = NULL; |
| 1511 | u4* highAddress = NULL; |
| 1512 | unsigned int i; |
| 1513 | if (gDvmJit.pJitEntryTable != NULL) { |
| 1514 | COMPILER_TRACE_CHAINING(LOGD("Jit Runtime: unchaining all")); |
| 1515 | dvmLockMutex(&gDvmJit.tableLock); |
| Bill Buzbee | 2717622 | 2009-06-09 09:20:16 -0700 | [diff] [blame] | 1516 | for (i = 0; i < gDvmJit.jitTableSize; i++) { |
| Bill Buzbee | 46cd5b6 | 2009-06-05 15:36:06 -0700 | [diff] [blame] | 1517 | if (gDvmJit.pJitEntryTable[i].dPC && |
| 1518 | gDvmJit.pJitEntryTable[i].codeAddress) { |
| 1519 | u4* lastAddress; |
| 1520 | lastAddress = |
| 1521 | dvmJitUnchain(gDvmJit.pJitEntryTable[i].codeAddress); |
| 1522 | if (lowAddress == NULL || |
| 1523 | (u4*)gDvmJit.pJitEntryTable[i].codeAddress < lowAddress) |
| 1524 | lowAddress = lastAddress; |
| 1525 | if (lastAddress > highAddress) |
| 1526 | highAddress = lastAddress; |
| 1527 | } |
| 1528 | } |
| 1529 | cacheflush((long)lowAddress, (long)highAddress, 0); |
| 1530 | dvmUnlockMutex(&gDvmJit.tableLock); |
| 1531 | } |
| 1532 | } |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 1533 | |
| 1534 | typedef struct jitProfileAddrToLine { |
| 1535 | u4 lineNum; |
| 1536 | u4 bytecodeOffset; |
| 1537 | } jitProfileAddrToLine; |
| 1538 | |
| 1539 | |
| 1540 | /* Callback function to track the bytecode offset/line number relationiship */ |
| 1541 | static int addrToLineCb (void *cnxt, u4 bytecodeOffset, u4 lineNum) |
| 1542 | { |
| 1543 | jitProfileAddrToLine *addrToLine = (jitProfileAddrToLine *) cnxt; |
| 1544 | |
| 1545 | /* Best match so far for this offset */ |
| 1546 | if (addrToLine->bytecodeOffset >= bytecodeOffset) { |
| 1547 | addrToLine->lineNum = lineNum; |
| 1548 | } |
| 1549 | return 0; |
| 1550 | } |
| 1551 | |
| 1552 | char *getTraceBase(const JitEntry *p) |
| 1553 | { |
| 1554 | return (char*)p->codeAddress - |
| 1555 | (6 + (p->u.info.instructionSet == DALVIK_JIT_ARM ? 0 : 1)); |
| 1556 | } |
| 1557 | |
| 1558 | /* Dumps profile info for a single trace */ |
| 1559 | static int dumpTraceProfile(JitEntry *p) |
| 1560 | { |
| 1561 | ChainCellCounts* pCellCounts; |
| 1562 | char* traceBase; |
| 1563 | u4* pExecutionCount; |
| 1564 | u2* pCellOffset; |
| 1565 | JitTraceDescription *desc; |
| 1566 | const Method* method; |
| 1567 | |
| 1568 | traceBase = getTraceBase(p); |
| 1569 | |
| 1570 | if (p->codeAddress == NULL) { |
| 1571 | LOGD("TRACEPROFILE 0x%08x 0 NULL 0 0", (int)traceBase); |
| 1572 | return 0; |
| 1573 | } |
| 1574 | |
| 1575 | pExecutionCount = (u4*) (traceBase); |
| 1576 | pCellOffset = (u2*) (traceBase + 4); |
| 1577 | pCellCounts = (ChainCellCounts*) ((char *)pCellOffset + *pCellOffset); |
| 1578 | desc = (JitTraceDescription*) ((char*)pCellCounts + sizeof(*pCellCounts)); |
| 1579 | method = desc->method; |
| 1580 | char *methodDesc = dexProtoCopyMethodDescriptor(&method->prototype); |
| 1581 | jitProfileAddrToLine addrToLine = {0, desc->trace[0].frag.startOffset}; |
| 1582 | |
| 1583 | /* |
| 1584 | * We may end up decoding the debug information for the same method |
| 1585 | * multiple times, but the tradeoff is we don't need to allocate extra |
| 1586 | * space to store the addr/line mapping. Since this is a debugging feature |
| 1587 | * and done infrequently so the slower but simpler mechanism should work |
| 1588 | * just fine. |
| 1589 | */ |
| 1590 | dexDecodeDebugInfo(method->clazz->pDvmDex->pDexFile, |
| 1591 | dvmGetMethodCode(method), |
| 1592 | method->clazz->descriptor, |
| 1593 | method->prototype.protoIdx, |
| 1594 | method->accessFlags, |
| 1595 | addrToLineCb, NULL, &addrToLine); |
| 1596 | |
| 1597 | LOGD("TRACEPROFILE 0x%08x % 10d [%#x(+%d), %d] %s%s;%s", |
| 1598 | (int)traceBase, |
| 1599 | *pExecutionCount, |
| 1600 | desc->trace[0].frag.startOffset, |
| 1601 | desc->trace[0].frag.numInsts, |
| 1602 | addrToLine.lineNum, |
| 1603 | method->clazz->descriptor, method->name, methodDesc); |
| 1604 | free(methodDesc); |
| 1605 | |
| 1606 | return *pExecutionCount; |
| 1607 | } |
| 1608 | |
| Ben Cheng | ccd6c01 | 2009-10-15 14:52:45 -0700 | [diff] [blame] | 1609 | /* Create a copy of the trace descriptor of an existing compilation */ |
| 1610 | JitTraceDescription *dvmCopyTraceDescriptor(const u2 *pc) |
| 1611 | { |
| 1612 | JitEntry *jitEntry = dvmFindJitEntry(pc); |
| 1613 | if (jitEntry == NULL) return NULL; |
| 1614 | |
| 1615 | /* Find out the startint point */ |
| 1616 | char *traceBase = getTraceBase(jitEntry); |
| 1617 | |
| 1618 | /* Then find out the starting point of the chaining cell */ |
| 1619 | u2 *pCellOffset = (u2*) (traceBase + 4); |
| 1620 | ChainCellCounts *pCellCounts = |
| 1621 | (ChainCellCounts*) ((char *)pCellOffset + *pCellOffset); |
| 1622 | |
| 1623 | /* From there we can find out the starting point of the trace descriptor */ |
| 1624 | JitTraceDescription *desc = |
| 1625 | (JitTraceDescription*) ((char*)pCellCounts + sizeof(*pCellCounts)); |
| 1626 | |
| 1627 | /* Now make a copy and return */ |
| 1628 | int descSize = jitTraceDescriptionSize(desc); |
| 1629 | JitTraceDescription *newCopy = (JitTraceDescription *) malloc(descSize); |
| 1630 | memcpy(newCopy, desc, descSize); |
| 1631 | return newCopy; |
| 1632 | } |
| 1633 | |
| Bill Buzbee | 716f120 | 2009-07-23 13:22:09 -0700 | [diff] [blame] | 1634 | /* Handy function to retrieve the profile count */ |
| 1635 | static inline int getProfileCount(const JitEntry *entry) |
| 1636 | { |
| 1637 | if (entry->dPC == 0 || entry->codeAddress == 0) |
| 1638 | return 0; |
| 1639 | u4 *pExecutionCount = (u4 *) getTraceBase(entry); |
| 1640 | |
| 1641 | return *pExecutionCount; |
| 1642 | } |
| 1643 | |
| 1644 | |
| 1645 | /* qsort callback function */ |
| 1646 | static int sortTraceProfileCount(const void *entry1, const void *entry2) |
| 1647 | { |
| 1648 | const JitEntry *jitEntry1 = entry1; |
| 1649 | const JitEntry *jitEntry2 = entry2; |
| 1650 | |
| 1651 | int count1 = getProfileCount(jitEntry1); |
| 1652 | int count2 = getProfileCount(jitEntry2); |
| 1653 | return (count1 == count2) ? 0 : ((count1 > count2) ? -1 : 1); |
| 1654 | } |
| 1655 | |
| 1656 | /* Sort the trace profile counts and dump them */ |
| 1657 | void dvmCompilerSortAndPrintTraceProfiles() |
| 1658 | { |
| 1659 | JitEntry *sortedEntries; |
| 1660 | int numTraces = 0; |
| 1661 | unsigned long counts = 0; |
| 1662 | unsigned int i; |
| 1663 | |
| 1664 | /* Make sure that the table is not changing */ |
| 1665 | dvmLockMutex(&gDvmJit.tableLock); |
| 1666 | |
| 1667 | /* Sort the entries by descending order */ |
| 1668 | sortedEntries = malloc(sizeof(JitEntry) * gDvmJit.jitTableSize); |
| 1669 | if (sortedEntries == NULL) |
| 1670 | goto done; |
| 1671 | memcpy(sortedEntries, gDvmJit.pJitEntryTable, |
| 1672 | sizeof(JitEntry) * gDvmJit.jitTableSize); |
| 1673 | qsort(sortedEntries, gDvmJit.jitTableSize, sizeof(JitEntry), |
| 1674 | sortTraceProfileCount); |
| 1675 | |
| 1676 | /* Dump the sorted entries */ |
| 1677 | for (i=0; i < gDvmJit.jitTableSize; i++) { |
| 1678 | if (sortedEntries[i].dPC != 0) { |
| 1679 | counts += dumpTraceProfile(&sortedEntries[i]); |
| 1680 | numTraces++; |
| 1681 | } |
| 1682 | } |
| 1683 | if (numTraces == 0) |
| 1684 | numTraces = 1; |
| 1685 | LOGD("JIT: Average execution count -> %d",(int)(counts / numTraces)); |
| 1686 | |
| 1687 | free(sortedEntries); |
| 1688 | done: |
| 1689 | dvmUnlockMutex(&gDvmJit.tableLock); |
| 1690 | return; |
| 1691 | } |