Fix failures in the GAS testsuite for the ARC architecture.

gas	* config/tc-arc.c (arc_option): Sets all internal gas options when
	parsing .cpu directive.
	(declare_register_set): Declare all 64 registers.
	(md_section_align): Refactor.
	(md_pcrel_from_section): Remove assert.
	(pseudo_operand_match): Fix pseudo operand match.
	(find_reloc): Use flags filed, extend matching.
	* config/tc-arc.h (TC_VALIDATE_FIX): Don't fixup any PLT
	relocation.

testsuite	* gas/arc/bic.d: Update test.
	* gas/arc/add_s-err.s: New file.
	* gas/arc/cpu-warn1.s: Likewise.
	* gas/arc/pcl-relocs.d: Likewise.
	* gas/arc/pcl-relocs.s: Likewise.
	* gas/arc/pcrel-relocs.d: Likewise.
	* gas/arc/pcrel-relocs.s: Likewise.
	* gas/arc/pic-relocs.d: Likewise.
	* gas/arc/pic-relocs.s: Likewise.
	* gas/arc/plt-relocs.d: Likewise.
	* gas/arc/plt-relocs.s: Likewise.
	* gas/arc/pseudos.d: Likewise.
	* gas/arc/pseudos.s: Likewise.
	* gas/arc/sda-relocs.d: Likewise.
	* gas/arc/sda-relocs.s: Likewise.
	* gas/arc/sda-relocs2.d: Likewise.
	* gas/arc/sda-relocs2.s: Likewise.
	* gas/arc/tls-relocs.d: Likewise.
	* gas/arc/tls-relocs.s: Likewise.

opcode	* arc.h (arc_reloc_equiv_tab): Replace flagcode with flags[32].

opcodes	* arc-dis.c (special_flag_p): Match full mnemonic.
	* arc-opc.c (print_insn_arc): Check section size to read
	appropriate number of bytes. Fix printing.
	* arc-tbl.h: Fix instruction table. Allow clri/seti instruction without
	arguments.

23 files changed, 455 insertions, 60 deletions

diff --git a/gas/ChangeLog b/gas/ChangeLog
index 3550646..25e2bc9 100644
--- a/gas/ChangeLog
+++ b/gas/ChangeLog
@@ -1,3 +1,15 @@
+2015-12-04  Claudiu Zissulescu  <claziss@synopsys.com>
+
+	* config/tc-arc.c (arc_option): Sets all internal gas options when
+	parsing .cpu directive.
+	(declare_register_set): Declare all 64 registers.
+	(md_section_align): Refactor.
+	(md_pcrel_from_section): Remove assert.
+	(pseudo_operand_match): Fix pseudo operand match.
+	(find_reloc): Use flags filed, extend matching.
+	* config/tc-arc.h (TC_VALIDATE_FIX): Don't fixup any PLT
+	relocation.
+
 2015-12-01  Alan Modra  <amodra@gmail.com>
 
 	* config/aout_gnu.h: Invoke aout N_* macros with pointer to
diff --git a/gas/config/tc-arc.c b/gas/config/tc-arc.c
index ca43566..cbf2180 100644
--- a/gas/config/tc-arc.c
+++ b/gas/config/tc-arc.c
@@ -155,9 +155,9 @@ struct option md_longopts[] =
   { "EL",		no_argument,	   NULL, OPTION_EL },
   { "mcpu",		required_argument, NULL, OPTION_MCPU },
   { "mA6",		no_argument,	   NULL, OPTION_ARC600 },
-  { "mARC600",	no_argument,	   NULL, OPTION_ARC600 },
-  { "mARC601",	no_argument,	   NULL, OPTION_ARC601 },
-  { "mARC700",	no_argument,	   NULL, OPTION_ARC700 },
+  { "mARC600",		no_argument,	   NULL, OPTION_ARC600 },
+  { "mARC601",		no_argument,	   NULL, OPTION_ARC601 },
+  { "mARC700",		no_argument,	   NULL, OPTION_ARC700 },
   { "mA7",		no_argument,	   NULL, OPTION_ARC700 },
   { "mEM",		no_argument,	   NULL, OPTION_ARCEM },
   { "mHS",		no_argument,	   NULL, OPTION_ARCHS },
@@ -512,28 +512,47 @@ arc_option (int ignore ATTRIBUTE_UNUSED)
 
   c = get_symbol_name (&cpu);
   mach = arc_get_mach (cpu);
-  restore_line_pointer (c);
 
   if (mach == -1)
     goto bad_cpu;
 
   if (!mach_type_specified_p)
     {
-      arc_mach_type = mach;
+      if ((!strcmp ("ARC600", cpu))
+	  || (!strcmp ("ARC601", cpu))
+	  || (!strcmp ("A6", cpu)))
+	{
+	  md_parse_option (OPTION_MCPU, "arc600");
+	}
+      else if ((!strcmp ("ARC700", cpu))
+	       || (!strcmp ("A7", cpu)))
+	{
+	  md_parse_option (OPTION_MCPU, "arc700");
+	}
+      else if (!strcmp ("EM", cpu))
+	{
+	  md_parse_option (OPTION_MCPU, "arcem");
+	}
+      else if (!strcmp ("HS", cpu))
+	{
+	  md_parse_option (OPTION_MCPU, "archs");
+	}
+      else
+	as_fatal ("could not find the architecture");
+
       if (!bfd_set_arch_mach (stdoutput, bfd_arch_arc, mach))
 	as_fatal ("could not set architecture and machine");
-
-      mach_type_specified_p = 1;
     }
   else
     if (arc_mach_type != mach)
       as_warn ("Command-line value overrides \".cpu\" directive");
 
