Power10 bit manipulation operations
[deliverable/binutils-gdb.git] / gas / config / tc-s390.c
index d8a4f92aa8c237aec59911373a47683007899cea..7f004d8f29cc1bedf74fc0c2a52ac816ded190cf 100644 (file)
@@ -1,5 +1,5 @@
 /* tc-s390.c -- Assemble for the S390
-   Copyright (C) 2000-2016 Free Software Foundation, Inc.
+   Copyright (C) 2000-2020 Free Software Foundation, Inc.
    Contributed by Martin Schwidefsky (schwidefsky@de.ibm.com).
 
    This file is part of GAS, the GNU Assembler.
@@ -22,7 +22,6 @@
 #include "as.h"
 #include "safe-ctype.h"
 #include "subsegs.h"
-#include "struc-symbol.h"
 #include "dwarf2dbg.h"
 #include "dw2gencfi.h"
 
@@ -289,6 +288,10 @@ s390_parse_cpu (const char *         arg,
     { STRING_COMMA_LEN ("zEC12"), STRING_COMMA_LEN ("arch10"),
       S390_INSTR_FLAG_HTM },
     { STRING_COMMA_LEN ("z13"), STRING_COMMA_LEN ("arch11"),
+      S390_INSTR_FLAG_HTM | S390_INSTR_FLAG_VX },
+    { STRING_COMMA_LEN ("z14"), STRING_COMMA_LEN ("arch12"),
+      S390_INSTR_FLAG_HTM | S390_INSTR_FLAG_VX },
+    { STRING_COMMA_LEN ("z15"), STRING_COMMA_LEN ("arch13"),
       S390_INSTR_FLAG_HTM | S390_INSTR_FLAG_VX }
   };
   static struct
@@ -893,7 +896,7 @@ s390_elf_suffix (char **str_p, expressionS *exp_p)
        return ptr->suffix;
       }
 
-  return BFD_RELOC_UNUSED;
+  return ELF_SUFFIX_NONE;
 }
 
 /* Structure used to hold a literal pool entry.  */
@@ -966,7 +969,7 @@ s390_exp_compare (expressionS *exp1, expressionS *exp2)
     }
 }
 
-/* Test for @lit and if its present make an entry in the literal pool and
+/* Test for @lit and if it's present make an entry in the literal pool and
    modify the current expression to be an offset into the literal pool.  */
 static elf_suffix_type
 s390_lit_suffix (char **str_p, expressionS *exp_p, elf_suffix_type suffix)
@@ -1096,7 +1099,7 @@ s390_lit_suffix (char **str_p, expressionS *exp_p, elf_suffix_type suffix)
     }
 
   /* Now change exp_p to the offset into the literal pool.
-     Thats the expression: .L^Ax^By-.L^Ax   */
+     That's the expression: .L^Ax^By-.L^Ax   */
   exp_p->X_add_symbol = lpe->sym;
   exp_p->X_op_symbol = lp_sym;
   exp_p->X_op = O_subtract;
