@@ -47,7 +47,7 @@ extern rtx riscv_emit_move (rtx, rtx);
extern bool riscv_split_symbol (rtx, rtx, machine_mode, rtx *);
extern bool riscv_split_symbol_type (enum riscv_symbol_type);
extern rtx riscv_unspec_address (rtx, enum riscv_symbol_type);
-extern void riscv_move_integer (rtx, rtx, HOST_WIDE_INT);
+extern void riscv_move_integer (rtx, rtx, HOST_WIDE_INT, machine_mode);
extern bool riscv_legitimize_move (machine_mode, rtx, rtx);
extern rtx riscv_subword (rtx, bool);
extern bool riscv_split_64bit_move_p (rtx, rtx);
@@ -508,8 +508,8 @@ riscv_split_integer (HOST_WIDE_INT val, machine_mode mode)
unsigned HOST_WIDE_INT hival = sext_hwi ((val - loval) >> 32, 32);
rtx hi = gen_reg_rtx (mode), lo = gen_reg_rtx (mode);
- riscv_move_integer (hi, hi, hival);
- riscv_move_integer (lo, lo, loval);
+ riscv_move_integer (hi, hi, hival, mode);
+ riscv_move_integer (lo, lo, loval, mode);
hi = gen_rtx_fmt_ee (ASHIFT, mode, hi, GEN_INT (32));
hi = force_reg (mode, hi);
@@ -1334,10 +1334,12 @@ riscv_legitimize_address (rtx x, rtx oldx ATTRIBUTE_UNUSED,
return x;
}
-/* Load VALUE into DEST. TEMP is as for riscv_force_temporary. */
+/* Load VALUE into DEST. TEMP is as for riscv_force_temporary. ORIG_MODE
+ is the original src mode before promotion. */
void
-riscv_move_integer (rtx temp, rtx dest, HOST_WIDE_INT value)
+riscv_move_integer (rtx temp, rtx dest, HOST_WIDE_INT value,
+ machine_mode orig_mode)
{
struct riscv_integer_op codes[RISCV_MAX_INTEGER_OPS];
machine_mode mode;
@@ -1345,7 +1347,9 @@ riscv_move_integer (rtx temp, rtx dest, HOST_WIDE_INT value)
rtx x;
mode = GET_MODE (dest);
- num_ops = riscv_build_integer (codes, value, mode);
+ /* We use the original mode for the riscv_build_integer call, because HImode
+ values are given special treatment. */
+ num_ops = riscv_build_integer (codes, value, orig_mode);
if (can_create_pseudo_p () && num_ops > 2 /* not a simple constant */
&& num_ops >= riscv_split_integer_cost (value))
@@ -1381,7 +1385,7 @@ riscv_legitimize_const_move (machine_mode mode, rtx dest, rtx src)
/* Split moves of big integers into smaller pieces. */
if (splittable_const_int_operand (src, mode))
{
- riscv_move_integer (dest, dest, INTVAL (src));
+ riscv_move_integer (dest, dest, INTVAL (src), mode);
return;
}
@@ -1428,7 +1432,31 @@ riscv_legitimize_move (machine_mode mode, rtx dest, rtx src)
{
if (!register_operand (dest, mode) && !reg_or_0_operand (src, mode))
{
- riscv_emit_move (dest, force_reg (mode, src));
+ rtx reg;
+
+ if (GET_CODE (src) == CONST_INT)
+ {
+ /* Apply the equivalent of PROMOTE_MODE here for constants to
+ improve cse. */
+ machine_mode promoted_mode = mode;
+ if (GET_MODE_CLASS (mode) == MODE_INT
+ && GET_MODE_SIZE (mode) < UNITS_PER_WORD)
+ promoted_mode = word_mode;
+
+ if (splittable_const_int_operand (src, mode))
+ {
+ reg = gen_reg_rtx (promoted_mode);
+ riscv_move_integer (reg, reg, INTVAL (src), mode);
+ }
+ else
+ reg = force_reg (promoted_mode, src);
+
+ if (promoted_mode != mode)
+ reg = gen_lowpart (mode, reg);
+ }
+ else
+ reg = force_reg (mode, src);
+ riscv_emit_move (dest, reg);
return true;
}
@@ -1278,7 +1278,8 @@
""
[(const_int 0)]
{
- riscv_move_integer (operands[2], operands[0], INTVAL (operands[1]));
+ riscv_move_integer (operands[2], operands[0], INTVAL (operands[1]),
+ <GPR:MODE>mode);
DONE;
})
new file mode 100644
@@ -0,0 +1,32 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv64gc -mabi=lp64d -O2" } */
+
+/* Check that we don't have unnecessary load immediate instructions. */
+void
+sub1 (int *a, long long *b)
+{
+ *a = 1;
+ *b = 1;
+}
+
+void
+sub2 (short *a, short *b)
+{
+ *a = -32768;
+ *b = 32767;
+}
+
+void
+sub3 (int *a, long long *b)
+{
+ *a = 10000;
+ *b = 10000;
+}
+
+void
+sub4 (int *a, short *b)
+{
+ *a = 1;
+ *b = 1;
+}
+/* { dg-final { scan-assembler-times "\tli\t" 4 } } */