]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
Fix regression in ft32 port after recent switch table adjustments
authorJeff Law <jlaw@ventanamicro.com>
Tue, 7 Jan 2025 19:20:15 +0000 (12:20 -0700)
committerJeff Law <jlaw@ventanamicro.com>
Tue, 7 Jan 2025 19:21:30 +0000 (12:21 -0700)
This is a trivial bug that showed up after Mark W's recent patch to not apply
the size limit on jump tables.

The ft32 port has limited immediate ranges on comparisons and the casesi
expander didn't honor those.  It'd blindly pass along an out of range constant.

This patch adds the trivial adjustment to force an out of range constant into a
register.  It fixes these regressions:

> Tests that now fail, but worked before (3 tests):
>
> ft32-sim: gcc: gcc.c-torture/compile/pr34093.c   -O1  (test for excess errors)
> ft32-sim: gcc: gcc.dg/torture/pr106809.c   -O1  (test for excess errors)
> ft32-sim: gcc: gcc.dg/torture/pr106809.c   -O1  (test for excess errors)
Tested in my tester.    No other tests were fixed.

gcc/
* config/ft32/ft32.md (casesi expander): Force operands[2] into
a register if it's not a suitable rimm operand.

gcc/config/ft32/ft32.md

index a1680666928a52fbfb1e1affc3a09684aa8e7486..4d66abe009e1e72676b0253dd8ae693db4070b1a 100644 (file)
       operands[0] = index;
     }
 
+  /* operands[2] could be an integer that is out of range for
+     the comparison insn we're going to emit.  If so, force
+     it into a register.  */
+  if (!ft32_rimm_operand (operands[2], SImode))
+    operands[2] = force_reg (SImode, operands[2]);
+
   {
     rtx test = gen_rtx_GTU (VOIDmode, operands[0], operands[2]);
     emit_jump_insn (gen_cbranchsi4 (test, operands[0], operands[2], operands[4]));