+  restore_line_pointer (c);
   demand_empty_rest_of_line ();
-
   return;
 
  bad_cpu:
+  restore_line_pointer (c);
   as_bad ("invalid identifier for \".cpu\"");
   ignore_rest_of_line ();
 }
@@ -964,7 +983,7 @@ static void
 declare_register_set (void)
 {
   int i;
-  for (i = 0; i < 32; ++i)
+  for (i = 0; i < 64; ++i)
     {
       char name[7];
 
@@ -1067,7 +1086,7 @@ md_section_align (segT segment,
 {
   int align = bfd_get_section_alignment (stdoutput, segment);
 
-  return ((size + (1 << align) - 1) & -(1 << align));
+  return ((size + (1 << align) - 1) & (-((valueT) 1 << align)));
 }
 
 /* The location from which a PC relative jump should be calculated,
@@ -1105,11 +1124,10 @@ md_pcrel_from_section (fixS *fixP,
 	case BFD_RELOC_ARC_PC32:
 	  /* The hardware calculates relative to the start of the
 	     insn, but this relocation is relative to location of the
-	     LIMM, compensate.  TIP: the base always needs to be
+	     LIMM, compensate.  The base always needs to be
 	     substracted by 4 as we do not support this type of PCrel
 	     relocation for short instructions.  */
-	  base -= fixP->fx_where - fixP->fx_dot_value;
-	  gas_assert ((fixP->fx_where - fixP->fx_dot_value) == 4);
+	  base -= 4;
 	  /* Fall through.  */
 	case BFD_RELOC_ARC_PLT32:
 	case BFD_RELOC_ARC_S25H_PCREL_PLT:
@@ -1930,7 +1948,7 @@ pseudo_operand_match (const expressionS *tok,
 	ret = 1;
       else if (!(operand_real->flags & ARC_OPERAND_IR))
 	{
-	  val = tok->X_add_number;
+	  val = tok->X_add_number + op->count;
 	  if (operand_real->flags & ARC_OPERAND_SIGNED)
 	    {
 	      max = (1 << (operand_real->bits - 1)) - 1;
@@ -2539,7 +2557,7 @@ find_reloc (const char *name,
 {
   unsigned int i;
   int j;
-  bfd_boolean found_flag;
+  bfd_boolean found_flag, tmp;
   extended_bfd_reloc_code_real_type ret = BFD_RELOC_UNUSED;
 
   for (i = 0; i < arc_num_equiv_tab; i++)
@@ -2551,17 +2569,34 @@ find_reloc (const char *name,
 	continue;
       if (r->mnemonic && (strcmp (r->mnemonic, opcodename)))
 	continue;
-      if (r->flagcode)
+      if (r->flags[0])
 	{
 	  if (!nflg)
 	    continue;
 	  found_flag = FALSE;
-	  for (j = 0; j < nflg; j++)
-	    if (pflags[i].code == r->flagcode)
-	      {
-		found_flag = TRUE;
-		break;
-	      }
+	  unsigned * psflg = (unsigned *)r->flags;
+	  do
+	    {
+	      tmp = FALSE;
+	      for (j = 0; j < nflg; j++)
+		if (!strcmp (pflags[j].name,
+			     arc_flag_operands[*psflg].name))
+		  {
+		    tmp = TRUE;
+		    break;
+		  }
+	      if (!tmp)
+		{
+		  found_flag = FALSE;
+		  break;
+		}
+	      else
+		{
+		  found_flag = TRUE;
+		}
+	      ++ psflg;
+	    } while (*psflg);
+
 	  if (!found_flag)
 	    continue;
 	}
diff --git a/gas/config/tc-arc.h b/gas/config/tc-arc.h
index 8fff767..fa0bbd9 100644
--- a/gas/config/tc-arc.h
+++ b/gas/config/tc-arc.h
@@ -125,14 +125,20 @@ extern long md_pcrel_from_section (struct fix *, segT);
   arc_cons_fix_new ((FRAG), (OFF), (LEN), (EXP), (RELOC))
 
 /* We don't want gas to fixup the following program memory related
-   relocations.  */
-#define TC_VALIDATE_FIX(FIXP,SEG,SKIP)			     \
-  if ((FIXP->fx_r_type == BFD_RELOC_ARC_GOTPC32)	     \
-      && FIXP->fx_addsy != NULL				     \
-      && FIXP->fx_subsy == NULL)			     \
-    {							     \
-      symbol_mark_used_in_reloc (FIXP->fx_addsy);	     \
-      goto SKIP;					     \
+   relocations.  Check also that fx_addsy is not NULL, in order to
+   make sure that the fixup refers to some sort of label.  */
+#define TC_VALIDATE_FIX(FIXP,SEG,SKIP)				     \
+  if ((FIXP->fx_r_type == BFD_RELOC_ARC_GOTPC32			     \
+       || FIXP->fx_r_type == BFD_RELOC_ARC_PLT32		     \
+       || FIXP->fx_r_type == BFD_RELOC_ARC_S25W_PCREL_PLT	     \
+       || FIXP->fx_r_type == BFD_RELOC_ARC_S25H_PCREL_PLT	     \
+       || FIXP->fx_r_type == BFD_RELOC_ARC_S21W_PCREL_PLT	     \
+       || FIXP->fx_r_type == BFD_RELOC_ARC_S21H_PCREL_PLT)	     \
+      && FIXP->fx_addsy != NULL					     \
+      && FIXP->fx_subsy == NULL)				     \
+    {								     \
+      symbol_mark_used_in_reloc (FIXP->fx_addsy);		     \
+      goto SKIP;						     \
     }
 
 /* BFD_RELOC_ARC_TLS_GD_LD may use fx_subsy to store a label that is
diff --git a/gas/testsuite/ChangeLog b/gas/testsuite/ChangeLog
index f3ffe38..eb2b4d7 100644
--- a/gas/testsuite/ChangeLog
+++ b/gas/testsuite/ChangeLog
@@ -1,3 +1,25 @@
+2015-12-04  Claudiu Zissulescu  <claziss@synopsys.com>
+
+	* gas/arc/bic.d: Update test.
+	* gas/arc/add_s-err.s: New file.
+	* gas/arc/cpu-warn1.s: Likewise.
+	* gas/arc/pcl-relocs.d: Likewise.
+	* gas/arc/pcl-relocs.s: Likewise.
+	* gas/arc/pcrel-relocs.d: Likewise.
+	* gas/arc/pcrel-relocs.s: Likewise.
+	* gas/arc/pic-relocs.d: Likewise.
+	* gas/arc/pic-relocs.s: Likewise.
+	* gas/arc/plt-relocs.d: Likewise.
+	* gas/arc/plt-relocs.s: Likewise.
+	* gas/arc/pseudos.d: Likewise.
+	* gas/arc/pseudos.s: Likewise.
+	* gas/arc/sda-relocs.d: Likewise.
+	* gas/arc/sda-relocs.s: Likewise.
+	* gas/arc/sda-relocs2.d: Likewise.
+	* gas/arc/sda-relocs2.s: Likewise.
+	* gas/arc/tls-relocs.d: Likewise.
+	* gas/arc/tls-relocs.s: Likewise.
+
 2015-12-02  Andre Vieira  <andre.simoesdiasvieira@arm.com>
 
 	* gas/arm/armv8-a.d: <ldaexh>: Rename mismatched mnemonics ...
diff --git a/gas/testsuite/gas/arc/add_s-err.s b/gas/testsuite/gas/arc/add_s-err.s
new file mode 100644
index 0000000..3312061
--- /dev/null
+++ b/gas/testsuite/gas/arc/add_s-err.s
@@ -0,0 +1,10 @@
+;; Test ARC EM Code denisty ADD_S extensions.  They are only valid for
+;; ARCv2 architecture.
+;;
+; { dg-do assemble { target arc-*-* } }
+; { dg-options "--mcpu=arc700" }
+        ;; The following insns are accepted by ARCv2 only
+        add_s r4,r4,-1          ; { dg-error "Error: inappropriate arguments for opcode 'add_s'" }
+        add_s 0,0xAAAA5555,-1   ; { dg-error "Error: inappropriate arguments for opcode 'add_s'" }
+        add_s r0,r15,0x20       ; { dg-error "Error: inappropriate arguments for opcode 'add_s'" }
+        add_s r1,r15,0x20       ; { dg-error "Error: inappropriate arguments for opcode 'add_s'" }
diff --git a/gas/testsuite/gas/arc/bic.d b/gas/testsuite/gas/arc/bic.d
index 348a428..21698b5 100644
--- a/gas/testsuite/gas/arc/bic.d
+++ b/gas/testsuite/gas/arc/bic.d
@@ -23,39 +23,39 @@ Disassembly of section .text:
 			68: ARC_32_ME	foo
 0x[0-9a-f]+ 20c6 0080           	bic	r0,r0,r2
 0x[0-9a-f]+ 23c6 0140           	bic	r3,r3,r5
-0x[0-9a-f]+ 26c6 0201           	biceq	r6,r6,r8
-0x[0-9a-f]+ 21c6 12c1           	biceq	r9,r9,r11
-0x[0-9a-f]+ 24c6 1382           	bicne	r12,r12,r14
-0x[0-9a-f]+ 27c6 1442           	bicne	r15,r15,r17
-0x[0-9a-f]+ 22c6 2503           	bicp	r18,r18,r20
-0x[0-9a-f]+ 25c6 25c3           	bicp	r21,r21,r23
-0x[0-9a-f]+ 20c6 3684           	bicn	r24,r24,gp
-0x[0-9a-f]+ 23c6 3744           	bicn	fp,fp,ilink
-0x[0-9a-f]+ 26c6 37c5           	bicc	r30,r30,blink
-0x[0-9a-f]+ 23c6 00c5           	bicc	r3,r3,r3
-0x[0-9a-f]+ 23c6 0205           	bicc	r3,r3,r8
-0x[0-9a-f]+ 23c6 0106           	bicnc	r3,r3,r4
-0x[0-9a-f]+ 24c6 0106           	bicnc	r4,r4,r4
-0x[0-9a-f]+ 24c6 01c6           	bicnc	r4,r4,r7
-0x[0-9a-f]+ 24c6 0147           	bicv	r4,r4,r5
-0x[0-9a-f]+ 25c6 0147           	bicv	r5,r5,r5
-0x[0-9a-f]+ 25c6 0148           	bicnv	r5,r5,r5
-0x[0-9a-f]+ 25c6 0148           	bicnv	r5,r5,r5
-0x[0-9a-f]+ 26c6 0009           	bicgt	r6,r6,r0
-0x[0-9a-f]+ 20c6 002a           	bicge	r0,r0,0
-0x[0-9a-f]+ 21c6 006b           	biclt	r1,r1,0x1
-0x[0-9a-f]+ 23c6 00ed           	bichi	r3,r3,0x3
-0x[0-9a-f]+ 24c6 012e           	bicls	r4,r4,0x4
-0x[0-9a-f]+ 25c6 016f           	bicpnz	r5,r5,0x5
+0x[0-9a-f]+ 26c6 0201           	bic.eq	r6,r6,r8
+0x[0-9a-f]+ 21c6 12c1           	bic.eq	r9,r9,r11
+0x[0-9a-f]+ 24c6 1382           	bic.ne	r12,r12,r14
+0x[0-9a-f]+ 27c6 1442           	bic.ne	r15,r15,r17
+0x[0-9a-f]+ 22c6 2503           	bic.p	r18,r18,r20
+0x[0-9a-f]+ 25c6 25c3           	bic.p	r21,r21,r23
+0x[0-9a-f]+ 20c6 3684           	bic.n	r24,r24,gp
+0x[0-9a-f]+ 23c6 3744           	bic.n	fp,fp,ilink
+0x[0-9a-f]+ 26c6 37c5           	bic.c	r30,r30,blink
+0x[0-9a-f]+ 23c6 00c5           	bic.c	r3,r3,r3
+0x[0-9a-f]+ 23c6 0205           	bic.c	r3,r3,r8
+0x[0-9a-f]+ 23c6 0106           	bic.nc	r3,r3,r4
+0x[0-9a-f]+ 24c6 0106           	bic.nc	r4,r4,r4
+0x[0-9a-f]+ 24c6 01c6           	bic.nc	r4,r4,r7
+0x[0-9a-f]+ 24c6 0147           	bic.v	r4,r4,r5
+0x[0-9a-f]+ 25c6 0147           	bic.v	r5,r5,r5
+0x[0-9a-f]+ 25c6 0148           	bic.nv	r5,r5,r5
+0x[0-9a-f]+ 25c6 0148           	bic.nv	r5,r5,r5
+0x[0-9a-f]+ 26c6 0009           	bic.gt	r6,r6,r0
+0x[0-9a-f]+ 20c6 002a           	bic.ge	r0,r0,0
+0x[0-9a-f]+ 21c6 006b           	bic.lt	r1,r1,0x1
+0x[0-9a-f]+ 23c6 00ed           	bic.hi	r3,r3,0x3
+0x[0-9a-f]+ 24c6 012e           	bic.ls	r4,r4,0x4
+0x[0-9a-f]+ 25c6 016f           	bic.pnz	r5,r5,0x5
 0x[0-9a-f]+ 2106 8080           	bic.f	r0,r1,r2
 0x[0-9a-f]+ 2146 8040           	bic.f	r0,r1,0x1
 0x[0-9a-f]+ 2606 f080 0000 0001 	bic.f	r0,0x1,r2
 0x[0-9a-f]+ 2106 80be           	bic.f	0,r1,r2
 0x[0-9a-f]+ 2106 8f80 0000 0200 	bic.f	r0,r1,0x200
 0x[0-9a-f]+ 2606 f080 0000 0200 	bic.f	r0,0x200,r2
-0x[0-9a-f]+ 21c6 8081           	bic.feq	r1,r1,r2
-0x[0-9a-f]+ 20c6 8022           	bic.fne	r0,r0,0
-0x[0-9a-f]+ 22c6 808b           	bic.flt	r2,r2,r2
-0x[0-9a-f]+ 26c6 f0a9 0000 0001 	bic.fgt	0,0x1,0x2
-0x[0-9a-f]+ 26c6 ff8c 0000 0200 	bic.fle	0,0x200,0x200
-0x[0-9a-f]+ 26c6 f0aa 0000 0200 	bic.fge	0,0x200,0x2
+0x[0-9a-f]+ 21c6 8081           	bic.f.eq	r1,r1,r2
+0x[0-9a-f]+ 20c6 8022           	bic.f.ne	r0,r0,0
+0x[0-9a-f]+ 22c6 808b           	bic.f.lt	r2,r2,r2
+0x[0-9a-f]+ 26c6 f0a9 0000 0001 	bic.f.gt	0,0x1,0x2
+0x[0-9a-f]+ 26c6 ff8c 0000 0200 	bic.f.le	0,0x200,0x200
+0x[0-9a-f]+ 26c6 f0aa 0000 0200 	bic.f.ge	0,0x200,0x2
diff --git a/gas/testsuite/gas/arc/cpu-warn1.s b/gas/testsuite/gas/arc/cpu-warn1.s
new file mode 100644
index 0000000..9e6030f
--- /dev/null
+++ b/gas/testsuite/gas/arc/cpu-warn1.s
@@ -0,0 +1,5 @@
+; Test mismatch between cpu option passed by mcpu option and .cpu
+; directive option.
+; { dg-do assemble }
+; { dg-options "--mcpu=arc700" }
+ .cpu EM; { dg-warning "Warning: Command-line value overrides \".cpu\" directive" }
diff --git a/gas/testsuite/gas/arc/pcl-relocs.d b/gas/testsuite/gas/arc/pcl-relocs.d
new file mode 100644
index 0000000..8afe443
--- /dev/null
+++ b/gas/testsuite/gas/arc/pcl-relocs.d
@@ -0,0 +1,12 @@
+#as: -mcpu=archs
+#objdump: -dr --prefix-addresses --show-raw-insn
+
+.*: +file format .*arc.*
+
+Disassembly of section .text:
+0x[0-9a-f]+ 2700 7f80 0000 0000 	add	r0,pcl,0
+			4: ARC_PC32	var
+0x[0-9a-f]+ 2736 7f86 0000 0000 	ldd	r6r7,\[pcl,0\]
+			c: ARC_PC32	var
+0x[0-9a-f]+ 2730 7f83 0000 0000 	ld	r3,\[pcl,0\]
+			14: ARC_PC32	var
diff --git a/gas/testsuite/gas/arc/pcl-relocs.s b/gas/testsuite/gas/arc/pcl-relocs.s
new file mode 100644
index 0000000..19f8cde
--- /dev/null
+++ b/gas/testsuite/gas/arc/pcl-relocs.s
@@ -0,0 +1,6 @@
+;;; Test if the assembler correctly generates @pcl relocations
+	.cpu HS
+	.text
+	add	r0,pcl,@var@pcl
+	ldd	r6,[pcl,@var@pcl]
+	ld	r3,[pcl,@var@pcl]
diff --git a/gas/testsuite/gas/arc/pcrel-relocs.d b/gas/testsuite/gas/arc/pcrel-relocs.d
new file mode 100644
index 0000000..eccf76f
--- /dev/null
+++ b/gas/testsuite/gas/arc/pcrel-relocs.d
@@ -0,0 +1,16 @@
+#as: -mcpu=archs
+#objdump: -dr --prefix-addresses --show-raw-insn
+
+.*: +file format .*arc.*
+
+Disassembly of section .text:
+0x[0-9a-f]+ 0000 0002           	bne	0
+			0: ARC_S21H_PCREL	printf
+0x[0-9a-f]+ 0800 0002           	blne	0x00000000
+			4: ARC_S21W_PCREL	printf
+0x[0-9a-f]+ 0001 0000           	b	0x00000000
+			8: ARC_S25H_PCREL	printf
+0x[0-9a-f]+ 0802 0000           	bl	0x00000000
+			c: ARC_S25W_PCREL	printf
+0x[0-9a-f]+ f800                	bl_s	0x00000000
+			10: ARC_S13_PCREL	printf
diff --git a/gas/testsuite/gas/arc/pcrel-relocs.s b/gas/testsuite/gas/arc/pcrel-relocs.s
new file mode 100644
index 0000000..46dba91
--- /dev/null
+++ b/gas/testsuite/gas/arc/pcrel-relocs.s
@@ -0,0 +1,9 @@
+;;; Test if the assembler correctly generates PC-relative relocations
+;;; related with branch instructions
+	.cpu HS
+	.text
+	bne	@printf
+	blne	@printf
+	b	@printf
+	bl	@printf
+	bl_s	@printf
diff --git a/gas/testsuite/gas/arc/pic-relocs.d b/gas/testsuite/gas/arc/pic-relocs.d
new file mode 100644
index 0000000..ff4991c
--- /dev/null
+++ b/gas/testsuite/gas/arc/pic-relocs.d
@@ -0,0 +1,12 @@
+#as: -mcpu=archs
+#objdump: -dr --prefix-addresses --show-raw-insn
+
+.*: +file format .*arc.*
+
+Disassembly of section .text:
+0x[0-9a-f]+ 2730 7f82 0000 0000 	ld	r2,\[pcl,0\]
+			4: ARC_GOTPC32	var
+0x[0-9a-f]+ 2700 7f9a 0000 0000 	add	gp,pcl,0
+			c: ARC_GOTPC32	var
+0x[0-9a-f]+ 2200 3f82 0000 0000 	add	r2,gp,0
+			14: ARC_GOTOFF	var
diff --git a/gas/testsuite/gas/arc/pic-relocs.s b/gas/testsuite/gas/arc/pic-relocs.s
new file mode 100644
index 0000000..a9cc087
--- /dev/null
+++ b/gas/testsuite/gas/arc/pic-relocs.s
@@ -0,0 +1,7 @@
+;;; Test if the assembler correctly generates @pcl relocations
+	.cpu HS
+	.text
+	ld	r2,[pcl,@var@gotpc]
+	add 	gp,pcl,@var@gotpc
+
+	add 	r2,gp,@var@gotoff
diff --git a/gas/testsuite/gas/arc/plt-relocs.d b/gas/testsuite/gas/arc/plt-relocs.d
new file mode 100644
index 0000000..f3d1ad4
--- /dev/null
+++ b/gas/testsuite/gas/arc/plt-relocs.d
@@ -0,0 +1,16 @@
+#as: -mcpu=archs
+#objdump: -dr --prefix-addresses --show-raw-insn
+
+.*: +file format .*arc.*
+
+Disassembly of section .text:
+0x[0-9a-f]+ 0000 0002           	bne	0
+			0: ARC_S21H_PCREL_PLT	printf
+0x[0-9a-f]+ 0800 0002           	blne	0x00000000
+			4: ARC_S21W_PCREL_PLT	printf
+0x[0-9a-f]+ 0001 0000           	b	0x00000000
+			8: ARC_S25H_PCREL_PLT	printf
+0x[0-9a-f]+ 0802 0000           	bl	0x00000000
+			c: ARC_S25W_PCREL_PLT	printf
+0x[0-9a-f]+ 2700 7f80 0000 0000 	add	r0,pcl,0
+			14: ARC_PLT32	printf
diff --git a/gas/testsuite/gas/arc/plt-relocs.s b/gas/testsuite/gas/arc/plt-relocs.s
new file mode 100644
index 0000000..e900a6a
--- /dev/null
+++ b/gas/testsuite/gas/arc/plt-relocs.s
@@ -0,0 +1,9 @@
+;;; Test if the assembler correctly generates PC-relative relocations
+;;; related with branch instructions
+	.cpu HS
+	.text
+	bne	@printf@plt
+	blne	@printf@plt
+	b	@printf@plt
+	bl	@printf@plt
+	add	r0,pcl,@printf@plt
diff --git a/gas/testsuite/gas/arc/pseudos.d b/gas/testsuite/gas/arc/pseudos.d
new file mode 100644
index 0000000..b15bd51
--- /dev/null
+++ b/gas/testsuite/gas/arc/pseudos.d
@@ -0,0 +1,39 @@
+#as:
+#objdump: -dr
+
+.*: +file format .*arc.*
+
+
+Disassembly of section .text:
+
+00000000 <.text>:
+   0:	1cfc b008           	st.aw	r0,\[sp,-4\]
+   4:	1404 3401           	ld.ab	r1,\[sp,4\]
+   8:	0901 0002           	brlt.*	r1,r0,0x8
+   c:	08fd 8013           	brge.*	r0,0,0x8
+  10:	0ef9 f002 0000 003f 	brlt.*	0x3f,r0,0x8
+  18:	0ef1 f002 ffff fffe 	brlt.*	0xfffffffe,r0,0x8
+  20:	08e9 8f82 ffff fffe 	brlt.*	r0,0xfffffffe,0x8
+  28:	0ee1 f013 ffff fffe 	brge.*	0xfffffffe,0,0x8
+  30:	0ed9 ffd3 ffff fffe 	brge.*	0xfffffffe,0x3f,0x8
+  38:	09d1 8044           	brlo.*	r1,r1,0x8
+  3c:	09cd 8015           	brhs.*	r1,0,0x8
+  40:	0ec9 f044 0000 003f 	brlo.*	0x3f,r1,0x8
+  48:	0ec1 f044 ffff fffe 	brlo.*	0xfffffffe,r1,0x8
+  50:	08b9 8f84 ffff fffe 	brlo.*	r0,0xfffffffe,0x8
+  58:	0eb1 f015 ffff fffe 	brhs.*	0xfffffffe,0,0x8
+  60:	0ea9 ffd5 ffff fffe 	brhs.*	0xfffffffe,0x3f,0x8
+  68:	09a1 8043           	brge.*	r1,r1,0x8
+  6c:	099d 8012           	brlt.*	r1,0,0x8
+  70:	0e99 f043 0000 003f 	brge.*	0x3f,r1,0x8
+  78:	0e91 f043 ffff fffe 	brge.*	0xfffffffe,r1,0x8
+  80:	0889 8f83 ffff fffe 	brge.*	r0,0xfffffffe,0x8
+  88:	0e81 f012 ffff fffe 	brlt.*	0xfffffffe,0,0x8
+  90:	0e79 ffd2 ffff fffe 	brlt.*	0xfffffffe,0x3f,0x8
+  98:	0971 8043           	brge.*	r1,r1,0x8
+  9c:	096d 8012           	brlt.*	r1,0,0x8
+  a0:	0e69 f043 0000 003f 	brge.*	0x3f,r1,0x8
+  a8:	0e61 f043 ffff fffe 	brge.*	0xfffffffe,r1,0x8
+  b0:	0859 8f83 ffff fffe 	brge.*	r0,0xfffffffe,0x8
+  b8:	0e51 f012 ffff fffe 	brlt.*	0xfffffffe,0,0x8
+  c0:	0e49 ffd2 ffff fffe 	brlt.*	0xfffffffe,0x3f,0x8
diff --git a/gas/testsuite/gas/arc/pseudos.s b/gas/testsuite/gas/arc/pseudos.s
new file mode 100644
index 0000000..411c243
--- /dev/null
+++ b/gas/testsuite/gas/arc/pseudos.s
@@ -0,0 +1,35 @@
+# Test pseudo instructions generation.
+	push	r0
+	pop	r1
+.L1:
+	brgt	r0, r1, @.L1	; Encode as BRLT<.d> c,b,s9
+	brgt	r0, -1, @.L1	; Encode as BRGE<.d> b,u6+1,s9
+	brgt	r0, 0x3F, @.L1	; Encode as BRLT limm,b,s9
+	brgt	r0, -2, @.L1	; Encode as BRLT limm,b,s9
+	brgt	-2, r0, @.L1	; Encode as BRLT c,limm,s9
+	brgt	-2, -1, @.L1	; Encode as BRGE limm,u6+1,s9
+	brgt	-2, 0x3E, @.L1	; Encode as BRGE limm,u6+1,s9
+
+	brhi 	r1, r1, @.L1	; BRHI<.d> b,c,s9 Encode as BRLO<.d> c,b,s9
+	brhi	r1, -1, @.L1	; BRHI<.d> b,u6,s9 Encode as BRHS<.d> b,u6+1,s9
+	brhi	r1, 0x3F, @.L1	; BRHI b,limm,s9 Encode as BRLO limm,b,s9
+	brhi	r1, -2, @.L1	; BRHI b,limm,s9 Encode as BRLO limm,b,s9
+	brhi	-2, r0, @.L1	; BRHI limm,c,s9 Encode as BRLO c,limm,s9
+	brhi	-2, -1, @.L1	; BRHI limm,u6,s9 Encode as BRHS limm,u6+1,s9
+	brhi	-2, 0x3E, @.L1	; BRHI limm,u6,s9 Encode as BRHS limm,u6+1,s9
+
+	brle 	r1, r1, @.L1	; BRLE<.d> b,c,s9 Encode as BRGE<.d> c,b,s9
+	brle	r1, -1, @.L1	; BRLE<.d> b,u6,s9 Encode as BRLT<.d> b,u6+1,s9
+	brle	r1, 0x3F, @.L1	; BRLE b,limm,s9 Encode as BRGE limm,b,s9
+	brle	r1, -2, @.L1	; BRLE b,limm,s9 Encode as BRGE limm,b,s9
+	brle	-2, r0, @.L1	; BRLE limm,c,s9 Encode as BRGE c,limm,s9
+	brle	-2, -1, @.L1	; BRLE limm,u6,s9 Encode as BRLT limm,u6+1,s9
+	brle	-2, 0x3E, @.L1	; BRLE limm,u6,s9 Encode as BRLT limm,u6+1,s9
+
+        brle    r1, r1, @.L1    ; BRLS<.d> b,c,s9 Encode as BRHS<.d> c,b,s9
+        brle    r1, -1, @.L1    ; BRLS<.d> b,u6,s9 Encode as BRLO b,u6+1,s9
+        brle    r1, 0x3F, @.L1  ; BRLS b,limm,s9 Encode as BRHS limm,b,s9
+        brle    r1, -2, @.L1    ; BRLS limm,c,s9 Encode as BRHS c,limm,s9
+        brle    -2, r0, @.L1    ; BRLS limm,c,s9 Encode as BRHS c,limm,s9
+        brle    -2, -1, @.L1    ; BRLS limm,u6,s9 Encode as BRLO limm,u6+1,s9
+        brle    -2, 0x3E, @.L1  ; BRLS limm,u6,s9 Encode as BRLO limm,u6+1,s9
diff --git a/gas/testsuite/gas/arc/sda-relocs.d b/gas/testsuite/gas/arc/sda-relocs.d
new file mode 100644
index 0000000..ed81df4
--- /dev/null
+++ b/gas/testsuite/gas/arc/sda-relocs.d
@@ -0,0 +1,40 @@
+#as: -mcpu=arc700
+#objdump: -dr --prefix-addresses --show-raw-insn
+
+.*: +file format .*arc.*
+
+Disassembly of section .text:
+0x[0-9a-f]+ ce00                	add_s	r0,gp,0
+			0: ARC_SDA16_LD2	a
+0x[0-9a-f]+ c800                	ld_s	r0,\[gp,0\]
+			2: ARC_SDA16_LD2	a
+0x[0-9a-f]+ cc00                	ldw_s	r0,\[gp,0\]
+			4: ARC_SDA16_LD1	a
+0x[0-9a-f]+ ca00                	ldb_s	r0,\[gp,0\]
+			6: ARC_SDA16_LD	a
+0x[0-9a-f]+ 1200 360c           	ld.as	r12,\[gp\]
+			8: ARC_SDA_LDST2	a
+0x[0-9a-f]+ 1a00 3398           	st.as	r14,\[gp\]
+			c: ARC_SDA_LDST2	a
+0x[0-9a-f]+ 1200 300a           	ld	r10,\[gp\]
+			10: ARC_SDA_LDST	a
+0x[0-9a-f]+ 1a00 3240           	st	r9,\[gp\]
+			14: ARC_SDA_LDST	a
+0x[0-9a-f]+ 1200 3108           	ldh	r8,\[gp\]
+			18: ARC_SDA_LDST	a
+0x[0-9a-f]+ 1a00 31c4           	sth	r7,\[gp\]
+			1c: ARC_SDA_LDST	a
+0x[0-9a-f]+ 1200 3086           	ldb	r6,\[gp\]
+			20: ARC_SDA_LDST	a
+0x[0-9a-f]+ 1a00 3142           	stb	r5,\[gp\]
+			24: ARC_SDA_LDST	a
+0x[0-9a-f]+ 1200 3708           	ldh.as	r8,\[gp\]
+			28: ARC_SDA_LDST1	a
+0x[0-9a-f]+ 1a00 31dc           	sth.as	r7,\[gp\]
+			2c: ARC_SDA_LDST1	a
+0x[0-9a-f]+ 1200 3688           	ldb.as	r8,\[gp\]
+			30: ARC_SDA_LDST	a
+0x[0-9a-f]+ 1a00 31da           	stb.as	r7,\[gp\]
+			34: ARC_SDA_LDST	a
+0x[0-9a-f]+ 2200 3f81 0000 0000 	add	r1,gp,0
+			3c: ARC_SDA32_ME	a
diff --git a/gas/testsuite/gas/arc/sda-relocs.s b/gas/testsuite/gas/arc/sda-relocs.s
new file mode 100644
index 0000000..541bec5
--- /dev/null
+++ b/gas/testsuite/gas/arc/sda-relocs.s
@@ -0,0 +1,36 @@
+;;; Test if the assembler generates correctly all SDA relocations.
+
+	.cpu ARC700
+	.text
+	;; BFD_RELOC_ARC_SDA16_LD2 (s11 range)
+	add_s	r0,gp,@a@sda
+	ld_s	r0,[gp,@a@sda]
+
+	;; BFD_RELOC_ARC_SDA16_LD1 (s10 range)
+	ldw_s	r0,[gp,@a@sda]
+
+	;; BFD_RELOC_ARC_SDA16_LD (s9 range)
+	ldb_s	r0,[gp,@a@sda]
+
+	;; BFD_RELOC_ARC_SDA_LDST2 (s11 range)
+	ld.as	r12,[gp,@a@sda]
+	st.as	r14,[gp,@a@sda]
+
+	;; BFD_RELOC_ARC_SDA_LDST (s9 range)
+	ld	r10,[gp,@a@sda]
+	st	r9,[gp,@a@sda]
+	ldw	r8,[gp,@a@sda]
+	stw	r7,[gp,@a@sda]
+	ldb	r6,[gp,@a@sda]
+	stb	r5,[gp,@a@sda]
+
+	;; BFD_RELOC_ARC_SDA_LDST1 (s10 range)
+	ldw.as	r8,[gp,@a@sda]
+	stw.as	r7,[gp,@a@sda]
+
+	;; Undefined behavior. However it should be something like: LDST
+	ldb.as	r8,[gp,@a@sda]
+	stb.as	r7,[gp,@a@sda]
+
+	;; BFD_RELOC_ARC_SDA_ME
+	add	r1,gp,@a@sda
diff --git a/gas/testsuite/gas/arc/sda-relocs2.d b/gas/testsuite/gas/arc/sda-relocs2.d
new file mode 100644
index 0000000..96013f8
--- /dev/null
+++ b/gas/testsuite/gas/arc/sda-relocs2.d
@@ -0,0 +1,18 @@
+#as: -mcpu=archs
+#objdump: -dr --prefix-addresses --show-raw-insn
+
+.*: +file format .*arc.*
+
+Disassembly of section .text:
+0x[0-9a-f]+ 1200 3180           	ldd	r0r1,\[gp\]
+			0: ARC_SDA_LDST	b
+0x[0-9a-f]+ 1a00 3086           	std	r2r3,\[gp\]
+			4: ARC_SDA_LDST	b
+0x[0-9a-f]+ 1200 3780           	ldd.as	r0r1,\[gp\]
+			8: ARC_SDA_LDST2	b
+0x[0-9a-f]+ 1a00 309e           	std.as	r2r3,\[gp\]
+			c: ARC_SDA_LDST2	b
+0x[0-9a-f]+ 5000                	ld_s	r1,\[gp,0\]
+			10: ARC_SDA16_ST2	b
+0x[0-9a-f]+ 5010                	st_s	r0,\[gp,0\]
+			12: ARC_SDA16_ST2	b
diff --git a/gas/testsuite/gas/arc/sda-relocs2.s b/gas/testsuite/gas/arc/sda-relocs2.s
new file mode 100644
index 0000000..910b491
--- /dev/null
+++ b/gas/testsuite/gas/arc/sda-relocs2.s
@@ -0,0 +1,15 @@
+;;; Test if the assembler generates correctly all SDA relocations.
+
+	.cpu HS
+	.text
+	;; BFD_RELOC_ARC_SDA_LDST (s9 range)
+	ldd	r0,[gp,@b@sda]
+	std	r2,[gp,@b@sda]
+
+	;; BFD_RELOC_ARC_SDA_LDST2 (s11 range)
+	ldd.as	r0,[gp,@b@sda]
+	std.as	r2,[gp,@b@sda]
+
+	;; BFD_RELOC_ARC_SDA16_ST2 (s11 range)
+	ld_s	r1,[gp,@b@sda]
+	st_s	r0,[gp,@b@sda]
diff --git a/gas/testsuite/gas/arc/tls-relocs.d b/gas/testsuite/gas/arc/tls-relocs.d
new file mode 100644
index 0000000..e75f84a
--- /dev/null
+++ b/gas/testsuite/gas/arc/tls-relocs.d
@@ -0,0 +1,17 @@
+#as: -mcpu=archs
+#objdump: -dr --prefix-addresses --show-raw-insn
+
+.*: +file format .*arc.*
+
+Disassembly of section .text:
+0x[0-9a-f]+ 2730 7f82 0000 0000 	ld	r2,\[pcl,0\]
+			4: ARC_TLS_IE_GOT	var
+0x[0-9a-f]+ 2700 7f80 0000 0000 	add	r0,pcl,0
+			c: ARC_TLS_GD_GOT	var
+0x[0-9a-f]+ 2000 0f81 0000 0000 	add	r1,r0,0
+			14: ARC_TLS_DTPOFF	var
+0x[0-9a-f]+ 2100 3f80 0000 0000 	add	r0,r25,0
+			1c: ARC_TLS_LE_32	var
+0x[0-9a-f]+ 0802 0000           	bl	0x00000000
+			20: ARC_TLS_GD_LD	.tdata
+			20: ARC_S25W_PCREL_PLT	func
diff --git a/gas/testsuite/gas/arc/tls-relocs.s b/gas/testsuite/gas/arc/tls-relocs.s
new file mode 100644
index 0000000..cdc1ef4
--- /dev/null
+++ b/gas/testsuite/gas/arc/tls-relocs.s
@@ -0,0 +1,18 @@
+;;; Test if the assembler correctly generates TLS relocations
+
+	.cpu HS
+	.text
+	;; RELOC_ARC_TLS_IE_GOT
+	ld	r2,[pcl,@var@tlsie]
+
+	;; RELOC_ARC_TLS_GD_GOT
+	add	r0,pcl,@var@tlsgd
+
+	;; RELOC_ARC_TLS_DTPOFF
+	add	r1,r0,@var@dtpoff
+
+	;; RELOC_ARC_TLS_LE_32
+	add 	r0,r25,@var@tpoff
+
+	;; RELOC_ARC_TLS_GD_LD
+	.tls_gd_ld @.tdata`bl @func@plt