[ARC] Fix detection of long immediate for load/store operands.

ARC can use scaled offsets when loading (i.e. ld.as rA,[base,
offset]).  Where base and offset can be a register or an immediate
operand.  The scaling only applies on the offset part of the
instruction.  The compiler can accept an address like this:

(plus:SI (mult:SI (reg:SI 2 r2 [orig:596 _2129 ] [596])
	          (const_int 4 [0x4]))
	 (const_int 60 [0x3c]))

Hence, to emit this instruction we place the (const_int 60) into base
and the register into offset to take advantage of the scaled offset
facility of the load instruction.  As a result the length of the load
instruction is 8 bytes.  However, the long_immediate_loadstore_operand
predicate used for calculating the length attribute doesn't recognize
this address and returns a wrong decision leading to a wrong length
computation for a load instruction using the above address.

gcc/
2017-03-27  Claudiu Zissulescu  <claziss@synopsys.com>

	* config/arc/predicates.md (long_immediate_loadstore_operand):
	Consider scaled addresses cases.

From-SVN: r246496

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 336fa7fedf154312e343f31e6827ba85736e881d..598f03d42cce1fd4914236216fe215ca9d5d6d88 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2017-03-27  Claudiu Zissulescu  <claziss@synopsys.com>
+
+       * config/arc/predicates.md (long_immediate_loadstore_operand):
+       Consider scaled addresses cases.
+
 2017-03-27  Claudiu Zissulescu  <claziss@synopsys.com>
 
        * config/arc/arc.c (arc_epilogue_uses): BLINK should be also

diff --git a/gcc/config/arc/predicates.md b/gcc/config/arc/predicates.md
index 0dec736be5f0585ccfb845b4dbb0fa0d940a3d7e..8dd8d558b9e1d77f1fa82eb3838be01e197d7bc3 100644 (file)
--- a/gcc/config/arc/predicates.md
+++ b/gcc/config/arc/predicates.md
@@ -148,6 +148,11 @@
       {
        rtx x = XEXP (op, 1);
 
+       if ((GET_CODE (XEXP (op, 0)) == MULT)
+           && REG_P (XEXP (XEXP (op, 0), 0))
+           && CONSTANT_P (x))
+         return 1;
+
        if (GET_CODE (x) == CONST)
          {
            x = XEXP (x, 0);