blob: b3908855ed27d347f01ee3edfbc90894101c6cd7 [file] [log] [blame]
Ben Chengba4fc8b2009-06-01 13:00:29 -07001/*
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 Buzbee89efc3d2009-07-28 11:22:22 -070022#include "ArmLIR.h"
Ben Chengba4fc8b2009-06-01 13:00:29 -070023#include <unistd.h> /* for cacheflush */
24
25/*
Bill Buzbee89efc3d2009-07-28 11:22:22 -070026 * opcode: ArmOpCode enum
Ben Chengba4fc8b2009-06-01 13:00:29 -070027 * skeleton: pre-designated bit-pattern for this opcode
Bill Buzbee9bc3df32009-07-30 10:52:29 -070028 * k0: key to applying ds/de
Ben Chengba4fc8b2009-06-01 13:00:29 -070029 * ds: dest start bit position
30 * de: dest end bit position
Bill Buzbee9bc3df32009-07-30 10:52:29 -070031 * k1: key to applying s1s/s1e
Ben Chengba4fc8b2009-06-01 13:00:29 -070032 * s1s: src1 start bit position
33 * s1e: src1 end bit position
Bill Buzbee9bc3df32009-07-30 10:52:29 -070034 * k2: key to applying s2s/s2e
Ben Chengba4fc8b2009-06-01 13:00:29 -070035 * 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 Buzbee9bc3df32009-07-30 10:52:29 -070041#define ENCODING_MAP(opcode, skeleton, k0, ds, de, k1, s1s, s1e, k2, s2s, s2e, \
Ben Chengdcf3e5d2009-09-11 13:42:05 -070042 k3, k3s, k3e, flags, name, fmt, size) \
Bill Buzbee270c1d62009-08-13 16:58:07 -070043 {skeleton, {{k0, ds, de}, {k1, s1s, s1e}, {k2, s2s, s2e}, \
Ben Chengdcf3e5d2009-09-11 13:42:05 -070044 {k3, k3s, k3e}}, opcode, flags, name, fmt, size}
Ben Chengba4fc8b2009-06-01 13:00:29 -070045
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 Buzbee270c1d62009-08-13 16:58:07 -070054 * 3 -> operands[3] (extra)
Ben Chengba4fc8b2009-06-01 13:00:29 -070055 *
56 * [f]ormats:
57 * h -> 4-digit hex
58 * d -> decimal
Ben Chengba4fc8b2009-06-01 13:00:29 -070059 * 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 Buzbee9727c3d2009-08-01 11:32:36 -070066 * s -> single precision floating point register
67 * S -> double precision floating point register
Bill Buzbee7ea0f642009-08-10 17:06:51 -070068 * m -> Thumb2 modified immediate
Bill Buzbee270c1d62009-08-13 16:58:07 -070069 * n -> complimented Thumb2 modified immediate
Bill Buzbee7ea0f642009-08-10 17:06:51 -070070 * M -> Thumb2 16-bit zero-extended immediate
Bill Buzbeea4a7f072009-08-27 13:58:09 -070071 * b -> 4-digit binary
Ben Chengba4fc8b2009-06-01 13:00:29 -070072 *
73 * [!] escape. To insert "!", use "!!"
74 */
Bill Buzbee89efc3d2009-07-28 11:22:22 -070075/* NOTE: must be kept in sync with enum ArmOpcode from ArmLIR.h */
Bill Buzbee1465db52009-09-23 17:17:35 -070076ArmEncodingMap 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 Chengdcf3e5d2009-09-11 13:42:05 -070083 IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES | USES_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -070084 "adcs", "r!0d, r!1d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -070085 ENCODING_MAP(kThumbAddRRI3, 0x1c00,
86 kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 8, 6,
87 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -070088 IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -070089 "adds", "r!0d, r!1d, #!2d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -070090 ENCODING_MAP(kThumbAddRI8, 0x3000,
91 kFmtBitBlt, 10, 8, kFmtBitBlt, 7, 0, kFmtUnused, -1, -1,
92 kFmtUnused, -1, -1,
Ben Chengd7d426a2009-09-22 11:23:36 -070093 IS_BINARY_OP | REG_DEF0_USE0 | SETS_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -070094 "adds", "r!0d, r!0d, #!1d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -070095 ENCODING_MAP(kThumbAddRRR, 0x1800,
96 kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 8, 6,
97 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -070098 IS_TERTIARY_OP | REG_DEF0_USE12 | SETS_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -070099 "adds", "r!0d, r!1d, r!2d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700100 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 Buzbee270c1d62009-08-13 16:58:07 -0700103 "add", "r!0d, r!1d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700104 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 Buzbee716f1202009-07-23 13:22:09 -0700107 "add", "r!0d, r!1d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700108 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 Buzbee716f1202009-07-23 13:22:09 -0700111 "add", "r!0d, r!1d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700112 ENCODING_MAP(kThumbAddPcRel, 0xa000,
113 kFmtBitBlt, 10, 8, kFmtBitBlt, 7, 0, kFmtUnused, -1, -1,
114 kFmtUnused, -1, -1, IS_TERTIARY_OP | IS_BRANCH,
Bill Buzbee716f1202009-07-23 13:22:09 -0700115 "add", "r!0d, pc, #!1E", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700116 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 Buzbeea4a7f072009-08-27 13:58:09 -0700119 "add", "r!0d, sp, #!2E", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700120 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 Buzbee716f1202009-07-23 13:22:09 -0700123 "add", "sp, #!0d*4", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700124 ENCODING_MAP(kThumbAndRR, 0x4000,
125 kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
126 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700127 IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700128 "ands", "r!0d, r!1d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700129 ENCODING_MAP(kThumbAsrRRI5, 0x1000,
130 kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 10, 6,
131 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700132 IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700133 "asrs", "r!0d, r!1d, #!2d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700134 ENCODING_MAP(kThumbAsrRR, 0x4100,
135 kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
136 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700137 IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700138 "asrs", "r!0d, r!1d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700139 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 Buzbeea4a7f072009-08-27 13:58:09 -0700142 "b!1c", "!0t", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700143 ENCODING_MAP(kThumbBUncond, 0xe000,
144 kFmtBitBlt, 10, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1,
145 kFmtUnused, -1, -1, NO_OPERAND | IS_BRANCH,
Bill Buzbee716f1202009-07-23 13:22:09 -0700146 "b", "!0t", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700147 ENCODING_MAP(kThumbBicRR, 0x4380,
148 kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
149 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700150 IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700151 "bics", "r!0d, r!1d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700152 ENCODING_MAP(kThumbBkpt, 0xbe00,
153 kFmtBitBlt, 7, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1,
154 kFmtUnused, -1, -1, IS_UNARY_OP | IS_BRANCH,
Bill Buzbee716f1202009-07-23 13:22:09 -0700155 "bkpt", "!0d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700156 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 Buzbee716f1202009-07-23 13:22:09 -0700159 "blx_1", "!0u", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700160 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 Buzbee716f1202009-07-23 13:22:09 -0700163 "blx_2", "!0v", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700164 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 Buzbee716f1202009-07-23 13:22:09 -0700167 "bl_1", "!0u", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700168 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 Buzbee716f1202009-07-23 13:22:09 -0700171 "bl_2", "!0v", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700172 ENCODING_MAP(kThumbBlxR, 0x4780,
173 kFmtBitBlt, 6, 3, kFmtUnused, -1, -1, kFmtUnused, -1, -1,
174 kFmtUnused, -1, -1,
Ben Chengd7d426a2009-09-22 11:23:36 -0700175 IS_UNARY_OP | REG_USE0 | IS_BRANCH | REG_DEF_LR,
Bill Buzbee716f1202009-07-23 13:22:09 -0700176 "blx", "r!0d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700177 ENCODING_MAP(kThumbBx, 0x4700,
178 kFmtBitBlt, 6, 3, kFmtUnused, -1, -1, kFmtUnused, -1, -1,
179 kFmtUnused, -1, -1, IS_UNARY_OP | IS_BRANCH,
Bill Buzbee716f1202009-07-23 13:22:09 -0700180 "bx", "r!0d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700181 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 Buzbee716f1202009-07-23 13:22:09 -0700184 "cmn", "r!0d, r!1d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700185 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 Buzbee716f1202009-07-23 13:22:09 -0700188 "cmp", "r!0d, #!1d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700189 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 Buzbee716f1202009-07-23 13:22:09 -0700192 "cmp", "r!0d, r!1d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700193 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 Chengd7d426a2009-09-22 11:23:36 -0700196 "cmp", "r!0d, r!1d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700197 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 Chengd7d426a2009-09-22 11:23:36 -0700200 "cmp", "r!0d, r!1d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700201 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 Chengd7d426a2009-09-22 11:23:36 -0700204 "cmp", "r!0d, r!1d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700205 ENCODING_MAP(kThumbEorRR, 0x4040,
206 kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
207 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700208 IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700209 "eors", "r!0d, r!1d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700210 ENCODING_MAP(kThumbLdmia, 0xc800,
211 kFmtBitBlt, 10, 8, kFmtBitBlt, 7, 0, kFmtUnused, -1, -1,
212 kFmtUnused, -1, -1,
Ben Chengd7d426a2009-09-22 11:23:36 -0700213 IS_BINARY_OP | REG_DEF0_USE0 | REG_DEF_LIST1,
Bill Buzbee716f1202009-07-23 13:22:09 -0700214 "ldmia", "r!0d!!, <!1R>", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700215 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 Buzbee716f1202009-07-23 13:22:09 -0700218 "ldr", "r!0d, [r!1d, #!2E]", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700219 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 Buzbee716f1202009-07-23 13:22:09 -0700222 "ldr", "r!0d, [r!1d, r!2d]", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700223 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 Buzbee716f1202009-07-23 13:22:09 -0700226 "ldr", "r!0d, [pc, #!1E]", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700227 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 Buzbeea4a7f072009-08-27 13:58:09 -0700230 "ldr", "r!0d, [sp, #!2E]", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700231 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 Buzbee716f1202009-07-23 13:22:09 -0700234 "ldrb", "r!0d, [r!1d, #2d]", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700235 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 Buzbee716f1202009-07-23 13:22:09 -0700238 "ldrb", "r!0d, [r!1d, r!2d]", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700239 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 Buzbee716f1202009-07-23 13:22:09 -0700242 "ldrh", "r!0d, [r!1d, #!2F]", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700243 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 Buzbee716f1202009-07-23 13:22:09 -0700246 "ldrh", "r!0d, [r!1d, r!2d]", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700247 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 Buzbee716f1202009-07-23 13:22:09 -0700250 "ldrsb", "r!0d, [r!1d, r!2d]", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700251 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 Buzbee716f1202009-07-23 13:22:09 -0700254 "ldrsh", "r!0d, [r!1d, r!2d]", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700255 ENCODING_MAP(kThumbLslRRI5, 0x0000,
256 kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 10, 6,
257 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700258 IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700259 "lsls", "r!0d, r!1d, #!2d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700260 ENCODING_MAP(kThumbLslRR, 0x4080,
261 kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
262 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700263 IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700264 "lsls", "r!0d, r!1d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700265 ENCODING_MAP(kThumbLsrRRI5, 0x0800,
266 kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 10, 6,
267 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700268 IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700269 "lsrs", "r!0d, r!1d, #!2d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700270 ENCODING_MAP(kThumbLsrRR, 0x40c0,
271 kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
272 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700273 IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700274 "lsrs", "r!0d, r!1d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700275 ENCODING_MAP(kThumbMovImm, 0x2000,
276 kFmtBitBlt, 10, 8, kFmtBitBlt, 7, 0, kFmtUnused, -1, -1,
277 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700278 IS_BINARY_OP | REG_DEF0 | SETS_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700279 "movs", "r!0d, #!1d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700280 ENCODING_MAP(kThumbMovRR, 0x1c00,
281 kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
282 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700283 IS_BINARY_OP | REG_DEF0_USE1 | SETS_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700284 "movs", "r!0d, r!1d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700285 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 Chengd7d426a2009-09-22 11:23:36 -0700288 "mov", "r!0d, r!1d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700289 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 Chengd7d426a2009-09-22 11:23:36 -0700292 "mov", "r!0d, r!1d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700293 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 Chengd7d426a2009-09-22 11:23:36 -0700296 "mov", "r!0d, r!1d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700297 ENCODING_MAP(kThumbMul, 0x4340,
298 kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
299 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700300 IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700301 "muls", "r!0d, r!1d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700302 ENCODING_MAP(kThumbMvn, 0x43c0,
303 kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
304 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700305 IS_BINARY_OP | REG_DEF0_USE1 | SETS_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700306 "mvns", "r!0d, r!1d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700307 ENCODING_MAP(kThumbNeg, 0x4240,
308 kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
309 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700310 IS_BINARY_OP | REG_DEF0_USE1 | SETS_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700311 "negs", "r!0d, r!1d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700312 ENCODING_MAP(kThumbOrr, 0x4300,
313 kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
314 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700315 IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700316 "orrs", "r!0d, r!1d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700317 ENCODING_MAP(kThumbPop, 0xbc00,
318 kFmtBitBlt, 8, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1,
319 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700320 IS_UNARY_OP | REG_DEF_SP | REG_USE_SP | REG_DEF_LIST0,
Bill Buzbee716f1202009-07-23 13:22:09 -0700321 "pop", "<!0R>", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700322 ENCODING_MAP(kThumbPush, 0xb400,
323 kFmtBitBlt, 8, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1,
324 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700325 IS_UNARY_OP | REG_DEF_SP | REG_USE_SP | REG_USE_LIST0,
Bill Buzbee716f1202009-07-23 13:22:09 -0700326 "push", "<!0R>", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700327 ENCODING_MAP(kThumbRorRR, 0x41c0,
328 kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
329 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700330 IS_BINARY_OP | REG_DEF0_USE01 | SETS_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700331 "rors", "r!0d, r!1d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700332 ENCODING_MAP(kThumbSbc, 0x4180,
333 kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtUnused, -1, -1,
334 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700335 IS_BINARY_OP | REG_DEF0_USE01 | USES_CCODES | SETS_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700336 "sbcs", "r!0d, r!1d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700337 ENCODING_MAP(kThumbStmia, 0xc000,
338 kFmtBitBlt, 10, 8, kFmtBitBlt, 7, 0, kFmtUnused, -1, -1,
339 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700340 IS_BINARY_OP | REG_DEF0 | REG_USE0 | REG_USE_LIST1,
Bill Buzbee716f1202009-07-23 13:22:09 -0700341 "stmia", "r!0d!!, <!1R>", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700342 ENCODING_MAP(kThumbStrRRI5, 0x6000,
343 kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 10, 6,
344 kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE01,
Bill Buzbee716f1202009-07-23 13:22:09 -0700345 "str", "r!0d, [r!1d, #!2E]", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700346 ENCODING_MAP(kThumbStrRRR, 0x5000,
347 kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 8, 6,
348 kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE012,
Bill Buzbee716f1202009-07-23 13:22:09 -0700349 "str", "r!0d, [r!1d, r!2d]", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700350 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 Buzbeea4a7f072009-08-27 13:58:09 -0700353 "str", "r!0d, [sp, #!2E]", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700354 ENCODING_MAP(kThumbStrbRRI5, 0x7000,
355 kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 10, 6,
356 kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE01,
Bill Buzbee716f1202009-07-23 13:22:09 -0700357 "strb", "r!0d, [r!1d, #!2d]", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700358 ENCODING_MAP(kThumbStrbRRR, 0x5400,
359 kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 8, 6,
360 kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE012,
Bill Buzbee716f1202009-07-23 13:22:09 -0700361 "strb", "r!0d, [r!1d, r!2d]", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700362 ENCODING_MAP(kThumbStrhRRI5, 0x8000,
363 kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 10, 6,
364 kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE01,
Bill Buzbee716f1202009-07-23 13:22:09 -0700365 "strh", "r!0d, [r!1d, #!2F]", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700366 ENCODING_MAP(kThumbStrhRRR, 0x5200,
367 kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 8, 6,
368 kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE012,
Bill Buzbee716f1202009-07-23 13:22:09 -0700369 "strh", "r!0d, [r!1d, r!2d]", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700370 ENCODING_MAP(kThumbSubRRI3, 0x1e00,
371 kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 8, 6,
372 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700373 IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700374 "subs", "r!0d, r!1d, #!2d]", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700375 ENCODING_MAP(kThumbSubRI8, 0x3800,
376 kFmtBitBlt, 10, 8, kFmtBitBlt, 7, 0, kFmtUnused, -1, -1,
377 kFmtUnused, -1, -1,
Ben Chengd7d426a2009-09-22 11:23:36 -0700378 IS_BINARY_OP | REG_DEF0_USE0 | SETS_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700379 "subs", "r!0d, #!1d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700380 ENCODING_MAP(kThumbSubRRR, 0x1a00,
381 kFmtBitBlt, 2, 0, kFmtBitBlt, 5, 3, kFmtBitBlt, 8, 6,
382 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700383 IS_TERTIARY_OP | REG_DEF0_USE12 | SETS_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700384 "subs", "r!0d, r!1d, r!2d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700385 ENCODING_MAP(kThumbSubSpI7, 0xb080,
386 kFmtBitBlt, 6, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1,
387 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700388 IS_UNARY_OP | REG_DEF_SP | REG_USE_SP,
Bill Buzbee716f1202009-07-23 13:22:09 -0700389 "sub", "sp, #!0d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700390 ENCODING_MAP(kThumbSwi, 0xdf00,
391 kFmtBitBlt, 7, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1, kFmtUnused, -1, -1, IS_UNARY_OP | IS_BRANCH,
Bill Buzbee716f1202009-07-23 13:22:09 -0700392 "swi", "!0d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700393 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 Buzbee716f1202009-07-23 13:22:09 -0700396 "tst", "r!0d, r!1d", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700397 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 Buzbee9727c3d2009-08-01 11:32:36 -0700400 "vldr", "!0s, [r!1d, #!2E]", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700401 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 Buzbee9727c3d2009-08-01 11:32:36 -0700404 "vldr", "!0S, [r!1d, #!2E]", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700405 ENCODING_MAP(kThumb2Vmuls, 0xee200a00,
406 kFmtSfp, 22, 12, kFmtSfp, 7, 16, kFmtSfp, 5, 0,
407 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700408 IS_TERTIARY_OP | REG_DEF0_USE12,
Bill Buzbee9727c3d2009-08-01 11:32:36 -0700409 "vmuls", "!0s, !1s, !2s", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700410 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 Buzbee9727c3d2009-08-01 11:32:36 -0700413 "vmuld", "!0S, !1S, !2S", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700414 ENCODING_MAP(kThumb2Vstrs, 0xed800a00,
415 kFmtSfp, 22, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 7, 0,
416 kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE01,
Bill Buzbee9727c3d2009-08-01 11:32:36 -0700417 "vstr", "!0s, [r!1d, #!2E]", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700418 ENCODING_MAP(kThumb2Vstrd, 0xed800b00,
419 kFmtDfp, 22, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 7, 0,
420 kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE01,
Bill Buzbee9727c3d2009-08-01 11:32:36 -0700421 "vstr", "!0S, [r!1d, #!2E]", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700422 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 Buzbee9727c3d2009-08-01 11:32:36 -0700425 "vsub", "!0s, !1s, !2s", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700426 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 Buzbee9727c3d2009-08-01 11:32:36 -0700429 "vsub", "!0S, !1S, !2S", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700430 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 Buzbee9727c3d2009-08-01 11:32:36 -0700433 "vadd", "!0s, !1s, !2s", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700434 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 Buzbee9727c3d2009-08-01 11:32:36 -0700437 "vadd", "!0S, !1S, !2S", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700438 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 Buzbee9727c3d2009-08-01 11:32:36 -0700441 "vdivs", "!0s, !1s, !2s", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700442 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 Buzbee7fb2edd2009-08-31 10:25:55 -0700445 "vdivd", "!0S, !1S, !2S", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700446 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 Buzbee9727c3d2009-08-01 11:32:36 -0700449 "vcvt.f32", "!0s, !1s", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700450 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 Buzbee9727c3d2009-08-01 11:32:36 -0700453 "vcvt.f64", "!0S, !1s", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700454 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 Buzbee9727c3d2009-08-01 11:32:36 -0700457 "vcvt.s32.f32 ", "!0s, !1s", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700458 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 Buzbee9727c3d2009-08-01 11:32:36 -0700461 "vcvt.s32.f64 ", "!0s, !1S", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700462 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 Buzbee9727c3d2009-08-01 11:32:36 -0700465 "vcvt.f64.f32 ", "!0S, !1s", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700466 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 Buzbee9727c3d2009-08-01 11:32:36 -0700469 "vcvt.f32.f64 ", "!0s, !1S", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700470 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 Buzbee9727c3d2009-08-01 11:32:36 -0700473 "vsqrt.f32 ", "!0s, !1s", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700474 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 Buzbee9727c3d2009-08-01 11:32:36 -0700477 "vsqrt.f64 ", "!0S, !1S", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700478 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 Buzbee7ea0f642009-08-10 17:06:51 -0700481 "mov", "r!0d, #!1m", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700482 ENCODING_MAP(kThumb2MovImm16, 0xf2400000,
483 kFmtBitBlt, 11, 8, kFmtImm16, -1, -1, kFmtUnused, -1, -1,
484 kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0,
Bill Buzbee7ea0f642009-08-10 17:06:51 -0700485 "mov", "r!0d, #!1M", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700486 ENCODING_MAP(kThumb2StrRRI12, 0xf8c00000,
487 kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 11, 0,
488 kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE01,
Bill Buzbee7ea0f642009-08-10 17:06:51 -0700489 "str", "r!0d,[r!1d, #!2d", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700490 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 Buzbee7ea0f642009-08-10 17:06:51 -0700493 "ldr", "r!0d,[r!1d, #!2d", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700494 ENCODING_MAP(kThumb2StrRRI8Predec, 0xf8400c00,
495 kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 8, 0,
496 kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE01,
Bill Buzbee7ea0f642009-08-10 17:06:51 -0700497 "str", "r!0d,[r!1d, #-!2d]", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700498 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 Buzbee7ea0f642009-08-10 17:06:51 -0700501 "ldr", "r!0d,[r!1d, #-!2d]", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700502 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 Buzbee7ea0f642009-08-10 17:06:51 -0700505 "cbnz", "r!0d,!1t", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700506 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 Buzbee7ea0f642009-08-10 17:06:51 -0700509 "cbz", "r!0d,!1t", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700510 ENCODING_MAP(kThumb2AddRRI12, 0xf2000000,
511 kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtImm12, -1, -1,
512 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700513 IS_TERTIARY_OP | REG_DEF0_USE1,/* Note: doesn't affect flags */
Bill Buzbee7ea0f642009-08-10 17:06:51 -0700514 "add", "r!0d,r!1d,#!2d", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700515 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 Buzbee7ea0f642009-08-10 17:06:51 -0700518 "mov", "r!0d, r!1d", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700519 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 Buzbee7fb2edd2009-08-31 10:25:55 -0700522 "vmov.f32 ", " !0s, !1s", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700523 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 Buzbee7fb2edd2009-08-31 10:25:55 -0700526 "vmov.f64 ", " !0S, !1S", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700527 ENCODING_MAP(kThumb2Ldmia, 0xe8900000,
528 kFmtBitBlt, 19, 16, kFmtBitBlt, 15, 0, kFmtUnused, -1, -1,
529 kFmtUnused, -1, -1,
Ben Chengd7d426a2009-09-22 11:23:36 -0700530 IS_BINARY_OP | REG_DEF0_USE0 | REG_DEF_LIST1,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700531 "ldmia", "r!0d!!, <!1R>", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700532 ENCODING_MAP(kThumb2Stmia, 0xe8800000,
533 kFmtBitBlt, 19, 16, kFmtBitBlt, 15, 0, kFmtUnused, -1, -1,
534 kFmtUnused, -1, -1,
Ben Chengd7d426a2009-09-22 11:23:36 -0700535 IS_BINARY_OP | REG_DEF0_USE0 | REG_USE_LIST1,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700536 "stmia", "r!0d!!, <!1R>", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700537 ENCODING_MAP(kThumb2AddRRR, 0xeb100000, /* setflags encoding */
538 kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0,
539 kFmtShift, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700540 IS_QUAD_OP | REG_DEF0_USE12 | SETS_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700541 "adds", "r!0d, r!1d, r!2d", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700542 ENCODING_MAP(kThumb2SubRRR, 0xebb00000, /* setflags enconding */
543 kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0,
544 kFmtShift, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700545 IS_QUAD_OP | REG_DEF0_USE12 | SETS_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700546 "subs", "r!0d, r!1d, r!2d", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700547 ENCODING_MAP(kThumb2SbcRRR, 0xeb700000, /* setflags encoding */
548 kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0,
549 kFmtShift, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700550 IS_QUAD_OP | REG_DEF0_USE12 | USES_CCODES | SETS_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700551 "sbcs", "r!0d, r!1d, r!2d", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700552 ENCODING_MAP(kThumb2CmpRR, 0xebb00f00,
553 kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0, kFmtShift, -1, -1,
554 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700555 IS_TERTIARY_OP | REG_USE01 | SETS_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700556 "cmp", "r!0d, r!1d", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700557 ENCODING_MAP(kThumb2SubRRI12, 0xf2a00000,
558 kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtImm12, -1, -1,
559 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700560 IS_TERTIARY_OP | REG_DEF0_USE1,/* Note: doesn't affect flags */
Bill Buzbee270c1d62009-08-13 16:58:07 -0700561 "sub", "r!0d,r!1d,#!2d", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700562 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 Buzbee270c1d62009-08-13 16:58:07 -0700565 "mvn", "r!0d, #!1n", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700566 ENCODING_MAP(kThumb2Sel, 0xfaa0f080,
567 kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0,
568 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700569 IS_TERTIARY_OP | REG_DEF0_USE12 | USES_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700570 "sel", "r!0d, r!1d, r!2d", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700571 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 Buzbee270c1d62009-08-13 16:58:07 -0700574 "ubfx", "r!0d, r!1d, #!2d, #!3d", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700575 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 Buzbee270c1d62009-08-13 16:58:07 -0700578 "sbfx", "r!0d, r!1d, #!2d, #!3d", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700579 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 Buzbee270c1d62009-08-13 16:58:07 -0700582 "ldr", "r!0d,[r!1d, r!2d, LSL #!3d]", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700583 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 Buzbee270c1d62009-08-13 16:58:07 -0700586 "ldrh", "r!0d,[r!1d, r!2d, LSL #!3d]", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700587 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 Buzbee270c1d62009-08-13 16:58:07 -0700590 "ldrsh", "r!0d,[r!1d, r!2d, LSL #!3d]", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700591 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 Buzbee270c1d62009-08-13 16:58:07 -0700594 "ldrb", "r!0d,[r!1d, r!2d, LSL #!3d]", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700595 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 Buzbee270c1d62009-08-13 16:58:07 -0700598 "ldrsb", "r!0d,[r!1d, r!2d, LSL #!3d]", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700599 ENCODING_MAP(kThumb2StrRRR, 0xf8400000,
600 kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0,
601 kFmtBitBlt, 5, 4, IS_QUAD_OP | REG_USE012,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700602 "str", "r!0d,[r!1d, r!2d, LSL #!3d]", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700603 ENCODING_MAP(kThumb2StrhRRR, 0xf8200000,
604 kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0,
605 kFmtBitBlt, 5, 4, IS_QUAD_OP | REG_USE012,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700606 "strh", "r!0d,[r!1d, r!2d, LSL #!3d]", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700607 ENCODING_MAP(kThumb2StrbRRR, 0xf8000000,
608 kFmtBitBlt, 15, 12, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0,
609 kFmtBitBlt, 5, 4, IS_QUAD_OP | REG_USE012,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700610 "strb", "r!0d,[r!1d, r!2d, LSL #!3d]", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700611 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 Chengdcf3e5d2009-09-11 13:42:05 -0700638 IS_UNARY_OP | REG_DEF_SP | REG_USE_SP | REG_DEF_LIST0,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700639 "pop", "<!0R>", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700640 ENCODING_MAP(kThumb2Push, 0xe8ad0000,
641 kFmtBitBlt, 15, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1,
642 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700643 IS_UNARY_OP | REG_DEF_SP | REG_USE_SP | REG_USE_LIST0,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700644 "push", "<!0R>", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700645 ENCODING_MAP(kThumb2CmpRI8, 0xf1b00f00,
646 kFmtBitBlt, 19, 16, kFmtModImm, -1, -1, kFmtUnused, -1, -1,
647 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700648 IS_BINARY_OP | REG_USE0 | SETS_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700649 "cmp", "r!0d, #!1m", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700650 ENCODING_MAP(kThumb2AdcRRR, 0xeb500000, /* setflags encoding */
651 kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0,
652 kFmtShift, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700653 IS_QUAD_OP | REG_DEF0_USE12 | SETS_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700654 "acds", "r!0d, r!1d, r!2d, shift !3d", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700655 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 Buzbee270c1d62009-08-13 16:58:07 -0700658 "and", "r!0d, r!1d, r!2d, shift !3d", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700659 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 Buzbee270c1d62009-08-13 16:58:07 -0700662 "bic", "r!0d, r!1d, r!2d, shift !3d", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700663 ENCODING_MAP(kThumb2CmnRR, 0xeb000000,
664 kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0, kFmtShift, -1, -1,
665 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700666 IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700667 "cmn", "r!0d, r!1d, shift !2d", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700668 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 Buzbee270c1d62009-08-13 16:58:07 -0700671 "eor", "r!0d, r!1d, r!2d, shift !3d", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700672 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 Buzbee270c1d62009-08-13 16:58:07 -0700675 "mul", "r!0d, r!1d, r!2d", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700676 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 Buzbee270c1d62009-08-13 16:58:07 -0700679 "mvn", "r!0d, r!1d, shift !2d", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700680 ENCODING_MAP(kThumb2RsubRRI8, 0xf1d00000,
681 kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtModImm, -1, -1,
682 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700683 IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700684 "rsb", "r!0d,r!1d,#!2m", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700685 ENCODING_MAP(kThumb2NegRR, 0xf1d00000, /* instance of rsub */
686 kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtUnused, -1, -1,
687 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700688 IS_BINARY_OP | REG_DEF0_USE1 | SETS_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700689 "neg", "r!0d,r!1d", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700690 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 Buzbee270c1d62009-08-13 16:58:07 -0700693 "orr", "r!0d, r!1d, r!2d, shift !3d", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700694 ENCODING_MAP(kThumb2TstRR, 0xea100f00,
695 kFmtBitBlt, 19, 16, kFmtBitBlt, 3, 0, kFmtShift, -1, -1,
696 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700697 IS_TERTIARY_OP | REG_USE01 | SETS_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700698 "tst", "r!0d, r!1d, shift !2d", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700699 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 Buzbee270c1d62009-08-13 16:58:07 -0700702 "lsl", "r!0d, r!1d, r!2d", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700703 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 Buzbee270c1d62009-08-13 16:58:07 -0700706 "lsr", "r!0d, r!1d, r!2d", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700707 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 Buzbee270c1d62009-08-13 16:58:07 -0700710 "asr", "r!0d, r!1d, r!2d", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700711 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 Buzbee270c1d62009-08-13 16:58:07 -0700714 "ror", "r!0d, r!1d, r!2d", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700715 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 Buzbee270c1d62009-08-13 16:58:07 -0700718 "lsl", "r!0d, r!1d, #!2d", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700719 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 Buzbee270c1d62009-08-13 16:58:07 -0700722 "lsr", "r!0d, r!1d, #!2d", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700723 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 Buzbee270c1d62009-08-13 16:58:07 -0700726 "asr", "r!0d, r!1d, #!2d", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700727 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 Buzbee270c1d62009-08-13 16:58:07 -0700730 "ror", "r!0d, r!1d, #!2d", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700731 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 Buzbee270c1d62009-08-13 16:58:07 -0700734 "bic", "r!0d, r!1d, #!2m", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700735 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 Buzbee270c1d62009-08-13 16:58:07 -0700738 "and", "r!0d, r!1d, #!2m", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700739 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 Buzbee270c1d62009-08-13 16:58:07 -0700742 "orr", "r!0d, r!1d, #!2m", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700743 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 Buzbee270c1d62009-08-13 16:58:07 -0700746 "eor", "r!0d, r!1d, #!2m", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700747 ENCODING_MAP(kThumb2AddRRI8, 0xf1100000,
748 kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtModImm, -1, -1,
749 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700750 IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700751 "adds", "r!0d, r!1d, #!2m", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700752 ENCODING_MAP(kThumb2AdcRRI8, 0xf1500000,
753 kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtModImm, -1, -1,
754 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700755 IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES | USES_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700756 "adcs", "r!0d, r!1d, #!2m", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700757 ENCODING_MAP(kThumb2SubRRI8, 0xf1b00000,
758 kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtModImm, -1, -1,
759 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700760 IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700761 "subs", "r!0d, r!1d, #!2m", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700762 ENCODING_MAP(kThumb2SbcRRI8, 0xf1700000,
763 kFmtBitBlt, 11, 8, kFmtBitBlt, 19, 16, kFmtModImm, -1, -1,
764 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700765 IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES | USES_CCODES,
Bill Buzbee270c1d62009-08-13 16:58:07 -0700766 "sbcs", "r!0d, r!1d, #!2m", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700767 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 Buzbeea4a7f072009-08-27 13:58:09 -0700770 "it:!1b", "!0c", 1),
Bill Buzbee1465db52009-09-23 17:17:35 -0700771 ENCODING_MAP(kThumb2Fmstat, 0xeef1fa10,
772 kFmtUnused, -1, -1, kFmtUnused, -1, -1, kFmtUnused, -1, -1,
773 kFmtUnused, -1, -1, NO_OPERAND | SETS_CCODES,
Bill Buzbeea4a7f072009-08-27 13:58:09 -0700774 "fmstat", "", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700775 ENCODING_MAP(kThumb2Vcmpd, 0xeeb40b40,
776 kFmtDfp, 22, 12, kFmtDfp, 5, 0, kFmtUnused, -1, -1,
777 kFmtUnused, -1, -1, IS_BINARY_OP | REG_USE01,
Bill Buzbee7fb2edd2009-08-31 10:25:55 -0700778 "vcmp.f64", "!0S, !1S", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700779 ENCODING_MAP(kThumb2Vcmps, 0xeeb40a40,
780 kFmtSfp, 22, 12, kFmtSfp, 5, 0, kFmtUnused, -1, -1,
781 kFmtUnused, -1, -1, IS_BINARY_OP | REG_USE01,
Bill Buzbee7fb2edd2009-08-31 10:25:55 -0700782 "vcmp.f32", "!0s, !1s", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700783 ENCODING_MAP(kThumb2LdrPcRel12, 0xf8df0000,
784 kFmtBitBlt, 15, 12, kFmtBitBlt, 11, 0, kFmtUnused, -1, -1,
785 kFmtUnused, -1, -1,
Ben Chengdcf3e5d2009-09-11 13:42:05 -0700786 IS_TERTIARY_OP | REG_DEF0 | REG_USE_PC,
Bill Buzbee1465db52009-09-23 17:17:35 -0700787 "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 Buzbeea4a7f072009-08-27 13:58:09 -0700791 IS_BINARY_OP | IS_BRANCH | USES_CCODES,
792 "b!1c", "!0t", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700793 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 Buzbee7fb2edd2009-08-31 10:25:55 -0700796 "vmov.f64", "!0S, !1S", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700797 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 Buzbee7fb2edd2009-08-31 10:25:55 -0700804 "fmrs", "r!0d, !1s", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700805 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 Buzbee7fb2edd2009-08-31 10:25:55 -0700808 "fmsr", "!0s, r!1d", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700809 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 Buzbee7fb2edd2009-08-31 10:25:55 -0700812 "fmrrd", "r!0d, r!1d, !2S", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700813 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 Buzbee7fb2edd2009-08-31 10:25:55 -0700816 "fmdrr", "!0S, r!1d, r!2d", 2),
Bill Buzbee1465db52009-09-23 17:17:35 -0700817 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 Chengba4fc8b2009-06-01 13:00:29 -0700862};
863
Ben Cheng6d576092009-09-01 17:01:58 -0700864/*
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 Chengba4fc8b2009-06-01 13:00:29 -0700870
871/* Write the numbers in the literal pool to the codegen stream */
Bill Buzbee46cd5b62009-06-05 15:36:06 -0700872static void installDataContent(CompilationUnit *cUnit)
Ben Chengba4fc8b2009-06-01 13:00:29 -0700873{
Ben Chenge80cd942009-07-17 15:54:23 -0700874 int *dataPtr = (int *) ((char *) cUnit->baseAddr + cUnit->dataOffset);
Bill Buzbee89efc3d2009-07-28 11:22:22 -0700875 ArmLIR *dataLIR = (ArmLIR *) cUnit->wordList;
Ben Chengba4fc8b2009-06-01 13:00:29 -0700876 while (dataLIR) {
877 *dataPtr++ = dataLIR->operands[0];
878 dataLIR = NEXT_LIR(dataLIR);
879 }
880}
881
Bill Buzbee46cd5b62009-06-05 15:36:06 -0700882/* Returns the size of a Jit trace description */
883static 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 Chengba4fc8b2009-06-01 13:00:29 -0700893/* Return TRUE if error happens */
894static bool assembleInstructions(CompilationUnit *cUnit, intptr_t startAddr)
895{
896 short *bufferAddr = (short *) cUnit->codeBuffer;
Bill Buzbee89efc3d2009-07-28 11:22:22 -0700897 ArmLIR *lir;
Ben Chengba4fc8b2009-06-01 13:00:29 -0700898
Bill Buzbee89efc3d2009-07-28 11:22:22 -0700899 for (lir = (ArmLIR *) cUnit->firstLIRInsn; lir; lir = NEXT_LIR(lir)) {
Ben Chengba4fc8b2009-06-01 13:00:29 -0700900 if (lir->opCode < 0) {
Bill Buzbee1465db52009-09-23 17:17:35 -0700901 if ((lir->opCode == kArmPseudoPseudoAlign4) &&
Ben Cheng1efc9c52009-06-08 18:25:27 -0700902 /* 1 means padding is needed */
903 (lir->operands[0] == 1)) {
Ben Cheng6d576092009-09-01 17:01:58 -0700904 *bufferAddr++ = PADDING_MOV_R5_R5;
Ben Chengba4fc8b2009-06-01 13:00:29 -0700905 }
906 continue;
907 }
908
Ben Chenge9695e52009-06-16 16:11:47 -0700909 if (lir->isNop) {
910 continue;
911 }
912
Bill Buzbee1465db52009-09-23 17:17:35 -0700913 if (lir->opCode == kThumbLdrPcRel ||
914 lir->opCode == kThumb2LdrPcRel12 ||
915 lir->opCode == kThumbAddPcRel ||
916 ((lir->opCode == kThumb2Vldrs) && (lir->operands[1] == rpc))) {
Bill Buzbee89efc3d2009-07-28 11:22:22 -0700917 ArmLIR *lirTarget = (ArmLIR *) lir->generic.target;
Ben Chengba4fc8b2009-06-01 13:00:29 -0700918 intptr_t pc = (lir->generic.offset + 4) & ~3;
Ben Cheng38329f52009-07-07 14:19:20 -0700919 /*
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 Chengba4fc8b2009-06-01 13:00:29 -0700925 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 Buzbee1465db52009-09-23 17:17:35 -0700930 if ((lir->opCode == kThumb2LdrPcRel12) && (delta > 4091)) {
Bill Buzbeea4a7f072009-08-27 13:58:09 -0700931 return true;
932 } else if (delta > 1020) {
Ben Cheng1efc9c52009-06-08 18:25:27 -0700933 return true;
934 }
Bill Buzbee1465db52009-09-23 17:17:35 -0700935 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 Buzbee7ea0f642009-08-10 17:06:51 -0700942 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 Buzbeea4a7f072009-08-27 13:58:09 -0700947 /*
Bill Buzbee7fb2edd2009-08-31 10:25:55 -0700948 * TODO: allow multiple kinds of assembler failure to allow
949 * change of code patterns when things don't fit.
Bill Buzbeea4a7f072009-08-27 13:58:09 -0700950 */
Bill Buzbee7ea0f642009-08-10 17:06:51 -0700951 return true;
Bill Buzbeea4a7f072009-08-27 13:58:09 -0700952 } else {
953 lir->operands[1] = delta >> 1;
Bill Buzbee7ea0f642009-08-10 17:06:51 -0700954 }
Bill Buzbee1465db52009-09-23 17:17:35 -0700955 } else if (lir->opCode == kThumbBCond ||
956 lir->opCode == kThumb2BCond) {
Bill Buzbee89efc3d2009-07-28 11:22:22 -0700957 ArmLIR *targetLIR = (ArmLIR *) lir->generic.target;
Ben Chengba4fc8b2009-06-01 13:00:29 -0700958 intptr_t pc = lir->generic.offset + 4;
959 intptr_t target = targetLIR->generic.offset;
960 int delta = target - pc;
Bill Buzbee1465db52009-09-23 17:17:35 -0700961 if ((lir->opCode == kThumbBCond) && (delta > 254 || delta < -256)) {
Ben Cheng1efc9c52009-06-08 18:25:27 -0700962 return true;
Ben Chengba4fc8b2009-06-01 13:00:29 -0700963 }
964 lir->operands[0] = delta >> 1;
Bill Buzbee1465db52009-09-23 17:17:35 -0700965 } else if (lir->opCode == kThumbBUncond) {
Bill Buzbee89efc3d2009-07-28 11:22:22 -0700966 ArmLIR *targetLIR = (ArmLIR *) lir->generic.target;
Ben Chengba4fc8b2009-06-01 13:00:29 -0700967 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 Buzbee1465db52009-09-23 17:17:35 -0700975 } else if (lir->opCode == kThumbBlx1) {
976 assert(NEXT_LIR(lir)->opCode == kThumbBlx2);
Ben Chengba4fc8b2009-06-01 13:00:29 -0700977 /* 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 Buzbee89efc3d2009-07-28 11:22:22 -0700992 ArmEncodingMap *encoder = &EncodingMap[lir->opCode];
Bill Buzbee9bc3df32009-07-30 10:52:29 -0700993 u4 bits = encoder->skeleton;
Ben Chengba4fc8b2009-06-01 13:00:29 -0700994 int i;
Bill Buzbee270c1d62009-08-13 16:58:07 -0700995 for (i = 0; i < 4; i++) {
Bill Buzbeea4a7f072009-08-27 13:58:09 -0700996 u4 operand;
Bill Buzbee9bc3df32009-07-30 10:52:29 -0700997 u4 value;
Bill Buzbeea4a7f072009-08-27 13:58:09 -0700998 operand = lir->operands[i];
Bill Buzbee9bc3df32009-07-30 10:52:29 -0700999 switch(encoder->fieldLoc[i].kind) {
Bill Buzbee1465db52009-09-23 17:17:35 -07001000 case kFmtUnused:
Bill Buzbee9bc3df32009-07-30 10:52:29 -07001001 break;
Bill Buzbee1465db52009-09-23 17:17:35 -07001002 case kFmtFPImm:
1003 value = ((operand & 0xF0) >> 4) << encoder->fieldLoc[i].end;
1004 value |= (operand & 0x0F) << encoder->fieldLoc[i].start;
1005 bits |= value;
Bill Buzbeea4a7f072009-08-27 13:58:09 -07001006 break;
Bill Buzbee1465db52009-09-23 17:17:35 -07001007 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 Buzbeea4a7f072009-08-27 13:58:09 -07001022 value = ((operand & 0x1c) >> 2) << 12;
1023 value |= (operand & 0x03) << 6;
Bill Buzbee270c1d62009-08-13 16:58:07 -07001024 bits |= value;
1025 break;
Bill Buzbee1465db52009-09-23 17:17:35 -07001026 case kFmtShift:
Bill Buzbeea4a7f072009-08-27 13:58:09 -07001027 value = ((operand & 0x70) >> 4) << 12;
1028 value |= (operand & 0x0f) << 4;
Bill Buzbee270c1d62009-08-13 16:58:07 -07001029 bits |= value;
1030 break;
Bill Buzbee1465db52009-09-23 17:17:35 -07001031 case kFmtBWidth:
Bill Buzbeea4a7f072009-08-27 13:58:09 -07001032 value = operand - 1;
Bill Buzbee270c1d62009-08-13 16:58:07 -07001033 bits |= value;
1034 break;
Bill Buzbee1465db52009-09-23 17:17:35 -07001035 case kFmtLsb:
Bill Buzbeea4a7f072009-08-27 13:58:09 -07001036 value = ((operand & 0x1c) >> 2) << 12;
1037 value |= (operand & 0x03) << 6;
Bill Buzbee270c1d62009-08-13 16:58:07 -07001038 bits |= value;
1039 break;
Bill Buzbee1465db52009-09-23 17:17:35 -07001040 case kFmtImm6:
Bill Buzbeea4a7f072009-08-27 13:58:09 -07001041 value = ((operand & 0x20) >> 5) << 9;
1042 value |= (operand & 0x1f) << 3;
Bill Buzbee7ea0f642009-08-10 17:06:51 -07001043 bits |= value;
1044 break;
Bill Buzbee1465db52009-09-23 17:17:35 -07001045 case kFmtBitBlt:
Bill Buzbeea4a7f072009-08-27 13:58:09 -07001046 value = (operand << encoder->fieldLoc[i].start) &
Bill Buzbee9bc3df32009-07-30 10:52:29 -07001047 ((1 << (encoder->fieldLoc[i].end + 1)) - 1);
1048 bits |= value;
1049 break;
Bill Buzbee1465db52009-09-23 17:17:35 -07001050 case kFmtDfp: {
1051 assert(DOUBLEREG(operand));
1052 assert((operand & 0x1) == 0);
Ben Cheng30f1f462009-10-12 13:46:55 -07001053 int regName = (operand & FP_REG_MASK) >> 1;
Bill Buzbee9bc3df32009-07-30 10:52:29 -07001054 /* Snag the 1-bit slice and position it */
Ben Cheng30f1f462009-10-12 13:46:55 -07001055 value = ((regName & 0x10) >> 4) <<
Bill Buzbee9bc3df32009-07-30 10:52:29 -07001056 encoder->fieldLoc[i].end;
1057 /* Extract and position the 4-bit slice */
Ben Cheng30f1f462009-10-12 13:46:55 -07001058 value |= (regName & 0x0f) <<
Bill Buzbee9bc3df32009-07-30 10:52:29 -07001059 encoder->fieldLoc[i].start;
1060 bits |= value;
1061 break;
Ben Cheng30f1f462009-10-12 13:46:55 -07001062 }
Bill Buzbee1465db52009-09-23 17:17:35 -07001063 case kFmtSfp:
1064 assert(SINGLEREG(operand));
Bill Buzbee9bc3df32009-07-30 10:52:29 -07001065 /* Snag the 1-bit slice and position it */
Bill Buzbeea4a7f072009-08-27 13:58:09 -07001066 value = (operand & 0x1) <<
Bill Buzbee9bc3df32009-07-30 10:52:29 -07001067 encoder->fieldLoc[i].end;
1068 /* Extract and position the 4-bit slice */
Bill Buzbeea4a7f072009-08-27 13:58:09 -07001069 value |= ((operand & 0x1e) >> 1) <<
Bill Buzbee9bc3df32009-07-30 10:52:29 -07001070 encoder->fieldLoc[i].start;
1071 bits |= value;
1072 break;
Bill Buzbee1465db52009-09-23 17:17:35 -07001073 case kFmtImm12:
1074 case kFmtModImm:
Bill Buzbeea4a7f072009-08-27 13:58:09 -07001075 value = ((operand & 0x800) >> 11) << 26;
1076 value |= ((operand & 0x700) >> 8) << 12;
1077 value |= operand & 0x0ff;
Bill Buzbee7ea0f642009-08-10 17:06:51 -07001078 bits |= value;
1079 break;
Bill Buzbee1465db52009-09-23 17:17:35 -07001080 case kFmtImm16:
Bill Buzbeea4a7f072009-08-27 13:58:09 -07001081 value = ((operand & 0x0800) >> 11) << 26;
1082 value |= ((operand & 0xf000) >> 12) << 16;
1083 value |= ((operand & 0x0700) >> 8) << 12;
1084 value |= operand & 0x0ff;
Bill Buzbee7ea0f642009-08-10 17:06:51 -07001085 bits |= value;
Bill Buzbee9bc3df32009-07-30 10:52:29 -07001086 break;
1087 default:
1088 assert(0);
Ben Chengba4fc8b2009-06-01 13:00:29 -07001089 }
1090 }
Bill Buzbee9bc3df32009-07-30 10:52:29 -07001091 if (encoder->size == 2) {
1092 *bufferAddr++ = (bits >> 16) & 0xffff;
1093 }
1094 *bufferAddr++ = bits & 0xffff;
Ben Chengba4fc8b2009-06-01 13:00:29 -07001095 }
Ben Cheng1efc9c52009-06-08 18:25:27 -07001096 return false;
Ben Chengba4fc8b2009-06-01 13:00:29 -07001097}
1098
1099/*
Bill Buzbee46cd5b62009-06-05 15:36:06 -07001100 * 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 Chengba4fc8b2009-06-01 13:00:29 -07001133 * 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 Buzbee716f1202009-07-23 13:22:09 -07001137void dvmCompilerAssembleLIR(CompilationUnit *cUnit, JitTranslationInfo *info)
Ben Chengba4fc8b2009-06-01 13:00:29 -07001138{
1139 LIR *lir;
Bill Buzbee89efc3d2009-07-28 11:22:22 -07001140 ArmLIR *armLIR;
Ben Cheng1efc9c52009-06-08 18:25:27 -07001141 int offset = 0;
Ben Chengba4fc8b2009-06-01 13:00:29 -07001142 int i;
Bill Buzbee46cd5b62009-06-05 15:36:06 -07001143 ChainCellCounts chainCellCounts;
Bill Buzbee46cd5b62009-06-05 15:36:06 -07001144 int descSize = jitTraceDescriptionSize(cUnit->traceDesc);
Ben Chengba4fc8b2009-06-01 13:00:29 -07001145
Bill Buzbee716f1202009-07-23 13:22:09 -07001146 info->instructionSet = cUnit->instructionSet;
1147
Bill Buzbee46cd5b62009-06-05 15:36:06 -07001148 /* Beginning offset needs to allow space for chain cell offset */
Bill Buzbee89efc3d2009-07-28 11:22:22 -07001149 for (armLIR = (ArmLIR *) cUnit->firstLIRInsn;
Ben Chengba4fc8b2009-06-01 13:00:29 -07001150 armLIR;
1151 armLIR = NEXT_LIR(armLIR)) {
1152 armLIR->generic.offset = offset;
Ben Chenge9695e52009-06-16 16:11:47 -07001153 if (armLIR->opCode >= 0 && !armLIR->isNop) {
Bill Buzbee9bc3df32009-07-30 10:52:29 -07001154 armLIR->size = EncodingMap[armLIR->opCode].size * 2;
1155 offset += armLIR->size;
Bill Buzbee1465db52009-09-23 17:17:35 -07001156 } else if (armLIR->opCode == kArmPseudoPseudoAlign4) {
Ben Chengba4fc8b2009-06-01 13:00:29 -07001157 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 Buzbee46cd5b62009-06-05 15:36:06 -07001168 offset = (offset + 3) & ~3;
Ben Chengba4fc8b2009-06-01 13:00:29 -07001169
Bill Buzbee46cd5b62009-06-05 15:36:06 -07001170 /* Add space for chain cell counts & trace description */
Ben Cheng1efc9c52009-06-08 18:25:27 -07001171 u4 chainCellOffset = offset;
Bill Buzbee89efc3d2009-07-28 11:22:22 -07001172 ArmLIR *chainCellOffsetLIR = (ArmLIR *) cUnit->chainCellOffsetLIR;
Bill Buzbee6e963e12009-06-17 16:56:19 -07001173 assert(chainCellOffsetLIR);
Ben Cheng1efc9c52009-06-08 18:25:27 -07001174 assert(chainCellOffset < 0x10000);
Bill Buzbee1465db52009-09-23 17:17:35 -07001175 assert(chainCellOffsetLIR->opCode == kArm16BitData &&
Ben Cheng1efc9c52009-06-08 18:25:27 -07001176 chainCellOffsetLIR->operands[0] == CHAIN_CELL_OFFSET_TAG);
1177
Ben Chenge80cd942009-07-17 15:54:23 -07001178 /*
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 Cheng1efc9c52009-06-08 18:25:27 -07001186
Bill Buzbee46cd5b62009-06-05 15:36:06 -07001187 offset += sizeof(chainCellCounts) + descSize;
1188
1189 assert((offset & 0x3) == 0); /* Should still be word aligned */
1190
1191 /* Set up offsets for literals */
Ben Chengba4fc8b2009-06-01 13:00:29 -07001192 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 Buzbee46cd5b62009-06-05 15:36:06 -07001201 if (gDvmJit.codeCacheByteUsed + cUnit->totalSize > CODE_CACHE_SIZE) {
Ben Chengba4fc8b2009-06-01 13:00:29 -07001202 gDvmJit.codeCacheFull = true;
1203 cUnit->baseAddr = NULL;
1204 return;
1205 }
Bill Buzbee46cd5b62009-06-05 15:36:06 -07001206
1207 /* Allocate enough space for the code block */
1208 cUnit->codeBuffer = dvmCompilerNew(chainCellOffset, true);
Ben Chengba4fc8b2009-06-01 13:00:29 -07001209 if (cUnit->codeBuffer == NULL) {
1210 LOGE("Code buffer allocation failure\n");
1211 cUnit->baseAddr = NULL;
1212 return;
1213 }
1214
Ben Cheng1efc9c52009-06-08 18:25:27 -07001215 bool assemblerFailure = assembleInstructions(
Ben Chengba4fc8b2009-06-01 13:00:29 -07001216 cUnit, (intptr_t) gDvmJit.codeCache + gDvmJit.codeCacheByteUsed);
1217
Ben Cheng1efc9c52009-06-08 18:25:27 -07001218 /*
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 Chengba4fc8b2009-06-01 13:00:29 -07001226
Ben Chengccd6c012009-10-15 14:52:45 -07001227 /* Don't go all the way if the goal is just to get the verbose output */
1228 if (info->discardResult) return;
Bill Buzbee6e963e12009-06-17 16:56:19 -07001229
Ben Chengba4fc8b2009-06-01 13:00:29 -07001230 cUnit->baseAddr = (char *) gDvmJit.codeCache + gDvmJit.codeCacheByteUsed;
1231 gDvmJit.codeCacheByteUsed += offset;
1232
Bill Buzbee46cd5b62009-06-05 15:36:06 -07001233 /* Install the code block */
Ben Cheng1efc9c52009-06-08 18:25:27 -07001234 memcpy((char*)cUnit->baseAddr, cUnit->codeBuffer, chainCellOffset);
Ben Chengba4fc8b2009-06-01 13:00:29 -07001235 gDvmJit.numCompilations++;
1236
Bill Buzbee46cd5b62009-06-05 15:36:06 -07001237 /* Install the chaining cell counts */
Bill Buzbee1465db52009-09-23 17:17:35 -07001238 for (i=0; i< kChainingCellLast; i++) {
Bill Buzbee46cd5b62009-06-05 15:36:06 -07001239 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 Chengba4fc8b2009-06-01 13:00:29 -07001251 /* Flush dcache and invalidate the icache to maintain coherence */
Bill Buzbee46cd5b62009-06-05 15:36:06 -07001252 cacheflush((long)cUnit->baseAddr,
Ben Chenge80cd942009-07-17 15:54:23 -07001253 (long)((char *) cUnit->baseAddr + offset), 0);
Bill Buzbee716f1202009-07-23 13:22:09 -07001254
1255 /* Record code entry point and instruction set */
1256 info->codeAddress = (char*)cUnit->baseAddr + cUnit->headerSize;
Bill Buzbee716f1202009-07-23 13:22:09 -07001257 /* If applicable, mark low bit to denote thumb */
1258 if (info->instructionSet != DALVIK_JIT_ARM)
1259 info->codeAddress = (char*)info->codeAddress + 1;
Ben Chengba4fc8b2009-06-01 13:00:29 -07001260}
1261
Ben Cheng38329f52009-07-07 14:19:20 -07001262static 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 Chengba4fc8b2009-06-01 13:00:29 -07001277/*
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 Buzbee46cd5b62009-06-05 15:36:06 -07001286 * If the target is nearby, use a single-instruction bl.
1287 * If one or more threads is suspended, don't chain.
Ben Chengba4fc8b2009-06-01 13:00:29 -07001288 */
1289void* dvmJitChain(void* tgtAddr, u4* branchAddr)
1290{
1291 int baseAddr = (u4) branchAddr + 4;
1292 int branchOffset = (int) tgtAddr - baseAddr;
Ben Chengba4fc8b2009-06-01 13:00:29 -07001293 u4 newInst;
1294
Bill Buzbee46cd5b62009-06-05 15:36:06 -07001295 if (gDvm.sumThreadSuspendCount == 0) {
1296 assert((branchOffset >= -(1<<22)) && (branchOffset <= ((1<<22)-2)));
Ben Chengba4fc8b2009-06-01 13:00:29 -07001297
Bill Buzbee46cd5b62009-06-05 15:36:06 -07001298 gDvmJit.translationChains++;
Ben Chengba4fc8b2009-06-01 13:00:29 -07001299
Bill Buzbee46cd5b62009-06-05 15:36:06 -07001300 COMPILER_TRACE_CHAINING(
1301 LOGD("Jit Runtime: chaining 0x%x to 0x%x\n",
1302 (int) branchAddr, (int) tgtAddr & -2));
Bill Buzbee46cd5b62009-06-05 15:36:06 -07001303
Ben Cheng38329f52009-07-07 14:19:20 -07001304 newInst = assembleBXPair(branchOffset);
1305
Bill Buzbee46cd5b62009-06-05 15:36:06 -07001306 *branchAddr = newInst;
1307 cacheflush((long)branchAddr, (long)branchAddr + 4, 0);
Ben Chengba4fc8b2009-06-01 13:00:29 -07001308 }
1309
Ben Chengba4fc8b2009-06-01 13:00:29 -07001310 return tgtAddr;
1311}
Bill Buzbee46cd5b62009-06-05 15:36:06 -07001312
1313/*
Ben Cheng38329f52009-07-07 14:19:20 -07001314 * 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 */
1331const Method *dvmJitToPatchPredictedChain(const Method *method,
1332 void *unused,
1333 PredictedChainingCell *cell,
1334 const ClassObject *clazz)
1335{
Jeff Hao97319a82009-08-12 16:57:15 -07001336#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 Cheng38329f52009-07-07 14:19:20 -07001342 /* 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 Chenga8e64a72009-10-20 13:01:36 -07001365 LOGD("Jit Runtime: predicted chain %p to method %s%s delayed",
1366 cell, method->clazz->descriptor, method->name));
Ben Cheng38329f52009-07-07 14:19:20 -07001367 goto done;
1368 }
1369
Ben Chenga8e64a72009-10-20 13:01:36 -07001370 /*
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 Cheng38329f52009-07-07 14:19:20 -07001379 /* Stop the world */
Ben Chenga8e64a72009-10-20 13:01:36 -07001380 dvmSuspendAllThreads(SUSPEND_FOR_IC_PATCH);
Ben Cheng38329f52009-07-07 14:19:20 -07001381
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 Chenga8e64a72009-10-20 13:01:36 -07001394 /*
1395 * Reset the counter again in case other mutator threads got invoked
1396 * between the previous rest and dvmSuspendAllThreads call.
1397 */
Ben Cheng38329f52009-07-07 14:19:20 -07001398 cell->counter = PREDICTED_CHAIN_COUNTER_RECHAIN;
1399
1400 cacheflush((long) cell, (long) (cell+1), 0);
1401
1402 /* All done - resume all other threads */
Ben Chenga8e64a72009-10-20 13:01:36 -07001403 dvmResumeAllThreads(SUSPEND_FOR_IC_PATCH);
Jeff Hao97319a82009-08-12 16:57:15 -07001404#endif
Ben Cheng38329f52009-07-07 14:19:20 -07001405
1406done:
1407 return method;
1408}
1409
1410/*
Bill Buzbee46cd5b62009-06-05 15:36:06 -07001411 * 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 */
1417u4* dvmJitUnchain(void* codeAddr)
1418{
1419 u2* pChainCellOffset = (u2*)((char*)codeAddr - 3);
1420 u2 chainCellOffset = *pChainCellOffset;
1421 ChainCellCounts *pChainCellCounts =
Ben Chenge80cd942009-07-17 15:54:23 -07001422 (ChainCellCounts*)((char*)codeAddr + chainCellOffset - 3);
Ben Cheng38329f52009-07-07 14:19:20 -07001423 int cellSize;
Bill Buzbee46cd5b62009-06-05 15:36:06 -07001424 u4* pChainCells;
1425 u4* pStart;
1426 u4 thumb1;
1427 u4 thumb2;
1428 u4 newInst;
1429 int i,j;
Ben Cheng38329f52009-07-07 14:19:20 -07001430 PredictedChainingCell *predChainCell;
Bill Buzbee46cd5b62009-06-05 15:36:06 -07001431
1432 /* Get total count of chain cells */
Bill Buzbee1465db52009-09-23 17:17:35 -07001433 for (i = 0, cellSize = 0; i < kChainingCellLast; i++) {
1434 if (i != kChainingCellInvokePredicted) {
Ben Cheng38329f52009-07-07 14:19:20 -07001435 cellSize += pChainCellCounts->u.count[i] * 2;
1436 } else {
1437 cellSize += pChainCellCounts->u.count[i] * 4;
1438 }
Bill Buzbee46cd5b62009-06-05 15:36:06 -07001439 }
1440
1441 /* Locate the beginning of the chain cell region */
Ben Cheng38329f52009-07-07 14:19:20 -07001442 pStart = pChainCells = ((u4 *) pChainCellCounts) - cellSize;
Bill Buzbee46cd5b62009-06-05 15:36:06 -07001443
1444 /* The cells are sorted in order - walk through them and reset */
Bill Buzbee1465db52009-09-23 17:17:35 -07001445 for (i = 0; i < kChainingCellLast; i++) {
Ben Cheng38329f52009-07-07 14:19:20 -07001446 int elemSize = 2; /* Most chaining cell has two words */
Bill Buzbee1465db52009-09-23 17:17:35 -07001447 if (i == kChainingCellInvokePredicted) {
Ben Cheng38329f52009-07-07 14:19:20 -07001448 elemSize = 4;
1449 }
1450
Bill Buzbee46cd5b62009-06-05 15:36:06 -07001451 for (j = 0; j < pChainCellCounts->u.count[i]; j++) {
1452 int targetOffset;
1453 switch(i) {
Bill Buzbee1465db52009-09-23 17:17:35 -07001454 case kChainingCellNormal:
Bill Buzbee46cd5b62009-06-05 15:36:06 -07001455 targetOffset = offsetof(InterpState,
1456 jitToInterpEntries.dvmJitToInterpNormal);
1457 break;
Bill Buzbee1465db52009-09-23 17:17:35 -07001458 case kChainingCellHot:
1459 case kChainingCellInvokeSingleton:
Bill Buzbee46cd5b62009-06-05 15:36:06 -07001460 targetOffset = offsetof(InterpState,
1461 jitToInterpEntries.dvmJitToTraceSelect);
1462 break;
Bill Buzbee1465db52009-09-23 17:17:35 -07001463 case kChainingCellInvokePredicted:
Ben Cheng38329f52009-07-07 14:19:20 -07001464 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 Hao97319a82009-08-12 16:57:15 -07001472#if defined(WITH_SELF_VERIFICATION)
Bill Buzbee1465db52009-09-23 17:17:35 -07001473 case kChainingCellBackwardBranch:
Jeff Hao97319a82009-08-12 16:57:15 -07001474 targetOffset = offsetof(InterpState,
1475 jitToInterpEntries.dvmJitToBackwardBranch);
1476 break;
Bill Buzbee9c4b7c82009-09-10 10:10:38 -07001477#elif defined(WITH_JIT_TUNING)
Bill Buzbee1465db52009-09-23 17:17:35 -07001478 case kChainingCellBackwardBranch:
Bill Buzbee9c4b7c82009-09-10 10:10:38 -07001479 targetOffset = offsetof(InterpState,
1480 jitToInterpEntries.dvmJitToInterpNormal);
1481 break;
Jeff Hao97319a82009-08-12 16:57:15 -07001482#endif
Bill Buzbee46cd5b62009-06-05 15:36:06 -07001483 default:
1484 dvmAbort();
1485 }
Ben Cheng38329f52009-07-07 14:19:20 -07001486 COMPILER_TRACE_CHAINING(
1487 LOGD("Jit Runtime: unchaining 0x%x", (int)pChainCells));
Bill Buzbee46cd5b62009-06-05 15:36:06 -07001488 /*
Ben Cheng38329f52009-07-07 14:19:20 -07001489 * Thumb code sequence for a chaining cell is:
Bill Buzbee46cd5b62009-06-05 15:36:06 -07001490 * ldr r0, rGLUE, #<word offset>
1491 * blx r0
1492 */
Bill Buzbee1465db52009-09-23 17:17:35 -07001493 if (i != kChainingCellInvokePredicted) {
Ben Cheng38329f52009-07-07 14:19:20 -07001494 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 Buzbee46cd5b62009-06-05 15:36:06 -07001502 }
1503 }
1504 return pChainCells;
1505}
1506
1507/* Unchain all translation in the cache. */
1508void 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 Buzbee27176222009-06-09 09:20:16 -07001516 for (i = 0; i < gDvmJit.jitTableSize; i++) {
Bill Buzbee46cd5b62009-06-05 15:36:06 -07001517 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 Buzbee716f1202009-07-23 13:22:09 -07001533
1534typedef struct jitProfileAddrToLine {
1535 u4 lineNum;
1536 u4 bytecodeOffset;
1537} jitProfileAddrToLine;
1538
1539
1540/* Callback function to track the bytecode offset/line number relationiship */
1541static 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
1552char *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 */
1559static 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 Chengccd6c012009-10-15 14:52:45 -07001609/* Create a copy of the trace descriptor of an existing compilation */
1610JitTraceDescription *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 Buzbee716f1202009-07-23 13:22:09 -07001634/* Handy function to retrieve the profile count */
1635static 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 */
1646static 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 */
1657void 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);
1688done:
1689 dvmUnlockMutex(&gDvmJit.tableLock);
1690 return;
1691}