@@ -1204,7 +1207,9 @@ s390_elf_cons (int nbytes /* 1=.byte, 2=.word, 4=.long */)
            {
              size = bfd_get_reloc_size (reloc_howto);
              if (size > nbytes)
-               as_bad (_("%s relocations do not fit in %d bytes"),
+               as_bad (ngettext ("%s relocations do not fit in %d byte",
+                                 "%s relocations do not fit in %d bytes",
+                                 nbytes),
                        reloc_howto->name, nbytes);
              where = frag_more (nbytes);
              md_number_to_chars (where, 0, size);
@@ -1225,6 +1230,24 @@ s390_elf_cons (int nbytes /* 1=.byte, 2=.word, 4=.long */)
   demand_empty_rest_of_line ();
 }
 
+/* Return true if all remaining operands in the opcode with
+   OPCODE_FLAGS can be skipped.  */
+static bfd_boolean
+skip_optargs_p (unsigned int opcode_flags, const unsigned char *opindex_ptr)
+{
+  if ((opcode_flags & (S390_INSTR_FLAG_OPTPARM | S390_INSTR_FLAG_OPTPARM2))
+      && opindex_ptr[0] != '\0'
+      && opindex_ptr[1] == '\0')
+    return TRUE;
+
+  if ((opcode_flags & S390_INSTR_FLAG_OPTPARM2)
+      && opindex_ptr[0] != '\0'
+      && opindex_ptr[1] != '\0'
+      && opindex_ptr[2] == '\0')
+    return TRUE;
+  return FALSE;
+}
+
 /* We need to keep a list of fixups.  We can't simply generate them as
    we go, because that would require us to first create the frag, and
    that would screw up references to ``.''.  */
@@ -1268,7 +1291,8 @@ md_gather_operands (char *str,
 
       operand = s390_operands + *opindex_ptr;
 
-      if ((opcode->flags & S390_INSTR_FLAG_OPTPARM) && *str == '\0')
+      if ((opcode->flags & (S390_INSTR_FLAG_OPTPARM | S390_INSTR_FLAG_OPTPARM2))
+         && *str == '\0')
        {
          /* Optional parameters might need to be ORed with a
             value so calling s390_insert_operand is needed.  */
@@ -1302,19 +1326,6 @@ md_gather_operands (char *str,
        as_bad (_("illegal operand"));
       else if (ex.X_op == O_absent)
        {
-         /* No operands, check if all operands can be skipped.  */
-         while (*opindex_ptr != 0 && operand->flags & S390_OPERAND_OPTIONAL)
-           {
-             if (operand->flags & S390_OPERAND_DISP)
-               {
-                 /* An optional displacement makes the whole D(X,B)
-                    D(L,B) or D(B) block optional.  */
-                 do {
-                   operand = s390_operands + *(++opindex_ptr);
-                 } while (!(operand->flags & S390_OPERAND_BASE));
-               }
-             operand = s390_operands + *(++opindex_ptr);
-           }
          if (opindex_ptr[0] == '\0')
            break;
          as_bad (_("missing operand"));
@@ -1466,7 +1477,7 @@ md_gather_operands (char *str,
          if (*str != '(')
            {
              /* Check if parenthesized block can be skipped. If the next
-                operand is neiter an optional operand nor a base register
+                operand is neither an optional operand nor a base register
                 then we have a syntax error.  */
              operand = s390_operands + *(++opindex_ptr);
              if (!(operand->flags & (S390_OPERAND_INDEX|S390_OPERAND_BASE)))
@@ -1476,6 +1487,9 @@ md_gather_operands (char *str,
              while (!(operand->flags & S390_OPERAND_BASE))
                operand = s390_operands + *(++opindex_ptr);
 
+             if (*str == '\0' && skip_optargs_p (opcode->flags, &opindex_ptr[1]))
+               continue;
+
              /* If there is a next operand it must be separated by a comma.  */
              if (opindex_ptr[1] != '\0')
                {
@@ -1484,9 +1498,7 @@ md_gather_operands (char *str,
                      while (opindex_ptr[1] != '\0')
                        {
                          operand = s390_operands + *(++opindex_ptr);
-                         if (operand->flags & S390_OPERAND_OPTIONAL)
-                           continue;
-                         as_bad (_("syntax error; expected ,"));
+                         as_bad (_("syntax error; expected ','"));
                          break;
                        }
                    }
@@ -1516,10 +1528,14 @@ md_gather_operands (char *str,
        }
       else if (operand->flags & S390_OPERAND_BASE)
        {
-         /* After the base register the parenthesed block ends.  */
+         /* After the base register the parenthesised block ends.  */
          if (*str++ != ')')
            as_bad (_("syntax error; missing ')' after base register"));
          skip_optional = 0;
+
+         if (*str == '\0' && skip_optargs_p (opcode->flags, &opindex_ptr[1]))
+           continue;
+
          /* If there is a next operand it must be separated by a comma.  */
          if (opindex_ptr[1] != '\0')
            {
@@ -1528,9 +1544,7 @@ md_gather_operands (char *str,
                  while (opindex_ptr[1] != '\0')
                    {
                      operand = s390_operands + *(++opindex_ptr);
-                     if (operand->flags & S390_OPERAND_OPTIONAL)
-                       continue;
-                     as_bad (_("syntax error; expected ,"));
+                     as_bad (_("syntax error; expected ','"));
                      break;
                    }
                }
@@ -1551,7 +1565,7 @@ md_gather_operands (char *str,
              str++;
            }
 
-         if ((opcode->flags & S390_INSTR_FLAG_OPTPARM) && *str == '\0')
+         if (*str == '\0' && skip_optargs_p (opcode->flags, &opindex_ptr[1]))
            continue;
 
          /* If there is a next operand it must be separated by a comma.  */
@@ -1562,9 +1576,7 @@ md_gather_operands (char *str,
                  while (opindex_ptr[1] != '\0')
                    {
                      operand = s390_operands + *(++opindex_ptr);
-                     if (operand->flags & S390_OPERAND_OPTIONAL)
-                       continue;
-                     as_bad (_("syntax error; expected ,"));
+                     as_bad (_("syntax error; expected ','"));
                      break;
                    }
                }
@@ -1846,7 +1858,7 @@ s390_literals (int ignore ATTRIBUTE_UNUSED)
   /* Emit symbol for start of literal pool.  */
   S_SET_SEGMENT (lp_sym, now_seg);
   S_SET_VALUE (lp_sym, (valueT) frag_now_fix ());
-  lp_sym->sy_frag = frag_now;
+  symbol_set_frag (lp_sym, frag_now);
 
   while (lpe_list)
     {
@@ -1854,7 +1866,7 @@ s390_literals (int ignore ATTRIBUTE_UNUSED)
       lpe_list = lpe_list->next;
       S_SET_SEGMENT (lpe->sym, now_seg);
       S_SET_VALUE (lpe->sym, (valueT) frag_now_fix ());
-      lpe->sym->sy_frag = frag_now;
+      symbol_set_frag (lpe->sym, frag_now);
 
       /* Emit literal pool entry.  */
       if (lpe->reloc != BFD_RELOC_UNUSED)
@@ -1865,7 +1877,9 @@ s390_literals (int ignore ATTRIBUTE_UNUSED)
          char *where;
 
          if (size > lpe->nbytes)
-           as_bad (_("%s relocations do not fit in %d bytes"),
+           as_bad (ngettext ("%s relocations do not fit in %d byte",
+                             "%s relocations do not fit in %d bytes",
+                             lpe->nbytes),
                    reloc_howto->name, lpe->nbytes);
          where = frag_more (lpe->nbytes);
          md_number_to_chars (where, 0, size);
@@ -2070,7 +2084,7 @@ md_atof (int type, char *litp, int *sizep)
 valueT
 md_section_align (asection *seg, valueT addr)
 {
-  int align = bfd_get_section_alignment (stdoutput, seg);
+  int align = bfd_section_alignment (seg);
 
   return ((addr + (1 << align) - 1) & -(1 << align));
 }
@@ -2131,9 +2145,11 @@ md_pcrel_from_section (fixS *fixp, segT sec ATTRIBUTE_UNUSED)
 int
 tc_s390_fix_adjustable (fixS *fixP)
 {
-  /* Don't adjust references to merge sections.  */
-  if ((S_GET_SEGMENT (fixP->fx_addsy)->flags & SEC_MERGE) != 0)
+  /* Don't adjust pc-relative references to merge sections.  */
+  if (fixP->fx_pcrel
+      && (S_GET_SEGMENT (fixP->fx_addsy)->flags & SEC_MERGE) != 0)
     return 0;
+
   /* adjust_reloc_syms doesn't know about the GOT.  */
   if (   fixP->fx_r_type == BFD_RELOC_16_GOTOFF
       || fixP->fx_r_type == BFD_RELOC_32_GOTOFF
@@ -2293,7 +2309,7 @@ md_apply_fix (fixS *fixP, valueT *valP, segT seg ATTRIBUTE_UNUSED)
        }
       else if (operand->bits == 20 && operand->shift == 20)
        {
-         fixP->fx_size = 2;
+         fixP->fx_size = 4;
          fixP->fx_where += 2;
          fixP->fx_r_type = BFD_RELOC_390_20;
        }
This page took 0.028636 seconds and 4 git commands to generate.