assemble_arm64.cc revision 7c2ad5af0bdd3cc1069038f8e3422d99aeb5f44c
143ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin/* 243ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin * Copyright (C) 2011 The Android Open Source Project 343ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin * 443ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin * Licensed under the Apache License, Version 2.0 (the "License"); 543ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin * you may not use this file except in compliance with the License. 643ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin * You may obtain a copy of the License at 743ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin * 843ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin * http://www.apache.org/licenses/LICENSE-2.0 943ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin * 1043ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin * Unless required by applicable law or agreed to in writing, software 1143ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin * distributed under the License is distributed on an "AS IS" BASIS, 1243ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 1343ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin * See the License for the specific language governing permissions and 1443ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin * limitations under the License. 1543ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin */ 1643ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin 1743ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin#include "arm64_lir.h" 1843ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin#include "codegen_arm64.h" 1943ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin#include "dex/quick/mir_to_lir-inl.h" 2043ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin 2143ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchinnamespace art { 2243ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin 23e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin// The macros below are exclusively used in the encoding map. 24e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin 25e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin// Most generic way of providing two variants for one instructions. 26e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin#define CUSTOM_VARIANTS(variant1, variant2) variant1, variant2 27e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin 28e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin// Used for instructions which do not have a wide variant. 29e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin#define NO_VARIANTS(variant) \ 30e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin CUSTOM_VARIANTS(variant, 0) 31e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin 32e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin// Used for instructions which have a wide variant with the sf bit set to 1. 33e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin#define SF_VARIANTS(sf0_skeleton) \ 34e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin CUSTOM_VARIANTS(sf0_skeleton, (sf0_skeleton | 0x80000000)) 35e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin 36e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin// Used for instructions which have a wide variant with the size bits set to either x0 or x1. 37e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin#define SIZE_VARIANTS(sizex0_skeleton) \ 38e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin CUSTOM_VARIANTS(sizex0_skeleton, (sizex0_skeleton | 0x40000000)) 39e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin 40e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin// Used for instructions which have a wide variant with the sf and n bits set to 1. 41e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin#define SF_N_VARIANTS(sf0_n0_skeleton) \ 42e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin CUSTOM_VARIANTS(sf0_n0_skeleton, (sf0_n0_skeleton | 0x80400000)) 43e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin 44e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin// Used for FP instructions which have a single and double precision variants, with he type bits set 45e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin// to either 00 or 01. 46e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin#define FLOAT_VARIANTS(type00_skeleton) \ 47e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin CUSTOM_VARIANTS(type00_skeleton, (type00_skeleton | 0x00400000)) 48e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin 4943ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin/* 504163c53ce38a0f1f88bf3e8d26de9914da38498bMatteo Franchin * opcode: A64Opcode enum 51e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin * variants: instruction skeletons supplied via CUSTOM_VARIANTS or derived macros. 52e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin * a{n}k: key to applying argument {n} \ 53e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin * a{n}s: argument {n} start bit position | n = 0, 1, 2, 3 54e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin * a{n}e: argument {n} end bit position / 55e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin * flags: instruction attributes (used in optimization) 5643ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin * name: mnemonic name 5743ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin * fmt: for pretty-printing 58e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin * fixup: used for second-pass fixes (e.g. adresses fixups in branch instructions). 5943ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin */ 60e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin#define ENCODING_MAP(opcode, variants, a0k, a0s, a0e, a1k, a1s, a1e, a2k, a2s, a2e, \ 61e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin a3k, a3s, a3e, flags, name, fmt, fixup) \ 62e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin {variants, {{a0k, a0s, a0e}, {a1k, a1s, a1e}, {a2k, a2s, a2e}, \ 63e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin {a3k, a3s, a3e}}, opcode, flags, name, fmt, 4, fixup} 6443ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin 6543ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin/* Instruction dump string format keys: !pf, where "!" is the start 6643ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin * of the key, "p" is which numeric operand to use and "f" is the 6743ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin * print format. 6843ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin * 6943ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin * [p]ositions: 7043ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin * 0 -> operands[0] (dest) 7143ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin * 1 -> operands[1] (src1) 7243ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin * 2 -> operands[2] (src2) 7343ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin * 3 -> operands[3] (extra) 7443ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin * 7543ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin * [f]ormats: 7643ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin * d -> decimal 77e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin * D -> decimal*4 or decimal*8 depending on the instruction width 7843ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin * E -> decimal*4 7943ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin * F -> decimal*2 80e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin * G -> ", lsl #2" or ", lsl #3" depending on the instruction width 81e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin * c -> branch condition (eq, ne, etc.) 8243ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin * t -> pc-relative target 83e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin * p -> pc-relative address 8443ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin * s -> single precision floating point register 8543ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin * S -> double precision floating point register 86e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin * f -> single or double precision register (depending on instruction width) 87e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin * I -> 8-bit immediate floating point number 88e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin * l -> logical immediate 89e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin * M -> 16-bit shift expression ("" or ", lsl #16" or ", lsl #32"...) 9043ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin * B -> dmb option string (sy, st, ish, ishst, nsh, hshst) 9143ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin * H -> operand shift 925d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu * h -> 6-bit shift immediate 93e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin * T -> register shift (either ", lsl #0" or ", lsl #12") 94e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin * e -> register extend (e.g. uxtb #1) 95e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin * o -> register shift (e.g. lsl #1) for Word registers 96e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin * w -> word (32-bit) register wn, or wzr 97e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin * W -> word (32-bit) register wn, or wsp 98e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin * x -> extended (64-bit) register xn, or xzr 99e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin * X -> extended (64-bit) register xn, or sp 100e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin * r -> register with same width as instruction, r31 -> wzr, xzr 101e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin * R -> register with same width as instruction, r31 -> wsp, sp 10243ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin * 10343ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin * [!] escape. To insert "!", use "!!" 10443ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin */ 1054163c53ce38a0f1f88bf3e8d26de9914da38498bMatteo Franchin/* NOTE: must be kept in sync with enum A64Opcode from arm64_lir.h */ 1064163c53ce38a0f1f88bf3e8d26de9914da38498bMatteo Franchinconst A64EncodingMap Arm64Mir2Lir::EncodingMap[kA64Last] = { 107e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Adc3rrr), SF_VARIANTS(0x1a000000), 108e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegR, 9, 5, kFmtRegR, 20, 16, 109421efca6d71ffe348295872743317bf107a9a94aZheng Xu kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12, 110e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "adc", "!0r, !1r, !2r", kFixupNone), 111e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Add4RRdT), SF_VARIANTS(0x11000000), 112e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegROrSp, 4, 0, kFmtRegROrSp, 9, 5, kFmtBitBlt, 21, 10, 113e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtBitBlt, 23, 22, IS_QUAD_OP | REG_DEF0_USE1, 114e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "add", "!0R, !1R, #!2d!3T", kFixupNone), 115e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Add4rrro), SF_VARIANTS(0x0b000000), 116e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegR, 9, 5, kFmtRegR, 20, 16, 117421efca6d71ffe348295872743317bf107a9a94aZheng Xu kFmtShift, -1, -1, IS_QUAD_OP | REG_DEF0_USE12, 118e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "add", "!0r, !1r, !2r!3o", kFixupNone), 11947b31aa855379471c06735b738396fa76e7c1988Andreas Gampe ENCODING_MAP(WIDE(kA64Add4RRre), SF_VARIANTS(0x0b200000), 1209f975bfe091e9592a1b6b5b46d224ec04b1183b6Andreas Gampe kFmtRegROrSp, 4, 0, kFmtRegROrSp, 9, 5, kFmtRegR, 20, 16, 1219f975bfe091e9592a1b6b5b46d224ec04b1183b6Andreas Gampe kFmtExtend, -1, -1, IS_QUAD_OP | REG_DEF0_USE12, 12247b31aa855379471c06735b738396fa76e7c1988Andreas Gampe "add", "!0r, !1r, !2r!3e", kFixupNone), 123e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin // Note: adr is binary, but declared as tertiary. The third argument is used while doing the 124e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin // fixups and contains information to identify the adr label. 125e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(kA64Adr2xd, NO_VARIANTS(0x10000000), 126e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegX, 4, 0, kFmtImm21, -1, -1, kFmtUnused, -1, -1, 127e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0 | NEEDS_FIXUP, 128e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "adr", "!0x, #!1d", kFixupAdr), 129e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64And3Rrl), SF_VARIANTS(0x12000000), 130e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegROrSp, 4, 0, kFmtRegR, 9, 5, kFmtBitBlt, 22, 10, 131e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1, 132e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "and", "!0R, !1r, #!2l", kFixupNone), 133e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64And4rrro), SF_VARIANTS(0x0a000000), 134e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegR, 9, 5, kFmtRegR, 20, 16, 135e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtShift, -1, -1, IS_QUAD_OP | REG_DEF0_USE12, 136e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "and", "!0r, !1r, !2r!3o", kFixupNone), 137e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Asr3rrd), CUSTOM_VARIANTS(0x13007c00, 0x9340fc00), 138e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegR, 9, 5, kFmtBitBlt, 21, 16, 139e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1, 140e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "asr", "!0r, !1r, #!2d", kFixupNone), 141e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Asr3rrr), SF_VARIANTS(0x1ac02800), 142e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegR, 9, 5, kFmtRegR, 20, 16, 143e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12, 144e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "asr", "!0r, !1r, !2r", kFixupNone), 145e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(kA64B2ct, NO_VARIANTS(0x54000000), 146e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtBitBlt, 3, 0, kFmtBitBlt, 23, 5, kFmtUnused, -1, -1, 14743ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin kFmtUnused, -1, -1, IS_BINARY_OP | IS_BRANCH | USES_CCODES | 148e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin NEEDS_FIXUP, "b.!0c", "!1t", kFixupCondBranch), 149e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(kA64Blr1x, NO_VARIANTS(0xd63f0000), 150e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegX, 9, 5, kFmtUnused, -1, -1, kFmtUnused, -1, -1, 15143ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin kFmtUnused, -1, -1, 15243ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin IS_UNARY_OP | REG_USE0 | IS_BRANCH | REG_DEF_LR, 153e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "blr", "!0x", kFixupNone), 154e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(kA64Br1x, NO_VARIANTS(0xd61f0000), 155e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegX, 9, 5, kFmtUnused, -1, -1, kFmtUnused, -1, -1, 156e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, IS_UNARY_OP | REG_USE0 | IS_BRANCH, 157e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "br", "!0x", kFixupNone), 1587c2ad5af0bdd3cc1069038f8e3422d99aeb5f44cVladimir Marko ENCODING_MAP(kA64Bl1t, NO_VARIANTS(0x94000000), 1597c2ad5af0bdd3cc1069038f8e3422d99aeb5f44cVladimir Marko kFmtBitBlt, 25, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1, 1607c2ad5af0bdd3cc1069038f8e3422d99aeb5f44cVladimir Marko kFmtUnused, -1, -1, IS_UNARY_OP | IS_BRANCH | REG_DEF_LR | NEEDS_FIXUP, 1617c2ad5af0bdd3cc1069038f8e3422d99aeb5f44cVladimir Marko "bl", "!0T", kFixupLabel), 162e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(kA64Brk1d, NO_VARIANTS(0xd4200000), 163e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtBitBlt, 20, 5, kFmtUnused, -1, -1, kFmtUnused, -1, -1, 16443ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin kFmtUnused, -1, -1, IS_UNARY_OP | IS_BRANCH, 165e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "brk", "!0d", kFixupNone), 166e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(kA64B1t, NO_VARIANTS(0x14000000), 167e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtBitBlt, 25, 0, kFmtUnused, -1, -1, kFmtUnused, -1, -1, 168e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, IS_UNARY_OP | IS_BRANCH | NEEDS_FIXUP, 169e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "b", "!0t", kFixupT1Branch), 170e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Cbnz2rt), SF_VARIANTS(0x35000000), 171e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtBitBlt, 23, 5, kFmtUnused, -1, -1, 172e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, 173e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin IS_BINARY_OP | REG_USE0 | IS_BRANCH | NEEDS_FIXUP, 174e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "cbnz", "!0r, !1t", kFixupCBxZ), 175e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Cbz2rt), SF_VARIANTS(0x34000000), 176e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtBitBlt, 23, 5, kFmtUnused, -1, -1, 177e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, 17815d7a46d198f8064efbe4ab10696d448ed9dc60fMatteo Franchin IS_BINARY_OP | REG_USE0 | IS_BRANCH | NEEDS_FIXUP, 179e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "cbz", "!0r, !1t", kFixupCBxZ), 180bc6d197cdb02eeac0c98ec4ed37f530b003a4e7aMatteo Franchin ENCODING_MAP(WIDE(kA64Cmn3rro), SF_VARIANTS(0x2b00001f), 181bc6d197cdb02eeac0c98ec4ed37f530b003a4e7aMatteo Franchin kFmtRegR, 9, 5, kFmtRegR, 20, 16, kFmtShift, -1, -1, 182e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE01 | SETS_CCODES, 183bc6d197cdb02eeac0c98ec4ed37f530b003a4e7aMatteo Franchin "cmn", "!0r, !1r!2o", kFixupNone), 184bc6d197cdb02eeac0c98ec4ed37f530b003a4e7aMatteo Franchin ENCODING_MAP(WIDE(kA64Cmn3Rre), SF_VARIANTS(0x2b20001f), 185bc6d197cdb02eeac0c98ec4ed37f530b003a4e7aMatteo Franchin kFmtRegROrSp, 9, 5, kFmtRegR, 20, 16, kFmtExtend, -1, -1, 186bc6d197cdb02eeac0c98ec4ed37f530b003a4e7aMatteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE01 | SETS_CCODES, 187bc6d197cdb02eeac0c98ec4ed37f530b003a4e7aMatteo Franchin "cmn", "!0R, !1r!2e", kFixupNone), 188e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Cmn3RdT), SF_VARIANTS(0x3100001f), 189e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegROrSp, 9, 5, kFmtBitBlt, 21, 10, kFmtBitBlt, 23, 22, 190e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE0 | SETS_CCODES, 191e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "cmn", "!0R, #!1d!2T", kFixupNone), 192bc6d197cdb02eeac0c98ec4ed37f530b003a4e7aMatteo Franchin ENCODING_MAP(WIDE(kA64Cmp3rro), SF_VARIANTS(0x6b00001f), 193bc6d197cdb02eeac0c98ec4ed37f530b003a4e7aMatteo Franchin kFmtRegR, 9, 5, kFmtRegR, 20, 16, kFmtShift, -1, -1, 194bc6d197cdb02eeac0c98ec4ed37f530b003a4e7aMatteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE01 | SETS_CCODES, 195bc6d197cdb02eeac0c98ec4ed37f530b003a4e7aMatteo Franchin "cmp", "!0r, !1r!2o", kFixupNone), 196bc6d197cdb02eeac0c98ec4ed37f530b003a4e7aMatteo Franchin ENCODING_MAP(WIDE(kA64Cmp3Rre), SF_VARIANTS(0x6b20001f), 197bc6d197cdb02eeac0c98ec4ed37f530b003a4e7aMatteo Franchin kFmtRegROrSp, 9, 5, kFmtRegR, 20, 16, kFmtExtend, -1, -1, 198e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE01 | SETS_CCODES, 199bc6d197cdb02eeac0c98ec4ed37f530b003a4e7aMatteo Franchin "cmp", "!0R, !1r!2e", kFixupNone), 200e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Cmp3RdT), SF_VARIANTS(0x7100001f), 201e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegROrSp, 9, 5, kFmtBitBlt, 21, 10, kFmtBitBlt, 23, 22, 202e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE0 | SETS_CCODES, 203e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "cmp", "!0R, #!1d!2T", kFixupNone), 204e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Csel4rrrc), SF_VARIANTS(0x1a800000), 205e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegR, 9, 5, kFmtRegR, 20, 16, 206e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtBitBlt, 15, 12, IS_QUAD_OP | REG_DEF0_USE12 | USES_CCODES, 207e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "csel", "!0r, !1r, !2r, !3c", kFixupNone), 208e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Csinc4rrrc), SF_VARIANTS(0x1a800400), 209e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegR, 9, 5, kFmtRegR, 20, 16, 210e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtBitBlt, 15, 12, IS_QUAD_OP | REG_DEF0_USE12 | USES_CCODES, 211e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "csinc", "!0r, !1r, !2r, !3c", kFixupNone), 212873c371eea7d8700c8037d790de168b5ed7c20d0Stuart Monteith ENCODING_MAP(WIDE(kA64Csinv4rrrc), SF_VARIANTS(0x5a800000), 213873c371eea7d8700c8037d790de168b5ed7c20d0Stuart Monteith kFmtRegR, 4, 0, kFmtRegR, 9, 5, kFmtRegR, 20, 16, 214873c371eea7d8700c8037d790de168b5ed7c20d0Stuart Monteith kFmtBitBlt, 15, 12, IS_QUAD_OP | REG_DEF0_USE12 | USES_CCODES, 215873c371eea7d8700c8037d790de168b5ed7c20d0Stuart Monteith "csinv", "!0r, !1r, !2r, !3c", kFixupNone), 216e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Csneg4rrrc), SF_VARIANTS(0x5a800400), 217e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegR, 9, 5, kFmtRegR, 20, 16, 218e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtBitBlt, 15, 12, IS_QUAD_OP | REG_DEF0_USE12 | USES_CCODES, 219e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "csneg", "!0r, !1r, !2r, !3c", kFixupNone), 220e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(kA64Dmb1B, NO_VARIANTS(0xd50330bf), 221e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtBitBlt, 11, 8, kFmtUnused, -1, -1, kFmtUnused, -1, -1, 22263999683329612292d534e6be09dbde9480f1250Serban Constantinescu kFmtUnused, -1, -1, IS_UNARY_OP | IS_VOLATILE, 223e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "dmb", "#!0B", kFixupNone), 224e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Eor3Rrl), SF_VARIANTS(0x52000000), 225e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegROrSp, 4, 0, kFmtRegR, 9, 5, kFmtBitBlt, 22, 10, 226e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1, 227e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "eor", "!0R, !1r, #!2l", kFixupNone), 228e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Eor4rrro), SF_VARIANTS(0x4a000000), 229e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegR, 9, 5, kFmtRegR, 20, 16, 230e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtShift, -1, -1, IS_QUAD_OP | REG_DEF0_USE12, 231e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "eor", "!0r, !1r, !2r!3o", kFixupNone), 232e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Extr4rrrd), SF_N_VARIANTS(0x13800000), 233e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegR, 9, 5, kFmtRegR, 20, 16, 234e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtBitBlt, 15, 10, IS_QUAD_OP | REG_DEF0_USE12, 235e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "extr", "!0r, !1r, !2r, #!3d", kFixupNone), 2364163c53ce38a0f1f88bf3e8d26de9914da38498bMatteo Franchin ENCODING_MAP(WIDE(kA64Fabs2ff), FLOAT_VARIANTS(0x1e20c000), 237e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegF, 4, 0, kFmtRegF, 9, 5, kFmtUnused, -1, -1, 238e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, IS_BINARY_OP| REG_DEF0_USE1, 239e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "fabs", "!0f, !1f", kFixupNone), 2404163c53ce38a0f1f88bf3e8d26de9914da38498bMatteo Franchin ENCODING_MAP(WIDE(kA64Fadd3fff), FLOAT_VARIANTS(0x1e202800), 241e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegF, 4, 0, kFmtRegF, 9, 5, kFmtRegF, 20, 16, 242e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12, 243e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "fadd", "!0f, !1f, !2f", kFixupNone), 2444163c53ce38a0f1f88bf3e8d26de9914da38498bMatteo Franchin ENCODING_MAP(WIDE(kA64Fcmp1f), FLOAT_VARIANTS(0x1e202008), 245e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegF, 9, 5, kFmtUnused, -1, -1, kFmtUnused, -1, -1, 246e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, IS_UNARY_OP | REG_USE0 | SETS_CCODES, 247e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "fcmp", "!0f, #0", kFixupNone), 2484163c53ce38a0f1f88bf3e8d26de9914da38498bMatteo Franchin ENCODING_MAP(WIDE(kA64Fcmp2ff), FLOAT_VARIANTS(0x1e202000), 249e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegF, 9, 5, kFmtRegF, 20, 16, kFmtUnused, -1, -1, 25043ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin kFmtUnused, -1, -1, IS_BINARY_OP | REG_USE01 | SETS_CCODES, 251e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "fcmp", "!0f, !1f", kFixupNone), 2524163c53ce38a0f1f88bf3e8d26de9914da38498bMatteo Franchin ENCODING_MAP(WIDE(kA64Fcvtzs2wf), FLOAT_VARIANTS(0x1e380000), 253e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegW, 4, 0, kFmtRegF, 9, 5, kFmtUnused, -1, -1, 25443ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, 255e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "fcvtzs", "!0w, !1f", kFixupNone), 2564163c53ce38a0f1f88bf3e8d26de9914da38498bMatteo Franchin ENCODING_MAP(WIDE(kA64Fcvtzs2xf), FLOAT_VARIANTS(0x9e380000), 257e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegX, 4, 0, kFmtRegF, 9, 5, kFmtUnused, -1, -1, 25843ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, 259e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "fcvtzs", "!0x, !1f", kFixupNone), 260e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(kA64Fcvt2Ss, NO_VARIANTS(0x1e22C000), 261e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegD, 4, 0, kFmtRegS, 9, 5, kFmtUnused, -1, -1, 26243ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, 263e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "fcvt", "!0S, !1s", kFixupNone), 264e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(kA64Fcvt2sS, NO_VARIANTS(0x1e624000), 265e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegS, 4, 0, kFmtRegD, 9, 5, kFmtUnused, -1, -1, 26643ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, 267e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "fcvt", "!0s, !1S", kFixupNone), 2682eba1fa7e9e5f91e18ae3778d529520bd2c78d55Serban Constantinescu ENCODING_MAP(kA64Fcvtms2ws, NO_VARIANTS(0x1e300000), 2692eba1fa7e9e5f91e18ae3778d529520bd2c78d55Serban Constantinescu kFmtRegW, 4, 0, kFmtRegS, 9, 5, kFmtUnused, -1, -1, 2702eba1fa7e9e5f91e18ae3778d529520bd2c78d55Serban Constantinescu kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, 2712eba1fa7e9e5f91e18ae3778d529520bd2c78d55Serban Constantinescu "fcvtms", "!0w, !1s", kFixupNone), 2722eba1fa7e9e5f91e18ae3778d529520bd2c78d55Serban Constantinescu ENCODING_MAP(kA64Fcvtms2xS, NO_VARIANTS(0x9e700000), 2732eba1fa7e9e5f91e18ae3778d529520bd2c78d55Serban Constantinescu kFmtRegX, 4, 0, kFmtRegD, 9, 5, kFmtUnused, -1, -1, 2742eba1fa7e9e5f91e18ae3778d529520bd2c78d55Serban Constantinescu kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, 2752eba1fa7e9e5f91e18ae3778d529520bd2c78d55Serban Constantinescu "fcvtms", "!0x, !1S", kFixupNone), 2764163c53ce38a0f1f88bf3e8d26de9914da38498bMatteo Franchin ENCODING_MAP(WIDE(kA64Fdiv3fff), FLOAT_VARIANTS(0x1e201800), 277e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegF, 4, 0, kFmtRegF, 9, 5, kFmtRegF, 20, 16, 278e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12, 279e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "fdiv", "!0f, !1f, !2f", kFixupNone), 2804163c53ce38a0f1f88bf3e8d26de9914da38498bMatteo Franchin ENCODING_MAP(WIDE(kA64Fmax3fff), FLOAT_VARIANTS(0x1e204800), 28123abec955e2e733999a1e2c30e4e384e46e5dde4Serban Constantinescu kFmtRegF, 4, 0, kFmtRegF, 9, 5, kFmtRegF, 20, 16, 28223abec955e2e733999a1e2c30e4e384e46e5dde4Serban Constantinescu kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12, 28323abec955e2e733999a1e2c30e4e384e46e5dde4Serban Constantinescu "fmax", "!0f, !1f, !2f", kFixupNone), 2844163c53ce38a0f1f88bf3e8d26de9914da38498bMatteo Franchin ENCODING_MAP(WIDE(kA64Fmin3fff), FLOAT_VARIANTS(0x1e205800), 28523abec955e2e733999a1e2c30e4e384e46e5dde4Serban Constantinescu kFmtRegF, 4, 0, kFmtRegF, 9, 5, kFmtRegF, 20, 16, 28623abec955e2e733999a1e2c30e4e384e46e5dde4Serban Constantinescu kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12, 28723abec955e2e733999a1e2c30e4e384e46e5dde4Serban Constantinescu "fmin", "!0f, !1f, !2f", kFixupNone), 2884163c53ce38a0f1f88bf3e8d26de9914da38498bMatteo Franchin ENCODING_MAP(WIDE(kA64Fmov2ff), FLOAT_VARIANTS(0x1e204000), 289e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegF, 4, 0, kFmtRegF, 9, 5, kFmtUnused, -1, -1, 29063999683329612292d534e6be09dbde9480f1250Serban Constantinescu kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1 | IS_MOVE, 291e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "fmov", "!0f, !1f", kFixupNone), 2924163c53ce38a0f1f88bf3e8d26de9914da38498bMatteo Franchin ENCODING_MAP(WIDE(kA64Fmov2fI), FLOAT_VARIANTS(0x1e201000), 293e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegF, 4, 0, kFmtBitBlt, 20, 13, kFmtUnused, -1, -1, 294e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0, 295e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "fmov", "!0f, #!1I", kFixupNone), 296e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(kA64Fmov2sw, NO_VARIANTS(0x1e270000), 297e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegS, 4, 0, kFmtRegW, 9, 5, kFmtUnused, -1, -1, 29843ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, 299e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "fmov", "!0s, !1w", kFixupNone), 300e2eb29e98be3ba72cce7da40847ab3d605b9455dZheng Xu ENCODING_MAP(kA64Fmov2Sx, NO_VARIANTS(0x9e670000), 301e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegD, 4, 0, kFmtRegX, 9, 5, kFmtUnused, -1, -1, 30243ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, 303e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "fmov", "!0S, !1x", kFixupNone), 304e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(kA64Fmov2ws, NO_VARIANTS(0x1e260000), 305e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegW, 4, 0, kFmtRegS, 9, 5, kFmtUnused, -1, -1, 30643ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, 307e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "fmov", "!0w, !1s", kFixupNone), 30815d7a46d198f8064efbe4ab10696d448ed9dc60fMatteo Franchin ENCODING_MAP(kA64Fmov2xS, NO_VARIANTS(0x9e660000), 309e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegX, 4, 0, kFmtRegD, 9, 5, kFmtUnused, -1, -1, 31043ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, 311e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "fmov", "!0x, !1S", kFixupNone), 3124163c53ce38a0f1f88bf3e8d26de9914da38498bMatteo Franchin ENCODING_MAP(WIDE(kA64Fmul3fff), FLOAT_VARIANTS(0x1e200800), 313e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegF, 4, 0, kFmtRegF, 9, 5, kFmtRegF, 20, 16, 314e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12, 315e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "fmul", "!0f, !1f, !2f", kFixupNone), 3164163c53ce38a0f1f88bf3e8d26de9914da38498bMatteo Franchin ENCODING_MAP(WIDE(kA64Fneg2ff), FLOAT_VARIANTS(0x1e214000), 317e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegF, 4, 0, kFmtRegF, 9, 5, kFmtUnused, -1, -1, 31843ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, 319e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "fneg", "!0f, !1f", kFixupNone), 3204163c53ce38a0f1f88bf3e8d26de9914da38498bMatteo Franchin ENCODING_MAP(WIDE(kA64Frintp2ff), FLOAT_VARIANTS(0x1e24c000), 3212eba1fa7e9e5f91e18ae3778d529520bd2c78d55Serban Constantinescu kFmtRegF, 4, 0, kFmtRegF, 9, 5, kFmtUnused, -1, -1, 3222eba1fa7e9e5f91e18ae3778d529520bd2c78d55Serban Constantinescu kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, 3232eba1fa7e9e5f91e18ae3778d529520bd2c78d55Serban Constantinescu "frintp", "!0f, !1f", kFixupNone), 3244163c53ce38a0f1f88bf3e8d26de9914da38498bMatteo Franchin ENCODING_MAP(WIDE(kA64Frintm2ff), FLOAT_VARIANTS(0x1e254000), 3252eba1fa7e9e5f91e18ae3778d529520bd2c78d55Serban Constantinescu kFmtRegF, 4, 0, kFmtRegF, 9, 5, kFmtUnused, -1, -1, 3262eba1fa7e9e5f91e18ae3778d529520bd2c78d55Serban Constantinescu kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, 3272eba1fa7e9e5f91e18ae3778d529520bd2c78d55Serban Constantinescu "frintm", "!0f, !1f", kFixupNone), 3284163c53ce38a0f1f88bf3e8d26de9914da38498bMatteo Franchin ENCODING_MAP(WIDE(kA64Frintn2ff), FLOAT_VARIANTS(0x1e244000), 3292eba1fa7e9e5f91e18ae3778d529520bd2c78d55Serban Constantinescu kFmtRegF, 4, 0, kFmtRegF, 9, 5, kFmtUnused, -1, -1, 3302eba1fa7e9e5f91e18ae3778d529520bd2c78d55Serban Constantinescu kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, 3312eba1fa7e9e5f91e18ae3778d529520bd2c78d55Serban Constantinescu "frintn", "!0f, !1f", kFixupNone), 3324163c53ce38a0f1f88bf3e8d26de9914da38498bMatteo Franchin ENCODING_MAP(WIDE(kA64Frintz2ff), FLOAT_VARIANTS(0x1e25c000), 333e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegF, 4, 0, kFmtRegF, 9, 5, kFmtUnused, -1, -1, 33443ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, 335e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "frintz", "!0f, !1f", kFixupNone), 3364163c53ce38a0f1f88bf3e8d26de9914da38498bMatteo Franchin ENCODING_MAP(WIDE(kA64Fsqrt2ff), FLOAT_VARIANTS(0x1e61c000), 337e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegF, 4, 0, kFmtRegF, 9, 5, kFmtUnused, -1, -1, 33843ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, 339e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "fsqrt", "!0f, !1f", kFixupNone), 3404163c53ce38a0f1f88bf3e8d26de9914da38498bMatteo Franchin ENCODING_MAP(WIDE(kA64Fsub3fff), FLOAT_VARIANTS(0x1e203800), 341e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegF, 4, 0, kFmtRegF, 9, 5, kFmtRegF, 20, 16, 342e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12, 343e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "fsub", "!0f, !1f, !2f", kFixupNone), 344e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(kA64Ldrb3wXd, NO_VARIANTS(0x39400000), 345e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegW, 4, 0, kFmtRegXOrSp, 9, 5, kFmtBitBlt, 21, 10, 34663999683329612292d534e6be09dbde9480f1250Serban Constantinescu kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1 | IS_LOAD_OFF, 347e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "ldrb", "!0w, [!1X, #!2d]", kFixupNone), 348e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(kA64Ldrb3wXx, NO_VARIANTS(0x38606800), 349e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegW, 4, 0, kFmtRegXOrSp, 9, 5, kFmtRegX, 20, 16, 350e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12 | IS_LOAD, 351e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "ldrb", "!0w, [!1X, !2x]", kFixupNone), 352e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Ldrsb3rXd), CUSTOM_VARIANTS(0x39c00000, 0x39800000), 353e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegXOrSp, 9, 5, kFmtBitBlt, 21, 10, 35463999683329612292d534e6be09dbde9480f1250Serban Constantinescu kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1 | IS_LOAD_OFF, 355e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "ldrsb", "!0r, [!1X, #!2d]", kFixupNone), 356e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Ldrsb3rXx), CUSTOM_VARIANTS(0x38e06800, 0x38a06800), 357e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegXOrSp, 9, 5, kFmtRegX, 20, 16, 358e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12 | IS_LOAD, 359e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "ldrsb", "!0r, [!1X, !2x]", kFixupNone), 360e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(kA64Ldrh3wXF, NO_VARIANTS(0x79400000), 361e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegW, 4, 0, kFmtRegXOrSp, 9, 5, kFmtBitBlt, 21, 10, 36263999683329612292d534e6be09dbde9480f1250Serban Constantinescu kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1 | IS_LOAD_OFF, 363e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "ldrh", "!0w, [!1X, #!2F]", kFixupNone), 364e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(kA64Ldrh4wXxd, NO_VARIANTS(0x78606800), 365e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegW, 4, 0, kFmtRegXOrSp, 9, 5, kFmtRegX, 20, 16, 36663999683329612292d534e6be09dbde9480f1250Serban Constantinescu kFmtBitBlt, 12, 12, IS_QUAD_OP | REG_DEF0_USE12 | IS_LOAD_OFF, 367e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "ldrh", "!0w, [!1X, !2x, lsl #!3d]", kFixupNone), 368e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Ldrsh3rXF), CUSTOM_VARIANTS(0x79c00000, 0x79800000), 369e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegXOrSp, 9, 5, kFmtBitBlt, 21, 10, 37063999683329612292d534e6be09dbde9480f1250Serban Constantinescu kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1 | IS_LOAD_OFF, 371e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "ldrsh", "!0r, [!1X, #!2F]", kFixupNone), 372e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Ldrsh4rXxd), CUSTOM_VARIANTS(0x78e06800, 0x78906800), 373e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegXOrSp, 9, 5, kFmtRegX, 20, 16, 37463999683329612292d534e6be09dbde9480f1250Serban Constantinescu kFmtBitBlt, 12, 12, IS_QUAD_OP | REG_DEF0_USE12 | IS_LOAD_OFF, 375e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "ldrsh", "!0r, [!1X, !2x, lsl #!3d]", kFixupNone), 3764163c53ce38a0f1f88bf3e8d26de9914da38498bMatteo Franchin ENCODING_MAP(WIDE(kA64Ldr2fp), SIZE_VARIANTS(0x1c000000), 377e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegF, 4, 0, kFmtBitBlt, 23, 5, kFmtUnused, -1, -1, 378e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, 379e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin IS_BINARY_OP | REG_DEF0 | REG_USE_PC | IS_LOAD | NEEDS_FIXUP, 380e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "ldr", "!0f, !1p", kFixupLoad), 381e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Ldr2rp), SIZE_VARIANTS(0x18000000), 382e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtBitBlt, 23, 5, kFmtUnused, -1, -1, 383e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, 384e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin IS_BINARY_OP | REG_DEF0 | REG_USE_PC | IS_LOAD | NEEDS_FIXUP, 385e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "ldr", "!0r, !1p", kFixupLoad), 3864163c53ce38a0f1f88bf3e8d26de9914da38498bMatteo Franchin ENCODING_MAP(WIDE(kA64Ldr3fXD), SIZE_VARIANTS(0xbd400000), 387e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegF, 4, 0, kFmtRegXOrSp, 9, 5, kFmtBitBlt, 21, 10, 38863999683329612292d534e6be09dbde9480f1250Serban Constantinescu kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1 | IS_LOAD_OFF, 389e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "ldr", "!0f, [!1X, #!2D]", kFixupNone), 390e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Ldr3rXD), SIZE_VARIANTS(0xb9400000), 391e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegXOrSp, 9, 5, kFmtBitBlt, 21, 10, 39263999683329612292d534e6be09dbde9480f1250Serban Constantinescu kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1 | IS_LOAD_OFF, 393e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "ldr", "!0r, [!1X, #!2D]", kFixupNone), 3944163c53ce38a0f1f88bf3e8d26de9914da38498bMatteo Franchin ENCODING_MAP(WIDE(kA64Ldr4fXxG), SIZE_VARIANTS(0xbc606800), 395e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegF, 4, 0, kFmtRegXOrSp, 9, 5, kFmtRegX, 20, 16, 396e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtBitBlt, 12, 12, IS_QUAD_OP | REG_DEF0_USE12 | IS_LOAD, 397e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "ldr", "!0f, [!1X, !2x!3G]", kFixupNone), 398e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Ldr4rXxG), SIZE_VARIANTS(0xb8606800), 399e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegXOrSp, 9, 5, kFmtRegX, 20, 16, 400e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtBitBlt, 12, 12, IS_QUAD_OP | REG_DEF0_USE12 | IS_LOAD, 401e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "ldr", "!0r, [!1X, !2x!3G]", kFixupNone), 402e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64LdrPost3rXd), SIZE_VARIANTS(0xb8400400), 403e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegXOrSp, 9, 5, kFmtBitBlt, 20, 12, 404e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF01 | REG_USE1 | IS_LOAD, 405e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "ldr", "!0r, [!1X], #!2d", kFixupNone), 406bc6d197cdb02eeac0c98ec4ed37f530b003a4e7aMatteo Franchin ENCODING_MAP(WIDE(kA64Ldp4ffXD), CUSTOM_VARIANTS(0x2d400000, 0x6d400000), 407bc6d197cdb02eeac0c98ec4ed37f530b003a4e7aMatteo Franchin kFmtRegF, 4, 0, kFmtRegF, 14, 10, kFmtRegXOrSp, 9, 5, 40863999683329612292d534e6be09dbde9480f1250Serban Constantinescu kFmtBitBlt, 21, 15, IS_QUAD_OP | REG_USE2 | REG_DEF01 | IS_LOAD_OFF, 409bc6d197cdb02eeac0c98ec4ed37f530b003a4e7aMatteo Franchin "ldp", "!0f, !1f, [!2X, #!3D]", kFixupNone), 410e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Ldp4rrXD), SF_VARIANTS(0x29400000), 411e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegR, 14, 10, kFmtRegXOrSp, 9, 5, 41263999683329612292d534e6be09dbde9480f1250Serban Constantinescu kFmtBitBlt, 21, 15, IS_QUAD_OP | REG_USE2 | REG_DEF01 | IS_LOAD_OFF, 413e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "ldp", "!0r, !1r, [!2X, #!3D]", kFixupNone), 414e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64LdpPost4rrXD), CUSTOM_VARIANTS(0x28c00000, 0xa8c00000), 415e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegR, 14, 10, kFmtRegXOrSp, 9, 5, 416e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtBitBlt, 21, 15, IS_QUAD_OP | REG_USE2 | REG_DEF012 | IS_LOAD, 417e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "ldp", "!0r, !1r, [!2X], #!3D", kFixupNone), 4184163c53ce38a0f1f88bf3e8d26de9914da38498bMatteo Franchin ENCODING_MAP(WIDE(kA64Ldur3fXd), CUSTOM_VARIANTS(0xbc400000, 0xfc400000), 419e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegF, 4, 0, kFmtRegXOrSp, 9, 5, kFmtBitBlt, 20, 12, 420e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1 | IS_LOAD, 421e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "ldur", "!0f, [!1X, #!2d]", kFixupNone), 422e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Ldur3rXd), SIZE_VARIANTS(0xb8400000), 423e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegXOrSp, 9, 5, kFmtBitBlt, 20, 12, 424e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1 | IS_LOAD, 425e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "ldur", "!0r, [!1X, #!2d]", kFixupNone), 426e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Ldxr2rX), SIZE_VARIANTS(0x885f7c00), 427e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegXOrSp, 9, 5, kFmtUnused, -1, -1, 42863999683329612292d534e6be09dbde9480f1250Serban Constantinescu kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1 | IS_LOADX, 429e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "ldxr", "!0r, [!1X]", kFixupNone), 430169489b4f4be8c5dd880ba6f152948324d22ff79Serban Constantinescu ENCODING_MAP(WIDE(kA64Ldaxr2rX), SIZE_VARIANTS(0x885ffc00), 431169489b4f4be8c5dd880ba6f152948324d22ff79Serban Constantinescu kFmtRegR, 4, 0, kFmtRegXOrSp, 9, 5, kFmtUnused, -1, -1, 43263999683329612292d534e6be09dbde9480f1250Serban Constantinescu kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1 | IS_LOADX, 433169489b4f4be8c5dd880ba6f152948324d22ff79Serban Constantinescu "ldaxr", "!0r, [!1X]", kFixupNone), 434e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Lsl3rrr), SF_VARIANTS(0x1ac02000), 435e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegR, 9, 5, kFmtRegR, 20, 16, 43643ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12, 437e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "lsl", "!0r, !1r, !2r", kFixupNone), 438e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Lsr3rrd), CUSTOM_VARIANTS(0x53007c00, 0xd340fc00), 439e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegR, 9, 5, kFmtBitBlt, 21, 16, 44043ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1, 441e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "lsr", "!0r, !1r, #!2d", kFixupNone), 442e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Lsr3rrr), SF_VARIANTS(0x1ac02400), 443e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegR, 9, 5, kFmtRegR, 20, 16, 44443ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12, 445e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "lsr", "!0r, !1r, !2r", kFixupNone), 446e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Movk3rdM), SF_VARIANTS(0x72800000), 447e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtBitBlt, 20, 5, kFmtBitBlt, 22, 21, 448e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE0, 449e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "movk", "!0r, #!1d!2M", kFixupNone), 450e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Movn3rdM), SF_VARIANTS(0x12800000), 451e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtBitBlt, 20, 5, kFmtBitBlt, 22, 21, 452e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0, 453e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "movn", "!0r, #!1d!2M", kFixupNone), 454e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Movz3rdM), SF_VARIANTS(0x52800000), 455e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtBitBlt, 20, 5, kFmtBitBlt, 22, 21, 456e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0, 457e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "movz", "!0r, #!1d!2M", kFixupNone), 458e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Mov2rr), SF_VARIANTS(0x2a0003e0), 459e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegR, 20, 16, kFmtUnused, -1, -1, 46063999683329612292d534e6be09dbde9480f1250Serban Constantinescu kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1 | IS_MOVE, 461e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "mov", "!0r, !1r", kFixupNone), 462e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Mvn2rr), SF_VARIANTS(0x2a2003e0), 463e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegR, 20, 16, kFmtUnused, -1, -1, 464e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, 465e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "mvn", "!0r, !1r", kFixupNone), 466e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Mul3rrr), SF_VARIANTS(0x1b007c00), 467e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegR, 9, 5, kFmtRegR, 20, 16, 46843ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12, 469e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "mul", "!0r, !1r, !2r", kFixupNone), 470ed65c5e982705defdb597d94d1aa3f2997239c9bSerban Constantinescu ENCODING_MAP(WIDE(kA64Msub4rrrr), SF_VARIANTS(0x1b008000), 471ed65c5e982705defdb597d94d1aa3f2997239c9bSerban Constantinescu kFmtRegR, 4, 0, kFmtRegR, 9, 5, kFmtRegR, 14, 10, 472ed65c5e982705defdb597d94d1aa3f2997239c9bSerban Constantinescu kFmtRegR, 20, 16, IS_QUAD_OP | REG_DEF0_USE123, 473ed65c5e982705defdb597d94d1aa3f2997239c9bSerban Constantinescu "msub", "!0r, !1r, !3r, !2r", kFixupNone), 474e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Neg3rro), SF_VARIANTS(0x4b0003e0), 475e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegR, 20, 16, kFmtShift, -1, -1, 47643ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1, 477e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "neg", "!0r, !1r!2o", kFixupNone), 478e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Orr3Rrl), SF_VARIANTS(0x32000000), 479e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegROrSp, 4, 0, kFmtRegR, 9, 5, kFmtBitBlt, 22, 10, 48043ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1, 481e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "orr", "!0R, !1r, #!2l", kFixupNone), 482e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Orr4rrro), SF_VARIANTS(0x2a000000), 483e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegR, 9, 5, kFmtRegR, 20, 16, 484e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtShift, -1, -1, IS_QUAD_OP | REG_DEF0_USE12, 485e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "orr", "!0r, !1r, !2r!3o", kFixupNone), 486e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(kA64Ret, NO_VARIANTS(0xd65f03c0), 48743ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin kFmtUnused, -1, -1, kFmtUnused, -1, -1, kFmtUnused, -1, -1, 488e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, NO_OPERAND | IS_BRANCH, 489e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "ret", "", kFixupNone), 49023abec955e2e733999a1e2c30e4e384e46e5dde4Serban Constantinescu ENCODING_MAP(WIDE(kA64Rbit2rr), SF_VARIANTS(0x5ac00000), 49123abec955e2e733999a1e2c30e4e384e46e5dde4Serban Constantinescu kFmtRegR, 4, 0, kFmtRegR, 9, 5, kFmtUnused, -1, -1, 49223abec955e2e733999a1e2c30e4e384e46e5dde4Serban Constantinescu kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, 49323abec955e2e733999a1e2c30e4e384e46e5dde4Serban Constantinescu "rbit", "!0r, !1r", kFixupNone), 494e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Rev2rr), CUSTOM_VARIANTS(0x5ac00800, 0xdac00c00), 495169489b4f4be8c5dd880ba6f152948324d22ff79Serban Constantinescu kFmtRegR, 4, 0, kFmtRegR, 9, 5, kFmtUnused, -1, -1, 49643ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, 497e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "rev", "!0r, !1r", kFixupNone), 498169489b4f4be8c5dd880ba6f152948324d22ff79Serban Constantinescu ENCODING_MAP(WIDE(kA64Rev162rr), SF_VARIANTS(0x5ac00400), 499169489b4f4be8c5dd880ba6f152948324d22ff79Serban Constantinescu kFmtRegR, 4, 0, kFmtRegR, 9, 5, kFmtUnused, -1, -1, 50043ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, 501e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "rev16", "!0r, !1r", kFixupNone), 502e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Ror3rrr), SF_VARIANTS(0x1ac02c00), 503e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegR, 9, 5, kFmtRegR, 20, 16, 50443ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12, 505e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "ror", "!0r, !1r, !2r", kFixupNone), 506e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Sbc3rrr), SF_VARIANTS(0x5a000000), 507e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegR, 9, 5, kFmtRegR, 20, 16, 508e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12, 509e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "sbc", "!0r, !1r, !2r", kFixupNone), 510e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Sbfm4rrdd), SF_N_VARIANTS(0x13000000), 511e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegR, 9, 5, kFmtBitBlt, 21, 16, 512e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtBitBlt, 15, 10, IS_QUAD_OP | REG_DEF0_USE1, 513e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "sbfm", "!0r, !1r, #!2d, #!3d", kFixupNone), 5144163c53ce38a0f1f88bf3e8d26de9914da38498bMatteo Franchin ENCODING_MAP(WIDE(kA64Scvtf2fw), FLOAT_VARIANTS(0x1e220000), 515e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegF, 4, 0, kFmtRegW, 9, 5, kFmtUnused, -1, -1, 51643ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, 517e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "scvtf", "!0f, !1w", kFixupNone), 5184163c53ce38a0f1f88bf3e8d26de9914da38498bMatteo Franchin ENCODING_MAP(WIDE(kA64Scvtf2fx), FLOAT_VARIANTS(0x9e220000), 519e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegF, 4, 0, kFmtRegX, 9, 5, kFmtUnused, -1, -1, 52043ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin kFmtUnused, -1, -1, IS_BINARY_OP | REG_DEF0_USE1, 521e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "scvtf", "!0f, !1x", kFixupNone), 522e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Sdiv3rrr), SF_VARIANTS(0x1ac00c00), 523e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegR, 9, 5, kFmtRegR, 20, 16, 524e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12, 525e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "sdiv", "!0r, !1r, !2r", kFixupNone), 526e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Smaddl4xwwx), NO_VARIANTS(0x9b200000), 527e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegX, 4, 0, kFmtRegW, 9, 5, kFmtRegW, 20, 16, 528c61b3c984c509d5f7c8eb71b853c81a34b5c28efMatteo Franchin kFmtRegX, 14, 10, IS_QUAD_OP | REG_DEF0_USE123, 529e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "smaddl", "!0x, !1w, !2w, !3x", kFixupNone), 5307c6c2ac4252ac31b42967e0f0233e8d32c5b5abeMatteo Franchin ENCODING_MAP(kA64Smulh3xxx, NO_VARIANTS(0x9b407c00), 5317c6c2ac4252ac31b42967e0f0233e8d32c5b5abeMatteo Franchin kFmtRegX, 4, 0, kFmtRegX, 9, 5, kFmtRegX, 20, 16, 5327c6c2ac4252ac31b42967e0f0233e8d32c5b5abeMatteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12, 5337c6c2ac4252ac31b42967e0f0233e8d32c5b5abeMatteo Franchin "smulh", "!0x, !1x, !2x", kFixupNone), 534bc6d197cdb02eeac0c98ec4ed37f530b003a4e7aMatteo Franchin ENCODING_MAP(WIDE(kA64Stp4ffXD), CUSTOM_VARIANTS(0x2d000000, 0x6d000000), 535bc6d197cdb02eeac0c98ec4ed37f530b003a4e7aMatteo Franchin kFmtRegF, 4, 0, kFmtRegF, 14, 10, kFmtRegXOrSp, 9, 5, 53663999683329612292d534e6be09dbde9480f1250Serban Constantinescu kFmtBitBlt, 21, 15, IS_QUAD_OP | REG_USE012 | IS_STORE_OFF, 537bc6d197cdb02eeac0c98ec4ed37f530b003a4e7aMatteo Franchin "stp", "!0f, !1f, [!2X, #!3D]", kFixupNone), 538e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Stp4rrXD), SF_VARIANTS(0x29000000), 539e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegR, 14, 10, kFmtRegXOrSp, 9, 5, 54063999683329612292d534e6be09dbde9480f1250Serban Constantinescu kFmtBitBlt, 21, 15, IS_QUAD_OP | REG_USE012 | IS_STORE_OFF, 541e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "stp", "!0r, !1r, [!2X, #!3D]", kFixupNone), 542e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64StpPost4rrXD), CUSTOM_VARIANTS(0x28800000, 0xa8800000), 543e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegR, 14, 10, kFmtRegXOrSp, 9, 5, 544e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtBitBlt, 21, 15, IS_QUAD_OP | REG_DEF2 | REG_USE012 | IS_STORE, 545e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "stp", "!0r, !1r, [!2X], #!3D", kFixupNone), 546f29ecd69af2743a425314baa4abd6c44d8d88649Andreas Gampe ENCODING_MAP(WIDE(kA64StpPre4ffXD), CUSTOM_VARIANTS(0x2d800000, 0x6d800000), 547f29ecd69af2743a425314baa4abd6c44d8d88649Andreas Gampe kFmtRegF, 4, 0, kFmtRegF, 14, 10, kFmtRegXOrSp, 9, 5, 548f29ecd69af2743a425314baa4abd6c44d8d88649Andreas Gampe kFmtBitBlt, 21, 15, IS_QUAD_OP | REG_DEF2 | REG_USE012 | IS_STORE, 5492eba1fa7e9e5f91e18ae3778d529520bd2c78d55Serban Constantinescu "stp", "!0f, !1f, [!2X, #!3D]!!", kFixupNone), 550e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64StpPre4rrXD), CUSTOM_VARIANTS(0x29800000, 0xa9800000), 551e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegR, 14, 10, kFmtRegXOrSp, 9, 5, 552e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtBitBlt, 21, 15, IS_QUAD_OP | REG_DEF2 | REG_USE012 | IS_STORE, 553e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "stp", "!0r, !1r, [!2X, #!3D]!!", kFixupNone), 5544163c53ce38a0f1f88bf3e8d26de9914da38498bMatteo Franchin ENCODING_MAP(WIDE(kA64Str3fXD), CUSTOM_VARIANTS(0xbd000000, 0xfd000000), 555e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegF, 4, 0, kFmtRegXOrSp, 9, 5, kFmtBitBlt, 21, 10, 55663999683329612292d534e6be09dbde9480f1250Serban Constantinescu kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE01 | IS_STORE_OFF, 557e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "str", "!0f, [!1X, #!2D]", kFixupNone), 5584163c53ce38a0f1f88bf3e8d26de9914da38498bMatteo Franchin ENCODING_MAP(WIDE(kA64Str4fXxG), CUSTOM_VARIANTS(0xbc206800, 0xfc206800), 559e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegF, 4, 0, kFmtRegXOrSp, 9, 5, kFmtRegX, 20, 16, 560e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtBitBlt, 12, 12, IS_QUAD_OP | REG_USE012 | IS_STORE, 561e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "str", "!0f, [!1X, !2x!3G]", kFixupNone), 562e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Str3rXD), SIZE_VARIANTS(0xb9000000), 563e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegXOrSp, 9, 5, kFmtBitBlt, 21, 10, 56463999683329612292d534e6be09dbde9480f1250Serban Constantinescu kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE01 | IS_STORE_OFF, 565e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "str", "!0r, [!1X, #!2D]", kFixupNone), 566e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Str4rXxG), SIZE_VARIANTS(0xb8206800), 567e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegXOrSp, 9, 5, kFmtRegX, 20, 16, 568e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtBitBlt, 12, 12, IS_QUAD_OP | REG_USE012 | IS_STORE, 569e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "str", "!0r, [!1X, !2x!3G]", kFixupNone), 570e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(kA64Strb3wXd, NO_VARIANTS(0x39000000), 571e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegW, 4, 0, kFmtRegXOrSp, 9, 5, kFmtBitBlt, 21, 10, 57263999683329612292d534e6be09dbde9480f1250Serban Constantinescu kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE01 | IS_STORE_OFF, 573e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "strb", "!0w, [!1X, #!2d]", kFixupNone), 574e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(kA64Strb3wXx, NO_VARIANTS(0x38206800), 575e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegW, 4, 0, kFmtRegXOrSp, 9, 5, kFmtRegX, 20, 16, 576e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE012 | IS_STORE, 577e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "strb", "!0w, [!1X, !2x]", kFixupNone), 578e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(kA64Strh3wXF, NO_VARIANTS(0x79000000), 579e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegW, 4, 0, kFmtRegXOrSp, 9, 5, kFmtBitBlt, 21, 10, 58063999683329612292d534e6be09dbde9480f1250Serban Constantinescu kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE01 | IS_STORE_OFF, 581e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "strh", "!0w, [!1X, #!2F]", kFixupNone), 582e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(kA64Strh4wXxd, NO_VARIANTS(0x78206800), 583e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegW, 4, 0, kFmtRegXOrSp, 9, 5, kFmtRegX, 20, 16, 584e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtBitBlt, 12, 12, IS_QUAD_OP | REG_USE012 | IS_STORE, 585e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "strh", "!0w, [!1X, !2x, lsl #!3d]", kFixupNone), 586e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64StrPost3rXd), SIZE_VARIANTS(0xb8000400), 587e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegXOrSp, 9, 5, kFmtBitBlt, 20, 12, 588e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE01 | REG_DEF1 | IS_STORE, 589e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "str", "!0r, [!1X], #!2d", kFixupNone), 5904163c53ce38a0f1f88bf3e8d26de9914da38498bMatteo Franchin ENCODING_MAP(WIDE(kA64Stur3fXd), CUSTOM_VARIANTS(0xbc000000, 0xfc000000), 591e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegF, 4, 0, kFmtRegXOrSp, 9, 5, kFmtBitBlt, 20, 12, 592e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE01 | IS_STORE, 593e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "stur", "!0f, [!1X, #!2d]", kFixupNone), 594e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Stur3rXd), SIZE_VARIANTS(0xb8000000), 595e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegXOrSp, 9, 5, kFmtBitBlt, 20, 12, 596e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE01 | IS_STORE, 597e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "stur", "!0r, [!1X, #!2d]", kFixupNone), 598e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Stxr3wrX), SIZE_VARIANTS(0x88007c00), 599e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegW, 20, 16, kFmtRegR, 4, 0, kFmtRegXOrSp, 9, 5, 60063999683329612292d534e6be09dbde9480f1250Serban Constantinescu kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12 | IS_STOREX, 601e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "stxr", "!0w, !1r, [!2X]", kFixupNone), 602169489b4f4be8c5dd880ba6f152948324d22ff79Serban Constantinescu ENCODING_MAP(WIDE(kA64Stlxr3wrX), SIZE_VARIANTS(0x8800fc00), 603169489b4f4be8c5dd880ba6f152948324d22ff79Serban Constantinescu kFmtRegW, 20, 16, kFmtRegR, 4, 0, kFmtRegXOrSp, 9, 5, 60463999683329612292d534e6be09dbde9480f1250Serban Constantinescu kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE12 | IS_STOREX, 605169489b4f4be8c5dd880ba6f152948324d22ff79Serban Constantinescu "stlxr", "!0w, !1r, [!2X]", kFixupNone), 606e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Sub4RRdT), SF_VARIANTS(0x51000000), 607e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegROrSp, 4, 0, kFmtRegROrSp, 9, 5, kFmtBitBlt, 21, 10, 608e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtBitBlt, 23, 22, IS_QUAD_OP | REG_DEF0_USE1, 609e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "sub", "!0R, !1R, #!2d!3T", kFixupNone), 610e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Sub4rrro), SF_VARIANTS(0x4b000000), 611e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegR, 9, 5, kFmtRegR, 20, 16, 612e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtShift, -1, -1, IS_QUAD_OP | REG_DEF0_USE12, 613e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "sub", "!0r, !1r, !2r!3o", kFixupNone), 61447b31aa855379471c06735b738396fa76e7c1988Andreas Gampe ENCODING_MAP(WIDE(kA64Sub4RRre), SF_VARIANTS(0x4b200000), 6159f975bfe091e9592a1b6b5b46d224ec04b1183b6Andreas Gampe kFmtRegROrSp, 4, 0, kFmtRegROrSp, 9, 5, kFmtRegR, 20, 16, 6169f975bfe091e9592a1b6b5b46d224ec04b1183b6Andreas Gampe kFmtExtend, -1, -1, IS_QUAD_OP | REG_DEF0_USE12, 61747b31aa855379471c06735b738396fa76e7c1988Andreas Gampe "sub", "!0r, !1r, !2r!3e", kFixupNone), 618e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Subs3rRd), SF_VARIANTS(0x71000000), 619e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegROrSp, 9, 5, kFmtBitBlt, 21, 10, 620e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_DEF0_USE1 | SETS_CCODES, 621e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "subs", "!0r, !1R, #!2d", kFixupNone), 6225d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu ENCODING_MAP(WIDE(kA64Tst2rl), SF_VARIANTS(0x7200001f), 6235d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu kFmtRegR, 9, 5, kFmtBitBlt, 22, 10, kFmtUnused, -1, -1, 6245d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE0 | SETS_CCODES, 6255d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu "tst", "!0r, !1l", kFixupNone), 6265d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu ENCODING_MAP(WIDE(kA64Tst3rro), SF_VARIANTS(0x6a00001f), 627e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 9, 5, kFmtRegR, 20, 16, kFmtShift, -1, -1, 6285d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu kFmtUnused, -1, -1, IS_TERTIARY_OP | REG_USE01 | SETS_CCODES, 629e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "tst", "!0r, !1r!2o", kFixupNone), 6305d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu // NOTE: Tbz/Tbnz does not require SETS_CCODES, but it may be replaced by some other LIRs 6315d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu // which require SETS_CCODES in the fix-up stage. 6325d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu ENCODING_MAP(WIDE(kA64Tbnz3rht), CUSTOM_VARIANTS(0x37000000, 0x37000000), 6335d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu kFmtRegR, 4, 0, kFmtImm6Shift, -1, -1, kFmtBitBlt, 18, 5, kFmtUnused, -1, -1, 6345d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu IS_TERTIARY_OP | REG_USE0 | IS_BRANCH | NEEDS_FIXUP | SETS_CCODES, 6355d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu "tbnz", "!0r, #!1h, !2t", kFixupTBxZ), 6365d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu ENCODING_MAP(WIDE(kA64Tbz3rht), CUSTOM_VARIANTS(0x36000000, 0x36000000), 6375d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu kFmtRegR, 4, 0, kFmtImm6Shift, -1, -1, kFmtBitBlt, 18, 5, kFmtUnused, -1, -1, 6385d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu IS_TERTIARY_OP | REG_USE0 | IS_BRANCH | NEEDS_FIXUP | SETS_CCODES, 6395d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu "tbz", "!0r, #!1h, !2t", kFixupTBxZ), 640e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ENCODING_MAP(WIDE(kA64Ubfm4rrdd), SF_N_VARIANTS(0x53000000), 641e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtRegR, 4, 0, kFmtRegR, 9, 5, kFmtBitBlt, 21, 16, 642e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin kFmtBitBlt, 15, 10, IS_QUAD_OP | REG_DEF0_USE1, 643e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin "ubfm", "!0r, !1r, !2d, !3d", kFixupNone), 64443ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin}; 64543ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin 64643ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin// new_lir replaces orig_lir in the pcrel_fixup list. 64743ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchinvoid Arm64Mir2Lir::ReplaceFixup(LIR* prev_lir, LIR* orig_lir, LIR* new_lir) { 64843ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin new_lir->u.a.pcrel_next = orig_lir->u.a.pcrel_next; 64943ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin if (UNLIKELY(prev_lir == NULL)) { 65043ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin first_fixup_ = new_lir; 65143ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin } else { 65243ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin prev_lir->u.a.pcrel_next = new_lir; 65343ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin } 65443ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin orig_lir->flags.fixup = kFixupNone; 65543ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin} 65643ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin 65743ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin// new_lir is inserted before orig_lir in the pcrel_fixup list. 65843ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchinvoid Arm64Mir2Lir::InsertFixupBefore(LIR* prev_lir, LIR* orig_lir, LIR* new_lir) { 65943ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin new_lir->u.a.pcrel_next = orig_lir; 66043ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin if (UNLIKELY(prev_lir == NULL)) { 66143ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin first_fixup_ = new_lir; 66243ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin } else { 66343ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin DCHECK(prev_lir->u.a.pcrel_next == orig_lir); 66443ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin prev_lir->u.a.pcrel_next = new_lir; 66543ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin } 66643ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin} 66743ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin 668e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin/* Nop, used for aligning code. Nop is an alias for hint #0. */ 669e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin#define PADDING_NOP (UINT32_C(0xd503201f)) 67043ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin 67143ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchinuint8_t* Arm64Mir2Lir::EncodeLIRs(uint8_t* write_pos, LIR* lir) { 672e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin for (; lir != nullptr; lir = NEXT_LIR(lir)) { 673e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin bool opcode_is_wide = IS_WIDE(lir->opcode); 6744163c53ce38a0f1f88bf3e8d26de9914da38498bMatteo Franchin A64Opcode opcode = UNWIDE(lir->opcode); 675e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin 676e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin if (UNLIKELY(IsPseudoLirOp(opcode))) { 677e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin continue; 678e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin } 679e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin 680e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin if (LIKELY(!lir->flags.is_nop)) { 6814163c53ce38a0f1f88bf3e8d26de9914da38498bMatteo Franchin const A64EncodingMap *encoder = &EncodingMap[opcode]; 682e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin 683e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin // Select the right variant of the skeleton. 684e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin uint32_t bits = opcode_is_wide ? encoder->xskeleton : encoder->wskeleton; 685e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin DCHECK(!opcode_is_wide || IS_WIDE(encoder->opcode)); 686e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin 687e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin for (int i = 0; i < 4; i++) { 6884163c53ce38a0f1f88bf3e8d26de9914da38498bMatteo Franchin A64EncodingKind kind = encoder->field_loc[i].kind; 689e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin uint32_t operand = lir->operands[i]; 690e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin uint32_t value; 691e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin 692e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin if (LIKELY(static_cast<unsigned>(kind) <= kFmtBitBlt)) { 693e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin // Note: this will handle kFmtReg* and kFmtBitBlt. 694e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin 695e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin if (static_cast<unsigned>(kind) < kFmtBitBlt) { 696e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin bool is_zero = A64_REG_IS_ZR(operand); 697e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin 6983c12c512faf6837844d5465b23b9410889e5eb11Andreas Gampe if (kIsDebugBuild && (kFailOnSizeError || kReportSizeError)) { 699e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin // Register usage checks: First establish register usage requirements based on the 700e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin // format in `kind'. 701ed7a0f2fb84b200ab6ef34e30dcbba4c0cf8d435Matteo Franchin bool want_float = false; // Want a float (rather than core) register. 702ed7a0f2fb84b200ab6ef34e30dcbba4c0cf8d435Matteo Franchin bool want_64_bit = false; // Want a 64-bit (rather than 32-bit) register. 703ed7a0f2fb84b200ab6ef34e30dcbba4c0cf8d435Matteo Franchin bool want_var_size = true; // Want register with variable size (kFmtReg{R,F}). 704ed7a0f2fb84b200ab6ef34e30dcbba4c0cf8d435Matteo Franchin bool want_zero = false; // Want the zero (rather than sp) register. 705e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin switch (kind) { 706e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin case kFmtRegX: 707e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin want_64_bit = true; 708e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin // Intentional fall-through. 709e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin case kFmtRegW: 7103c12c512faf6837844d5465b23b9410889e5eb11Andreas Gampe want_var_size = false; 711e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin // Intentional fall-through. 712e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin case kFmtRegR: 713e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin want_zero = true; 714e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin break; 715e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin case kFmtRegXOrSp: 716e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin want_64_bit = true; 717e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin // Intentional fall-through. 718e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin case kFmtRegWOrSp: 7193c12c512faf6837844d5465b23b9410889e5eb11Andreas Gampe want_var_size = false; 720e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin break; 721e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin case kFmtRegROrSp: 722e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin break; 723e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin case kFmtRegD: 724e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin want_64_bit = true; 725e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin // Intentional fall-through. 726e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin case kFmtRegS: 7273c12c512faf6837844d5465b23b9410889e5eb11Andreas Gampe want_var_size = false; 728e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin // Intentional fall-through. 729e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin case kFmtRegF: 730e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin want_float = true; 731e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin break; 732e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin default: 733e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin LOG(FATAL) << "Bad fmt for arg n. " << i << " of " << encoder->name 734e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin << " (" << kind << ")"; 735e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin break; 73643ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin } 737e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin 7383c12c512faf6837844d5465b23b9410889e5eb11Andreas Gampe // want_var_size == true means kind == kFmtReg{R,F}. In these two cases, we want 7393c12c512faf6837844d5465b23b9410889e5eb11Andreas Gampe // the register size to be coherent with the instruction width. 7403c12c512faf6837844d5465b23b9410889e5eb11Andreas Gampe if (want_var_size) { 7413c12c512faf6837844d5465b23b9410889e5eb11Andreas Gampe want_64_bit = opcode_is_wide; 7423c12c512faf6837844d5465b23b9410889e5eb11Andreas Gampe } 7433c12c512faf6837844d5465b23b9410889e5eb11Andreas Gampe 744e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin // Now check that the requirements are satisfied. 745c830430ed65497c2268649d8e78121364e31b184Zheng Xu RegStorage reg(operand | RegStorage::kValid); 746e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin const char *expected = nullptr; 747e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin if (want_float) { 748e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin if (!reg.IsFloat()) { 749e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin expected = "float register"; 7503c12c512faf6837844d5465b23b9410889e5eb11Andreas Gampe } else if (reg.IsDouble() != want_64_bit) { 751e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin expected = (want_64_bit) ? "double register" : "single register"; 752e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin } 753e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin } else { 754e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin if (reg.IsFloat()) { 755e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin expected = "core register"; 7563c12c512faf6837844d5465b23b9410889e5eb11Andreas Gampe } else if (reg.Is64Bit() != want_64_bit) { 757e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin expected = (want_64_bit) ? "x-register" : "w-register"; 7583c12c512faf6837844d5465b23b9410889e5eb11Andreas Gampe } else if (A64_REGSTORAGE_IS_SP_OR_ZR(reg) && is_zero != want_zero) { 759e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin expected = (want_zero) ? "zero-register" : "sp-register"; 76043ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin } 761e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin } 762e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin 763e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin // Fail, if `expected' contains an unsatisfied requirement. 764e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin if (expected != nullptr) { 76533ae5583bdd69847a7316ab38a8fa8ccd63093efbuzbee LOG(WARNING) << "Method: " << PrettyMethod(cu_->method_idx, *cu_->dex_file) 76633ae5583bdd69847a7316ab38a8fa8ccd63093efbuzbee << " @ 0x" << std::hex << lir->dalvik_offset; 7673c12c512faf6837844d5465b23b9410889e5eb11Andreas Gampe if (kFailOnSizeError) { 7683c12c512faf6837844d5465b23b9410889e5eb11Andreas Gampe LOG(FATAL) << "Bad argument n. " << i << " of " << encoder->name 769f29ecd69af2743a425314baa4abd6c44d8d88649Andreas Gampe << "(" << UNWIDE(encoder->opcode) << ", " << encoder->fmt << ")" 7703c12c512faf6837844d5465b23b9410889e5eb11Andreas Gampe << ". Expected " << expected << ", got 0x" << std::hex << operand; 7713c12c512faf6837844d5465b23b9410889e5eb11Andreas Gampe } else { 7723c12c512faf6837844d5465b23b9410889e5eb11Andreas Gampe LOG(WARNING) << "Bad argument n. " << i << " of " << encoder->name 7733c12c512faf6837844d5465b23b9410889e5eb11Andreas Gampe << ". Expected " << expected << ", got 0x" << std::hex << operand; 7743c12c512faf6837844d5465b23b9410889e5eb11Andreas Gampe } 775e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin } 776e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin } 777e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin 778ed7a0f2fb84b200ab6ef34e30dcbba4c0cf8d435Matteo Franchin // In the lines below, we rely on (operand & 0x1f) == 31 to be true for register sp 779ed7a0f2fb84b200ab6ef34e30dcbba4c0cf8d435Matteo Franchin // and zr. This means that these two registers do not need any special treatment, as 780ed7a0f2fb84b200ab6ef34e30dcbba4c0cf8d435Matteo Franchin // their bottom 5 bits are correctly set to 31 == 0b11111, which is the right 781ed7a0f2fb84b200ab6ef34e30dcbba4c0cf8d435Matteo Franchin // value for encoding both sp and zr. 782ed7a0f2fb84b200ab6ef34e30dcbba4c0cf8d435Matteo Franchin COMPILE_ASSERT((rxzr & 0x1f) == 0x1f, rzr_register_number_must_be_31); 783ed7a0f2fb84b200ab6ef34e30dcbba4c0cf8d435Matteo Franchin COMPILE_ASSERT((rsp & 0x1f) == 0x1f, rsp_register_number_must_be_31); 78443ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin } 785e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin 786e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin value = (operand << encoder->field_loc[i].start) & 787e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin ((1 << (encoder->field_loc[i].end + 1)) - 1); 788e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin bits |= value; 78943ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin } else { 790e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin switch (kind) { 791e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin case kFmtSkip: 792e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin break; // Nothing to do, but continue to next. 793e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin case kFmtUnused: 794e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin i = 4; // Done, break out of the enclosing loop. 795e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin break; 796e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin case kFmtShift: 797e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin // Intentional fallthrough. 798e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin case kFmtExtend: 799e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin DCHECK_EQ((operand & (1 << 6)) == 0, kind == kFmtShift); 800e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin value = (operand & 0x3f) << 10; 801e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin value |= ((operand & 0x1c0) >> 6) << 21; 802e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin bits |= value; 803e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin break; 804e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin case kFmtImm21: 805e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin value = (operand & 0x3) << 29; 806e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin value |= ((operand & 0x1ffffc) >> 2) << 5; 807e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin bits |= value; 808e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin break; 8095d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu case kFmtImm6Shift: 8105d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu value = (operand & 0x1f) << 19; 8115d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu value |= ((operand & 0x20) >> 5) << 31; 8125d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu bits |= value; 8135d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu break; 814e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin default: 815e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin LOG(FATAL) << "Bad fmt for arg. " << i << " in " << encoder->name 816e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin << " (" << kind << ")"; 817e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin } 81843ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin } 81943ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin } 820e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin 821e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin DCHECK_EQ(encoder->size, 4); 822e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin write_pos[0] = (bits & 0xff); 823e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin write_pos[1] = ((bits >> 8) & 0xff); 824e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin write_pos[2] = ((bits >> 16) & 0xff); 825e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin write_pos[3] = ((bits >> 24) & 0xff); 826e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin write_pos += 4; 82743ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin } 82843ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin } 829e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin 83043ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin return write_pos; 83143ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin} 83243ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin 833e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin// Align data offset on 8 byte boundary: it will only contain double-word items, as word immediates 834e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin// are better set directly from the code (they will require no more than 2 instructions). 835e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin#define ALIGNED_DATA_OFFSET(offset) (((offset) + 0x7) & ~0x7) 836e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin 83743ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin// Assemble the LIR into binary instruction format. 83843ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchinvoid Arm64Mir2Lir::AssembleLIR() { 83943ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin LIR* lir; 84043ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin LIR* prev_lir; 84143ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin cu_->NewTimingSplit("Assemble"); 84243ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin int assembler_retries = 0; 84343ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin CodeOffset starting_offset = LinkFixupInsns(first_lir_insn_, last_lir_insn_, 0); 844e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin data_offset_ = ALIGNED_DATA_OFFSET(starting_offset); 84543ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin int32_t offset_adjustment; 84643ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin AssignDataOffsets(); 84743ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin 84843ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin /* 849e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin * Note: generation must be 1 on first pass (to distinguish from initialized state of 0 850e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin * for non-visited nodes). Start at zero here, and bit will be flipped to 1 on entry to the loop. 85143ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin */ 85243ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin int generation = 0; 85343ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin while (true) { 85443ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin offset_adjustment = 0; 85543ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin AssemblerStatus res = kSuccess; // Assume success 85643ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin generation ^= 1; 857e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin // Note: nodes requiring possible fixup linked in ascending order. 85843ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin lir = first_fixup_; 85943ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin prev_lir = NULL; 86043ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin while (lir != NULL) { 8615d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu // NOTE: Any new non-pc_rel instructions inserted due to retry must be explicitly encoded at 8625d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu // the time of insertion. Note that inserted instructions don't need use/def flags, but do 8635d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu // need size and pc-rel status properly updated. 86443ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin lir->offset += offset_adjustment; 86543ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin // During pass, allows us to tell whether a node has been updated with offset_adjustment yet. 86643ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin lir->flags.generation = generation; 86743ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin switch (static_cast<FixupKind>(lir->flags.fixup)) { 86843ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin case kFixupLabel: 86943ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin case kFixupNone: 87043ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin case kFixupVLoad: 87143ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin break; 872e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin case kFixupT1Branch: { 87343ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin LIR *target_lir = lir->target; 874e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin DCHECK(target_lir); 875e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin CodeOffset pc = lir->offset; 87643ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin CodeOffset target = target_lir->offset + 87743ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin ((target_lir->flags.generation == lir->flags.generation) ? 0 : offset_adjustment); 87843ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin int32_t delta = target - pc; 8795d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu DCHECK_EQ(delta & 0x3, 0); 8807c2ad5af0bdd3cc1069038f8e3422d99aeb5f44cVladimir Marko if (!IS_SIGNED_IMM26(delta >> 2)) { 881e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin LOG(FATAL) << "Invalid jump range in kFixupT1Branch"; 88243ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin } 883e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin lir->operands[0] = delta >> 2; 88443ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin break; 88543ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin } 886e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin case kFixupLoad: 887e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin case kFixupCBxZ: 88843ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin case kFixupCondBranch: { 88943ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin LIR *target_lir = lir->target; 89043ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin DCHECK(target_lir); 891e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin CodeOffset pc = lir->offset; 89243ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin CodeOffset target = target_lir->offset + 893169489b4f4be8c5dd880ba6f152948324d22ff79Serban Constantinescu ((target_lir->flags.generation == lir->flags.generation) ? 0 : offset_adjustment); 89443ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin int32_t delta = target - pc; 8955d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu DCHECK_EQ(delta & 0x3, 0); 8965d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu if (!IS_SIGNED_IMM19(delta >> 2)) { 897e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin LOG(FATAL) << "Invalid jump range in kFixupLoad"; 89843ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin } 899e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin lir->operands[1] = delta >> 2; 90043ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin break; 90143ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin } 9025d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu case kFixupTBxZ: { 9035d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu int16_t opcode = lir->opcode; 9045d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu RegStorage reg(lir->operands[0] | RegStorage::kValid); 9055d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu int32_t imm = lir->operands[1]; 9065d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu DCHECK_EQ(IS_WIDE(opcode), reg.Is64Bit()); 9075d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu DCHECK_LT(imm, 64); 9085d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu if (imm >= 32) { 9095d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu DCHECK(IS_WIDE(opcode)); 9105d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu } else if (kIsDebugBuild && IS_WIDE(opcode)) { 9115d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu // "tbz/tbnz x0, #imm(<32)" is the same with "tbz/tbnz w0, #imm(<32)", but GCC/oatdump 9125d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu // will disassemble it as "tbz/tbnz w0, #imm(<32)". So unwide the LIR to make the 9135d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu // compiler log behave the same with those disassembler in debug build. 9145d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu // This will also affect tst instruction if it need to be replaced, but there is no 9155d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu // performance difference between "tst Xt" and "tst Wt". 9165d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu lir->opcode = UNWIDE(opcode); 9175d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu lir->operands[0] = As32BitReg(reg).GetReg(); 9185d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu } 9195d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu 9205d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu // Fix-up branch offset. 9215d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu LIR *target_lir = lir->target; 9225d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu DCHECK(target_lir); 9235d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu CodeOffset pc = lir->offset; 9245d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu CodeOffset target = target_lir->offset + 9255d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu ((target_lir->flags.generation == lir->flags.generation) ? 0 : offset_adjustment); 9265d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu int32_t delta = target - pc; 9275d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu DCHECK_EQ(delta & 0x3, 0); 9285d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu // Check if branch offset can be encoded in tbz/tbnz. 9295d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu if (!IS_SIGNED_IMM14(delta >> 2)) { 9305d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu DexOffset dalvik_offset = lir->dalvik_offset; 9315d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu int16_t opcode = lir->opcode; 9325d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu LIR* target = lir->target; 9335d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu // "tbz/tbnz Rt, #imm, label" -> "tst Rt, #(1<<imm)". 9345d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu offset_adjustment -= lir->flags.size; 9355d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu int32_t imm = EncodeLogicalImmediate(IS_WIDE(opcode), 1 << lir->operands[1]); 9365d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu DCHECK_NE(imm, -1); 9375d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu lir->opcode = IS_WIDE(opcode) ? WIDE(kA64Tst2rl) : kA64Tst2rl; 9385d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu lir->operands[1] = imm; 9395d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu lir->target = nullptr; 9405d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu lir->flags.fixup = EncodingMap[kA64Tst2rl].fixup; 9415d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu lir->flags.size = EncodingMap[kA64Tst2rl].size; 9425d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu offset_adjustment += lir->flags.size; 9435d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu // Insert "beq/bneq label". 9445d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu opcode = UNWIDE(opcode); 9455d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu DCHECK(opcode == kA64Tbz3rht || opcode == kA64Tbnz3rht); 9465d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu LIR* new_lir = RawLIR(dalvik_offset, kA64B2ct, 9475d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu opcode == kA64Tbz3rht ? kArmCondEq : kArmCondNe, 0, 0, 0, 0, target); 9485d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu InsertLIRAfter(lir, new_lir); 9495d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu new_lir->offset = lir->offset + lir->flags.size; 9505d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu new_lir->flags.generation = generation; 9515d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu new_lir->flags.fixup = EncodingMap[kA64B2ct].fixup; 9525d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu new_lir->flags.size = EncodingMap[kA64B2ct].size; 9535d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu offset_adjustment += new_lir->flags.size; 9545d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu // lir no longer pcrel, unlink and link in new_lir. 9555d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu ReplaceFixup(prev_lir, lir, new_lir); 9565d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu prev_lir = new_lir; // Continue with the new instruction. 9575d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu lir = new_lir->u.a.pcrel_next; 9585d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu res = kRetryAll; 9595d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu continue; 9605d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu } 9615d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu lir->operands[2] = delta >> 2; 9625d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu break; 9635d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu } 96443ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin case kFixupAdr: { 965e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin LIR* target_lir = lir->target; 966e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin int32_t delta; 967e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin if (target_lir) { 968e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin CodeOffset target_offs = ((target_lir->flags.generation == lir->flags.generation) ? 969e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin 0 : offset_adjustment) + target_lir->offset; 970e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin delta = target_offs - lir->offset; 971e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin } else if (lir->operands[2] >= 0) { 972e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin EmbeddedData* tab = reinterpret_cast<EmbeddedData*>(UnwrapPointer(lir->operands[2])); 973e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin delta = tab->offset + offset_adjustment - lir->offset; 97443ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin } else { 975e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin // No fixup: this usage allows to retrieve the current PC. 976e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin delta = lir->operands[1]; 97743ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin } 978e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin if (!IS_SIGNED_IMM21(delta)) { 979e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin LOG(FATAL) << "Jump range above 1MB in kFixupAdr"; 98043ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin } 981e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin lir->operands[1] = delta; 98243ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin break; 98343ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin } 98443ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin default: 98543ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin LOG(FATAL) << "Unexpected case " << lir->flags.fixup; 98643ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin } 98743ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin prev_lir = lir; 98843ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin lir = lir->u.a.pcrel_next; 98943ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin } 99043ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin 99143ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin if (res == kSuccess) { 9925d7cdec7527f8043bf15e23a0041c40156727243Zheng Xu DCHECK_EQ(offset_adjustment, 0); 99343ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin break; 99443ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin } else { 99543ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin assembler_retries++; 99643ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin if (assembler_retries > MAX_ASSEMBLER_RETRIES) { 99743ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin CodegenDump(); 99843ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin LOG(FATAL) << "Assembler error - too many retries"; 99943ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin } 100043ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin starting_offset += offset_adjustment; 1001e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin data_offset_ = ALIGNED_DATA_OFFSET(starting_offset); 100243ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin AssignDataOffsets(); 100343ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin } 100443ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin } 100543ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin 100643ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin // Build the CodeBuffer. 100743ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin DCHECK_LE(data_offset_, total_size_); 100843ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin code_buffer_.reserve(total_size_); 100943ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin code_buffer_.resize(starting_offset); 101043ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin uint8_t* write_pos = &code_buffer_[0]; 101143ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin write_pos = EncodeLIRs(write_pos, first_lir_insn_); 101243ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin DCHECK_EQ(static_cast<CodeOffset>(write_pos - &code_buffer_[0]), starting_offset); 101343ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin 1014e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin DCHECK_EQ(data_offset_, ALIGNED_DATA_OFFSET(code_buffer_.size())); 101543ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin 101643ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin // Install literals 101743ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin InstallLiteralPools(); 101843ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin 101943ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin // Install switch tables 102043ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin InstallSwitchTables(); 102143ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin 102243ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin // Install fill array data 102343ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin InstallFillArrayData(); 102443ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin 102543ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin // Create the mapping table and native offset to reference map. 102643ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin cu_->NewTimingSplit("PcMappingTable"); 102743ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin CreateMappingTables(); 102843ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin 102943ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin cu_->NewTimingSplit("GcMap"); 103043ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin CreateNativeGcMap(); 103143ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin} 103243ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin 10335aa6e04061ced68cca8111af1e9c19781b8a9c5dIan Rogerssize_t Arm64Mir2Lir::GetInsnSize(LIR* lir) { 10344163c53ce38a0f1f88bf3e8d26de9914da38498bMatteo Franchin A64Opcode opcode = UNWIDE(lir->opcode); 1035e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin DCHECK(!IsPseudoLirOp(opcode)); 1036e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin return EncodingMap[opcode].size; 103743ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin} 103843ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin 103943ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin// Encode instruction bit pattern and assign offsets. 104043ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchinuint32_t Arm64Mir2Lir::LinkFixupInsns(LIR* head_lir, LIR* tail_lir, uint32_t offset) { 104143ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin LIR* end_lir = tail_lir->next; 104243ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin 104343ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin LIR* last_fixup = NULL; 104443ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin for (LIR* lir = head_lir; lir != end_lir; lir = NEXT_LIR(lir)) { 10454163c53ce38a0f1f88bf3e8d26de9914da38498bMatteo Franchin A64Opcode opcode = UNWIDE(lir->opcode); 104643ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin if (!lir->flags.is_nop) { 104743ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin if (lir->flags.fixup != kFixupNone) { 1048e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin if (!IsPseudoLirOp(opcode)) { 1049e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin lir->flags.size = EncodingMap[opcode].size; 1050e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin lir->flags.fixup = EncodingMap[opcode].fixup; 105143ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin } else { 1052e45fb9e7976c8462b94a58ad60b006b0eacec49fMatteo Franchin DCHECK_NE(static_cast<int>(opcode), kPseudoPseudoAlign4); 105343ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin lir->flags.size = 0; 105443ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin lir->flags.fixup = kFixupLabel; 105543ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin } 105643ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin // Link into the fixup chain. 105743ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin lir->flags.use_def_invalid = true; 105843ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin lir->u.a.pcrel_next = NULL; 105943ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin if (first_fixup_ == NULL) { 106043ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin first_fixup_ = lir; 106143ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin } else { 106243ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin last_fixup->u.a.pcrel_next = lir; 106343ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin } 106443ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin last_fixup = lir; 106543ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin lir->offset = offset; 106643ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin } 106743ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin offset += lir->flags.size; 106843ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin } 106943ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin } 107043ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin return offset; 107143ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin} 107243ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin 107343ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchinvoid Arm64Mir2Lir::AssignDataOffsets() { 107443ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin /* Set up offsets for literals */ 107543ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin CodeOffset offset = data_offset_; 107643ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin 107743ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin offset = AssignLiteralOffset(offset); 107843ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin 107943ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin offset = AssignSwitchTablesOffset(offset); 108043ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin 108143ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin total_size_ = AssignFillArrayDataOffset(offset); 108243ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin} 108343ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin 108443ec8737d8356dbff0a90bee521fb0e73438da47Matteo Franchin} // namespace art 1085