opcodes/aarch64-asm.c

   1 /* aarch64-asm.c -- AArch64 assembler support.
   2    Copyright (C) 2012-2016 Free Software Foundation, Inc.
   3    Contributed by ARM Ltd.
   4
   5    This file is part of the GNU opcodes library.
   6
   7    This library is free software; you can redistribute it and/or modify
   8    it under the terms of the GNU General Public License as published by
   9    the Free Software Foundation; either version 3, or (at your option)
  10    any later version.
  11
  12    It is distributed in the hope that it will be useful, but WITHOUT
  13    ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
  14    or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
  15    License for more details.
  16
  17    You should have received a copy of the GNU General Public License
  18    along with this program; see the file COPYING3. If not,
  19    see <http://www.gnu.org/licenses/>.  */
  20
  21 #include "sysdep.h"
  22 #include <stdarg.h>
  23 #include "libiberty.h"
  24 #include "aarch64-asm.h"
  25
  26 /* Utilities.  */
  27
  28 /* The unnamed arguments consist of the number of fields and information about
  29    these fields where the VALUE will be inserted into CODE.  MASK can be zero or
  30    the base mask of the opcode.
  31
  32    N.B. the fields are required to be in such an order than the least signficant
  33    field for VALUE comes the first, e.g. the <index> in
  34     SQDMLAL <Va><d>, <Vb><n>, <Vm>.<Ts>[<index>]
  35    is encoded in H:L:M in some cases, the fields H:L:M should be passed in
  36    the order of M, L, H.  */
  37
  38 static inline void
  39 insert_fields (aarch64_insn *code, aarch64_insn value, aarch64_insn mask, ...)
  40 {
  41   uint32_t num;
  42   const aarch64_field *field;
  43   enum aarch64_field_kind kind;
  44   va_list va;
  45
  46   va_start (va, mask);
  47   num = va_arg (va, uint32_t);
  48   assert (num <= 5);
  49   while (num--)
  50     {
  51       kind = va_arg (va, enum aarch64_field_kind);
  52       field = &fields[kind];
  53       insert_field (kind, code, value, mask);
  54       value >>= field->width;
  55     }
  56   va_end (va);
  57 }
  58
  59 /* Insert a raw field value VALUE into all fields in SELF->fields.
  60    The least significant bit goes in the final field.  */
  61
  62 static void
  63 insert_all_fields (const aarch64_operand *self, aarch64_insn *code,
  64                    aarch64_insn value)
  65 {
  66   unsigned int i;
  67   enum aarch64_field_kind kind;
  68
  69   for (i = ARRAY_SIZE (self->fields); i-- > 0; )
  70     if (self->fields[i] != FLD_NIL)
  71       {
  72         kind = self->fields[i];
  73         insert_field (kind, code, value, 0);
  74         value >>= fields[kind].width;
  75       }
  76 }
  77
  78 /* Operand inserters.  */
  79
  80 /* Insert register number.  */
  81 const char *
  82 aarch64_ins_regno (const aarch64_operand *self, const aarch64_opnd_info *info,
  83                    aarch64_insn *code,
  84                    const aarch64_inst *inst ATTRIBUTE_UNUSED)
  85 {
  86   insert_field (self->fields[0], code, info->reg.regno, 0);
  87   return NULL;
  88 }
  89
  90 /* Insert register number, index and/or other data for SIMD register element
  91    operand, e.g. the last source operand in
  92      SQDMLAL <Va><d>, <Vb><n>, <Vm>.<Ts>[<index>].  */
  93 const char *
  94 aarch64_ins_reglane (const aarch64_operand *self, const aarch64_opnd_info *info,
  95                      aarch64_insn *code, const aarch64_inst *inst)
  96 {
  97   /* regno */
  98   insert_field (self->fields[0], code, info->reglane.regno, inst->opcode->mask);
  99   /* index and/or type */
 100   if (inst->opcode->iclass == asisdone || inst->opcode->iclass == asimdins)
 101     {
 102       int pos = info->qualifier - AARCH64_OPND_QLF_S_B;
 103       if (info->type == AARCH64_OPND_En
 104           && inst->opcode->operands[0] == AARCH64_OPND_Ed)
 105         {
 106           /* index2 for e.g. INS <Vd>.<Ts>[<index1>], <Vn>.<Ts>[<index2>].  */
 107           assert (info->idx == 1);      /* Vn */
 108           aarch64_insn value = info->reglane.index << pos;
 109           insert_field (FLD_imm4, code, value, 0);
 110         }
 111       else
 112         {
 113           /* index and type for e.g. DUP <V><d>, <Vn>.<T>[<index>].
 114              imm5<3:0>  <V>
 115              0000       RESERVED
 116              xxx1       B
 117              xx10       H
 118              x100       S
 119              1000       D  */
 120           aarch64_insn value = ((info->reglane.index << 1) | 1) << pos;
 121           insert_field (FLD_imm5, code, value, 0);
 122         }
 123     }
 124   else
 125     {
 126       /* index for e.g. SQDMLAL <Va><d>, <Vb><n>, <Vm>.<Ts>[<index>]
 127          or SQDMLAL <Va><d>, <Vb><n>, <Vm>.<Ts>[<index>].  */
 128       switch (info->qualifier)
 129         {
 130         case AARCH64_OPND_QLF_S_H:
 131           /* H:L:M */
 132           insert_fields (code, info->reglane.index, 0, 3, FLD_M, FLD_L, FLD_H);
 133           break;
 134         case AARCH64_OPND_QLF_S_S:
 135           /* H:L */
 136           insert_fields (code, info->reglane.index, 0, 2, FLD_L, FLD_H);
 137           break;
 138         case AARCH64_OPND_QLF_S_D:
 139           /* H */
 140           insert_field (FLD_H, code, info->reglane.index, 0);
 141           break;
 142         default:
 143           assert (0);
 144         }
 145     }
 146   return NULL;
 147 }
 148
 149 /* Insert regno and len field of a register list operand, e.g. Vn in TBL.  */
 150 const char *
 151 aarch64_ins_reglist (const aarch64_operand *self, const aarch64_opnd_info *info,
 152                      aarch64_insn *code,
 153                      const aarch64_inst *inst ATTRIBUTE_UNUSED)
 154 {
 155   /* R */
 156   insert_field (self->fields[0], code, info->reglist.first_regno, 0);
 157   /* len */
 158   insert_field (FLD_len, code, info->reglist.num_regs - 1, 0);
 159   return NULL;
 160 }
 161
 162 /* Insert Rt and opcode fields for a register list operand, e.g. Vt
 163    in AdvSIMD load/store instructions.  */
 164 const char *
 165 aarch64_ins_ldst_reglist (const aarch64_operand *self ATTRIBUTE_UNUSED,
 166                           const aarch64_opnd_info *info, aarch64_insn *code,
 167                           const aarch64_inst *inst)
 168 {
 169   aarch64_insn value = 0;
 170   /* Number of elements in each structure to be loaded/stored.  */
 171   unsigned num = get_opcode_dependent_value (inst->opcode);
 172
 173   /* Rt */
 174   insert_field (FLD_Rt, code, info->reglist.first_regno, 0);
 175   /* opcode */
 176   switch (num)
 177     {
 178     case 1:
 179       switch (info->reglist.num_regs)
 180         {
 181         case 1: value = 0x7; break;
 182         case 2: value = 0xa; break;
 183         case 3: value = 0x6; break;
 184         case 4: value = 0x2; break;
 185         default: assert (0);
 186         }
 187       break;
 188     case 2:
 189       value = info->reglist.num_regs == 4 ? 0x3 : 0x8;
 190       break;
 191     case 3:
 192       value = 0x4;
 193       break;
 194     case 4:
 195       value = 0x0;
 196       break;
 197     default:
 198       assert (0);
 199     }
 200   insert_field (FLD_opcode, code, value, 0);
 201
 202   return NULL;
 203 }
 204
 205 /* Insert Rt and S fields for a register list operand, e.g. Vt in AdvSIMD load
 206    single structure to all lanes instructions.  */
 207 const char *
 208 aarch64_ins_ldst_reglist_r (const aarch64_operand *self ATTRIBUTE_UNUSED,
 209                             const aarch64_opnd_info *info, aarch64_insn *code,
 210                             const aarch64_inst *inst)
 211 {
 212   aarch64_insn value;
 213   /* The opcode dependent area stores the number of elements in
 214      each structure to be loaded/stored.  */
 215   int is_ld1r = get_opcode_dependent_value (inst->opcode) == 1;
 216
 217   /* Rt */
 218   insert_field (FLD_Rt, code, info->reglist.first_regno, 0);
 219   /* S */
 220   value = (aarch64_insn) 0;
 221   if (is_ld1r && info->reglist.num_regs == 2)
 222     /* OP_LD1R does not have alternating variant, but have "two consecutive"
 223        instead.  */
 224     value = (aarch64_insn) 1;
 225   insert_field (FLD_S, code, value, 0);
 226
 227   return NULL;
 228 }
 229
 230 /* Insert Q, opcode<2:1>, S, size and Rt fields for a register element list
 231    operand e.g. Vt in AdvSIMD load/store single element instructions.  */
 232 const char *
 233 aarch64_ins_ldst_elemlist (const aarch64_operand *self ATTRIBUTE_UNUSED,
 234                            const aarch64_opnd_info *info, aarch64_insn *code,
 235                            const aarch64_inst *inst ATTRIBUTE_UNUSED)
 236 {
 237   aarch64_field field = {0, 0};
 238   aarch64_insn QSsize = 0;      /* fields Q:S:size.  */
 239   aarch64_insn opcodeh2 = 0;    /* opcode<2:1> */
 240
 241   assert (info->reglist.has_index);
 242
 243   /* Rt */
 244   insert_field (FLD_Rt, code, info->reglist.first_regno, 0);
 245   /* Encode the index, opcode<2:1> and size.  */
 246   switch (info->qualifier)
 247     {
 248     case AARCH64_OPND_QLF_S_B:
 249       /* Index encoded in "Q:S:size".  */
 250       QSsize = info->reglist.index;
 251       opcodeh2 = 0x0;
 252       break;
 253     case AARCH64_OPND_QLF_S_H:
 254       /* Index encoded in "Q:S:size<1>".  */
 255       QSsize = info->reglist.index << 1;
 256       opcodeh2 = 0x1;
 257       break;
 258     case AARCH64_OPND_QLF_S_S:
 259       /* Index encoded in "Q:S".  */
 260       QSsize = info->reglist.index << 2;
 261       opcodeh2 = 0x2;
 262       break;
 263     case AARCH64_OPND_QLF_S_D:
 264       /* Index encoded in "Q".  */
 265       QSsize = info->reglist.index << 3 | 0x1;
 266       opcodeh2 = 0x2;
 267       break;
 268     default:
 269       assert (0);
 270     }
 271   insert_fields (code, QSsize, 0, 3, FLD_vldst_size, FLD_S, FLD_Q);
 272   gen_sub_field (FLD_asisdlso_opcode, 1, 2, &field);
 273   insert_field_2 (&field, code, opcodeh2, 0);
 274
 275   return NULL;
 276 }
 277
 278 /* Insert fields immh:immb and/or Q for e.g. the shift immediate in
 279    SSHR <Vd>.<T>, <Vn>.<T>, #<shift>
 280    or SSHR <V><d>, <V><n>, #<shift>.  */
 281 const char *
 282 aarch64_ins_advsimd_imm_shift (const aarch64_operand *self ATTRIBUTE_UNUSED,
 283                                const aarch64_opnd_info *info,
 284                                aarch64_insn *code, const aarch64_inst *inst)
 285 {
 286   unsigned val = aarch64_get_qualifier_standard_value (info->qualifier);
 287   aarch64_insn Q, imm;
 288
 289   if (inst->opcode->iclass == asimdshf)
 290     {
 291       /* Q
 292          immh   Q       <T>
 293          0000   x       SEE AdvSIMD modified immediate
 294          0001   0       8B
 295          0001   1       16B
 296          001x   0       4H
 297          001x   1       8H
 298          01xx   0       2S
 299          01xx   1       4S
 300          1xxx   0       RESERVED
 301          1xxx   1       2D  */
 302       Q = (val & 0x1) ? 1 : 0;
 303       insert_field (FLD_Q, code, Q, inst->opcode->mask);
 304       val >>= 1;
 305     }
 306
 307   assert (info->type == AARCH64_OPND_IMM_VLSR
 308           || info->type == AARCH64_OPND_IMM_VLSL);
 309
 310   if (info->type == AARCH64_OPND_IMM_VLSR)
 311     /* immh:immb
 312        immh     <shift>
 313        0000     SEE AdvSIMD modified immediate
 314        0001     (16-UInt(immh:immb))
 315        001x     (32-UInt(immh:immb))
 316        01xx     (64-UInt(immh:immb))
 317        1xxx     (128-UInt(immh:immb))  */
 318     imm = (16 << (unsigned)val) - info->imm.value;
 319   else
 320     /* immh:immb
 321        immh     <shift>
 322        0000     SEE AdvSIMD modified immediate
 323        0001     (UInt(immh:immb)-8)
 324        001x     (UInt(immh:immb)-16)
 325        01xx     (UInt(immh:immb)-32)
 326        1xxx     (UInt(immh:immb)-64)  */
 327     imm = info->imm.value + (8 << (unsigned)val);
 328   insert_fields (code, imm, 0, 2, FLD_immb, FLD_immh);
 329
 330   return NULL;
 331 }
 332
 333 /* Insert fields for e.g. the immediate operands in
 334    BFM <Wd>, <Wn>, #<immr>, #<imms>.  */
 335 const char *
 336 aarch64_ins_imm (const aarch64_operand *self, const aarch64_opnd_info *info,
 337                  aarch64_insn *code,
 338                  const aarch64_inst *inst ATTRIBUTE_UNUSED)
 339 {
 340   int64_t imm;
 341
 342   imm = info->imm.value;
 343   if (operand_need_shift_by_two (self))
 344     imm >>= 2;
 345   insert_all_fields (self, code, imm);
 346   return NULL;
 347 }
 348
 349 /* Insert immediate and its shift amount for e.g. the last operand in
 350      MOVZ <Wd>, #<imm16>{, LSL #<shift>}.  */
 351 const char *
 352 aarch64_ins_imm_half (const aarch64_operand *self, const aarch64_opnd_info *info,
 353                       aarch64_insn *code, const aarch64_inst *inst)
 354 {
 355   /* imm16 */
 356   aarch64_ins_imm (self, info, code, inst);
 357   /* hw */
 358   insert_field (FLD_hw, code, info->shifter.amount >> 4, 0);
 359   return NULL;
 360 }
 361
 362 /* Insert cmode and "a:b:c:d:e:f:g:h" fields for e.g. the last operand in
 363      MOVI <Vd>.<T>, #<imm8> {, LSL #<amount>}.  */
 364 const char *
 365 aarch64_ins_advsimd_imm_modified (const aarch64_operand *self ATTRIBUTE_UNUSED,
 366                                   const aarch64_opnd_info *info,
 367                                   aarch64_insn *code,
 368                                   const aarch64_inst *inst ATTRIBUTE_UNUSED)
 369 {
 370   enum aarch64_opnd_qualifier opnd0_qualifier = inst->operands[0].qualifier;
 371   uint64_t imm = info->imm.value;
 372   enum aarch64_modifier_kind kind = info->shifter.kind;
 373   int amount = info->shifter.amount;
 374   aarch64_field field = {0, 0};
 375
 376   /* a:b:c:d:e:f:g:h */
 377   if (!info->imm.is_fp && aarch64_get_qualifier_esize (opnd0_qualifier) == 8)
 378     {
 379       /* Either MOVI <Dd>, #<imm>
 380          or     MOVI <Vd>.2D, #<imm>.
 381          <imm> is a 64-bit immediate
 382          "aaaaaaaabbbbbbbbccccccccddddddddeeeeeeeeffffffffgggggggghhhhhhhh",
 383          encoded in "a:b:c:d:e:f:g:h".  */
 384       imm = aarch64_shrink_expanded_imm8 (imm);
 385       assert ((int)imm >= 0);
 386     }
 387   insert_fields (code, imm, 0, 2, FLD_defgh, FLD_abc);
 388
 389   if (kind == AARCH64_MOD_NONE)
 390     return NULL;
 391
 392   /* shift amount partially in cmode */
 393   assert (kind == AARCH64_MOD_LSL || kind == AARCH64_MOD_MSL);
 394   if (kind == AARCH64_MOD_LSL)
 395     {
 396       /* AARCH64_MOD_LSL: shift zeros.  */
 397       int esize = aarch64_get_qualifier_esize (opnd0_qualifier);
 398       assert (esize == 4 || esize == 2 || esize == 1);
 399       /* For 8-bit move immediate, the optional LSL #0 does not require
 400          encoding.  */
 401       if (esize == 1)
 402         return NULL;
 403       amount >>= 3;
 404       if (esize == 4)
 405         gen_sub_field (FLD_cmode, 1, 2, &field);        /* per word */
 406       else
 407         gen_sub_field (FLD_cmode, 1, 1, &field);        /* per halfword */
 408     }
 409   else
 410     {
 411       /* AARCH64_MOD_MSL: shift ones.  */
 412       amount >>= 4;
 413       gen_sub_field (FLD_cmode, 0, 1, &field);          /* per word */
 414     }
 415   insert_field_2 (&field, code, amount, 0);
 416
 417   return NULL;
 418 }
 419
 420 /* Insert fields for an 8-bit floating-point immediate.  */
 421 const char *
 422 aarch64_ins_fpimm (const aarch64_operand *self, const aarch64_opnd_info *info,
 423                    aarch64_insn *code,
 424                    const aarch64_inst *inst ATTRIBUTE_UNUSED)
 425 {
 426   insert_all_fields (self, code, info->imm.value);
 427   return NULL;
 428 }
 429
 430 /* Insert #<fbits> for the immediate operand in fp fix-point instructions,
 431    e.g.  SCVTF <Dd>, <Wn>, #<fbits>.  */
 432 const char *
 433 aarch64_ins_fbits (const aarch64_operand *self, const aarch64_opnd_info *info,
 434                    aarch64_insn *code,
 435                    const aarch64_inst *inst ATTRIBUTE_UNUSED)
 436 {
 437   insert_field (self->fields[0], code, 64 - info->imm.value, 0);
 438   return NULL;
 439 }
 440
 441 /* Insert arithmetic immediate for e.g. the last operand in
 442      SUBS <Wd>, <Wn|WSP>, #<imm> {, <shift>}.  */
 443 const char *
 444 aarch64_ins_aimm (const aarch64_operand *self, const aarch64_opnd_info *info,
 445                   aarch64_insn *code, const aarch64_inst *inst ATTRIBUTE_UNUSED)
 446 {
 447   /* shift */
 448   aarch64_insn value = info->shifter.amount ? 1 : 0;
 449   insert_field (self->fields[0], code, value, 0);
 450   /* imm12 (unsigned) */
 451   insert_field (self->fields[1], code, info->imm.value, 0);
 452   return NULL;
 453 }
 454
 455 /* Insert logical/bitmask immediate for e.g. the last operand in
 456      ORR <Wd|WSP>, <Wn>, #<imm>.  */
 457 const char *
 458 aarch64_ins_limm (const aarch64_operand *self, const aarch64_opnd_info *info,
 459                   aarch64_insn *code, const aarch64_inst *inst ATTRIBUTE_UNUSED)
 460 {
 461   aarch64_insn value;
 462   uint64_t imm = info->imm.value;
 463   int esize = aarch64_get_qualifier_esize (inst->operands[0].qualifier);
 464
 465   if (inst->opcode->op == OP_BIC)
 466     imm = ~imm;
 467   if (aarch64_logical_immediate_p (imm, esize, &value) == FALSE)
 468     /* The constraint check should have guaranteed this wouldn't happen.  */
 469     assert (0);
 470
 471   insert_fields (code, value, 0, 3, self->fields[2], self->fields[1],
 472                  self->fields[0]);
 473   return NULL;
 474 }
 475
 476 /* Encode Ft for e.g. STR <Qt>, [<Xn|SP>, <R><m>{, <extend> {<amount>}}]
 477    or LDP <Qt1>, <Qt2>, [<Xn|SP>], #<imm>.  */
 478 const char *
 479 aarch64_ins_ft (const aarch64_operand *self, const aarch64_opnd_info *info,
 480                 aarch64_insn *code, const aarch64_inst *inst)
 481 {
 482   aarch64_insn value = 0;
 483
 484   assert (info->idx == 0);
 485
 486   /* Rt */
 487   aarch64_ins_regno (self, info, code, inst);
 488   if (inst->opcode->iclass == ldstpair_indexed
 489       || inst->opcode->iclass == ldstnapair_offs
 490       || inst->opcode->iclass == ldstpair_off
 491       || inst->opcode->iclass == loadlit)
 492     {
 493       /* size */
 494       switch (info->qualifier)
 495         {
 496         case AARCH64_OPND_QLF_S_S: value = 0; break;
 497         case AARCH64_OPND_QLF_S_D: value = 1; break;
 498         case AARCH64_OPND_QLF_S_Q: value = 2; break;
 499         default: assert (0);
 500         }
 501       insert_field (FLD_ldst_size, code, value, 0);
 502     }
 503   else
 504     {
 505       /* opc[1]:size */
 506       value = aarch64_get_qualifier_standard_value (info->qualifier);
 507       insert_fields (code, value, 0, 2, FLD_ldst_size, FLD_opc1);
 508     }
 509
 510   return NULL;
 511 }
 512
 513 /* Encode the address operand for e.g. STXRB <Ws>, <Wt>, [<Xn|SP>{,#0}].  */
 514 const char *
 515 aarch64_ins_addr_simple (const aarch64_operand *self ATTRIBUTE_UNUSED,
 516                          const aarch64_opnd_info *info, aarch64_insn *code,
 517                          const aarch64_inst *inst ATTRIBUTE_UNUSED)
 518 {
 519   /* Rn */
 520   insert_field (FLD_Rn, code, info->addr.base_regno, 0);
 521   return NULL;
 522 }
 523
 524 /* Encode the address operand for e.g.
 525      STR <Qt>, [<Xn|SP>, <R><m>{, <extend> {<amount>}}].  */
 526 const char *
 527 aarch64_ins_addr_regoff (const aarch64_operand *self ATTRIBUTE_UNUSED,
 528                          const aarch64_opnd_info *info, aarch64_insn *code,
 529                          const aarch64_inst *inst ATTRIBUTE_UNUSED)
 530 {
 531   aarch64_insn S;
 532   enum aarch64_modifier_kind kind = info->shifter.kind;
 533
 534   /* Rn */
 535   insert_field (FLD_Rn, code, info->addr.base_regno, 0);
 536   /* Rm */
 537   insert_field (FLD_Rm, code, info->addr.offset.regno, 0);
 538   /* option */
 539   if (kind == AARCH64_MOD_LSL)
 540     kind = AARCH64_MOD_UXTX;    /* Trick to enable the table-driven.  */
 541   insert_field (FLD_option, code, aarch64_get_operand_modifier_value (kind), 0);
 542   /* S */
 543   if (info->qualifier != AARCH64_OPND_QLF_S_B)
 544     S = info->shifter.amount != 0;
 545   else
 546     /* For STR <Bt>, [<Xn|SP>, <R><m>{, <extend> {<amount>}},
 547        S        <amount>
 548        0        [absent]
 549        1        #0
 550        Must be #0 if <extend> is explicitly LSL.  */
 551     S = info->shifter.operator_present && info->shifter.amount_present;
 552   insert_field (FLD_S, code, S, 0);
 553
 554   return NULL;
 555 }
 556
 557 /* Encode the address operand for e.g. LDRSW <Xt>, [<Xn|SP>, #<simm>]!.  */
 558 const char *
 559 aarch64_ins_addr_simm (const aarch64_operand *self,
 560                        const aarch64_opnd_info *info,
 561                        aarch64_insn *code,
 562                        const aarch64_inst *inst ATTRIBUTE_UNUSED)
 563 {
 564   int imm;
 565
 566   /* Rn */
 567   insert_field (FLD_Rn, code, info->addr.base_regno, 0);
 568   /* simm (imm9 or imm7) */
 569   imm = info->addr.offset.imm;
 570   if (self->fields[0] == FLD_imm7)
 571     /* scaled immediate in ld/st pair instructions..  */
 572     imm >>= get_logsz (aarch64_get_qualifier_esize (info->qualifier));
 573   insert_field (self->fields[0], code, imm, 0);
 574   /* pre/post- index */
 575   if (info->addr.writeback)
 576     {
 577       assert (inst->opcode->iclass != ldst_unscaled
 578               && inst->opcode->iclass != ldstnapair_offs
 579               && inst->opcode->iclass != ldstpair_off
 580               && inst->opcode->iclass != ldst_unpriv);
 581       assert (info->addr.preind != info->addr.postind);
 582       if (info->addr.preind)
 583         insert_field (self->fields[1], code, 1, 0);
 584     }
 585
 586   return NULL;
 587 }
 588
 589 /* Encode the address operand for e.g. LDRSW <Xt>, [<Xn|SP>{, #<pimm>}].  */
 590 const char *
 591 aarch64_ins_addr_uimm12 (const aarch64_operand *self,
 592                          const aarch64_opnd_info *info,
 593                          aarch64_insn *code,
 594                          const aarch64_inst *inst ATTRIBUTE_UNUSED)
 595 {
 596   int shift = get_logsz (aarch64_get_qualifier_esize (info->qualifier));
 597
 598   /* Rn */
 599   insert_field (self->fields[0], code, info->addr.base_regno, 0);
 600   /* uimm12 */
 601   insert_field (self->fields[1], code,info->addr.offset.imm >> shift, 0);
 602   return NULL;
 603 }
 604
 605 /* Encode the address operand for e.g.
 606      LD1 {<Vt>.<T>, <Vt2>.<T>, <Vt3>.<T>}, [<Xn|SP>], <Xm|#<amount>>.  */
 607 const char *
 608 aarch64_ins_simd_addr_post (const aarch64_operand *self ATTRIBUTE_UNUSED,
 609                             const aarch64_opnd_info *info, aarch64_insn *code,
 610                             const aarch64_inst *inst ATTRIBUTE_UNUSED)
 611 {
 612   /* Rn */
 613   insert_field (FLD_Rn, code, info->addr.base_regno, 0);
 614   /* Rm | #<amount>  */
 615   if (info->addr.offset.is_reg)
 616     insert_field (FLD_Rm, code, info->addr.offset.regno, 0);
 617   else
 618     insert_field (FLD_Rm, code, 0x1f, 0);
 619   return NULL;
 620 }
 621
 622 /* Encode the condition operand for e.g. CSEL <Xd>, <Xn>, <Xm>, <cond>.  */
 623 const char *
 624 aarch64_ins_cond (const aarch64_operand *self ATTRIBUTE_UNUSED,
 625                   const aarch64_opnd_info *info, aarch64_insn *code,
 626                   const aarch64_inst *inst ATTRIBUTE_UNUSED)
 627 {
 628   /* cond */
 629   insert_field (FLD_cond, code, info->cond->value, 0);
 630   return NULL;
 631 }
 632
 633 /* Encode the system register operand for e.g. MRS <Xt>, <systemreg>.  */
 634 const char *
 635 aarch64_ins_sysreg (const aarch64_operand *self ATTRIBUTE_UNUSED,
 636                     const aarch64_opnd_info *info, aarch64_insn *code,
 637                     const aarch64_inst *inst ATTRIBUTE_UNUSED)
 638 {
 639   /* op0:op1:CRn:CRm:op2 */
 640   insert_fields (code, info->sysreg, inst->opcode->mask, 5,
 641                  FLD_op2, FLD_CRm, FLD_CRn, FLD_op1, FLD_op0);
 642   return NULL;
 643 }
 644
 645 /* Encode the PSTATE field operand for e.g. MSR <pstatefield>, #<imm>.  */
 646 const char *
 647 aarch64_ins_pstatefield (const aarch64_operand *self ATTRIBUTE_UNUSED,
 648                          const aarch64_opnd_info *info, aarch64_insn *code,
 649                          const aarch64_inst *inst ATTRIBUTE_UNUSED)
 650 {
 651   /* op1:op2 */
 652   insert_fields (code, info->pstatefield, inst->opcode->mask, 2,
 653                  FLD_op2, FLD_op1);
 654   return NULL;
 655 }
 656
 657 /* Encode the system instruction op operand for e.g. AT <at_op>, <Xt>.  */
 658 const char *
 659 aarch64_ins_sysins_op (const aarch64_operand *self ATTRIBUTE_UNUSED,
 660                        const aarch64_opnd_info *info, aarch64_insn *code,
 661                        const aarch64_inst *inst ATTRIBUTE_UNUSED)
 662 {
 663   /* op1:CRn:CRm:op2 */
 664   insert_fields (code, info->sysins_op->value, inst->opcode->mask, 4,
 665                  FLD_op2, FLD_CRm, FLD_CRn, FLD_op1);
 666   return NULL;
 667 }
 668
 669 /* Encode the memory barrier option operand for e.g. DMB <option>|#<imm>.  */
 670
 671 const char *
 672 aarch64_ins_barrier (const aarch64_operand *self ATTRIBUTE_UNUSED,
 673                      const aarch64_opnd_info *info, aarch64_insn *code,
 674                      const aarch64_inst *inst ATTRIBUTE_UNUSED)
 675 {
 676   /* CRm */
 677   insert_field (FLD_CRm, code, info->barrier->value, 0);
 678   return NULL;
 679 }
 680
 681 /* Encode the prefetch operation option operand for e.g.
 682      PRFM <prfop>, [<Xn|SP>{, #<pimm>}].  */
 683
 684 const char *
 685 aarch64_ins_prfop (const aarch64_operand *self ATTRIBUTE_UNUSED,
 686                    const aarch64_opnd_info *info, aarch64_insn *code,
 687                    const aarch64_inst *inst ATTRIBUTE_UNUSED)
 688 {
 689   /* prfop in Rt */
 690   insert_field (FLD_Rt, code, info->prfop->value, 0);
 691   return NULL;
 692 }
 693
 694 /* Encode the hint number for instructions that alias HINT but take an
 695    operand.  */
 696
 697 const char *
 698 aarch64_ins_hint (const aarch64_operand *self ATTRIBUTE_UNUSED,
 699                   const aarch64_opnd_info *info, aarch64_insn *code,
 700                   const aarch64_inst *inst ATTRIBUTE_UNUSED)
 701 {
 702   /* CRm:op2.  */
 703   insert_fields (code, info->hint_option->value, 0, 2, FLD_op2, FLD_CRm);
 704   return NULL;
 705 }
 706
 707 /* Encode the extended register operand for e.g.
 708      STR <Qt>, [<Xn|SP>, <R><m>{, <extend> {<amount>}}].  */
 709 const char *
 710 aarch64_ins_reg_extended (const aarch64_operand *self ATTRIBUTE_UNUSED,
 711                           const aarch64_opnd_info *info, aarch64_insn *code,
 712                           const aarch64_inst *inst ATTRIBUTE_UNUSED)
 713 {
 714   enum aarch64_modifier_kind kind;
 715
 716   /* Rm */
 717   insert_field (FLD_Rm, code, info->reg.regno, 0);
 718   /* option */
 719   kind = info->shifter.kind;
 720   if (kind == AARCH64_MOD_LSL)
 721     kind = info->qualifier == AARCH64_OPND_QLF_W
 722       ? AARCH64_MOD_UXTW : AARCH64_MOD_UXTX;
 723   insert_field (FLD_option, code, aarch64_get_operand_modifier_value (kind), 0);
 724   /* imm3 */
 725   insert_field (FLD_imm3, code, info->shifter.amount, 0);
 726
 727   return NULL;
 728 }
 729
 730 /* Encode the shifted register operand for e.g.
 731      SUBS <Xd>, <Xn>, <Xm> {, <shift> #<amount>}.  */
 732 const char *
 733 aarch64_ins_reg_shifted (const aarch64_operand *self ATTRIBUTE_UNUSED,
 734                          const aarch64_opnd_info *info, aarch64_insn *code,
 735                          const aarch64_inst *inst ATTRIBUTE_UNUSED)
 736 {
 737   /* Rm */
 738   insert_field (FLD_Rm, code, info->reg.regno, 0);
 739   /* shift */
 740   insert_field (FLD_shift, code,
 741                 aarch64_get_operand_modifier_value (info->shifter.kind), 0);
 742   /* imm6 */
 743   insert_field (FLD_imm6, code, info->shifter.amount, 0);
 744
 745   return NULL;
 746 }
 747
 748 /* Miscellaneous encoding functions.  */
 749
 750 /* Encode size[0], i.e. bit 22, for
 751      e.g. FCVTN<Q> <Vd>.<Tb>, <Vn>.<Ta>.  */
 752
 753 static void
 754 encode_asimd_fcvt (aarch64_inst *inst)
 755 {
 756   aarch64_insn value;
 757   aarch64_field field = {0, 0};
 758   enum aarch64_opnd_qualifier qualifier;
 759
 760   switch (inst->opcode->op)
 761     {
 762     case OP_FCVTN:
 763     case OP_FCVTN2:
 764       /* FCVTN<Q> <Vd>.<Tb>, <Vn>.<Ta>.  */
 765       qualifier = inst->operands[1].qualifier;
 766       break;
 767     case OP_FCVTL:
 768     case OP_FCVTL2:
 769       /* FCVTL<Q> <Vd>.<Ta>, <Vn>.<Tb>.  */
 770       qualifier = inst->operands[0].qualifier;
 771       break;
 772     default:
 773       assert (0);
 774     }
 775   assert (qualifier == AARCH64_OPND_QLF_V_4S
 776           || qualifier == AARCH64_OPND_QLF_V_2D);
 777   value = (qualifier == AARCH64_OPND_QLF_V_4S) ? 0 : 1;
 778   gen_sub_field (FLD_size, 0, 1, &field);
 779   insert_field_2 (&field, &inst->value, value, 0);
 780 }
 781
 782 /* Encode size[0], i.e. bit 22, for
 783      e.g. FCVTXN <Vb><d>, <Va><n>.  */
 784
 785 static void
 786 encode_asisd_fcvtxn (aarch64_inst *inst)
 787 {
 788   aarch64_insn val = 1;
 789   aarch64_field field = {0, 0};
 790   assert (inst->operands[0].qualifier == AARCH64_OPND_QLF_S_S);
 791   gen_sub_field (FLD_size, 0, 1, &field);
 792   insert_field_2 (&field, &inst->value, val, 0);
 793 }
 794
 795 /* Encode the 'opc' field for e.g. FCVT <Dd>, <Sn>.  */
 796 static void
 797 encode_fcvt (aarch64_inst *inst)
 798 {
 799   aarch64_insn val;
 800   const aarch64_field field = {15, 2};
 801
 802   /* opc dstsize */
 803   switch (inst->operands[0].qualifier)
 804     {
 805     case AARCH64_OPND_QLF_S_S: val = 0; break;
 806     case AARCH64_OPND_QLF_S_D: val = 1; break;
 807     case AARCH64_OPND_QLF_S_H: val = 3; break;
 808     default: abort ();
 809     }
 810   insert_field_2 (&field, &inst->value, val, 0);
 811
 812   return;
 813 }
 814
 815 /* Do miscellaneous encodings that are not common enough to be driven by
 816    flags.  */
 817
 818 static void
 819 do_misc_encoding (aarch64_inst *inst)
 820 {
 821   switch (inst->opcode->op)
 822     {
 823     case OP_FCVT:
 824       encode_fcvt (inst);
 825       break;
 826     case OP_FCVTN:
 827     case OP_FCVTN2:
 828     case OP_FCVTL:
 829     case OP_FCVTL2:
 830       encode_asimd_fcvt (inst);
 831       break;
 832     case OP_FCVTXN_S:
 833       encode_asisd_fcvtxn (inst);
 834       break;
 835     default: break;
 836     }
 837 }
 838
 839 /* Encode the 'size' and 'Q' field for e.g. SHADD.  */
 840 static void
 841 encode_sizeq (aarch64_inst *inst)
 842 {
 843   aarch64_insn sizeq;
 844   enum aarch64_field_kind kind;
 845   int idx;
 846
 847   /* Get the index of the operand whose information we are going to use
 848      to encode the size and Q fields.
 849      This is deduced from the possible valid qualifier lists.  */
 850   idx = aarch64_select_operand_for_sizeq_field_coding (inst->opcode);
 851   DEBUG_TRACE ("idx: %d; qualifier: %s", idx,
 852                aarch64_get_qualifier_name (inst->operands[idx].qualifier));
 853   sizeq = aarch64_get_qualifier_standard_value (inst->operands[idx].qualifier);
 854   /* Q */
 855   insert_field (FLD_Q, &inst->value, sizeq & 0x1, inst->opcode->mask);
 856   /* size */
 857   if (inst->opcode->iclass == asisdlse
 858      || inst->opcode->iclass == asisdlsep
 859      || inst->opcode->iclass == asisdlso
 860      || inst->opcode->iclass == asisdlsop)
 861     kind = FLD_vldst_size;
 862   else
 863     kind = FLD_size;
 864   insert_field (kind, &inst->value, (sizeq >> 1) & 0x3, inst->opcode->mask);
 865 }
 866
 867 /* Opcodes that have fields shared by multiple operands are usually flagged
 868    with flags.  In this function, we detect such flags and use the
 869    information in one of the related operands to do the encoding.  The 'one'
 870    operand is not any operand but one of the operands that has the enough
 871    information for such an encoding.  */
 872
 873 static void
 874 do_special_encoding (struct aarch64_inst *inst)
 875 {
 876   int idx;
 877   aarch64_insn value = 0;
 878
 879   DEBUG_TRACE ("enter with coding 0x%x", (uint32_t) inst->value);
 880
 881   /* Condition for truly conditional executed instructions, e.g. b.cond.  */
 882   if (inst->opcode->flags & F_COND)
 883     {
 884       insert_field (FLD_cond2, &inst->value, inst->cond->value, 0);
 885     }
 886   if (inst->opcode->flags & F_SF)
 887     {
 888       idx = select_operand_for_sf_field_coding (inst->opcode);
 889       value = (inst->operands[idx].qualifier == AARCH64_OPND_QLF_X
 890                || inst->operands[idx].qualifier == AARCH64_OPND_QLF_SP)
 891         ? 1 : 0;
 892       insert_field (FLD_sf, &inst->value, value, 0);
 893       if (inst->opcode->flags & F_N)
 894         insert_field (FLD_N, &inst->value, value, inst->opcode->mask);
 895     }
 896   if (inst->opcode->flags & F_LSE_SZ)
 897     {
 898       idx = select_operand_for_sf_field_coding (inst->opcode);
 899       value = (inst->operands[idx].qualifier == AARCH64_OPND_QLF_X
 900                || inst->operands[idx].qualifier == AARCH64_OPND_QLF_SP)
 901         ? 1 : 0;
 902       insert_field (FLD_lse_sz, &inst->value, value, 0);
 903     }
 904   if (inst->opcode->flags & F_SIZEQ)
 905     encode_sizeq (inst);
 906   if (inst->opcode->flags & F_FPTYPE)
 907     {
 908       idx = select_operand_for_fptype_field_coding (inst->opcode);
 909       switch (inst->operands[idx].qualifier)
 910         {
 911         case AARCH64_OPND_QLF_S_S: value = 0; break;
 912         case AARCH64_OPND_QLF_S_D: value = 1; break;
 913         case AARCH64_OPND_QLF_S_H: value = 3; break;
 914         default: assert (0);
 915         }
 916       insert_field (FLD_type, &inst->value, value, 0);
 917     }
 918   if (inst->opcode->flags & F_SSIZE)
 919     {
 920       enum aarch64_opnd_qualifier qualifier;
 921       idx = select_operand_for_scalar_size_field_coding (inst->opcode);
 922       qualifier = inst->operands[idx].qualifier;
 923       assert (qualifier >= AARCH64_OPND_QLF_S_B
 924               && qualifier <= AARCH64_OPND_QLF_S_Q);
 925       value = aarch64_get_qualifier_standard_value (qualifier);
 926       insert_field (FLD_size, &inst->value, value, inst->opcode->mask);
 927     }
 928   if (inst->opcode->flags & F_T)
 929     {
 930       int num;  /* num of consecutive '0's on the right side of imm5<3:0>.  */
 931       aarch64_field field = {0, 0};
 932       enum aarch64_opnd_qualifier qualifier;
 933
 934       idx = 0;
 935       qualifier = inst->operands[idx].qualifier;
 936       assert (aarch64_get_operand_class (inst->opcode->operands[0])
 937               == AARCH64_OPND_CLASS_SIMD_REG
 938               && qualifier >= AARCH64_OPND_QLF_V_8B
 939               && qualifier <= AARCH64_OPND_QLF_V_2D);
 940       /* imm5<3:0>      q       <t>
 941          0000           x       reserved
 942          xxx1           0       8b
 943          xxx1           1       16b
 944          xx10           0       4h
 945          xx10           1       8h
 946          x100           0       2s
 947          x100           1       4s
 948          1000           0       reserved
 949          1000           1       2d  */
 950       value = aarch64_get_qualifier_standard_value (qualifier);
 951       insert_field (FLD_Q, &inst->value, value & 0x1, inst->opcode->mask);
 952       num = (int) value >> 1;
 953       assert (num >= 0 && num <= 3);
 954       gen_sub_field (FLD_imm5, 0, num + 1, &field);
 955       insert_field_2 (&field, &inst->value, 1 << num, inst->opcode->mask);
 956     }
 957   if (inst->opcode->flags & F_GPRSIZE_IN_Q)
 958     {
 959       /* Use Rt to encode in the case of e.g.
 960          STXP <Ws>, <Xt1>, <Xt2>, [<Xn|SP>{,#0}].  */
 961       enum aarch64_opnd_qualifier qualifier;
 962       idx = aarch64_operand_index (inst->opcode->operands, AARCH64_OPND_Rt);
 963       if (idx == -1)
 964         /* Otherwise use the result operand, which has to be a integer
 965            register.  */
 966         idx = 0;
 967       assert (idx == 0 || idx == 1);
 968       assert (aarch64_get_operand_class (inst->opcode->operands[idx])
 969               == AARCH64_OPND_CLASS_INT_REG);
 970       qualifier = inst->operands[idx].qualifier;
 971       insert_field (FLD_Q, &inst->value,
 972                     aarch64_get_qualifier_standard_value (qualifier), 0);
 973     }
 974   if (inst->opcode->flags & F_LDS_SIZE)
 975     {
 976       /* e.g. LDRSB <Wt>, [<Xn|SP>, <R><m>{, <extend> {<amount>}}].  */
 977       enum aarch64_opnd_qualifier qualifier;
 978       aarch64_field field = {0, 0};
 979       assert (aarch64_get_operand_class (inst->opcode->operands[0])
 980               == AARCH64_OPND_CLASS_INT_REG);
 981       gen_sub_field (FLD_opc, 0, 1, &field);
 982       qualifier = inst->operands[0].qualifier;
 983       insert_field_2 (&field, &inst->value,
 984                       1 - aarch64_get_qualifier_standard_value (qualifier), 0);
 985     }
 986   /* Miscellaneous encoding as the last step.  */
 987   if (inst->opcode->flags & F_MISC)
 988     do_misc_encoding (inst);
 989
 990   DEBUG_TRACE ("exit with coding 0x%x", (uint32_t) inst->value);
 991 }
 992
 993 /* Converters converting an alias opcode instruction to its real form.  */
 994
 995 /* ROR <Wd>, <Ws>, #<shift>
 996      is equivalent to:
 997    EXTR <Wd>, <Ws>, <Ws>, #<shift>.  */
 998 static void
 999 convert_ror_to_extr (aarch64_inst *inst)
