arc: check if the addend fits when referencing small data memory

Signed-off-by: Michiel Derhaeg <[email protected]>

Author: MichielDerhaeg

gcc/config/arc/arc.cc

@@ -393,17 +393,25 @@ legitimate_small_data_address_p (rtx x, machine_mode mode)
 	if (!CONST_INT_P (XEXP (x, 1)))
 	  return false;
 
-	/* Small data relocs works with scalled addresses, check if
+	const int offset = INTVAL (XEXP (x, 1));
+	int size = GET_MODE_SIZE (mode);
+	size = size == 8 ? 4 : size;
+
+	/* Reloc allows scaled signed 9 bits. */
+	const int v = (offset / size) >> 8;
+	if (v != 0 && v != -1)
+	  return false;
+
+	/* Small data relocs works with scaled addresses, check if
 	   the immediate fits the requirements.  */
-	switch (GET_MODE_SIZE (mode))
+	switch (size)
 	  {
 	  case 1:
 	    return p0;
 	  case 2:
-	    return p0 && ((INTVAL (XEXP (x, 1)) & 0x1) == 0);
+	    return p0 && ((offset & 0x1) == 0);
 	  case 4:
-	  case 8:
-	    return p0 && ((INTVAL (XEXP (x, 1)) & 0x3) == 0);
+	    return p0 && ((offset & 0x3) == 0);
 	  default:
 	    return false;
 	  }

gcc/testsuite/gcc.target/arc/sdata-6.c

@@ -0,0 +1,17 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -msdata" } */
+
+__attribute__((section(".sdata"))) int a[300];
+
+int f (void)
+{
+  return a[255];
+}
+
+int g (void)
+{
+  return a[256];
+}
+
+/* { dg-final { scan-assembler "ld.as\\s+r0,\\\[gp,@a@sda\+1020\\\]" } } */
+/* { dg-final { scan-assembler "ld\\s+r0,\\\[@a\+1024\\\]" } } */