gas/config/tc-i386-intel.c

   1 /* tc-i386.c -- Assemble Intel syntax code for ix86/x86-64
   2    Copyright (C) 2009-2019 Free Software Foundation, Inc.
   3
   4    This file is part of GAS, the GNU Assembler.
   5
   6    GAS is free software; you can redistribute it and/or modify
   7    it under the terms of the GNU General Public License as published by
   8    the Free Software Foundation; either version 3, or (at your option)
   9    any later version.
  10
  11    GAS is distributed in the hope that it will be useful,
  12    but WITHOUT ANY WARRANTY; without even the implied warranty of
  13    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14    GNU General Public License for more details.
  15
  16    You should have received a copy of the GNU General Public License
  17    along with GAS; see the file COPYING.  If not, write to the Free
  18    Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA
  19    02110-1301, USA.  */
  20
  21 static struct
  22   {
  23     operatorT op_modifier;      /* Operand modifier.  */
  24     int is_mem;                 /* 1 if operand is memory reference.  */
  25     int is_indirect;            /* 1 if operand is indirect reference.  */
  26     int has_offset;             /* 1 if operand has offset.  */
  27     unsigned int in_offset;     /* >=1 if processing operand of offset.  */
  28     unsigned int in_bracket;    /* >=1 if processing operand in brackets.  */
  29     unsigned int in_scale;      /* >=1 if processing multiplication operand
  30                                  * in brackets.  */
  31     i386_operand_type reloc_types;      /* Value obtained from lex_got().  */
  32     const reg_entry *base;      /* Base register (if any).  */
  33     const reg_entry *index;     /* Index register (if any).  */
  34     offsetT scale_factor;       /* Accumulated scale factor.  */
  35     symbolS *seg;
  36   }
  37 intel_state;
  38
  39 /* offset X_add_symbol */
  40 #define O_offset O_md32
  41 /* offset X_add_symbol */
  42 #define O_short O_md31
  43 /* near ptr X_add_symbol */
  44 #define O_near_ptr O_md30
  45 /* far ptr X_add_symbol */
  46 #define O_far_ptr O_md29
  47 /* byte ptr X_add_symbol */
  48 #define O_byte_ptr O_md28
  49 /* word ptr X_add_symbol */
  50 #define O_word_ptr O_md27
  51 /* dword ptr X_add_symbol */
  52 #define O_dword_ptr O_md26
  53 /* qword ptr X_add_symbol */
  54 #define O_qword_ptr O_md25
  55 /* oword ptr X_add_symbol */
  56 #define O_oword_ptr O_md24
  57 /* fword ptr X_add_symbol */
  58 #define O_fword_ptr O_md23
  59 /* tbyte ptr X_add_symbol */
  60 #define O_tbyte_ptr O_md22
  61 /* xmmword ptr X_add_symbol */
  62 #define O_xmmword_ptr O_md21
  63 /* ymmword ptr X_add_symbol */
  64 #define O_ymmword_ptr O_md20
  65 /* zmmword ptr X_add_symbol */
  66 #define O_zmmword_ptr O_md19
  67
  68 static struct
  69   {
  70     const char *name;
  71     operatorT op;
  72     unsigned int operands;
  73   }
  74 const i386_operators[] =
  75   {
  76     { "and", O_bit_and, 2 },
  77     { "eq", O_eq, 2 },
  78     { "ge", O_ge, 2 },
  79     { "gt", O_gt, 2 },
  80     { "le", O_le, 2 },
  81     { "lt", O_lt, 2 },
  82     { "mod", O_modulus, 2 },
  83     { "ne", O_ne, 2 },
  84     { "not", O_bit_not, 1 },
  85     { "offset", O_offset, 1 },
  86     { "or", O_bit_inclusive_or, 2 },
  87     { "shl", O_left_shift, 2 },
  88     { "short", O_short, 1 },
  89     { "shr", O_right_shift, 2 },
  90     { "xor", O_bit_exclusive_or, 2 },
  91     { NULL, O_illegal, 0 }
  92   };
  93
  94 static struct
  95   {
  96     const char *name;
  97     operatorT op;
  98     unsigned short sz[3];
  99   }
 100 const i386_types[] =
 101   {
 102 #define I386_TYPE(t, n) { #t, O_##t##_ptr, { n, n, n } }
 103     I386_TYPE(byte, 1),
 104     I386_TYPE(word, 2),
 105     I386_TYPE(dword, 4),
 106     I386_TYPE(fword, 6),
 107     I386_TYPE(qword, 8),
 108     I386_TYPE(tbyte, 10),
 109     I386_TYPE(oword, 16),
 110     I386_TYPE(xmmword, 16),
 111     I386_TYPE(ymmword, 32),
 112     I386_TYPE(zmmword, 64),
 113 #undef I386_TYPE
 114     { "near", O_near_ptr, { 0xff04, 0xff02, 0xff08 } },
 115     { "far", O_far_ptr, { 0xff06, 0xff05, 0xff06 } },
 116     { NULL, O_illegal, { 0, 0, 0 } }
 117   };
 118
 119 operatorT i386_operator (const char *name, unsigned int operands, char *pc)
 120 {
 121   unsigned int j;
 122
 123   if (!intel_syntax)
 124     return O_absent;
 125
 126   if (!name)
 127     {
 128       if (operands != 2)
 129         return O_illegal;
 130       switch (*input_line_pointer)
 131         {
 132         case ':':
 133           ++input_line_pointer;
 134           return O_full_ptr;
 135         case '[':
 136           ++input_line_pointer;
 137           return O_index;
 138         case '@':
 139           if (this_operand >= 0 && i.reloc[this_operand] == NO_RELOC)
 140             {
 141               int adjust = 0;
 142               char *gotfree_input_line = lex_got (&i.reloc[this_operand],
 143                                                   &adjust,
 144                                                   &intel_state.reloc_types);
 145
 146               if (!gotfree_input_line)
 147                 break;
 148               free (gotfree_input_line);
 149               *input_line_pointer++ = '+';
 150               memset (input_line_pointer, '0', adjust - 1);
 151               input_line_pointer[adjust - 1] = ' ';
 152               return O_add;
 153             }
 154           break;
 155         }
 156       return O_illegal;
 157     }
 158
 159   for (j = 0; i386_operators[j].name; ++j)
 160     if (strcasecmp (i386_operators[j].name, name) == 0)
 161       {
 162         if (i386_operators[j].operands
 163             && i386_operators[j].operands != operands)
 164           return O_illegal;
 165         return i386_operators[j].op;
 166       }
 167
 168   for (j = 0; i386_types[j].name; ++j)
 169     if (strcasecmp (i386_types[j].name, name) == 0)
 170       break;
 171
 172   if (i386_types[j].name && *pc == ' ')
 173     {
 174       char *pname;
 175       char c;
 176
 177       ++input_line_pointer;
 178       c = get_symbol_name (&pname);
 179
 180       if (strcasecmp (pname, "ptr") == 0)
 181         {
 182           /* FIXME: What if c == '"' ?  */
 183           pname[-1] = *pc;
 184           *pc = c;
 185           if (intel_syntax > 0 || operands != 1)
 186             return O_illegal;
 187           return i386_types[j].op;
 188         }
 189
 190       (void) restore_line_pointer (c);
 191       input_line_pointer = pname - 1;
 192     }
 193
 194   return O_absent;
 195 }
 196
 197 static int i386_intel_parse_name (const char *name, expressionS *e)
 198 {
 199   unsigned int j;
 200
 201   if (! strcmp (name, "$"))
 202     {
 203       current_location (e);
 204       return 1;
 205     }
 206
 207   for (j = 0; i386_types[j].name; ++j)
 208     if (strcasecmp(i386_types[j].name, name) == 0)
 209       {
 210         e->X_op = O_constant;
 211         e->X_add_number = i386_types[j].sz[flag_code];
 212         e->X_add_symbol = NULL;
 213         e->X_op_symbol = NULL;
 214         return 1;
 215       }
 216
 217   return 0;
 218 }
 219
 220 static INLINE int i386_intel_check (const reg_entry *rreg,
 221                                     const reg_entry *base,
 222                                     const reg_entry *iindex)
 223 {
 224   if ((this_operand >= 0
 225        && rreg != i.op[this_operand].regs)
 226       || base != intel_state.base
 227       || iindex != intel_state.index)
 228     {
 229       as_bad (_("invalid use of register"));
 230       return 0;
 231     }
 232   return 1;
 233 }
 234
 235 static INLINE void i386_intel_fold (expressionS *e, symbolS *sym)
 236 {
 237   expressionS *exp = symbol_get_value_expression (sym);
 238   if (S_GET_SEGMENT (sym) == absolute_section)
 239     {
 240       offsetT val = e->X_add_number;
 241
 242       *e = *exp;
 243       e->X_add_number += val;
 244     }
 245   else
 246     {
 247       if (exp->X_op == O_symbol
 248           && strcmp (S_GET_NAME (exp->X_add_symbol),
 249                      GLOBAL_OFFSET_TABLE_NAME) == 0)
 250         sym = exp->X_add_symbol;
 251       e->X_add_symbol = sym;
 252       e->X_op_symbol = NULL;
 253       e->X_op = O_symbol;
 254     }
 255 }
 256
 257 static int
 258 i386_intel_simplify_register (expressionS *e)
 259 {
 260   int reg_num;
 261
 262   if (this_operand < 0 || intel_state.in_offset)
 263     {
 264       as_bad (_("invalid use of register"));
 265       return 0;
 266     }
 267
 268   if (e->X_op == O_register)
 269     reg_num = e->X_add_number;
 270   else
 271     reg_num = e->X_md - 1;
 272
 273   if (reg_num < 0 || reg_num >= (int) i386_regtab_size)
 274     {
 275       as_bad (_("invalid register number"));
 276       return 0;
 277     }
 278
 279   if (!intel_state.in_bracket)
 280     {
 281       if (i.op[this_operand].regs)
 282         {
 283           as_bad (_("invalid use of register"));
 284           return 0;
 285         }
 286       if (i386_regtab[reg_num].reg_type.bitfield.sreg3
 287           && i386_regtab[reg_num].reg_num == RegFlat)
 288         {
 289           as_bad (_("invalid use of pseudo-register"));
 290           return 0;
 291         }
 292       i.op[this_operand].regs = i386_regtab + reg_num;
 293     }
 294   else if (!intel_state.index
 295            && (i386_regtab[reg_num].reg_type.bitfield.xmmword
 296                || i386_regtab[reg_num].reg_type.bitfield.ymmword
 297                || i386_regtab[reg_num].reg_type.bitfield.zmmword
 298                || i386_regtab[reg_num].reg_num == RegIZ))
 299     intel_state.index = i386_regtab + reg_num;
 300   else if (!intel_state.base && !intel_state.in_scale)
 301     intel_state.base = i386_regtab + reg_num;
 302   else if (!intel_state.index)
 303     {
 304       if (intel_state.in_scale
 305           || current_templates->start->base_opcode == 0xf30f1b /* bndmk */
 306           || (current_templates->start->base_opcode & ~1) == 0x0f1a /* bnd{ld,st}x */
 307           || i386_regtab[reg_num].reg_type.bitfield.baseindex)
 308         intel_state.index = i386_regtab + reg_num;
 309       else
 310         {
 311           /* Convert base to index and make ESP/RSP the base.  */
 312           intel_state.index = intel_state.base;
 313           intel_state.base = i386_regtab + reg_num;
 314         }
 315     }
 316   else
 317     {
 318       /* esp is invalid as index */
 319       intel_state.index = i386_regtab + REGNAM_EAX + ESP_REG_NUM;
 320     }
 321   return 2;
 322 }
 323
 324 static int i386_intel_simplify (expressionS *);
 325
 326 static INLINE int i386_intel_simplify_symbol(symbolS *sym)
 327 {
 328   int ret = i386_intel_simplify (symbol_get_value_expression (sym));
 329
 330   if (ret == 2)
 331   {
 332     S_SET_SEGMENT(sym, absolute_section);
 333     ret = 1;
 334   }
 335   return ret;
 336 }
 337
 338 static int i386_intel_simplify (expressionS *e)
 339 {
 340   const reg_entry *the_reg = (this_operand >= 0
 341                               ? i.op[this_operand].regs : NULL);
 342   const reg_entry *base = intel_state.base;
 343   const reg_entry *state_index = intel_state.index;
 344   int ret;
 345
 346   if (!intel_syntax)
 347     return 1;
 348
 349   switch (e->X_op)
 350     {
 351     case O_index:
 352       if (e->X_add_symbol)
 353         {
 354           if (!i386_intel_simplify_symbol (e->X_add_symbol)
 355               || !i386_intel_check(the_reg, intel_state.base,
 356                                    intel_state.index))
 357             return 0;
 358         }
 359       if (!intel_state.in_offset)
 360         ++intel_state.in_bracket;
 361       ret = i386_intel_simplify_symbol (e->X_op_symbol);
 362       if (!intel_state.in_offset)
 363         --intel_state.in_bracket;
 364       if (!ret)
 365         return 0;
 366       if (e->X_add_symbol)
 367         e->X_op = O_add;
 368       else
 369         i386_intel_fold (e, e->X_op_symbol);
 370       break;
 371
 372     case O_offset:
 373       intel_state.has_offset = 1;
 374       ++intel_state.in_offset;
 375       ret = i386_intel_simplify_symbol (e->X_add_symbol);
 376       --intel_state.in_offset;
 377       if (!ret || !i386_intel_check(the_reg, base, state_index))
 378         return 0;
 379       i386_intel_fold (e, e->X_add_symbol);
 380       return ret;
 381
 382     case O_byte_ptr:
 383     case O_word_ptr:
 384     case O_dword_ptr:
 385     case O_fword_ptr:
 386     case O_qword_ptr:
 387     case O_tbyte_ptr:
 388     case O_oword_ptr:
 389     case O_xmmword_ptr:
 390     case O_ymmword_ptr:
 391     case O_zmmword_ptr:
 392     case O_near_ptr:
 393     case O_far_ptr:
 394       if (intel_state.op_modifier == O_absent)
 395         intel_state.op_modifier = e->X_op;
 396       /* FALLTHROUGH */
 397     case O_short:
 398       if (symbol_get_value_expression (e->X_add_symbol)->X_op
 399           == O_register)
 400         {
 401           as_bad (_("invalid use of register"));
 402           return 0;
 403         }
 404       if (!i386_intel_simplify_symbol (e->X_add_symbol))
 405         return 0;
 406       i386_intel_fold (e, e->X_add_symbol);
 407       break;
 408
 409     case O_full_ptr:
 410       if (symbol_get_value_expression (e->X_op_symbol)->X_op
 411           == O_register)
 412         {
 413           as_bad (_("invalid use of register"));
 414           return 0;
 415         }
 416       if (!i386_intel_simplify_symbol (e->X_op_symbol)
 417           || !i386_intel_check(the_reg, intel_state.base,
 418                                intel_state.index))
 419         return 0;
 420       if (!intel_state.in_offset)
 421         {
 422           if (!intel_state.seg)
 423             intel_state.seg = e->X_add_symbol;
 424           else
 425             {
 426               expressionS exp;
 427
 428               exp.X_op = O_full_ptr;
 429               exp.X_add_symbol = e->X_add_symbol;
 430               exp.X_op_symbol = intel_state.seg;
 431               intel_state.seg = make_expr_symbol (&exp);
 432             }
 433         }
 434       i386_intel_fold (e, e->X_op_symbol);
 435       break;
 436
 437     case O_multiply:
 438       if (this_operand >= 0 && intel_state.in_bracket)
 439         {
 440           expressionS *scale = NULL;
 441           int has_index = (intel_state.index != NULL);
 442
 443           if (!intel_state.in_scale++)
 444             intel_state.scale_factor = 1;
 445
 446           ret = i386_intel_simplify_symbol (e->X_add_symbol);
 447           if (ret && !has_index && intel_state.index)
 448             scale = symbol_get_value_expression (e->X_op_symbol);
 449
 450           if (ret)
 451             ret = i386_intel_simplify_symbol (e->X_op_symbol);
 452           if (ret && !scale && !has_index && intel_state.index)
 453             scale = symbol_get_value_expression (e->X_add_symbol);
 454
 455           if (ret && scale)
 456             {
 457               resolve_expression (scale);
 458               if (scale->X_op != O_constant
 459                   || intel_state.index->reg_type.bitfield.word)
 460                 scale->X_add_number = 0;
 461               intel_state.scale_factor *= scale->X_add_number;
 462             }
 463
 464           --intel_state.in_scale;
 465           if (!ret)
 466             return 0;
 467
 468           if (!intel_state.in_scale)
 469             switch (intel_state.scale_factor)
 470               {
 471               case 1:
 472                 i.log2_scale_factor = 0;
 473                 break;
 474               case 2:
 475                 i.log2_scale_factor = 1;
 476                 break;
 477               case 4:
 478                 i.log2_scale_factor = 2;
 479                 break;
 480               case 8:
 481                 i.log2_scale_factor = 3;
 482                 break;
 483               default:
 484                 /* esp is invalid as index */
 485                 intel_state.index = i386_regtab + REGNAM_EAX + ESP_REG_NUM;
 486                 break;
 487               }
 488
 489           break;
 490         }
 491       goto fallthrough;
 492
 493     case O_register:
 494       ret = i386_intel_simplify_register (e);
 495       if (ret == 2)
 496         {
 497           gas_assert (e->X_add_number < (unsigned short) -1);
 498           e->X_md = (unsigned short) e->X_add_number + 1;
 499           e->X_op = O_constant;
 500           e->X_add_number = 0;
 501         }
 502       return ret;
 503
 504     case O_constant:
 505       if (e->X_md)
 506         return i386_intel_simplify_register (e);
 507
 508       /* FALLTHROUGH */
 509     default:
 510 fallthrough:
 511       if (e->X_add_symbol
 512           && !i386_intel_simplify_symbol (e->X_add_symbol))
 513         return 0;
 514       if (e->X_op == O_add || e->X_op == O_subtract)
 515         {
 516           base = intel_state.base;
 517           state_index = intel_state.index;
 518         }
 519       if (!i386_intel_check (the_reg, base, state_index)
 520           || (e->X_op_symbol
 521               && !i386_intel_simplify_symbol (e->X_op_symbol))
 522           || !i386_intel_check (the_reg,
 523                                 (e->X_op != O_add
 524                                  ? base : intel_state.base),
 525                                 (e->X_op != O_add
 526                                  ? state_index : intel_state.index)))
 527         return 0;
 528       break;
 529     }
 530
 531   if (this_operand >= 0
 532       && e->X_op == O_symbol
 533       && !intel_state.in_offset)
 534     {
 535       segT seg = S_GET_SEGMENT (e->X_add_symbol);
 536
 537       if (seg != absolute_section
 538           && seg != reg_section
 539           && seg != expr_section)
 540         intel_state.is_mem |= 2 - !intel_state.in_bracket;
 541     }
 542
 543   return 1;
 544 }
 545
 546 int i386_need_index_operator (void)
 547 {
 548   return intel_syntax < 0;
 549 }
 550
 551 static int
 552 i386_intel_operand (char *operand_string, int got_a_float)
 553 {
 554   char *saved_input_line_pointer, *buf;
 555   segT exp_seg;
 556   expressionS exp, *expP;
 557   char suffix = 0;
 558   int ret;
 559
 560   /* Handle vector immediates.  */
 561   if (RC_SAE_immediate (operand_string))
 562     return 1;
 563
 564   /* Initialize state structure.  */
 565   intel_state.op_modifier = O_absent;
 566   intel_state.is_mem = 0;
 567   intel_state.is_indirect = 0;
 568   intel_state.has_offset = 0;
 569   intel_state.base = NULL;
 570   intel_state.index = NULL;
 571   intel_state.seg = NULL;
 572   operand_type_set (&intel_state.reloc_types, ~0);
 573   gas_assert (!intel_state.in_offset);
 574   gas_assert (!intel_state.in_bracket);
 575   gas_assert (!intel_state.in_scale);
 576
 577   saved_input_line_pointer = input_line_pointer;
 578   input_line_pointer = buf = xstrdup (operand_string);
 579
 580   intel_syntax = -1;
 581   memset (&exp, 0, sizeof(exp));
 582   exp_seg = expression (&exp);
 583   ret = i386_intel_simplify (&exp);
 584   intel_syntax = 1;
 585
 586   SKIP_WHITESPACE ();
 587
 588   /* Handle vector operations.  */
 589   if (*input_line_pointer == '{')
 590     {
 591       char *end = check_VecOperations (input_line_pointer, NULL);
 592       if (end)
 593         input_line_pointer = end;
 594       else
 595         ret = 0;
 596     }
 597
 598   if (!is_end_of_line[(unsigned char) *input_line_pointer])
 599     {
 600       if (ret)
 601         as_bad (_("junk `%s' after expression"), input_line_pointer);
 602       ret = 0;
 603     }
 604   else if (exp.X_op == O_illegal || exp.X_op == O_absent)
 605     {
 606       if (ret)
 607         as_bad (_("invalid expression"));
 608       ret = 0;
 609     }
 610   else if (!intel_state.has_offset
 611            && input_line_pointer > buf
 612            && *(input_line_pointer - 1) == ']')
 613     {
 614       intel_state.is_mem |= 1;
 615       intel_state.is_indirect = 1;
 616     }
 617
 618   input_line_pointer = saved_input_line_pointer;
 619   free (buf);
 620
 621   gas_assert (!intel_state.in_offset);
 622   gas_assert (!intel_state.in_bracket);
 623   gas_assert (!intel_state.in_scale);
 624
 625   if (!ret)
 626     return 0;
 627
 628   if (intel_state.op_modifier != O_absent
 629       && current_templates->start->base_opcode != 0x8d /* lea */)
 630     {
 631       i.types[this_operand].bitfield.unspecified = 0;
 632
 633       switch (intel_state.op_modifier)
 634         {
 635         case O_byte_ptr:
 636           i.types[this_operand].bitfield.byte = 1;
 637           suffix = BYTE_MNEM_SUFFIX;
 638           break;
 639
 640         case O_word_ptr:
 641           i.types[this_operand].bitfield.word = 1;
 642           if ((current_templates->start->name[0] == 'l'
 643                && current_templates->start->name[2] == 's'
 644                && current_templates->start->name[3] == 0)
 645               || current_templates->start->base_opcode == 0x62 /* bound */)
 646             suffix = BYTE_MNEM_SUFFIX; /* so it will cause an error */
 647           else if (got_a_float == 2)    /* "fi..." */
 648             suffix = SHORT_MNEM_SUFFIX;
 649           else
 650             suffix = WORD_MNEM_SUFFIX;
 651           break;
 652
 653         case O_dword_ptr:
 654           i.types[this_operand].bitfield.dword = 1;
 655           if ((current_templates->start->name[0] == 'l'
 656                && current_templates->start->name[2] == 's'
 657                && current_templates->start->name[3] == 0)
 658               || current_templates->start->base_opcode == 0x62 /* bound */)
 659             suffix = WORD_MNEM_SUFFIX;
 660           else if (flag_code == CODE_16BIT
 661                    && (current_templates->start->opcode_modifier.jump
 662                        || current_templates->start->opcode_modifier.jumpdword))
 663             suffix = LONG_DOUBLE_MNEM_SUFFIX;
 664           else if (got_a_float == 1)    /* "f..." */
 665             suffix = SHORT_MNEM_SUFFIX;
 666           else
 667             suffix = LONG_MNEM_SUFFIX;
 668           break;
 669
 670         case O_fword_ptr:
 671           i.types[this_operand].bitfield.fword = 1;
 672           if (current_templates->start->name[0] == 'l'
 673               && current_templates->start->name[2] == 's'
 674               && current_templates->start->name[3] == 0)
 675             suffix = LONG_MNEM_SUFFIX;
 676           else if (!got_a_float)
 677             {
 678               if (flag_code == CODE_16BIT)
 679                 add_prefix (DATA_PREFIX_OPCODE);
 680               suffix = LONG_DOUBLE_MNEM_SUFFIX;
 681             }
 682           else
 683             suffix = BYTE_MNEM_SUFFIX; /* so it will cause an error */
 684           break;
 685
 686         case O_qword_ptr:
 687           i.types[this_operand].bitfield.qword = 1;
 688           if (current_templates->start->base_opcode == 0x62 /* bound */
 689               || got_a_float == 1)      /* "f..." */
 690             suffix = LONG_MNEM_SUFFIX;
 691           else
 692             suffix = QWORD_MNEM_SUFFIX;
 693           break;
 694
 695         case O_tbyte_ptr:
 696           i.types[this_operand].bitfield.tbyte = 1;
 697           if (got_a_float == 1)
 698             suffix = LONG_DOUBLE_MNEM_SUFFIX;
 699           else
 700             suffix = BYTE_MNEM_SUFFIX; /* so it will cause an error */
 701           break;
 702
 703         case O_oword_ptr:
 704         case O_xmmword_ptr:
 705           i.types[this_operand].bitfield.xmmword = 1;
 706           break;
 707
 708         case O_ymmword_ptr:
 709           i.types[this_operand].bitfield.ymmword = 1;
 710           break;
 711
 712         case O_zmmword_ptr:
 713           i.types[this_operand].bitfield.zmmword = 1;
 714           break;
 715
 716         case O_far_ptr:
 717           suffix = LONG_DOUBLE_MNEM_SUFFIX;
 718           /* FALLTHROUGH */
 719         case O_near_ptr:
 720           if (!current_templates->start->opcode_modifier.jump
 721               && !current_templates->start->opcode_modifier.jumpdword)
 722             suffix = got_a_float /* so it will cause an error */
 723                      ? BYTE_MNEM_SUFFIX
 724                      : LONG_DOUBLE_MNEM_SUFFIX;
 725           break;
 726
 727         default:
 728           BAD_CASE (intel_state.op_modifier);
 729           break;
 730         }
 731
 732       if (!i.suffix)
 733         i.suffix = suffix;
 734       else if (i.suffix != suffix)
 735         {
 736           as_bad (_("conflicting operand size modifiers"));
 737           return 0;
 738         }
 739     }
 740
 741   /* Operands for jump/call need special consideration.  */
 742   if (current_templates->start->opcode_modifier.jump
 743       || current_templates->start->opcode_modifier.jumpdword
 744       || current_templates->start->opcode_modifier.jumpintersegment)
 745     {
 746       if (i.op[this_operand].regs
 747           || intel_state.base
 748           || intel_state.index
 749           || intel_state.is_mem > 1)
 750         i.types[this_operand].bitfield.jumpabsolute = 1;
 751       else
 752         switch (intel_state.op_modifier)
 753           {
 754           case O_near_ptr:
 755             if (intel_state.seg)
 756               i.types[this_operand].bitfield.jumpabsolute = 1;
 757             else
 758               intel_state.is_mem = 1;
 759             break;
 760           case O_far_ptr:
 761           case O_absent:
 762             if (!intel_state.seg)
 763               {
 764                 intel_state.is_mem = 1;
 765                 if (intel_state.op_modifier == O_absent)
 766                   {
 767                     if (intel_state.is_indirect == 1)
 768                       i.types[this_operand].bitfield.jumpabsolute = 1;
 769                     break;
 770                   }
 771                 as_bad (_("cannot infer the segment part of the operand"));
 772                 return 0;
 773               }
 774             else if (S_GET_SEGMENT (intel_state.seg) == reg_section)
 775               i.types[this_operand].bitfield.jumpabsolute = 1;
 776             else
 777               {
 778                 i386_operand_type types;
 779
 780                 if (i.imm_operands >= MAX_IMMEDIATE_OPERANDS)
 781                   {
 782                     as_bad (_("at most %d immediate operands are allowed"),
 783                             MAX_IMMEDIATE_OPERANDS);
 784                     return 0;
 785                   }
 786                 expP = &im_expressions[i.imm_operands++];
 787                 memset (expP, 0, sizeof(*expP));
 788                 expP->X_op = O_symbol;
 789                 expP->X_add_symbol = intel_state.seg;
 790                 i.op[this_operand].imms = expP;
 791
 792                 resolve_expression (expP);
 793                 operand_type_set (&types, ~0);
 794                 if (!i386_finalize_immediate (S_GET_SEGMENT (intel_state.seg),
 795                                               expP, types, operand_string))
 796                   return 0;
 797                 if (i.operands < MAX_OPERANDS)
 798                   {
 799                     this_operand = i.operands++;
 800                     i.types[this_operand].bitfield.unspecified = 1;
 801                   }
 802                 if (suffix == LONG_DOUBLE_MNEM_SUFFIX)
 803                   i.suffix = 0;
 804                 intel_state.seg = NULL;
 805                 intel_state.is_mem = 0;
 806               }
 807             break;
 808           default:
 809             i.types[this_operand].bitfield.jumpabsolute = 1;
 810             break;
 811           }
 812       if (i.types[this_operand].bitfield.jumpabsolute)
 813         intel_state.is_mem |= 1;
 814     }
 815   else if (intel_state.seg)
 816     intel_state.is_mem |= 1;
 817
 818   if (i.op[this_operand].regs)
 819     {
 820       i386_operand_type temp;
 821
 822       /* Register operand.  */
 823       if (intel_state.base || intel_state.index || intel_state.seg)
 824         {
 825           as_bad (_("invalid operand"));
 826           return 0;
 827         }
 828
 829       temp = i.op[this_operand].regs->reg_type;
 830       temp.bitfield.baseindex = 0;
 831       i.types[this_operand] = operand_type_or (i.types[this_operand],
 832                                                temp);
 833       i.types[this_operand].bitfield.unspecified = 0;
 834       ++i.reg_operands;
 835     }
 836   else if (intel_state.base
 837            || intel_state.index
 838            || intel_state.seg
 839            || intel_state.is_mem)
 840     {
 841       /* Memory operand.  */
 842       if (i.mem_operands == 1 && !maybe_adjust_templates ())
 843         return 0;
 844       if ((int) i.mem_operands
 845           >= 2 - !current_templates->start->opcode_modifier.isstring)
 846         {
 847           /* Handle
 848
 849              call       0x9090,0x90909090
 850              lcall      0x9090,0x90909090
 851              jmp        0x9090,0x90909090
 852              ljmp       0x9090,0x90909090
 853            */
 854
 855           if ((current_templates->start->opcode_modifier.jumpintersegment
 856                || current_templates->start->opcode_modifier.jumpdword
 857                || current_templates->start->opcode_modifier.jump)
 858               && this_operand == 1
 859               && intel_state.seg == NULL
 860               && i.mem_operands == 1
 861               && i.disp_operands == 1
 862               && intel_state.op_modifier == O_absent)
 863             {
 864               /* Try to process the first operand as immediate,  */
 865               this_operand = 0;
 866               if (i386_finalize_immediate (exp_seg, i.op[0].imms,
 867                                            intel_state.reloc_types,
 868                                            NULL))
 869                 {
 870                   this_operand = 1;
 871                   expP = &im_expressions[0];
 872                   i.op[this_operand].imms = expP;
 873                   *expP = exp;
 874
 875                   /* Try to process the second operand as immediate,  */
 876                   if (i386_finalize_immediate (exp_seg, expP,
 877                                                intel_state.reloc_types,
 878                                                NULL))
 879                     {
 880                       i.mem_operands = 0;
 881                       i.disp_operands = 0;
 882                       i.imm_operands = 2;
 883                       i.flags[0] &= ~Operand_Mem;
 884                       i.types[0].bitfield.disp16 = 0;
 885                       i.types[0].bitfield.disp32 = 0;
 886                       i.types[0].bitfield.disp32s = 0;
 887                       return 1;
 888                     }
 889                 }
 890             }
 891
 892           as_bad (_("too many memory references for `%s'"),
 893                   current_templates->start->name);
 894           return 0;
 895         }
 896
 897       /* Swap base and index in 16-bit memory operands like
 898          [si+bx]. Since i386_index_check is also used in AT&T
 899          mode we have to do this here.  */
 900       if (intel_state.base
 901           && intel_state.index
 902           && intel_state.base->reg_type.bitfield.word
 903           && intel_state.index->reg_type.bitfield.word
 904           && intel_state.base->reg_num >= 6
 905           && intel_state.index->reg_num < 6)
 906         {
 907           i.base_reg = intel_state.index;
 908           i.index_reg = intel_state.base;
 909         }
 910       else
 911         {
 912           i.base_reg = intel_state.base;
 913           i.index_reg = intel_state.index;
 914         }
 915
 916       if (i.base_reg || i.index_reg)
 917         i.types[this_operand].bitfield.baseindex = 1;
 918
 919       expP = &disp_expressions[i.disp_operands];
 920       memcpy (expP, &exp, sizeof(exp));
 921       resolve_expression (expP);
 922
 923       if (expP->X_op != O_constant
 924           || expP->X_add_number
 925           || !i.types[this_operand].bitfield.baseindex)
 926         {
 927           i.op[this_operand].disps = expP;
 928           i.disp_operands++;
 929
 930           i386_addressing_mode ();
 931
 932           if (flag_code == CODE_64BIT)
 933             {
 934               i.types[this_operand].bitfield.disp32 = 1;
 935               if (!i.prefix[ADDR_PREFIX])
 936                 {
 937                   i.types[this_operand].bitfield.disp64 = 1;
 938                   i.types[this_operand].bitfield.disp32s = 1;
 939                 }
 940             }
 941           else if (!i.prefix[ADDR_PREFIX] ^ (flag_code == CODE_16BIT))
 942             i.types[this_operand].bitfield.disp32 = 1;
 943           else
 944             i.types[this_operand].bitfield.disp16 = 1;
 945
 946 #if defined (OBJ_AOUT) || defined (OBJ_MAYBE_AOUT)
 947           /*
 948            * exp_seg is used only for verification in
 949            * i386_finalize_displacement, and we can end up seeing reg_section
 950            * here - but we know we removed all registers from the expression
 951            * (or error-ed on any remaining ones) in i386_intel_simplify.  I
 952            * consider the check in i386_finalize_displacement bogus anyway, in
 953            * particular because it doesn't allow for expr_section, so I'd
 954            * rather see that check (and the similar one in
 955            * i386_finalize_immediate) use SEG_NORMAL(), but not being an a.out
 956            * expert I can't really say whether that would have other bad side
 957            * effects.
 958            */
 959           if (OUTPUT_FLAVOR == bfd_target_aout_flavour
 960               && exp_seg == reg_section)
 961             exp_seg = expP->X_op != O_constant ? undefined_section
 962                                                : absolute_section;
 963 #endif
 964
 965           if (!i386_finalize_displacement (exp_seg, expP,
 966                                            intel_state.reloc_types,
 967                                            operand_string))
 968             return 0;
 969         }
 970
 971       if (intel_state.seg)
 972         {
 973           for (ret = check_none; ; ret = operand_check)
 974             {
 975               expP = symbol_get_value_expression (intel_state.seg);
 976               if (expP->X_op != O_full_ptr
 977                   || symbol_get_value_expression (expP->X_op_symbol)->X_op
 978                      != O_register)
 979                 break;
 980               intel_state.seg = expP->X_add_symbol;
 981             }
 982           if (expP->X_op != O_register)
 983             {
 984               as_bad (_("segment register name expected"));
 985               return 0;
 986             }
 987           if (!i386_regtab[expP->X_add_number].reg_type.bitfield.sreg2
 988               && !i386_regtab[expP->X_add_number].reg_type.bitfield.sreg3)
 989             {
 990               as_bad (_("invalid use of register"));
 991               return 0;
 992             }
 993           switch (ret)
 994             {
 995             case check_error:
 996               as_bad (_("redundant segment overrides"));
 997               return 0;
 998             case check_warning:
 999               as_warn (_("redundant segment overrides"));
1000               break;
1001             }
1002           switch (i386_regtab[expP->X_add_number].reg_num)
1003             {
1004             case 0: i.seg[i.mem_operands] = &es; break;
1005             case 1: i.seg[i.mem_operands] = &cs; break;
1006             case 2: i.seg[i.mem_operands] = &ss; break;
1007             case 3: i.seg[i.mem_operands] = &ds; break;
1008             case 4: i.seg[i.mem_operands] = &fs; break;
1009             case 5: i.seg[i.mem_operands] = &gs; break;
1010             case RegFlat: i.seg[i.mem_operands] = NULL; break;
1011             }
1012         }
1013
1014       if (!i386_index_check (operand_string))
1015         return 0;
1016
1017       i.flags[this_operand] |= Operand_Mem;
1018       if (i.mem_operands == 0)
1019         i.memop1_string = xstrdup (operand_string);
1020       ++i.mem_operands;
1021     }
1022   else
1023     {
1024       /* Immediate.  */
1025       if (i.imm_operands >= MAX_IMMEDIATE_OPERANDS)
1026         {
1027           as_bad (_("at most %d immediate operands are allowed"),
1028                   MAX_IMMEDIATE_OPERANDS);
1029           return 0;
1030         }
1031
1032       expP = &im_expressions[i.imm_operands++];
1033       i.op[this_operand].imms = expP;
1034       *expP = exp;
1035
1036       return i386_finalize_immediate (exp_seg, expP, intel_state.reloc_types,
1037                                       operand_string);
1038     }
1039
1040   return 1;
1041 }