1000 {
1001   copy_operand_info (inst, 3, 2);
1002   copy_operand_info (inst, 2, 1);
1003 }
1004
1005 /* UXTL<Q> <Vd>.<Ta>, <Vn>.<Tb>
1006      is equivalent to:
1007    USHLL<Q> <Vd>.<Ta>, <Vn>.<Tb>, #0.  */
1008 static void
1009 convert_xtl_to_shll (aarch64_inst *inst)
1010 {
1011   inst->operands[2].qualifier = inst->operands[1].qualifier;
1012   inst->operands[2].imm.value = 0;
1013 }
1014
1015 /* Convert
1016      LSR <Xd>, <Xn>, #<shift>
1017    to
1018      UBFM <Xd>, <Xn>, #<shift>, #63.  */
1019 static void
1020 convert_sr_to_bfm (aarch64_inst *inst)
1021 {
1022   inst->operands[3].imm.value =
1023     inst->operands[2].qualifier == AARCH64_OPND_QLF_imm_0_31 ? 31 : 63;
1024 }
1025
1026 /* Convert MOV to ORR.  */
1027 static void
1028 convert_mov_to_orr (aarch64_inst *inst)
1029 {
1030   /* MOV <Vd>.<T>, <Vn>.<T>
1031      is equivalent to:
1032      ORR <Vd>.<T>, <Vn>.<T>, <Vn>.<T>.  */
1033   copy_operand_info (inst, 2, 1);
1034 }
1035
1036 /* When <imms> >= <immr>, the instruction written:
1037      SBFX <Xd>, <Xn>, #<lsb>, #<width>
1038    is equivalent to:
1039      SBFM <Xd>, <Xn>, #<lsb>, #(<lsb>+<width>-1).  */
1040
1041 static void
1042 convert_bfx_to_bfm (aarch64_inst *inst)
1043 {
1044   int64_t lsb, width;
1045
1046   /* Convert the operand.  */
1047   lsb = inst->operands[2].imm.value;
1048   width = inst->operands[3].imm.value;
1049   inst->operands[2].imm.value = lsb;
1050   inst->operands[3].imm.value = lsb + width - 1;
1051 }
1052
1053 /* When <imms> < <immr>, the instruction written:
1054      SBFIZ <Xd>, <Xn>, #<lsb>, #<width>
1055    is equivalent to:
1056      SBFM <Xd>, <Xn>, #((64-<lsb>)&0x3f), #(<width>-1).  */
1057
1058 static void
1059 convert_bfi_to_bfm (aarch64_inst *inst)
1060 {
1061   int64_t lsb, width;
1062
1063   /* Convert the operand.  */
1064   lsb = inst->operands[2].imm.value;
1065   width = inst->operands[3].imm.value;
1066   if (inst->operands[2].qualifier == AARCH64_OPND_QLF_imm_0_31)
1067     {
1068       inst->operands[2].imm.value = (32 - lsb) & 0x1f;
1069       inst->operands[3].imm.value = width - 1;
1070     }
1071   else
1072     {
1073       inst->operands[2].imm.value = (64 - lsb) & 0x3f;
1074       inst->operands[3].imm.value = width - 1;
1075     }
1076 }
1077
1078 /* The instruction written:
1079      BFC <Xd>, #<lsb>, #<width>
1080    is equivalent to:
1081      BFM <Xd>, XZR, #((64-<lsb>)&0x3f), #(<width>-1).  */
1082
1083 static void
1084 convert_bfc_to_bfm (aarch64_inst *inst)
1085 {
1086   int64_t lsb, width;
1087
1088   /* Insert XZR.  */
1089   copy_operand_info (inst, 3, 2);
1090   copy_operand_info (inst, 2, 1);
1091   copy_operand_info (inst, 2, 0);
1092   inst->operands[1].reg.regno = 0x1f;
1093
1094   /* Convert the immedate operand.  */
1095   lsb = inst->operands[2].imm.value;
1096   width = inst->operands[3].imm.value;
1097   if (inst->operands[2].qualifier == AARCH64_OPND_QLF_imm_0_31)
1098     {
1099       inst->operands[2].imm.value = (32 - lsb) & 0x1f;
1100       inst->operands[3].imm.value = width - 1;
1101     }
1102   else
1103     {
1104       inst->operands[2].imm.value = (64 - lsb) & 0x3f;
1105       inst->operands[3].imm.value = width - 1;
1106     }
1107 }
1108
1109 /* The instruction written:
1110      LSL <Xd>, <Xn>, #<shift>
1111    is equivalent to:
1112      UBFM <Xd>, <Xn>, #((64-<shift>)&0x3f), #(63-<shift>).  */
1113
1114 static void
1115 convert_lsl_to_ubfm (aarch64_inst *inst)
1116 {
1117   int64_t shift = inst->operands[2].imm.value;
1118
1119   if (inst->operands[2].qualifier == AARCH64_OPND_QLF_imm_0_31)
1120     {
1121       inst->operands[2].imm.value = (32 - shift) & 0x1f;
1122       inst->operands[3].imm.value = 31 - shift;
1123     }
1124   else
1125     {
1126       inst->operands[2].imm.value = (64 - shift) & 0x3f;
1127       inst->operands[3].imm.value = 63 - shift;
1128     }
1129 }
1130
1131 /* CINC <Wd>, <Wn>, <cond>
1132      is equivalent to:
1133    CSINC <Wd>, <Wn>, <Wn>, invert(<cond>).  */
1134
1135 static void
1136 convert_to_csel (aarch64_inst *inst)
1137 {
1138   copy_operand_info (inst, 3, 2);
1139   copy_operand_info (inst, 2, 1);
1140   inst->operands[3].cond = get_inverted_cond (inst->operands[3].cond);
1141 }
1142
1143 /* CSET <Wd>, <cond>
1144      is equivalent to:
1145    CSINC <Wd>, WZR, WZR, invert(<cond>).  */
1146
1147 static void
1148 convert_cset_to_csinc (aarch64_inst *inst)
1149 {
1150   copy_operand_info (inst, 3, 1);
1151   copy_operand_info (inst, 2, 0);
1152   copy_operand_info (inst, 1, 0);
1153   inst->operands[1].reg.regno = 0x1f;
1154   inst->operands[2].reg.regno = 0x1f;
1155   inst->operands[3].cond = get_inverted_cond (inst->operands[3].cond);
1156 }
1157
1158 /* MOV <Wd>, #<imm>
1159    is equivalent to:
1160    MOVZ <Wd>, #<imm16>, LSL #<shift>.  */
1161
1162 static void
1163 convert_mov_to_movewide (aarch64_inst *inst)
1164 {
1165   int is32;
1166   uint32_t shift_amount;
1167   uint64_t value;
1168
1169   switch (inst->opcode->op)
1170     {
1171     case OP_MOV_IMM_WIDE:
1172       value = inst->operands[1].imm.value;
1173       break;
1174     case OP_MOV_IMM_WIDEN:
1175       value = ~inst->operands[1].imm.value;
1176       break;
1177     default:
1178       assert (0);
1179     }
1180   inst->operands[1].type = AARCH64_OPND_HALF;
1181   is32 = inst->operands[0].qualifier == AARCH64_OPND_QLF_W;
1182   if (! aarch64_wide_constant_p (value, is32, &shift_amount))
1183     /* The constraint check should have guaranteed this wouldn't happen.  */
1184     assert (0);
1185   value >>= shift_amount;
1186   value &= 0xffff;
1187   inst->operands[1].imm.value = value;
1188   inst->operands[1].shifter.kind = AARCH64_MOD_LSL;
1189   inst->operands[1].shifter.amount = shift_amount;
1190 }
1191
1192 /* MOV <Wd>, #<imm>
1193      is equivalent to:
1194    ORR <Wd>, WZR, #<imm>.  */
1195
1196 static void
1197 convert_mov_to_movebitmask (aarch64_inst *inst)
1198 {
1199   copy_operand_info (inst, 2, 1);
1200   inst->operands[1].reg.regno = 0x1f;
1201   inst->operands[1].skip = 0;
1202 }
1203
1204 /* Some alias opcodes are assembled by being converted to their real-form.  */
1205
1206 static void
1207 convert_to_real (aarch64_inst *inst, const aarch64_opcode *real)
1208 {
1209   const aarch64_opcode *alias = inst->opcode;
1210
1211   if ((alias->flags & F_CONV) == 0)
1212     goto convert_to_real_return;
1213
1214   switch (alias->op)
1215     {
1216     case OP_ASR_IMM:
1217     case OP_LSR_IMM:
1218       convert_sr_to_bfm (inst);
1219       break;
1220     case OP_LSL_IMM:
1221       convert_lsl_to_ubfm (inst);
1222       break;
1223     case OP_CINC:
1224     case OP_CINV:
1225     case OP_CNEG:
1226       convert_to_csel (inst);
1227       break;
1228     case OP_CSET:
1229     case OP_CSETM:
1230       convert_cset_to_csinc (inst);
1231       break;
1232     case OP_UBFX:
1233     case OP_BFXIL:
1234     case OP_SBFX:
1235       convert_bfx_to_bfm (inst);
1236       break;
1237     case OP_SBFIZ:
1238     case OP_BFI:
1239     case OP_UBFIZ:
1240       convert_bfi_to_bfm (inst);
1241       break;
1242     case OP_BFC:
1243       convert_bfc_to_bfm (inst);
1244       break;
1245     case OP_MOV_V:
1246       convert_mov_to_orr (inst);
1247       break;
1248     case OP_MOV_IMM_WIDE:
1249     case OP_MOV_IMM_WIDEN:
1250       convert_mov_to_movewide (inst);
1251       break;
1252     case OP_MOV_IMM_LOG:
1253       convert_mov_to_movebitmask (inst);
1254       break;
1255     case OP_ROR_IMM:
1256       convert_ror_to_extr (inst);
1257       break;
1258     case OP_SXTL:
1259     case OP_SXTL2:
1260     case OP_UXTL:
1261     case OP_UXTL2:
1262       convert_xtl_to_shll (inst);
1263       break;
1264     default:
1265       break;
1266     }
1267
1268 convert_to_real_return:
1269   aarch64_replace_opcode (inst, real);
1270 }
1271
1272 /* Encode *INST_ORI of the opcode code OPCODE.
1273    Return the encoded result in *CODE and if QLF_SEQ is not NULL, return the
1274    matched operand qualifier sequence in *QLF_SEQ.  */
1275
1276 int
1277 aarch64_opcode_encode (const aarch64_opcode *opcode,
1278                        const aarch64_inst *inst_ori, aarch64_insn *code,
1279                        aarch64_opnd_qualifier_t *qlf_seq,
1280                        aarch64_operand_error *mismatch_detail)
1281 {
1282   int i;
1283   const aarch64_opcode *aliased;
1284   aarch64_inst copy, *inst;
1285
1286   DEBUG_TRACE ("enter with %s", opcode->name);
1287
1288   /* Create a copy of *INST_ORI, so that we can do any change we want.  */
1289   copy = *inst_ori;
1290   inst = &copy;
1291
1292   assert (inst->opcode == NULL || inst->opcode == opcode);
1293   if (inst->opcode == NULL)
1294     inst->opcode = opcode;
1295
1296   /* Constrain the operands.
1297      After passing this, the encoding is guaranteed to succeed.  */
1298   if (aarch64_match_operands_constraint (inst, mismatch_detail) == 0)
1299     {
1300       DEBUG_TRACE ("FAIL since operand constraint not met");
1301       return 0;
1302     }
1303
1304   /* Get the base value.
1305      Note: this has to be before the aliasing handling below in order to
1306      get the base value from the alias opcode before we move on to the
1307      aliased opcode for encoding.  */
1308   inst->value = opcode->opcode;
1309
1310   /* No need to do anything else if the opcode does not have any operand.  */
1311   if (aarch64_num_of_operands (opcode) == 0)
1312     goto encoding_exit;
1313
1314   /* Assign operand indexes and check types.  Also put the matched
1315      operand qualifiers in *QLF_SEQ to return.  */
1316   for (i = 0; i < AARCH64_MAX_OPND_NUM; ++i)
1317     {
1318       assert (opcode->operands[i] == inst->operands[i].type);
1319       inst->operands[i].idx = i;
1320       if (qlf_seq != NULL)
1321         *qlf_seq = inst->operands[i].qualifier;
1322     }
1323
1324   aliased = aarch64_find_real_opcode (opcode);
1325   /* If the opcode is an alias and it does not ask for direct encoding by
1326      itself, the instruction will be transformed to the form of real opcode
1327      and the encoding will be carried out using the rules for the aliased
1328      opcode.  */
1329   if (aliased != NULL && (opcode->flags & F_CONV))
1330     {
1331       DEBUG_TRACE ("real opcode '%s' has been found for the alias  %s",
1332                    aliased->name, opcode->name);
1333       /* Convert the operands to the form of the real opcode.  */
1334       convert_to_real (inst, aliased);
1335       opcode = aliased;
1336     }
1337
1338   aarch64_opnd_info *info = inst->operands;
1339
1340   /* Call the inserter of each operand.  */
1341   for (i = 0; i < AARCH64_MAX_OPND_NUM; ++i, ++info)
1342     {
1343       const aarch64_operand *opnd;
1344       enum aarch64_opnd type = opcode->operands[i];
1345       if (type == AARCH64_OPND_NIL)
1346         break;
1347       if (info->skip)
1348         {
1349           DEBUG_TRACE ("skip the incomplete operand %d", i);
1350           continue;
1351         }
1352       opnd = &aarch64_operands[type];
1353       if (operand_has_inserter (opnd))
1354         aarch64_insert_operand (opnd, info, &inst->value, inst);
1355     }
1356
1357   /* Call opcode encoders indicated by flags.  */
1358   if (opcode_has_special_coder (opcode))
1359     do_special_encoding (inst);
1360
1361 encoding_exit:
1362   DEBUG_TRACE ("exit with %s", opcode->name);
1363
1364   *code = inst->value;
1365
1366   return 1;
1367 }