public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc(refs/users/meissner/heads/work122-vpair)] Combine define_insn and define_split
@ 2023-06-16 17:59 Michael Meissner
0 siblings, 0 replies; only message in thread
From: Michael Meissner @ 2023-06-16 17:59 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:ebbc8e7ed573dc43b963663323d420d07c0a6b85
commit ebbc8e7ed573dc43b963663323d420d07c0a6b85
Author: Michael Meissner <meissner@linux.ibm.com>
Date: Fri Jun 16 13:59:15 2023 -0400
Combine define_insn and define_split
2023-06-16 Michael Meissner <meissner@linux.ibm.com>
gcc/
* config/rs6000/mma.md (vpair_<pairop>_<pairmode>): Combine define_insns
and splitters into define_insn_and_split. Set insn length.
(vpair_SCALE_<pairmode>): New insn.
Diff:
---
gcc/config/rs6000/mma.md | 82 ++++++++++++++++++------------------------------
1 file changed, 31 insertions(+), 51 deletions(-)
diff --git a/gcc/config/rs6000/mma.md b/gcc/config/rs6000/mma.md
index c133c244611..d127a8673eb 100644
--- a/gcc/config/rs6000/mma.md
+++ b/gcc/config/rs6000/mma.md
@@ -744,48 +744,38 @@
(set_attr "prefixed" "yes")])
-(define_insn "vpair_<pairop>_<pairmode>"
- [(set (match_operand:OO 0 "vsx_register_operand" "=?wa")
+(define_insn_and_split "vpair_<pairop>_<pairmode>"
+ [(set (match_operand:OO 0 "vsx_register_operand" "=wa")
(unspec:OO [(match_operand:OO 1 "vsx_register_operand" "wa")]
UNSPEC_PAIR_1OPS))]
"TARGET_MMA"
- "#")
-
-(define_split
- [(set (match_operand:OO 0 "vsx_register_operand")
- (unspec:OO [(match_operand:OO 1 "vsx_register_operand")]
- UNSPEC_PAIR_1OPS))]
- "TARGET_MMA && reload_completed"
+ "#"
+ "&& reload_completed"
[(const_int 0)]
{
enum machine_mode mode = <pairmode>mode;
- for (long i = 0; i < 2; i++)
+ for (size_t i = 0; i < 2; i++)
{
rtx op0 = gen_rtx_REG (mode, reg_or_subregno (operands[0]) + i);
rtx op1 = gen_rtx_REG (mode, reg_or_subregno (operands[1]) + i);
emit_insn (gen_rtx_SET (op0, gen_rtx_<pairop> (mode, op1)));
}
DONE;
-})
+}
+ [(set_attr "length" "8")])
-(define_insn "vpair_<pairop>_<pairmode>"
- [(set (match_operand:OO 0 "vsx_register_operand" "=?wa")
+(define_insn_and_split "vpair_<pairop>_<pairmode>"
+ [(set (match_operand:OO 0 "vsx_register_operand" "=wa")
(unspec:OO [(match_operand:OO 1 "vsx_register_operand" "wa")
(match_operand:OO 2 "vsx_register_operand" "wa")]
UNSPEC_PAIR_2OPS))]
"TARGET_MMA"
- "#")
-
-(define_split
- [(set (match_operand:OO 0 "vsx_register_operand")
- (unspec:OO [(match_operand:OO 1 "vsx_register_operand")
- (match_operand:OO 2 "vsx_register_operand")]
- UNSPEC_PAIR_2OPS))]
- "TARGET_MMA && reload_completed"
+ "#"
+ "&& reload_completed"
[(const_int 0)]
{
enum machine_mode mode = <pairmode>mode;
- for (long i = 0; i < 2; i++)
+ for (size_t i = 0; i < 2; i++)
{
rtx op0 = gen_rtx_REG (mode, reg_or_subregno (operands[0]) + i);
rtx op1 = gen_rtx_REG (mode, reg_or_subregno (operands[1]) + i);
@@ -793,28 +783,22 @@
emit_insn (gen_rtx_SET (op0, gen_rtx_<pairop> (mode, op1, op2)));
}
DONE;
-})
+}
+ [(set_attr "length" "8")])
-(define_insn "vpair_<pairop>_<pairmode>"
- [(set (match_operand:OO 0 "vsx_register_operand" "=wa,wa,v")
- (unspec:OO [(match_operand:OO 1 "vsx_register_operand" "%wa,wa,v")
- (match_operand:OO 2 "vsx_register_operand" "wa,0,v")
- (match_operand:OO 3 "vsx_register_operand" "0,wa,v")]
+(define_insn_and_split "vpair_<pairop>_<pairmode>"
+ [(set (match_operand:OO 0 "vsx_register_operand" "=wa,wa")
+ (unspec:OO [(match_operand:OO 1 "vsx_register_operand" "%wa,wa")
+ (match_operand:OO 2 "vsx_register_operand" "wa,0")
+ (match_operand:OO 3 "vsx_register_operand" "0,wa")]
UNSPEC_PAIR_3OPS))]
"TARGET_MMA"
- "#")
-
-(define_split
- [(set (match_operand:OO 0 "vsx_register_operand")
- (unspec:OO [(match_operand:OO 1 "vsx_register_operand")
- (match_operand:OO 2 "vsx_register_operand")
- (match_operand:OO 3 "vsx_register_operand")]
- UNSPEC_PAIR_3OPS))]
- "TARGET_MMA && reload_completed"
+ "#"
+ "&& reload_completed"
[(const_int 0)]
{
enum machine_mode mode = <pairmode>mode;
- for (long i = 0; i < 2; i++)
+ for (size_t i = 0; i < 2; i++)
{
rtx op0 = gen_rtx_REG (mode, reg_or_subregno (operands[0]) + i);
rtx op1 = gen_rtx_REG (mode, reg_or_subregno (operands[1]) + i);
@@ -823,31 +807,27 @@
emit_insn (gen_rtx_SET (op0, gen_rtx_<pairop> (mode, op1, op2, op3)));
}
DONE;
-})
+}
+ [(set_attr "length" "8")])
-(define_insn "vpair_SCALE_<pairmode>"
- [(set (match_operand:OO 0 "vsx_register_operand" "=?wa")
+(define_insn_and_split "vpair_SCALE_<pairmode>"
+ [(set (match_operand:OO 0 "vsx_register_operand" "=wa")
(unspec:OO [(match_operand:<pairmode> 1 "vsx_register_operand" "wa")
(match_operand:OO 2 "vsx_register_operand" "wa")]
UNSPEC_PAIR_SCALE))]
"TARGET_MMA"
- "#")
-
-(define_split
- [(set (match_operand:OO 0 "vsx_register_operand")
- (unspec:OO [(match_operand:<pairmode> 1 "vsx_register_operand")
- (match_operand:OO 2 "vsx_register_operand")]
- UNSPEC_PAIR_SCALE))]
- "TARGET_MMA && reload_completed"
+ "#"
+ "&& reload_completed"
[(const_int 0)]
{
enum machine_mode mode = <pairmode>mode;
rtx op1 = gen_rtx_REG (<pairmode>mode, reg_or_subregno (operands[1]));
- for (long i = 0; i < 2; i++)
+ for (size_t i = 0; i < 2; i++)
{
rtx op0 = gen_rtx_REG (mode, reg_or_subregno (operands[0]) + i);
rtx op2 = gen_rtx_REG (mode, reg_or_subregno (operands[2]) + i);
emit_insn (gen_rtx_SET (op0, gen_rtx_MULT (mode, op1, op2)));
}
DONE;
-})
+}
+ [(set_attr "length" "8")])
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2023-06-16 17:59 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-06-16 17:59 [gcc(refs/users/meissner/heads/work122-vpair)] Combine define_insn and define_split Michael Meissner
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).