https://gcc.gnu.org/g:9ca952ceea056ad90a88cb664b400365e5556b4b
commit 9ca952ceea056ad90a88cb664b400365e5556b4b
Author: Michael Meissner <meiss...@linux.ibm.com>
Date: Fri Jun 21 03:22:32 2024 -0400
Fix up TAR errors
2024-06-21 Michael Meissner <meiss...@linux.ibm.com>
* config/rs6000/rs6000.md (movcc_<mode>): Add alternatives to
allowing
Cmode and floating point (under debug switches) back. Add support
for
the TAR register.
(movsf_hardfloat): Likewise.
(movsd_hardfloat): Likewise.
(mov<mode>_softfloat): Likewise.
(mov<mode>_hardfloat64): Likewise.
(mov<mode>_softfloat64): Likewise.
* lra-constraints.cc (lra_constraints): Change internal_error to
fatal_insn.
Diff:
---
gcc/config/rs6000/rs6000.md | 117 +++++++++++++++++++++++++-------------------
gcc/lra-constraints.cc | 13 +++--
2 files changed, 78 insertions(+), 52 deletions(-)
diff --git a/gcc/config/rs6000/rs6000.md b/gcc/config/rs6000/rs6000.md
index a42443ef0081..73aac467e74c 100644
--- a/gcc/config/rs6000/rs6000.md
+++ b/gcc/config/rs6000/rs6000.md
@@ -8120,9 +8120,9 @@
(define_insn "*movcc_<mode>"
[(set (match_operand:CC_any 0 "nonimmediate_operand"
- "=y,x,?y,y,r,r,r,r,r,m")
+ "=y,x,?y,y,r,r,r,r, r,*c*l,r,m")
(match_operand:CC_any 1 "general_operand"
- " y,r, r,O,x,y,r,I,m,r"))]
+ " y,r, r,O,x,y,r,I,*h, r,m,r"))]
"register_operand (operands[0], <MODE>mode)
|| register_operand (operands[1], <MODE>mode)"
"@
@@ -8134,6 +8134,8 @@
mfcr %0%Q1\;rlwinm %0,%0,%f1,0xf0000000
mr %0,%1
li %0,%1
+ mf%1 %0
+ mt%0 %1
lwz%U1%X1 %0,%1
stw%U0%X0 %1,%0"
[(set_attr_alternative "type"
@@ -8147,9 +8149,11 @@
(const_string "mfcrf") (const_string "mfcr"))
(const_string "integer")
(const_string "integer")
+ (const_string "mfjmpr")
+ (const_string "mtjmpr")
(const_string "load")
(const_string "store")])
- (set_attr "length" "*,*,12,*,*,8,*,*,*,*")])
+ (set_attr "length" "*,*,12,*,*,8,*,*,*,*,*,*")])
;; For floating-point, we normally deal with the floating-point registers
;; unless -msoft-float is used. The sole exception is that parameter passing
@@ -8200,17 +8204,17 @@
;;
;; LWZ LFS LXSSP LXSSPX STFS STXSSP
;; STXSSPX STW XXLXOR LI FMR XSCPSGNDP
-;; MR XXSPLTIDP
+;; MR MT<x> MF<x> NOP XXSPLTIDP
(define_insn "movsf_hardfloat"
[(set (match_operand:SF 0 "nonimmediate_operand"
"=!r, f, v, wa, m, wY,
Z, m, wa, !r, f, wa,
- !r, wa")
+ !r, *wt*c*l, !r, *h, wa")
(match_operand:SF 1 "input_operand"
"m, m, wY, Z, f, v,
wa, r, j, j, f, wa,
- r, eP"))]
+ r, r, *h, 0, eP"))]
"(register_operand (operands[0], SFmode)
|| register_operand (operands[1], SFmode))
&& TARGET_HARD_FLOAT
@@ -8230,29 +8234,32 @@
fmr %0,%1
xscpsgndp %x0,%x1,%x1
mr %0,%1
+ mt%0 %1
+ mf%1 %0
+ nop
#"
[(set_attr "type"
"load, fpload, fpload, fpload, fpstore, fpstore,
fpstore, store, veclogical, integer, fpsimple, fpsimple,
- *, vecperm")
+ *, mtjmpr, mfjmpr, *, vecperm")
(set_attr "isa"
"*, *, p9v, p8v, *, p9v,
p8v, *, *, *, *, *,
- *, p10")
+ *, *, *, *, p10")
(set_attr "prefixed"
"*, *, *, *, *, *,
*, *, *, *, *, *,
- *, yes")])
+ *, *, *, *, yes")])
;; LWZ LFIWZX STW STFIWX MTVSRWZ MFVSRWZ
-;; FMR MR
+;; FMR MR MT%0 MF%1 NOP
(define_insn "movsd_hardfloat"
[(set (match_operand:SD 0 "nonimmediate_operand"
"=!r, d, m, ?Z, ?d, ?r,
- f, !r")
+ f, !r, *wt*c*l, !r, *h")
(match_operand:SD 1 "input_operand"
"m, ?Z, r, wx, r, d,
- f, r"))]
+ f, r, r, *h, 0"))]
"(register_operand (operands[0], SDmode)
|| register_operand (operands[1], SDmode))
&& TARGET_HARD_FLOAT"
@@ -8264,43 +8271,49 @@
mtvsrwz %x0,%1
mfvsrwz %0,%x1
fmr %0,%1
- mr %0,%1"
+ mr %0,%1
+ mt%0 %1
+ mf%1 %0
+ nop"
[(set_attr "type"
"load, fpload, store, fpstore, mtvsr, mfvsr,
- fpsimple, *")
+ fpsimple, *, mtjmpr, mfjmpr, *")
(set_attr "isa"
"*, p7, *, *, p8v, p8v,
- *, *")])
+ *, *, *, *, *")])
-;; MR LWZ STW LI
-;; LIS G-const. F/n-const
+;; MR MT%0 MF%0 LWZ STW LI
+;; LIS G-const. F/n-const NOP
(define_insn "*mov<mode>_softfloat"
[(set (match_operand:FMOVE32 0 "nonimmediate_operand"
- "=r, r, m, r,
- r, r, r")
+ "=r, *wt*c*l, r, r, m, r,
+ r, r, r, *h")
(match_operand:FMOVE32 1 "input_operand"
- "r, m, r, I,
- L, G, Fn"))]
+ "r, r, *h, m, r, I,
+ L, G, Fn, 0"))]
"(gpc_reg_operand (operands[0], <MODE>mode)
|| gpc_reg_operand (operands[1], <MODE>mode))
&& TARGET_SOFT_FLOAT"
"@
mr %0,%1
+ mt%0 %1
+ mf%1 %0
lwz%U1%X1 %0,%1
stw%U0%X0 %1,%0
li %0,%1
lis %0,%v1
#
- #"
+ #
+ nop"
[(set_attr "type"
- "*, load, store, *,
- *, *, *")
+ "*, mtjmpr, mfjmpr, load, store, *,
+ *, *, *, *")
(set_attr "length"
- "*, *, *, *,
- *, *, 8")])
+ "*, *, *, *, *, *,
+ *, *, 8, *")])
;; Like movsf, but adjust a SI value to be used in a SF context, i.e.
;; (set (reg:SF ...) (subreg:SF (reg:SI ...) 0))
@@ -8580,20 +8593,20 @@
;; STFD LFD FMR LXSD STXSD
;; LXSDX STXSDX XXLOR XXLXOR LI 0
-;; STD LD MR
-;; MFVSRD MTVSRD XXSPLTIDP
+;; STD LD MR MT{CTR,LR} MF{CTR,LR}
+;; NOP MFVSRD MTVSRD XXSPLTIDP
(define_insn "*mov<mode>_hardfloat64"
[(set (match_operand:FMOVE64 0 "nonimmediate_operand"
"=m, d, d, <f64_p9>, wY,
<f64_av>, Z, <f64_vsx>, <f64_vsx>, !r,
- YZ, r, !r,
- r, <f64_dm>, wa")
+ YZ, r, !r, *wt*c*l, !r,
+ *h, r, <f64_dm>, wa")
(match_operand:FMOVE64 1 "input_operand"
"d, m, d, wY, <f64_p9>,
Z, <f64_av>, <f64_vsx>, <zero_fp>, <zero_fp>,
- r, YZ, r,
- <f64_dm>, r, eP"))]
+ r, YZ, r, r, *h,
+ 0, <f64_dm>, r, eP"))]
"TARGET_POWERPC64 && TARGET_HARD_FLOAT
&& (gpc_reg_operand (operands[0], <MODE>mode)
|| gpc_reg_operand (operands[1], <MODE>mode))"
@@ -8611,37 +8624,40 @@
std%U0%X0 %1,%0
ld%U1%X1 %0,%1
mr %0,%1
+ mt%0 %1
+ mf%1 %0
+ nop
mfvsrd %0,%x1
mtvsrd %x0,%1
#"
[(set_attr "type"
"fpstore, fpload, fpsimple, fpload, fpstore,
fpload, fpstore, veclogical, veclogical, integer,
- store, load, *,
- mfvsr, mtvsr, vecperm")
+ store, load, *, mtjmpr, mfjmpr,
+ *, mfvsr, mtvsr, vecperm")
(set_attr "size" "64")
(set_attr "isa"
"*, *, *, p9v, p9v,
p7v, p7v, *, *, *,
- *, *, *,
- p8v, p8v, p10")
+ *, *, *, *, *,
+ *, p8v, p8v, p10")
(set_attr "prefixed"
"*, *, *, *, *,
*, *, *, *, *,
- *, *, *,
- *, *, *")])
+ *, *, *, *, *,
+ *, *, *, *")])
-;; STD LD MR G-const
-;; H-const F-const
+;; STD LD MR MT<SPR> MF<SPR> G-const
+;; H-const F-const Special
(define_insn "*mov<mode>_softfloat64"
[(set (match_operand:FMOVE64 0 "nonimmediate_operand"
- "=Y, r, r, r,
- r, r")
+ "=Y, r, r, *wt*c*l,r, r,
+ r, r, *h")
(match_operand:FMOVE64 1 "input_operand"
- "r, Y, r, G,
- H, F"))]
+ "r, Y, r, r, *h, G,
+ H, F, 0"))]
"TARGET_POWERPC64 && TARGET_SOFT_FLOAT
&& (gpc_reg_operand (operands[0], <MODE>mode)
@@ -8650,16 +8666,19 @@
std%U0%X0 %1,%0
ld%U1%X1 %0,%1
mr %0,%1
+ mt%0 %1
+ mf%1 %0
#
#
- #"
+ #
+ nop"
[(set_attr "type"
- "store, load, *, *,
- *, *")
+ "store, load, *, mtjmpr, mfjmpr, *,
+ *, *, *")
(set_attr "length"
- "*, *, *, 8,
- 12, 16")])
+ "*, *, *, *, *, 8,
+ 12, 16, *")])
;; Split the VSX prefixed instruction to support SFmode and DFmode scalar
;; constants that look like DFmode floating point values where both elements
diff --git a/gcc/lra-constraints.cc b/gcc/lra-constraints.cc
index 92b343fa99a0..441a532821af 100644
--- a/gcc/lra-constraints.cc
+++ b/gcc/lra-constraints.cc
@@ -5398,9 +5398,16 @@ lra_constraints (bool first_p)
continue;
}
if (new_insns_num > MAX_RELOAD_INSNS_NUMBER)
- internal_error
- ("maximum number of generated reload insns per insn achieved (%d)",
- MAX_RELOAD_INSNS_NUMBER);
+ {
+#if 0
+ internal_error
+ ("maximum number of generated reload insns per insn achieved (%d)",
+ MAX_RELOAD_INSNS_NUMBER);
+#else
+ fatal_insn ("maximum number of generated reload insns per insn
achieved",
+ curr_insn);
+#endif
+ }
new_insns_num++;
if (DEBUG_INSN_P (curr_insn))
{
