From: Mihailo Stojanovic <mihailo.stojano...@rt-rk.com>
This fixes the MSA implementation on big-endian targets which is
essentially broken for things like SUBREG handling and calling
convention for vector types. It borrows heavily from [1] as Aarch64 has
the same problem with SVE vectors.
Conceptually, register bitconverts should act as the data has been
stored to memory in one mode, and loaded from memory in the other.
This isn't what happens on big-endian as vector load/store instructions
are essentially mixed-endian with respect to the vector as a whole.
The in-register representation of data must be changed so that the
load/store round trip becomes valid. This is done by inserting one or
two shuffle instructions for every SUBREG move, as previously
implemented in [2] for LLVM. Even if the shuffle instructions weren't
generated, constraint in mips_can_change_mode_class would force the
conceptual memory reload of SUBREG move operand, which would generate
correct, albeit very inefficient code.
New msa_reg_predicate was created in order to forbig SUBREG operands in
MSA patterns on big-endian targets. It weeds SUBREGs out of the
instruction patterns into SUBREG->REG moves which are caught by the new
msa_mov<mode>_subreg_be pattern and transformed in shuffle(s).
As for the MSA calling convention, ABI states that compiling for MSA
should not change the base ABIs vector calling convention, that is, MSA
vectors passed of returned by value do not use the MSA vector registers.
Instead, they are passed by general-purpose registers, as described by
the ABI. Passing the vector argument requires splitting it into 2 (or 4)
general-purpose registers and bitconverting it into V2DImode (or
V4SImode). The solution boils down to the one presented for SUBREG
moves: force every vector argument to the appropriate mode (V2DI or
V4SI) so that the shuffle instruction(s) might be generated in order to
conform to the calling convention. The same applies to vectors as return
values.
New testcases were added to check calling convention compliance for all
possible combinations of MSA and non-MSA interlinking.
gcc/
* config/mips/mips-msa.md: Replace register_operand predicate with
msa_reg_operand in every pattern.
(*msa_mov<mode>_subreg_be): New unspec.
* config/mips/mips-protos.h (mips_split_msa_subreg_move): Declare.
* config/mips/mips.cc (mips_maybe_expand_msa_subreg_move): New
function.
(mips_replace_reg_mode): Ditto.
(mips_split_msa_subreg_move): Ditto.
(mips_legitimize_move): Modify machine modes of MSA vectors which
reside in general-purpose registers. Check whether SUBREG move can
be replaced with shuffle(s).
(mips_split_128bit_move): Replace explicit REG creation with
mips_replace_reg_mode.
(mips_split_msa_copy_d): Ditto.
(mips_split_msa_insert_d): Ditto.
(mips_split_msa_fill_d): Ditto.
* config/mips/predicates.md (msa_reg_operand): New predicate.
gcc/testsuite:
* gcc.target/mips/inter/msa-inter.exp: New file.
* gcc.target/mips/inter/msa_1.h: New test.
* gcc.target/mips/inter/msa_1_main.c: New test.
* gcc.target/mips/inter/msa_1_x.c: New test.
* gcc.target/mips/inter/msa_1_y.c: New test.
Cherry-picked 8c54834001d76ed3c76832b6a47dfcb7d62bb664
and ae63e81745e8a5c07812428ecda735320201d500
from https://github.com/MIPS/gcc
Signed-off-by: Mihailo Stojanovic <mistojano...@wavecomp.com>
Signed-off-by: Dragan Mladjenovic <dragan.mladjeno...@rt-rk.com>
Signed-off-by: Faraz Shahbazker <fshahbaz...@wavecomp.com>
Signed-off-by: Aleksandar Rakic <aleksandar.ra...@htecgroup.com>
---
gcc/config/mips/mips-msa.md | 1056 +++++++++--------
gcc/config/mips/mips-protos.h | 2 +
gcc/config/mips/mips.cc | 153 ++-
gcc/config/mips/predicates.md | 5 +
.../gcc.target/mips/inter/msa-inter.exp | 67 ++
gcc/testsuite/gcc.target/mips/inter/msa_1.h | 23 +
.../gcc.target/mips/inter/msa_1_main.c | 8 +
gcc/testsuite/gcc.target/mips/inter/msa_1_x.c | 35 +
gcc/testsuite/gcc.target/mips/inter/msa_1_y.c | 14 +
9 files changed, 836 insertions(+), 527 deletions(-)
create mode 100644 gcc/testsuite/gcc.target/mips/inter/msa-inter.exp
create mode 100644 gcc/testsuite/gcc.target/mips/inter/msa_1.h
create mode 100644 gcc/testsuite/gcc.target/mips/inter/msa_1_main.c
create mode 100644 gcc/testsuite/gcc.target/mips/inter/msa_1_x.c
create mode 100644 gcc/testsuite/gcc.target/mips/inter/msa_1_y.c
diff --git a/gcc/config/mips/mips-msa.md b/gcc/config/mips/mips-msa.md
index 5ac4fa4bf24..e2fdf8e191e 100644
--- a/gcc/config/mips/mips-msa.md
+++ b/gcc/config/mips/mips-msa.md
@@ -91,6 +91,7 @@
UNSPEC_MSA_SUBSUS_U
UNSPEC_MSA_VSHF
UNSPEC_MSA_CHANGE_MODE
+ UNSPEC_MSA_SUBREG_BE
])
;; All vector modes with 128 bits.
@@ -237,7 +238,7 @@
(V4SF "31") (V8SF "31")])
(define_expand "vec_init<mode><unitmode>"
- [(match_operand:MSA 0 "register_operand")
+ [(match_operand:MSA 0 "msa_reg_operand")
(match_operand:MSA 1 "")]
"ISA_HAS_MSA"
{
@@ -247,22 +248,22 @@
;; pckev pattern with implicit type conversion.
(define_insn "vec_pack_trunc_<mode>"
- [(set (match_operand:<VHMODE> 0 "register_operand" "=f")
+ [(set (match_operand:<VHMODE> 0 "msa_reg_operand" "=f")
(vec_concat:<VHMODE>
(truncate:<VTRUNCMODE>
- (match_operand:IMSA_DWH 1 "register_operand" "f"))
+ (match_operand:IMSA_DWH 1 "msa_reg_operand" "f"))
(truncate:<VTRUNCMODE>
- (match_operand:IMSA_DWH 2 "register_operand" "f"))))]
+ (match_operand:IMSA_DWH 2 "msa_reg_operand" "f"))))]
"ISA_HAS_MSA"
"pckev.<hmsafmt>\t%w0,%w2,%w1"
[(set_attr "type" "simd_permute")
(set_attr "mode" "<MODE>")])
(define_expand "vec_unpacks_hi_v4sf"
- [(set (match_operand:V2DF 0 "register_operand" "=f")
+ [(set (match_operand:V2DF 0 "msa_reg_operand" "=f")
(float_extend:V2DF
(vec_select:V2SF
- (match_operand:V4SF 1 "register_operand" "f")
+ (match_operand:V4SF 1 "msa_reg_operand" "f")
(match_dup 2))))]
"ISA_HAS_MSA"
{
@@ -270,10 +271,10 @@
})
(define_expand "vec_unpacks_lo_v4sf"
- [(set (match_operand:V2DF 0 "register_operand" "=f")
+ [(set (match_operand:V2DF 0 "msa_reg_operand" "=f")
(float_extend:V2DF
(vec_select:V2SF
- (match_operand:V4SF 1 "register_operand" "f")
+ (match_operand:V4SF 1 "msa_reg_operand" "f")
(match_dup 2))))]
"ISA_HAS_MSA"
{
@@ -281,8 +282,8 @@
})
(define_expand "vec_unpacks_hi_<mode>"
- [(match_operand:<VDMODE> 0 "register_operand")
- (match_operand:IMSA_WHB 1 "register_operand")]
+ [(match_operand:<VDMODE> 0 "msa_reg_operand")
+ (match_operand:IMSA_WHB 1 "msa_reg_operand")]
"ISA_HAS_MSA"
{
mips_expand_vec_unpack (operands, false/*unsigned_p*/, true/*high_p*/);
@@ -290,8 +291,8 @@
})
(define_expand "vec_unpacks_lo_<mode>"
- [(match_operand:<VDMODE> 0 "register_operand")
- (match_operand:IMSA_WHB 1 "register_operand")]
+ [(match_operand:<VDMODE> 0 "msa_reg_operand")
+ (match_operand:IMSA_WHB 1 "msa_reg_operand")]
"ISA_HAS_MSA"
{
mips_expand_vec_unpack (operands, false/*unsigned_p*/, false/*high_p*/);
@@ -299,8 +300,8 @@
})
(define_expand "vec_unpacku_hi_<mode>"
- [(match_operand:<VDMODE> 0 "register_operand")
- (match_operand:IMSA_WHB 1 "register_operand")]
+ [(match_operand:<VDMODE> 0 "msa_reg_operand")
+ (match_operand:IMSA_WHB 1 "msa_reg_operand")]
"ISA_HAS_MSA"
{
mips_expand_vec_unpack (operands, true/*unsigned_p*/, true/*high_p*/);
@@ -308,8 +309,8 @@
})
(define_expand "vec_unpacku_lo_<mode>"
- [(match_operand:<VDMODE> 0 "register_operand")
- (match_operand:IMSA_WHB 1 "register_operand")]
+ [(match_operand:<VDMODE> 0 "msa_reg_operand")
+ (match_operand:IMSA_WHB 1 "msa_reg_operand")]
"ISA_HAS_MSA"
{
mips_expand_vec_unpack (operands, true/*unsigned_p*/, false/*high_p*/);
@@ -317,8 +318,8 @@
})
(define_expand "vec_extract<mode><unitmode>"
- [(match_operand:<UNITMODE> 0 "register_operand")
- (match_operand:IMSA 1 "register_operand")
+ [(match_operand:<UNITMODE> 0 "msa_reg_operand")
+ (match_operand:IMSA 1 "msa_reg_operand")
(match_operand 2 "const_<indeximm>_operand")]
"ISA_HAS_MSA"
{
@@ -335,8 +336,8 @@
})
(define_expand "vec_extract<mode><unitmode>"
- [(match_operand:<UNITMODE> 0 "register_operand")
- (match_operand:FMSA 1 "register_operand")
+ [(match_operand:<UNITMODE> 0 "msa_reg_operand")
+ (match_operand:FMSA 1 "msa_reg_operand")
(match_operand 2 "const_<indeximm>_operand")]
"ISA_HAS_MSA"
{
@@ -363,9 +364,9 @@
})
(define_insn_and_split "msa_vec_extract_<msafmt_f>"
- [(set (match_operand:<UNITMODE> 0 "register_operand" "=f")
+ [(set (match_operand:<UNITMODE> 0 "msa_reg_operand" "=f")
(vec_select:<UNITMODE>
- (match_operand:FMSA 1 "register_operand" "f")
+ (match_operand:FMSA 1 "msa_reg_operand" "f")
(parallel [(const_int 0)])))]
"ISA_HAS_MSA"
"#"
@@ -389,7 +390,7 @@
(set_attr "mode" "<UNITMODE>")])
(define_expand "vec_set<mode>"
- [(match_operand:IMSA 0 "register_operand")
+ [(match_operand:IMSA 0 "msa_reg_operand")
(match_operand:<UNITMODE> 1 "reg_or_0_operand")
(match_operand 2 "const_<indeximm>_operand")]
"ISA_HAS_MSA"
@@ -401,8 +402,8 @@
})
(define_expand "vec_set<mode>"
- [(match_operand:FMSA 0 "register_operand")
- (match_operand:<UNITMODE> 1 "register_operand")
+ [(match_operand:FMSA 0 "msa_reg_operand")
+ (match_operand:<UNITMODE> 1 "msa_reg_operand")
(match_operand 2 "const_<indeximm>_operand")]
"ISA_HAS_MSA"
{
@@ -413,10 +414,10 @@
})
(define_expand "vcond_mask_<MSA:mode><IMSA:mode>"
- [(match_operand:MSA 0 "register_operand")
+ [(match_operand:MSA 0 "msa_reg_operand")
(match_operand:MSA 1 "reg_or_m1_operand")
(match_operand:MSA 2 "reg_or_0_operand")
- (match_operand:IMSA 3 "register_operand")]
+ (match_operand:IMSA 3 "msa_reg_operand")]
"ISA_HAS_MSA
&& (GET_MODE_NUNITS (<MSA:MODE>mode) == GET_MODE_NUNITS (<IMSA:MODE>mode))"
{
@@ -426,12 +427,12 @@
(define_expand "vcondu<MSA:mode><IMSA:mode>"
- [(match_operand:MSA 0 "register_operand")
+ [(match_operand:MSA 0 "msa_reg_operand")
(match_operand:MSA 1 "reg_or_m1_operand")
(match_operand:MSA 2 "reg_or_0_operand")
(match_operator 3 ""
- [(match_operand:IMSA 4 "register_operand")
- (match_operand:IMSA 5 "register_operand")])]
+ [(match_operand:IMSA 4 "msa_reg_operand")
+ (match_operand:IMSA 5 "msa_reg_operand")])]
"ISA_HAS_MSA
&& (GET_MODE_NUNITS (<MSA:MODE>mode) == GET_MODE_NUNITS (<IMSA:MODE>mode))"
{
@@ -440,12 +441,12 @@
})
(define_expand "vcond<MSA:mode><MSA_2:mode>"
- [(match_operand:MSA 0 "register_operand")
+ [(match_operand:MSA 0 "msa_reg_operand")
(match_operand:MSA 1 "reg_or_m1_operand")
(match_operand:MSA 2 "reg_or_0_operand")
(match_operator 3 ""
- [(match_operand:MSA_2 4 "register_operand")
- (match_operand:MSA_2 5 "register_operand")])]
+ [(match_operand:MSA_2 4 "msa_reg_operand")
+ (match_operand:MSA_2 5 "msa_reg_operand")])]
"ISA_HAS_MSA
&& (GET_MODE_NUNITS (<MSA:MODE>mode) == GET_MODE_NUNITS (<MSA_2:MODE>mode))"
{
@@ -454,10 +455,10 @@
})
(define_expand "vec_cmp<MSA:mode><mode_i>"
- [(match_operand:<VIMODE> 0 "register_operand")
+ [(match_operand:<VIMODE> 0 "msa_reg_operand")
(match_operator 1 ""
- [(match_operand:MSA 2 "register_operand")
- (match_operand:MSA 3 "register_operand")])]
+ [(match_operand:MSA 2 "msa_reg_operand")
+ (match_operand:MSA 3 "msa_reg_operand")])]
"ISA_HAS_MSA"
{
mips_expand_vec_cmp_expr (operands);
@@ -465,10 +466,10 @@
})
(define_expand "vec_cmpu<IMSA:mode><mode_i>"
- [(match_operand:<VIMODE> 0 "register_operand")
+ [(match_operand:<VIMODE> 0 "msa_reg_operand")
(match_operator 1 ""
- [(match_operand:IMSA 2 "register_operand")
- (match_operand:IMSA 3 "register_operand")])]
+ [(match_operand:IMSA 2 "msa_reg_operand")
+ (match_operand:IMSA 3 "msa_reg_operand")])]
"ISA_HAS_MSA"
{
mips_expand_vec_cmp_expr (operands);
@@ -476,11 +477,11 @@
})
(define_insn "msa_insert_<msafmt_f>"
- [(set (match_operand:MSA 0 "register_operand" "=f,f")
+ [(set (match_operand:MSA 0 "msa_reg_operand" "=f,f")
(vec_merge:MSA
(vec_duplicate:MSA
(match_operand:<UNITMODE> 1 "reg_or_0_operand" "dJ,f"))
- (match_operand:MSA 2 "register_operand" "0,0")
+ (match_operand:MSA 2 "msa_reg_operand" "0,0")
(match_operand 3 "const_<bitmask>_operand" "")))]
"ISA_HAS_MSA"
{
@@ -496,11 +497,11 @@
(set_attr "mode" "<MODE>")])
(define_split
- [(set (match_operand:MSA_D 0 "register_operand")
+ [(set (match_operand:MSA_D 0 "msa_reg_operand")
(vec_merge:MSA_D
(vec_duplicate:MSA_D
(match_operand:<UNITMODE> 1 "<MSA_D:msa_d>_operand"))
- (match_operand:MSA_D 2 "register_operand")
+ (match_operand:MSA_D 2 "msa_reg_operand")
(match_operand 3 "const_<bitmask>_operand")))]
"reload_completed && ISA_HAS_MSA && !TARGET_64BIT"
[(const_int 0)]
@@ -512,13 +513,13 @@
})
(define_insn "msa_insve_<msafmt_f>"
- [(set (match_operand:MSA 0 "register_operand" "=f")
+ [(set (match_operand:MSA 0 "msa_reg_operand" "=f")
(vec_merge:MSA
(vec_duplicate:MSA
(vec_select:<UNITMODE>
- (match_operand:MSA 1 "register_operand" "f")
+ (match_operand:MSA 1 "msa_reg_operand" "f")
(parallel [(const_int 0)])))
- (match_operand:MSA 2 "register_operand" "0")
+ (match_operand:MSA 2 "msa_reg_operand" "0")
(match_operand 3 "const_<bitmask>_operand" "")))]
"ISA_HAS_MSA"
"insve.<msafmt>\t%w0[%y3],%w1[0]"
@@ -527,11 +528,11 @@
;; Operand 3 is a scalar.
(define_insn "msa_insve_<msafmt_f>_scalar"
- [(set (match_operand:FMSA 0 "register_operand" "=f")
+ [(set (match_operand:FMSA 0 "msa_reg_operand" "=f")
(vec_merge:FMSA
(vec_duplicate:FMSA
- (match_operand:<UNITMODE> 1 "register_operand" "f"))
- (match_operand:FMSA 2 "register_operand" "0")
+ (match_operand:<UNITMODE> 1 "msa_reg_operand" "f"))
+ (match_operand:FMSA 2 "msa_reg_operand" "0")
(match_operand 3 "const_<bitmask>_operand" "")))]
"ISA_HAS_MSA"
"insve.<msafmt>\t%w0[%y3],%w1[0]"
@@ -539,10 +540,10 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_copy_<su>_<msafmt>"
- [(set (match_operand:<VRES> 0 "register_operand" "=d")
+ [(set (match_operand:<VRES> 0 "msa_reg_operand" "=d")
(any_extend:<VRES>
(vec_select:<UNITMODE>
- (match_operand:IMSA_HB 1 "register_operand" "f")
+ (match_operand:IMSA_HB 1 "msa_reg_operand" "f")
(parallel [(match_operand 2 "const_<indeximm>_operand" "")]))))]
"ISA_HAS_MSA"
"copy_<su>.<msafmt>\t%0,%w1[%2]"
@@ -550,10 +551,10 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_copy_u_w"
- [(set (match_operand:DI 0 "register_operand" "=d")
+ [(set (match_operand:DI 0 "msa_reg_operand" "=d")
(zero_extend:DI
(vec_select:SI
- (match_operand:V4SI 1 "register_operand" "f")
+ (match_operand:V4SI 1 "msa_reg_operand" "f")
(parallel [(match_operand 2 "const_0_to_3_operand" "")]))))]
"ISA_HAS_MSA && TARGET_64BIT"
"copy_u.w\t%0,%w1[%2]"
@@ -561,10 +562,10 @@
(set_attr "mode" "V4SI")])
(define_insn "msa_copy_s_<msafmt_f>_64bit"
- [(set (match_operand:DI 0 "register_operand" "=d")
+ [(set (match_operand:DI 0 "msa_reg_operand" "=d")
(sign_extend:DI
(vec_select:<UNITMODE>
- (match_operand:MSA_W 1 "register_operand" "f")
+ (match_operand:MSA_W 1 "msa_reg_operand" "f")
(parallel [(match_operand 2 "const_<indeximm>_operand" "")]))))]
"ISA_HAS_MSA && TARGET_64BIT"
"copy_s.<msafmt>\t%0,%w1[%2]"
@@ -572,9 +573,9 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_copy_s_<msafmt_f>"
- [(set (match_operand:<UNITMODE> 0 "register_operand" "=d")
+ [(set (match_operand:<UNITMODE> 0 "msa_reg_operand" "=d")
(vec_select:<UNITMODE>
- (match_operand:MSA_W 1 "register_operand" "f")
+ (match_operand:MSA_W 1 "msa_reg_operand" "f")
(parallel [(match_operand 2 "const_<indeximm>_operand" "")])))]
"ISA_HAS_MSA"
"copy_s.<msafmt>\t%0,%w1[%2]"
@@ -582,9 +583,9 @@
(set_attr "mode" "<MODE>")])
(define_insn_and_split "msa_copy_s_<msafmt_f>"
- [(set (match_operand:<UNITMODE> 0 "register_operand" "=d")
+ [(set (match_operand:<UNITMODE> 0 "msa_reg_operand" "=d")
(vec_select:<UNITMODE>
- (match_operand:MSA_D 1 "register_operand" "f")
+ (match_operand:MSA_D 1 "msa_reg_operand" "f")
(parallel [(match_operand 2 "const_<indeximm>_operand" "")])))]
"ISA_HAS_MSA"
{
@@ -604,8 +605,8 @@
(set_attr "mode" "<MODE>")])
(define_expand "abs<mode>2"
- [(match_operand:IMSA 0 "register_operand" "=f")
- (abs:IMSA (match_operand:IMSA 1 "register_operand" "f"))]
+ [(match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (abs:IMSA (match_operand:IMSA 1 "msa_reg_operand" "f"))]
"ISA_HAS_MSA"
{
rtx reg = gen_reg_rtx (<MODE>mode);
@@ -615,9 +616,9 @@
})
(define_expand "neg<mode>2"
- [(set (match_operand:IMSA 0 "register_operand")
+ [(set (match_operand:IMSA 0 "msa_reg_operand")
(minus:IMSA (match_dup 2)
- (match_operand:IMSA 1 "register_operand")))]
+ (match_operand:IMSA 1 "msa_reg_operand")))]
"ISA_HAS_MSA"
{
rtx reg = gen_reg_rtx (<MODE>mode);
@@ -626,15 +627,15 @@
})
(define_insn "neg<mode>2"
- [(set (match_operand:FMSA 0 "register_operand" "=f")
- (neg:FMSA (match_operand:FMSA 1 "register_operand" "f")))]
+ [(set (match_operand:FMSA 0 "msa_reg_operand" "=f")
+ (neg:FMSA (match_operand:FMSA 1 "msa_reg_operand" "f")))]
"ISA_HAS_MSA"
"bnegi.<msafmt>\t%w0,%w1,<elmsgnbit>"
[(set_attr "type" "simd_bit")
(set_attr "mode" "<MODE>")])
(define_expand "msa_ldi<mode>"
- [(match_operand:IMSA 0 "register_operand")
+ [(match_operand:IMSA 0 "msa_reg_operand")
(match_operand 1 "const_imm10_operand")]
"ISA_HAS_MSA"
{
@@ -647,10 +648,10 @@
})
(define_insn "vec_perm<mode>"
- [(set (match_operand:MSA 0 "register_operand" "=f")
- (unspec:MSA [(match_operand:MSA 1 "register_operand" "f")
- (match_operand:MSA 2 "register_operand" "f")
- (match_operand:<VIMODE> 3 "register_operand" "0")]
+ [(set (match_operand:MSA 0 "msa_reg_operand" "=f")
+ (unspec:MSA [(match_operand:MSA 1 "msa_reg_operand" "f")
+ (match_operand:MSA 2 "msa_reg_operand" "f")
+ (match_operand:<VIMODE> 3 "msa_reg_operand" "0")]
UNSPEC_MSA_VSHF))]
"ISA_HAS_MSA"
"vshf.<msafmt>\t%w0,%w2,%w1"
@@ -698,7 +699,7 @@
;; Offset load
(define_expand "msa_ld_<msafmt_f>"
- [(match_operand:MSA 0 "register_operand")
+ [(match_operand:MSA 0 "msa_reg_operand")
(match_operand 1 "pmode_register_operand")
(match_operand 2 "aq10<msafmt>_operand")]
"ISA_HAS_MSA"
@@ -711,7 +712,7 @@
;; Offset store
(define_expand "msa_st_<msafmt_f>"
- [(match_operand:MSA 0 "register_operand")
+ [(match_operand:MSA 0 "msa_reg_operand")
(match_operand 1 "pmode_register_operand")
(match_operand 2 "aq10<msafmt>_operand")]
"ISA_HAS_MSA"
@@ -724,9 +725,9 @@
;; Integer operations
(define_insn "add<mode>3"
- [(set (match_operand:IMSA 0 "register_operand" "=f,f,f")
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f,f,f")
(plus:IMSA
- (match_operand:IMSA 1 "register_operand" "f,f,f")
+ (match_operand:IMSA 1 "msa_reg_operand" "f,f,f")
(match_operand:IMSA 2 "reg_or_vector_same_ximm5_operand"
"f,Unv5,Uuv5")))]
"ISA_HAS_MSA"
{
@@ -752,9 +753,9 @@
(set_attr "mode" "<MODE>")])
(define_insn "sub<mode>3"
- [(set (match_operand:IMSA 0 "register_operand" "=f,f")
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f,f")
(minus:IMSA
- (match_operand:IMSA 1 "register_operand" "f,f")
+ (match_operand:IMSA 1 "msa_reg_operand" "f,f")
(match_operand:IMSA 2 "reg_or_vector_same_uimm5_operand" "f,Uuv5")))]
"ISA_HAS_MSA"
"@
@@ -765,74 +766,74 @@
(set_attr "mode" "<MODE>")])
(define_insn "mul<mode>3"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (mult:IMSA (match_operand:IMSA 1 "register_operand" "f")
- (match_operand:IMSA 2 "register_operand" "f")))]
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (mult:IMSA (match_operand:IMSA 1 "msa_reg_operand" "f")
+ (match_operand:IMSA 2 "msa_reg_operand" "f")))]
"ISA_HAS_MSA"
"mulv.<msafmt>\t%w0,%w1,%w2"
[(set_attr "type" "simd_mul")
(set_attr "mode" "<MODE>")])
(define_insn "msa_maddv_<msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (plus:IMSA (mult:IMSA (match_operand:IMSA 1 "register_operand" "f")
- (match_operand:IMSA 2 "register_operand" "f"))
- (match_operand:IMSA 3 "register_operand" "0")))]
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (plus:IMSA (mult:IMSA (match_operand:IMSA 1 "msa_reg_operand" "f")
+ (match_operand:IMSA 2 "msa_reg_operand" "f"))
+ (match_operand:IMSA 3 "msa_reg_operand" "0")))]
"ISA_HAS_MSA"
"maddv.<msafmt>\t%w0,%w1,%w2"
[(set_attr "type" "simd_mul")
(set_attr "mode" "<MODE>")])
(define_insn "msa_msubv_<msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (minus:IMSA (match_operand:IMSA 1 "register_operand" "0")
- (mult:IMSA (match_operand:IMSA 2 "register_operand" "f")
- (match_operand:IMSA 3 "register_operand" "f"))))]
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (minus:IMSA (match_operand:IMSA 1 "msa_reg_operand" "0")
+ (mult:IMSA (match_operand:IMSA 2 "msa_reg_operand" "f")
+ (match_operand:IMSA 3 "msa_reg_operand" "f"))))]
"ISA_HAS_MSA"
"msubv.<msafmt>\t%w0,%w2,%w3"
[(set_attr "type" "simd_mul")
(set_attr "mode" "<MODE>")])
(define_insn "div<mode>3"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (div:IMSA (match_operand:IMSA 1 "register_operand" "f")
- (match_operand:IMSA 2 "register_operand" "f")))]
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (div:IMSA (match_operand:IMSA 1 "msa_reg_operand" "f")
+ (match_operand:IMSA 2 "msa_reg_operand" "f")))]
"ISA_HAS_MSA"
{ return mips_msa_output_division ("div_s.<msafmt>\t%w0,%w1,%w2", operands);
}
[(set_attr "type" "simd_div")
(set_attr "mode" "<MODE>")])
(define_insn "udiv<mode>3"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (udiv:IMSA (match_operand:IMSA 1 "register_operand" "f")
- (match_operand:IMSA 2 "register_operand" "f")))]
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (udiv:IMSA (match_operand:IMSA 1 "msa_reg_operand" "f")
+ (match_operand:IMSA 2 "msa_reg_operand" "f")))]
"ISA_HAS_MSA"
{ return mips_msa_output_division ("div_u.<msafmt>\t%w0,%w1,%w2", operands);
}
[(set_attr "type" "simd_div")
(set_attr "mode" "<MODE>")])
(define_insn "mod<mode>3"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (mod:IMSA (match_operand:IMSA 1 "register_operand" "f")
- (match_operand:IMSA 2 "register_operand" "f")))]
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (mod:IMSA (match_operand:IMSA 1 "msa_reg_operand" "f")
+ (match_operand:IMSA 2 "msa_reg_operand" "f")))]
"ISA_HAS_MSA"
{ return mips_msa_output_division ("mod_s.<msafmt>\t%w0,%w1,%w2", operands);
}
[(set_attr "type" "simd_div")
(set_attr "mode" "<MODE>")])
(define_insn "umod<mode>3"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (umod:IMSA (match_operand:IMSA 1 "register_operand" "f")
- (match_operand:IMSA 2 "register_operand" "f")))]
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (umod:IMSA (match_operand:IMSA 1 "msa_reg_operand" "f")
+ (match_operand:IMSA 2 "msa_reg_operand" "f")))]
"ISA_HAS_MSA"
{ return mips_msa_output_division ("mod_u.<msafmt>\t%w0,%w1,%w2", operands);
}
[(set_attr "type" "simd_div")
(set_attr "mode" "<MODE>")])
(define_insn "xor<mode>3"
- [(set (match_operand:IMSA 0 "register_operand" "=f,f,f")
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f,f,f")
(xor:IMSA
- (match_operand:IMSA 1 "register_operand" "f,f,f")
+ (match_operand:IMSA 1 "msa_reg_operand" "f,f,f")
(match_operand:IMSA 2 "reg_or_vector_same_val_operand" "f,YC,Urv8")))]
"ISA_HAS_MSA"
"@
@@ -843,9 +844,9 @@
(set_attr "mode" "<MODE>")])
(define_insn "ior<mode>3"
- [(set (match_operand:IMSA 0 "register_operand" "=f,f,f")
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f,f,f")
(ior:IMSA
- (match_operand:IMSA 1 "register_operand" "f,f,f")
+ (match_operand:IMSA 1 "msa_reg_operand" "f,f,f")
(match_operand:IMSA 2 "reg_or_vector_same_val_operand" "f,YC,Urv8")))]
"ISA_HAS_MSA"
"@
@@ -856,9 +857,9 @@
(set_attr "mode" "<MODE>")])
(define_insn "and<mode>3"
- [(set (match_operand:IMSA 0 "register_operand" "=f,f,f")
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f,f,f")
(and:IMSA
- (match_operand:IMSA 1 "register_operand" "f,f,f")
+ (match_operand:IMSA 1 "msa_reg_operand" "f,f,f")
(match_operand:IMSA 2 "reg_or_vector_same_val_operand" "f,YZ,Urv8")))]
"ISA_HAS_MSA"
{
@@ -883,17 +884,17 @@
(set_attr "mode" "<MODE>")])
(define_insn "one_cmpl<mode>2"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (not:IMSA (match_operand:IMSA 1 "register_operand" "f")))]
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (not:IMSA (match_operand:IMSA 1 "msa_reg_operand" "f")))]
"ISA_HAS_MSA"
"nor.v\t%w0,%w1,%w1"
[(set_attr "type" "simd_logic")
(set_attr "mode" "TI")])
(define_insn "vlshr<mode>3"
- [(set (match_operand:IMSA 0 "register_operand" "=f,f")
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f,f")
(lshiftrt:IMSA
- (match_operand:IMSA 1 "register_operand" "f,f")
+ (match_operand:IMSA 1 "msa_reg_operand" "f,f")
(match_operand:IMSA 2 "reg_or_vector_same_uimm6_operand" "f,Uuv6")))]
"ISA_HAS_MSA"
{
@@ -906,9 +907,9 @@
(set_attr "mode" "<MODE>")])
(define_insn "vashr<mode>3"
- [(set (match_operand:IMSA 0 "register_operand" "=f,f")
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f,f")
(ashiftrt:IMSA
- (match_operand:IMSA 1 "register_operand" "f,f")
+ (match_operand:IMSA 1 "msa_reg_operand" "f,f")
(match_operand:IMSA 2 "reg_or_vector_same_uimm6_operand" "f,Uuv6")))]
"ISA_HAS_MSA"
{
@@ -921,9 +922,9 @@
(set_attr "mode" "<MODE>")])
(define_insn "vashl<mode>3"
- [(set (match_operand:IMSA 0 "register_operand" "=f,f")
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f,f")
(ashift:IMSA
- (match_operand:IMSA 1 "register_operand" "f,f")
+ (match_operand:IMSA 1 "msa_reg_operand" "f,f")
(match_operand:IMSA 2 "reg_or_vector_same_uimm6_operand" "f,Uuv6")))]
"ISA_HAS_MSA"
{
@@ -937,64 +938,64 @@
;; Floating-point operations
(define_insn "add<mode>3"
- [(set (match_operand:FMSA 0 "register_operand" "=f")
- (plus:FMSA (match_operand:FMSA 1 "register_operand" "f")
- (match_operand:FMSA 2 "register_operand" "f")))]
+ [(set (match_operand:FMSA 0 "msa_reg_operand" "=f")
+ (plus:FMSA (match_operand:FMSA 1 "msa_reg_operand" "f")
+ (match_operand:FMSA 2 "msa_reg_operand" "f")))]
"ISA_HAS_MSA"
"fadd.<msafmt>\t%w0,%w1,%w2"
[(set_attr "type" "simd_fadd")
(set_attr "mode" "<MODE>")])
(define_insn "sub<mode>3"
- [(set (match_operand:FMSA 0 "register_operand" "=f")
- (minus:FMSA (match_operand:FMSA 1 "register_operand" "f")
- (match_operand:FMSA 2 "register_operand" "f")))]
+ [(set (match_operand:FMSA 0 "msa_reg_operand" "=f")
+ (minus:FMSA (match_operand:FMSA 1 "msa_reg_operand" "f")
+ (match_operand:FMSA 2 "msa_reg_operand" "f")))]
"ISA_HAS_MSA"
"fsub.<msafmt>\t%w0,%w1,%w2"
[(set_attr "type" "simd_fadd")
(set_attr "mode" "<MODE>")])
(define_insn "mul<mode>3"
- [(set (match_operand:FMSA 0 "register_operand" "=f")
- (mult:FMSA (match_operand:FMSA 1 "register_operand" "f")
- (match_operand:FMSA 2 "register_operand" "f")))]
+ [(set (match_operand:FMSA 0 "msa_reg_operand" "=f")
+ (mult:FMSA (match_operand:FMSA 1 "msa_reg_operand" "f")
+ (match_operand:FMSA 2 "msa_reg_operand" "f")))]
"ISA_HAS_MSA"
"fmul.<msafmt>\t%w0,%w1,%w2"
[(set_attr "type" "simd_fmul")
(set_attr "mode" "<MODE>")])
(define_insn "div<mode>3"
- [(set (match_operand:FMSA 0 "register_operand" "=f")
- (div:FMSA (match_operand:FMSA 1 "register_operand" "f")
- (match_operand:FMSA 2 "register_operand" "f")))]
+ [(set (match_operand:FMSA 0 "msa_reg_operand" "=f")
+ (div:FMSA (match_operand:FMSA 1 "msa_reg_operand" "f")
+ (match_operand:FMSA 2 "msa_reg_operand" "f")))]
"ISA_HAS_MSA"
"fdiv.<msafmt>\t%w0,%w1,%w2"
[(set_attr "type" "simd_fdiv")
(set_attr "mode" "<MODE>")])
(define_insn "fma<mode>4"
- [(set (match_operand:FMSA 0 "register_operand" "=f")
- (fma:FMSA (match_operand:FMSA 1 "register_operand" "f")
- (match_operand:FMSA 2 "register_operand" "f")
- (match_operand:FMSA 3 "register_operand" "0")))]
+ [(set (match_operand:FMSA 0 "msa_reg_operand" "=f")
+ (fma:FMSA (match_operand:FMSA 1 "msa_reg_operand" "f")
+ (match_operand:FMSA 2 "msa_reg_operand" "f")
+ (match_operand:FMSA 3 "msa_reg_operand" "0")))]
"ISA_HAS_MSA"
"fmadd.<msafmt>\t%w0,%w1,%w2"
[(set_attr "type" "simd_fmadd")
(set_attr "mode" "<MODE>")])
(define_insn "fnma<mode>4"
- [(set (match_operand:FMSA 0 "register_operand" "=f")
- (fma:FMSA (neg:FMSA (match_operand:FMSA 1 "register_operand" "f"))
- (match_operand:FMSA 2 "register_operand" "f")
- (match_operand:FMSA 3 "register_operand" "0")))]
+ [(set (match_operand:FMSA 0 "msa_reg_operand" "=f")
+ (fma:FMSA (neg:FMSA (match_operand:FMSA 1 "msa_reg_operand" "f"))
+ (match_operand:FMSA 2 "msa_reg_operand" "f")
+ (match_operand:FMSA 3 "msa_reg_operand" "0")))]
"ISA_HAS_MSA"
"fmsub.<msafmt>\t%w0,%w1,%w2"
[(set_attr "type" "simd_fmadd")
(set_attr "mode" "<MODE>")])
(define_insn "sqrt<mode>2"
- [(set (match_operand:FMSA 0 "register_operand" "=f")
- (sqrt:FMSA (match_operand:FMSA 1 "register_operand" "f")))]
+ [(set (match_operand:FMSA 0 "msa_reg_operand" "=f")
+ (sqrt:FMSA (match_operand:FMSA 1 "msa_reg_operand" "f")))]
"ISA_HAS_MSA"
"fsqrt.<msafmt>\t%w0,%w1"
[(set_attr "type" "simd_fdiv")
@@ -1002,46 +1003,46 @@
;; Built-in functions
(define_insn "msa_add_a_<msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (plus:IMSA (abs:IMSA (match_operand:IMSA 1 "register_operand" "f"))
- (abs:IMSA (match_operand:IMSA 2 "register_operand" "f"))))]
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (plus:IMSA (abs:IMSA (match_operand:IMSA 1 "msa_reg_operand" "f"))
+ (abs:IMSA (match_operand:IMSA 2 "msa_reg_operand" "f"))))]
"ISA_HAS_MSA"
"add_a.<msafmt>\t%w0,%w1,%w2"
[(set_attr "type" "simd_int_arith")
(set_attr "mode" "<MODE>")])
(define_insn "msa_adds_a_<msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
(ss_plus:IMSA
- (abs:IMSA (match_operand:IMSA 1 "register_operand" "f"))
- (abs:IMSA (match_operand:IMSA 2 "register_operand" "f"))))]
+ (abs:IMSA (match_operand:IMSA 1 "msa_reg_operand" "f"))
+ (abs:IMSA (match_operand:IMSA 2 "msa_reg_operand" "f"))))]
"ISA_HAS_MSA"
"adds_a.<msafmt>\t%w0,%w1,%w2"
[(set_attr "type" "simd_int_arith")
(set_attr "mode" "<MODE>")])
(define_insn "ssadd<mode>3"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (ss_plus:IMSA (match_operand:IMSA 1 "register_operand" "f")
- (match_operand:IMSA 2 "register_operand" "f")))]
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (ss_plus:IMSA (match_operand:IMSA 1 "msa_reg_operand" "f")
+ (match_operand:IMSA 2 "msa_reg_operand" "f")))]
"ISA_HAS_MSA"
"adds_s.<msafmt>\t%w0,%w1,%w2"
[(set_attr "type" "simd_int_arith")
(set_attr "mode" "<MODE>")])
(define_insn "usadd<mode>3"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (us_plus:IMSA (match_operand:IMSA 1 "register_operand" "f")
- (match_operand:IMSA 2 "register_operand" "f")))]
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (us_plus:IMSA (match_operand:IMSA 1 "msa_reg_operand" "f")
+ (match_operand:IMSA 2 "msa_reg_operand" "f")))]
"ISA_HAS_MSA"
"adds_u.<msafmt>\t%w0,%w1,%w2"
[(set_attr "type" "simd_int_arith")
(set_attr "mode" "<MODE>")])
(define_insn "msa_asub_s_<msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (unspec:IMSA [(match_operand:IMSA 1 "register_operand" "f")
- (match_operand:IMSA 2 "register_operand" "f")]
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (unspec:IMSA [(match_operand:IMSA 1 "msa_reg_operand" "f")
+ (match_operand:IMSA 2 "msa_reg_operand" "f")]
UNSPEC_MSA_ASUB_S))]
"ISA_HAS_MSA"
"asub_s.<msafmt>\t%w0,%w1,%w2"
@@ -1049,9 +1050,9 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_asub_u_<msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (unspec:IMSA [(match_operand:IMSA 1 "register_operand" "f")
- (match_operand:IMSA 2 "register_operand" "f")]
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (unspec:IMSA [(match_operand:IMSA 1 "msa_reg_operand" "f")
+ (match_operand:IMSA 2 "msa_reg_operand" "f")]
UNSPEC_MSA_ASUB_U))]
"ISA_HAS_MSA"
"asub_u.<msafmt>\t%w0,%w1,%w2"
@@ -1059,9 +1060,9 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_ave_s_<msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (unspec:IMSA [(match_operand:IMSA 1 "register_operand" "f")
- (match_operand:IMSA 2 "register_operand" "f")]
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (unspec:IMSA [(match_operand:IMSA 1 "msa_reg_operand" "f")
+ (match_operand:IMSA 2 "msa_reg_operand" "f")]
UNSPEC_MSA_AVE_S))]
"ISA_HAS_MSA"
"ave_s.<msafmt>\t%w0,%w1,%w2"
@@ -1069,9 +1070,9 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_ave_u_<msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (unspec:IMSA [(match_operand:IMSA 1 "register_operand" "f")
- (match_operand:IMSA 2 "register_operand" "f")]
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (unspec:IMSA [(match_operand:IMSA 1 "msa_reg_operand" "f")
+ (match_operand:IMSA 2 "msa_reg_operand" "f")]
UNSPEC_MSA_AVE_U))]
"ISA_HAS_MSA"
"ave_u.<msafmt>\t%w0,%w1,%w2"
@@ -1079,9 +1080,9 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_aver_s_<msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (unspec:IMSA [(match_operand:IMSA 1 "register_operand" "f")
- (match_operand:IMSA 2 "register_operand" "f")]
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (unspec:IMSA [(match_operand:IMSA 1 "msa_reg_operand" "f")
+ (match_operand:IMSA 2 "msa_reg_operand" "f")]
UNSPEC_MSA_AVER_S))]
"ISA_HAS_MSA"
"aver_s.<msafmt>\t%w0,%w1,%w2"
@@ -1089,9 +1090,9 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_aver_u_<msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (unspec:IMSA [(match_operand:IMSA 1 "register_operand" "f")
- (match_operand:IMSA 2 "register_operand" "f")]
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (unspec:IMSA [(match_operand:IMSA 1 "msa_reg_operand" "f")
+ (match_operand:IMSA 2 "msa_reg_operand" "f")]
UNSPEC_MSA_AVER_U))]
"ISA_HAS_MSA"
"aver_u.<msafmt>\t%w0,%w1,%w2"
@@ -1099,9 +1100,9 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_bclr_<msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (unspec:IMSA [(match_operand:IMSA 1 "register_operand" "f")
- (match_operand:IMSA 2 "register_operand" "f")]
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (unspec:IMSA [(match_operand:IMSA 1 "msa_reg_operand" "f")
+ (match_operand:IMSA 2 "msa_reg_operand" "f")]
UNSPEC_MSA_BCLR))]
"ISA_HAS_MSA"
"bclr.<msafmt>\t%w0,%w1,%w2"
@@ -1109,8 +1110,8 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_bclri_<msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (unspec:IMSA [(match_operand:IMSA 1 "register_operand" "f")
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (unspec:IMSA [(match_operand:IMSA 1 "msa_reg_operand" "f")
(match_operand 2 "const_<bitimm>_operand" "")]
UNSPEC_MSA_BCLRI))]
"ISA_HAS_MSA"
@@ -1119,10 +1120,10 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_binsl_<msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (unspec:IMSA [(match_operand:IMSA 1 "register_operand" "0")
- (match_operand:IMSA 2 "register_operand" "f")
- (match_operand:IMSA 3 "register_operand" "f")]
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (unspec:IMSA [(match_operand:IMSA 1 "msa_reg_operand" "0")
+ (match_operand:IMSA 2 "msa_reg_operand" "f")
+ (match_operand:IMSA 3 "msa_reg_operand" "f")]
UNSPEC_MSA_BINSL))]
"ISA_HAS_MSA"
"binsl.<msafmt>\t%w0,%w2,%w3"
@@ -1130,9 +1131,9 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_binsli_<msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (unspec:IMSA [(match_operand:IMSA 1 "register_operand" "0")
- (match_operand:IMSA 2 "register_operand" "f")
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (unspec:IMSA [(match_operand:IMSA 1 "msa_reg_operand" "0")
+ (match_operand:IMSA 2 "msa_reg_operand" "f")
(match_operand 3 "const_<bitimm>_operand" "")]
UNSPEC_MSA_BINSLI))]
"ISA_HAS_MSA"
@@ -1141,10 +1142,10 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_binsr_<msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (unspec:IMSA [(match_operand:IMSA 1 "register_operand" "0")
- (match_operand:IMSA 2 "register_operand" "f")
- (match_operand:IMSA 3 "register_operand" "f")]
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (unspec:IMSA [(match_operand:IMSA 1 "msa_reg_operand" "0")
+ (match_operand:IMSA 2 "msa_reg_operand" "f")
+ (match_operand:IMSA 3 "msa_reg_operand" "f")]
UNSPEC_MSA_BINSR))]
"ISA_HAS_MSA"
"binsr.<msafmt>\t%w0,%w2,%w3"
@@ -1152,9 +1153,9 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_binsri_<msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (unspec:IMSA [(match_operand:IMSA 1 "register_operand" "0")
- (match_operand:IMSA 2 "register_operand" "f")
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (unspec:IMSA [(match_operand:IMSA 1 "msa_reg_operand" "0")
+ (match_operand:IMSA 2 "msa_reg_operand" "f")
(match_operand 3 "const_<bitimm>_operand" "")]
UNSPEC_MSA_BINSRI))]
"ISA_HAS_MSA"
@@ -1163,11 +1164,11 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_bmnz_<msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f,f")
- (ior:IMSA (and:IMSA (match_operand:IMSA 2 "register_operand" "f,f")
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f,f")
+ (ior:IMSA (and:IMSA (match_operand:IMSA 2 "msa_reg_operand" "f,f")
(match_operand:IMSA 3
"reg_or_vector_same_val_operand" "f,Urv8"))
(and:IMSA (not:IMSA (match_dup 3))
- (match_operand:IMSA 1 "register_operand" "0,0"))))]
+ (match_operand:IMSA 1 "msa_reg_operand" "0,0"))))]
"ISA_HAS_MSA"
"@
bmnz.v\t%w0,%w2,%w3
@@ -1176,11 +1177,11 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_bmz_<msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f,f")
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f,f")
(ior:IMSA (and:IMSA (not:IMSA
(match_operand:IMSA 3
"reg_or_vector_same_val_operand" "f,Urv8"))
- (match_operand:IMSA 2 "register_operand" "f,f"))
- (and:IMSA (match_operand:IMSA 1 "register_operand" "0,0")
+ (match_operand:IMSA 2 "msa_reg_operand" "f,f"))
+ (and:IMSA (match_operand:IMSA 1 "msa_reg_operand" "0,0")
(match_dup 3))))]
"ISA_HAS_MSA"
"@
@@ -1190,9 +1191,9 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_bneg_<msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (unspec:IMSA [(match_operand:IMSA 1 "register_operand" "f")
- (match_operand:IMSA 2 "register_operand" "f")]
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (unspec:IMSA [(match_operand:IMSA 1 "msa_reg_operand" "f")
+ (match_operand:IMSA 2 "msa_reg_operand" "f")]
UNSPEC_MSA_BNEG))]
"ISA_HAS_MSA"
"bneg.<msafmt>\t%w0,%w1,%w2"
@@ -1200,8 +1201,8 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_bnegi_<msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (unspec:IMSA [(match_operand:IMSA 1 "register_operand" "f")
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (unspec:IMSA [(match_operand:IMSA 1 "msa_reg_operand" "f")
(match_operand 2 "const_msa_branch_operand" "")]
UNSPEC_MSA_BNEGI))]
"ISA_HAS_MSA"
@@ -1210,10 +1211,10 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_bsel_<msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f,f")
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f,f")
(ior:IMSA (and:IMSA (not:IMSA
- (match_operand:IMSA 1 "register_operand" "0,0"))
- (match_operand:IMSA 2 "register_operand" "f,f"))
+ (match_operand:IMSA 1 "msa_reg_operand" "0,0"))
+ (match_operand:IMSA 2 "msa_reg_operand" "f,f"))
(and:IMSA (match_dup 1)
(match_operand:IMSA 3
"reg_or_vector_same_val_operand" "f,Urv8"))))]
"ISA_HAS_MSA"
@@ -1224,9 +1225,9 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_bset_<msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (unspec:IMSA [(match_operand:IMSA 1 "register_operand" "f")
- (match_operand:IMSA 2 "register_operand" "f")]
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (unspec:IMSA [(match_operand:IMSA 1 "msa_reg_operand" "f")
+ (match_operand:IMSA 2 "msa_reg_operand" "f")]
UNSPEC_MSA_BSET))]
"ISA_HAS_MSA"
"bset.<msafmt>\t%w0,%w1,%w2"
@@ -1234,8 +1235,8 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_bseti_<msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (unspec:IMSA [(match_operand:IMSA 1 "register_operand" "f")
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (unspec:IMSA [(match_operand:IMSA 1 "msa_reg_operand" "f")
(match_operand 2 "const_<bitimm>_operand" "")]
UNSPEC_MSA_BSETI))]
"ISA_HAS_MSA"
@@ -1267,9 +1268,9 @@
(ltu "u")])
(define_insn "msa_c<ICC:icc>_<IMSA:msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f,f")
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f,f")
(ICC:IMSA
- (match_operand:IMSA 1 "register_operand" "f,f")
+ (match_operand:IMSA 1 "msa_reg_operand" "f,f")
(match_operand:IMSA 2 "reg_or_vector_same_<ICC:cmpi>imm5_operand"
"f,U<ICC:cmpi>v5")))]
"ISA_HAS_MSA"
"@
@@ -1279,16 +1280,16 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_dotp_<su>_d"
- [(set (match_operand:V2DI 0 "register_operand" "=f")
+ [(set (match_operand:V2DI 0 "msa_reg_operand" "=f")
(plus:V2DI
(mult:V2DI
(any_extend:V2DI
(vec_select:V2SI
- (match_operand:V4SI 1 "register_operand" "%f")
+ (match_operand:V4SI 1 "msa_reg_operand" "%f")
(parallel [(const_int 0) (const_int 2)])))
(any_extend:V2DI
(vec_select:V2SI
- (match_operand:V4SI 2 "register_operand" "f")
+ (match_operand:V4SI 2 "msa_reg_operand" "f")
(parallel [(const_int 0) (const_int 2)]))))
(mult:V2DI
(any_extend:V2DI
@@ -1303,17 +1304,17 @@
(set_attr "mode" "V2DI")])
(define_insn "msa_dotp_<su>_w"
- [(set (match_operand:V4SI 0 "register_operand" "=f")
+ [(set (match_operand:V4SI 0 "msa_reg_operand" "=f")
(plus:V4SI
(mult:V4SI
(any_extend:V4SI
(vec_select:V4HI
- (match_operand:V8HI 1 "register_operand" "%f")
+ (match_operand:V8HI 1 "msa_reg_operand" "%f")
(parallel [(const_int 0) (const_int 2)
(const_int 4) (const_int 6)])))
(any_extend:V4SI
(vec_select:V4HI
- (match_operand:V8HI 2 "register_operand" "f")
+ (match_operand:V8HI 2 "msa_reg_operand" "f")
(parallel [(const_int 0) (const_int 2)
(const_int 4) (const_int 6)]))))
(mult:V4SI
@@ -1331,19 +1332,19 @@
(set_attr "mode" "V4SI")])
(define_insn "msa_dotp_<su>_h"
- [(set (match_operand:V8HI 0 "register_operand" "=f")
+ [(set (match_operand:V8HI 0 "msa_reg_operand" "=f")
(plus:V8HI
(mult:V8HI
(any_extend:V8HI
(vec_select:V8QI
- (match_operand:V16QI 1 "register_operand" "%f")
+ (match_operand:V16QI 1 "msa_reg_operand" "%f")
(parallel [(const_int 0) (const_int 2)
(const_int 4) (const_int 6)
(const_int 8) (const_int 10)
(const_int 12) (const_int 14)])))
(any_extend:V8HI
(vec_select:V8QI
- (match_operand:V16QI 2 "register_operand" "f")
+ (match_operand:V16QI 2 "msa_reg_operand" "f")
(parallel [(const_int 0) (const_int 2)
(const_int 4) (const_int 6)
(const_int 8) (const_int 10)
@@ -1367,17 +1368,17 @@
(set_attr "mode" "V8HI")])
(define_insn "msa_dpadd_<su>_d"
- [(set (match_operand:V2DI 0 "register_operand" "=f")
+ [(set (match_operand:V2DI 0 "msa_reg_operand" "=f")
(plus:V2DI
(plus:V2DI
(mult:V2DI
(any_extend:V2DI
(vec_select:V2SI
- (match_operand:V4SI 2 "register_operand" "%f")
+ (match_operand:V4SI 2 "msa_reg_operand" "%f")
(parallel [(const_int 0) (const_int 2)])))
(any_extend:V2DI
(vec_select:V2SI
- (match_operand:V4SI 3 "register_operand" "f")
+ (match_operand:V4SI 3 "msa_reg_operand" "f")
(parallel [(const_int 0) (const_int 2)]))))
(mult:V2DI
(any_extend:V2DI
@@ -1386,25 +1387,25 @@
(any_extend:V2DI
(vec_select:V2SI (match_dup 3)
(parallel [(const_int 1) (const_int 3)])))))
- (match_operand:V2DI 1 "register_operand" "0")))]
+ (match_operand:V2DI 1 "msa_reg_operand" "0")))]
"ISA_HAS_MSA"
"dpadd_<su>.d\t%w0,%w2,%w3"
[(set_attr "type" "simd_mul")
(set_attr "mode" "V2DI")])
(define_insn "msa_dpadd_<su>_w"
- [(set (match_operand:V4SI 0 "register_operand" "=f")
+ [(set (match_operand:V4SI 0 "msa_reg_operand" "=f")
(plus:V4SI
(plus:V4SI
(mult:V4SI
(any_extend:V4SI
(vec_select:V4HI
- (match_operand:V8HI 2 "register_operand" "%f")
+ (match_operand:V8HI 2 "msa_reg_operand" "%f")
(parallel [(const_int 0) (const_int 2)
(const_int 4) (const_int 6)])))
(any_extend:V4SI
(vec_select:V4HI
- (match_operand:V8HI 3 "register_operand" "f")
+ (match_operand:V8HI 3 "msa_reg_operand" "f")
(parallel [(const_int 0) (const_int 2)
(const_int 4) (const_int 6)]))))
(mult:V4SI
@@ -1416,27 +1417,27 @@
(vec_select:V4HI (match_dup 3)
(parallel [(const_int 1) (const_int 3)
(const_int 5) (const_int 7)])))))
- (match_operand:V4SI 1 "register_operand" "0")))]
+ (match_operand:V4SI 1 "msa_reg_operand" "0")))]
"ISA_HAS_MSA"
"dpadd_<su>.w\t%w0,%w2,%w3"
[(set_attr "type" "simd_mul")
(set_attr "mode" "V4SI")])
(define_insn "msa_dpadd_<su>_h"
- [(set (match_operand:V8HI 0 "register_operand" "=f")
+ [(set (match_operand:V8HI 0 "msa_reg_operand" "=f")
(plus:V8HI
(plus:V8HI
(mult:V8HI
(any_extend:V8HI
(vec_select:V8QI
- (match_operand:V16QI 2 "register_operand" "%f")
+ (match_operand:V16QI 2 "msa_reg_operand" "%f")
(parallel [(const_int 0) (const_int 2)
(const_int 4) (const_int 6)
(const_int 8) (const_int 10)
(const_int 12) (const_int 14)])))
(any_extend:V8HI
(vec_select:V8QI
- (match_operand:V16QI 3 "register_operand" "f")
+ (match_operand:V16QI 3 "msa_reg_operand" "f")
(parallel [(const_int 0) (const_int 2)
(const_int 4) (const_int 6)
(const_int 8) (const_int 10)
@@ -1454,25 +1455,25 @@
(const_int 5) (const_int 7)
(const_int 9) (const_int 11)
(const_int 13) (const_int 15)])))))
- (match_operand:V8HI 1 "register_operand" "0")))]
+ (match_operand:V8HI 1 "msa_reg_operand" "0")))]
"ISA_HAS_MSA"
"dpadd_<su>.h\t%w0,%w2,%w3"
[(set_attr "type" "simd_mul")
(set_attr "mode" "V8HI")])
(define_insn "msa_dpsub_<su>_d"
- [(set (match_operand:V2DI 0 "register_operand" "=f")
+ [(set (match_operand:V2DI 0 "msa_reg_operand" "=f")
(minus:V2DI
- (match_operand:V2DI 1 "register_operand" "0")
+ (match_operand:V2DI 1 "msa_reg_operand" "0")
(plus:V2DI
(mult:V2DI
(any_extend:V2DI
(vec_select:V2SI
- (match_operand:V4SI 2 "register_operand" "%f")
+ (match_operand:V4SI 2 "msa_reg_operand" "%f")
(parallel [(const_int 0) (const_int 2)])))
(any_extend:V2DI
(vec_select:V2SI
- (match_operand:V4SI 3 "register_operand" "f")
+ (match_operand:V4SI 3 "msa_reg_operand" "f")
(parallel [(const_int 0) (const_int 2)]))))
(mult:V2DI
(any_extend:V2DI
@@ -1487,19 +1488,19 @@
(set_attr "mode" "V2DI")])
(define_insn "msa_dpsub_<su>_w"
- [(set (match_operand:V4SI 0 "register_operand" "=f")
+ [(set (match_operand:V4SI 0 "msa_reg_operand" "=f")
(minus:V4SI
- (match_operand:V4SI 1 "register_operand" "0")
+ (match_operand:V4SI 1 "msa_reg_operand" "0")
(plus:V4SI
(mult:V4SI
(any_extend:V4SI
(vec_select:V4HI
- (match_operand:V8HI 2 "register_operand" "%f")
+ (match_operand:V8HI 2 "msa_reg_operand" "%f")
(parallel [(const_int 0) (const_int 2)
(const_int 4) (const_int 6)])))
(any_extend:V4SI
(vec_select:V4HI
- (match_operand:V8HI 3 "register_operand" "f")
+ (match_operand:V8HI 3 "msa_reg_operand" "f")
(parallel [(const_int 0) (const_int 2)
(const_int 4) (const_int 6)]))))
(mult:V4SI
@@ -1517,21 +1518,21 @@
(set_attr "mode" "V4SI")])
(define_insn "msa_dpsub_<su>_h"
- [(set (match_operand:V8HI 0 "register_operand" "=f")
+ [(set (match_operand:V8HI 0 "msa_reg_operand" "=f")
(minus:V8HI
- (match_operand:V8HI 1 "register_operand" "0")
+ (match_operand:V8HI 1 "msa_reg_operand" "0")
(plus:V8HI
(mult:V8HI
(any_extend:V8HI
(vec_select:V8QI
- (match_operand:V16QI 2 "register_operand" "%f")
+ (match_operand:V16QI 2 "msa_reg_operand" "%f")
(parallel [(const_int 0) (const_int 2)
(const_int 4) (const_int 6)
(const_int 8) (const_int 10)
(const_int 12) (const_int 14)])))
(any_extend:V8HI
(vec_select:V8QI
- (match_operand:V16QI 3 "register_operand" "f")
+ (match_operand:V16QI 3 "msa_reg_operand" "f")
(parallel [(const_int 0) (const_int 2)
(const_int 4) (const_int 6)
(const_int 8) (const_int 10)
@@ -1555,8 +1556,8 @@
(set_attr "mode" "V8HI")])
(define_insn "msa_fclass_<msafmt>"
- [(set (match_operand:<VIMODE> 0 "register_operand" "=f")
- (unspec:<VIMODE> [(match_operand:FMSA 1 "register_operand" "f")]
+ [(set (match_operand:<VIMODE> 0 "msa_reg_operand" "=f")
+ (unspec:<VIMODE> [(match_operand:FMSA 1 "msa_reg_operand" "f")]
UNSPEC_MSA_FCLASS))]
"ISA_HAS_MSA"
"fclass.<msafmt>\t%w0,%w1"
@@ -1564,9 +1565,9 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_fcaf_<msafmt>"
- [(set (match_operand:<VIMODE> 0 "register_operand" "=f")
- (unspec:<VIMODE> [(match_operand:FMSA 1 "register_operand" "f")
- (match_operand:FMSA 2 "register_operand" "f")]
+ [(set (match_operand:<VIMODE> 0 "msa_reg_operand" "=f")
+ (unspec:<VIMODE> [(match_operand:FMSA 1 "msa_reg_operand" "f")
+ (match_operand:FMSA 2 "msa_reg_operand" "f")]
UNSPEC_MSA_FCAF))]
"ISA_HAS_MSA"
"fcaf.<msafmt>\t%w0,%w1,%w2"
@@ -1574,9 +1575,9 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_fcune_<FMSA:msafmt>"
- [(set (match_operand:<VIMODE> 0 "register_operand" "=f")
- (unspec:<VIMODE> [(match_operand:FMSA 1 "register_operand" "f")
- (match_operand:FMSA 2 "register_operand" "f")]
+ [(set (match_operand:<VIMODE> 0 "msa_reg_operand" "=f")
+ (unspec:<VIMODE> [(match_operand:FMSA 1 "msa_reg_operand" "f")
+ (match_operand:FMSA 2 "msa_reg_operand" "f")]
UNSPEC_MSA_FCUNE))]
"ISA_HAS_MSA"
"fcune.<FMSA:msafmt>\t%w0,%w1,%w2"
@@ -1615,18 +1616,18 @@
(UNSPEC_MSA_FSLT "fslt")])
(define_insn "msa_<FCC:fcc>_<FMSA:msafmt>"
- [(set (match_operand:<VIMODE> 0 "register_operand" "=f")
- (FCC:<VIMODE> (match_operand:FMSA 1 "register_operand" "f")
- (match_operand:FMSA 2 "register_operand" "f")))]
+ [(set (match_operand:<VIMODE> 0 "msa_reg_operand" "=f")
+ (FCC:<VIMODE> (match_operand:FMSA 1 "msa_reg_operand" "f")
+ (match_operand:FMSA 2 "msa_reg_operand" "f")))]
"ISA_HAS_MSA"
"<FCC:fcc>.<FMSA:msafmt>\t%w0,%w1,%w2"
[(set_attr "type" "simd_fcmp")
(set_attr "mode" "<MODE>")])
(define_insn "msa_<fsc>_<FMSA:msafmt>"
- [(set (match_operand:<VIMODE> 0 "register_operand" "=f")
- (unspec:<VIMODE> [(match_operand:FMSA 1 "register_operand" "f")
- (match_operand:FMSA 2 "register_operand" "f")]
+ [(set (match_operand:<VIMODE> 0 "msa_reg_operand" "=f")
+ (unspec:<VIMODE> [(match_operand:FMSA 1 "msa_reg_operand" "f")
+ (match_operand:FMSA 2 "msa_reg_operand" "f")]
FSC_UNS))]
"ISA_HAS_MSA"
"<fsc>.<FMSA:msafmt>\t%w0,%w1,%w2"
@@ -1634,9 +1635,9 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_fexp2_<msafmt>"
- [(set (match_operand:FMSA 0 "register_operand" "=f")
- (unspec:FMSA [(match_operand:FMSA 1 "register_operand" "f")
- (match_operand:<VIMODE> 2 "register_operand" "f")]
+ [(set (match_operand:FMSA 0 "msa_reg_operand" "=f")
+ (unspec:FMSA [(match_operand:FMSA 1 "msa_reg_operand" "f")
+ (match_operand:<VIMODE> 2 "msa_reg_operand" "f")]
UNSPEC_MSA_FEXP2))]
"ISA_HAS_MSA"
"fexp2.<msafmt>\t%w0,%w1,%w2"
@@ -1660,8 +1661,8 @@
(V2DF "D2I")])
(define_insn "float<fint><FMSA:mode>2"
- [(set (match_operand:FMSA 0 "register_operand" "=f")
- (float:FMSA (match_operand:<VIMODE> 1 "register_operand" "f")))]
+ [(set (match_operand:FMSA 0 "msa_reg_operand" "=f")
+ (float:FMSA (match_operand:<VIMODE> 1 "msa_reg_operand" "f")))]
"ISA_HAS_MSA"
"ffint_s.<msafmt>\t%w0,%w1"
[(set_attr "type" "simd_fcvt")
@@ -1669,9 +1670,9 @@
(set_attr "mode" "<MODE>")])
(define_insn "floatuns<fint><FMSA:mode>2"
- [(set (match_operand:FMSA 0 "register_operand" "=f")
+ [(set (match_operand:FMSA 0 "msa_reg_operand" "=f")
(unsigned_float:FMSA
- (match_operand:<VIMODE> 1 "register_operand" "f")))]
+ (match_operand:<VIMODE> 1 "msa_reg_operand" "f")))]
"ISA_HAS_MSA"
"ffint_u.<msafmt>\t%w0,%w1"
[(set_attr "type" "simd_fcvt")
@@ -1683,8 +1684,8 @@
(V2DF "V4SI")])
(define_insn "msa_ffql_<msafmt>"
- [(set (match_operand:FMSA 0 "register_operand" "=f")
- (unspec:FMSA [(match_operand:<FQ> 1 "register_operand" "f")]
+ [(set (match_operand:FMSA 0 "msa_reg_operand" "=f")
+ (unspec:FMSA [(match_operand:<FQ> 1 "msa_reg_operand" "f")]
UNSPEC_MSA_FFQL))]
"ISA_HAS_MSA"
"ffql.<msafmt>\t%w0,%w1"
@@ -1693,8 +1694,8 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_ffqr_<msafmt>"
- [(set (match_operand:FMSA 0 "register_operand" "=f")
- (unspec:FMSA [(match_operand:<FQ> 1 "register_operand" "f")]
+ [(set (match_operand:FMSA 0 "msa_reg_operand" "=f")
+ (unspec:FMSA [(match_operand:<FQ> 1 "msa_reg_operand" "f")]
UNSPEC_MSA_FFQR))]
"ISA_HAS_MSA"
"ffqr.<msafmt>\t%w0,%w1"
@@ -1703,7 +1704,7 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_fill_<msafmt_f>"
- [(set (match_operand:MSA 0 "register_operand" "=f,f")
+ [(set (match_operand:MSA 0 "msa_reg_operand" "=f,f")
(vec_duplicate:MSA
(match_operand:<UNITMODE> 1 "reg_or_0_operand" "d,J")))]
"ISA_HAS_MSA"
@@ -1720,9 +1721,9 @@
(set_attr "mode" "<MODE>")])
(define_split
- [(set (match_operand:MSA_D 0 "register_operand")
+ [(set (match_operand:MSA_D 0 "msa_reg_operand")
(vec_duplicate:MSA_D
- (match_operand:<UNITMODE> 1 "register_operand")))]
+ (match_operand:<UNITMODE> 1 "msa_reg_operand")))]
"reload_completed && ISA_HAS_MSA && !TARGET_64BIT"
[(const_int 0)]
{
@@ -1731,8 +1732,8 @@
})
(define_insn "msa_flog2_<msafmt>"
- [(set (match_operand:FMSA 0 "register_operand" "=f")
- (unspec:FMSA [(match_operand:FMSA 1 "register_operand" "f")]
+ [(set (match_operand:FMSA 0 "msa_reg_operand" "=f")
+ (unspec:FMSA [(match_operand:FMSA 1 "msa_reg_operand" "f")]
UNSPEC_MSA_FLOG2))]
"ISA_HAS_MSA"
"flog2.<msafmt>\t%w0,%w1"
@@ -1740,19 +1741,19 @@
(set_attr "mode" "<MODE>")])
(define_insn "smax<mode>3"
- [(set (match_operand:FMSA 0 "register_operand" "=f")
- (smax:FMSA (match_operand:FMSA 1 "register_operand" "f")
- (match_operand:FMSA 2 "register_operand" "f")))]
+ [(set (match_operand:FMSA 0 "msa_reg_operand" "=f")
+ (smax:FMSA (match_operand:FMSA 1 "msa_reg_operand" "f")
+ (match_operand:FMSA 2 "msa_reg_operand" "f")))]
"ISA_HAS_MSA"
"fmax.<msafmt>\t%w0,%w1,%w2"
[(set_attr "type" "simd_fminmax")
(set_attr "mode" "<MODE>")])
(define_insn "msa_fmax_a_<msafmt>"
- [(set (match_operand:FMSA 0 "register_operand" "=f")
+ [(set (match_operand:FMSA 0 "msa_reg_operand" "=f")
(if_then_else:FMSA
- (gt (abs:FMSA (match_operand:FMSA 1 "register_operand" "f"))
- (abs:FMSA (match_operand:FMSA 2 "register_operand" "f")))
+ (gt (abs:FMSA (match_operand:FMSA 1 "msa_reg_operand" "f"))
+ (abs:FMSA (match_operand:FMSA 2 "msa_reg_operand" "f")))
(match_dup 1)
(match_dup 2)))]
"ISA_HAS_MSA"
@@ -1761,19 +1762,19 @@
(set_attr "mode" "<MODE>")])
(define_insn "smin<mode>3"
- [(set (match_operand:FMSA 0 "register_operand" "=f")
- (smin:FMSA (match_operand:FMSA 1 "register_operand" "f")
- (match_operand:FMSA 2 "register_operand" "f")))]
+ [(set (match_operand:FMSA 0 "msa_reg_operand" "=f")
+ (smin:FMSA (match_operand:FMSA 1 "msa_reg_operand" "f")
+ (match_operand:FMSA 2 "msa_reg_operand" "f")))]
"ISA_HAS_MSA"
"fmin.<msafmt>\t%w0,%w1,%w2"
[(set_attr "type" "simd_fminmax")
(set_attr "mode" "<MODE>")])
(define_insn "msa_fmin_a_<msafmt>"
- [(set (match_operand:FMSA 0 "register_operand" "=f")
+ [(set (match_operand:FMSA 0 "msa_reg_operand" "=f")
(if_then_else:FMSA
- (lt (abs:FMSA (match_operand:FMSA 1 "register_operand" "f"))
- (abs:FMSA (match_operand:FMSA 2 "register_operand" "f")))
+ (lt (abs:FMSA (match_operand:FMSA 1 "msa_reg_operand" "f"))
+ (abs:FMSA (match_operand:FMSA 2 "msa_reg_operand" "f")))
(match_dup 1)
(match_dup 2)))]
"ISA_HAS_MSA"
@@ -1782,8 +1783,8 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_frcp_<msafmt>"
- [(set (match_operand:FMSA 0 "register_operand" "=f")
- (unspec:FMSA [(match_operand:FMSA 1 "register_operand" "f")]
+ [(set (match_operand:FMSA 0 "msa_reg_operand" "=f")
+ (unspec:FMSA [(match_operand:FMSA 1 "msa_reg_operand" "f")]
UNSPEC_MSA_FRCP))]
"ISA_HAS_MSA"
"frcp.<msafmt>\t%w0,%w1"
@@ -1791,8 +1792,8 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_frint_<msafmt>"
- [(set (match_operand:FMSA 0 "register_operand" "=f")
- (unspec:FMSA [(match_operand:FMSA 1 "register_operand" "f")]
+ [(set (match_operand:FMSA 0 "msa_reg_operand" "=f")
+ (unspec:FMSA [(match_operand:FMSA 1 "msa_reg_operand" "f")]
UNSPEC_MSA_FRINT))]
"ISA_HAS_MSA"
"frint.<msafmt>\t%w0,%w1"
@@ -1800,8 +1801,8 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_frsqrt_<msafmt>"
- [(set (match_operand:FMSA 0 "register_operand" "=f")
- (unspec:FMSA [(match_operand:FMSA 1 "register_operand" "f")]
+ [(set (match_operand:FMSA 0 "msa_reg_operand" "=f")
+ (unspec:FMSA [(match_operand:FMSA 1 "msa_reg_operand" "f")]
UNSPEC_MSA_FRSQRT))]
"ISA_HAS_MSA"
"frsqrt.<msafmt>\t%w0,%w1"
@@ -1809,8 +1810,8 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_ftint_s_<msafmt>"
- [(set (match_operand:<VIMODE> 0 "register_operand" "=f")
- (unspec:<VIMODE> [(match_operand:FMSA 1 "register_operand" "f")]
+ [(set (match_operand:<VIMODE> 0 "msa_reg_operand" "=f")
+ (unspec:<VIMODE> [(match_operand:FMSA 1 "msa_reg_operand" "f")]
UNSPEC_MSA_FTINT_S))]
"ISA_HAS_MSA"
"ftint_s.<msafmt>\t%w0,%w1"
@@ -1819,8 +1820,8 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_ftint_u_<msafmt>"
- [(set (match_operand:<VIMODE> 0 "register_operand" "=f")
- (unspec:<VIMODE> [(match_operand:FMSA 1 "register_operand" "f")]
+ [(set (match_operand:<VIMODE> 0 "msa_reg_operand" "=f")
+ (unspec:<VIMODE> [(match_operand:FMSA 1 "msa_reg_operand" "f")]
UNSPEC_MSA_FTINT_U))]
"ISA_HAS_MSA"
"ftint_u.<msafmt>\t%w0,%w1"
@@ -1829,8 +1830,8 @@
(set_attr "mode" "<MODE>")])
(define_insn "fix_trunc<FMSA:mode><mode_i>2"
- [(set (match_operand:<VIMODE> 0 "register_operand" "=f")
- (fix:<VIMODE> (match_operand:FMSA 1 "register_operand" "f")))]
+ [(set (match_operand:<VIMODE> 0 "msa_reg_operand" "=f")
+ (fix:<VIMODE> (match_operand:FMSA 1 "msa_reg_operand" "f")))]
"ISA_HAS_MSA"
"ftrunc_s.<msafmt>\t%w0,%w1"
[(set_attr "type" "simd_fcvt")
@@ -1838,8 +1839,8 @@
(set_attr "mode" "<MODE>")])
(define_insn "fixuns_trunc<FMSA:mode><mode_i>2"
- [(set (match_operand:<VIMODE> 0 "register_operand" "=f")
- (unsigned_fix:<VIMODE> (match_operand:FMSA 1 "register_operand" "f")))]
+ [(set (match_operand:<VIMODE> 0 "msa_reg_operand" "=f")
+ (unsigned_fix:<VIMODE> (match_operand:FMSA 1 "msa_reg_operand" "f")))]
"ISA_HAS_MSA"
"ftrunc_u.<msafmt>\t%w0,%w1"
[(set_attr "type" "simd_fcvt")
@@ -1847,9 +1848,9 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_ftq_h"
- [(set (match_operand:V8HI 0 "register_operand" "=f")
- (unspec:V8HI [(match_operand:V4SF 1 "register_operand" "f")
- (match_operand:V4SF 2 "register_operand" "f")]
+ [(set (match_operand:V8HI 0 "msa_reg_operand" "=f")
+ (unspec:V8HI [(match_operand:V4SF 1 "msa_reg_operand" "f")
+ (match_operand:V4SF 2 "msa_reg_operand" "f")]
UNSPEC_MSA_FTQ))]
"ISA_HAS_MSA"
"ftq.h\t%w0,%w1,%w2"
@@ -1858,9 +1859,9 @@
(set_attr "mode" "V4SF")])
(define_insn "msa_ftq_w"
- [(set (match_operand:V4SI 0 "register_operand" "=f")
- (unspec:V4SI [(match_operand:V2DF 1 "register_operand" "f")
- (match_operand:V2DF 2 "register_operand" "f")]
+ [(set (match_operand:V4SI 0 "msa_reg_operand" "=f")
+ (unspec:V4SI [(match_operand:V2DF 1 "msa_reg_operand" "f")
+ (match_operand:V2DF 2 "msa_reg_operand" "f")]
UNSPEC_MSA_FTQ))]
"ISA_HAS_MSA"
"ftq.w\t%w0,%w1,%w2"
@@ -1869,18 +1870,18 @@
(set_attr "mode" "V2DF")])
(define_insn "msa_h<optab>_<su>_h"
- [(set (match_operand:V8HI 0 "register_operand" "=f")
+ [(set (match_operand:V8HI 0 "msa_reg_operand" "=f")
(addsub:V8HI
(any_extend:V8HI
(vec_select:V8QI
- (match_operand:V16QI 1 "register_operand" "f")
+ (match_operand:V16QI 1 "msa_reg_operand" "f")
(parallel [(const_int 1) (const_int 3)
(const_int 5) (const_int 7)
(const_int 9) (const_int 11)
(const_int 13) (const_int 15)])))
(any_extend:V8HI
(vec_select:V8QI
- (match_operand:V16QI 2 "register_operand" "f")
+ (match_operand:V16QI 2 "msa_reg_operand" "f")
(parallel [(const_int 0) (const_int 2)
(const_int 4) (const_int 6)
(const_int 8) (const_int 10)
@@ -1891,16 +1892,16 @@
(set_attr "mode" "V8HI")])
(define_insn "msa_h<optab>_<su>_w"
- [(set (match_operand:V4SI 0 "register_operand" "=f")
+ [(set (match_operand:V4SI 0 "msa_reg_operand" "=f")
(addsub:V4SI
(any_extend:V4SI
(vec_select:V4HI
- (match_operand:V8HI 1 "register_operand" "f")
+ (match_operand:V8HI 1 "msa_reg_operand" "f")
(parallel [(const_int 1) (const_int 3)
(const_int 5) (const_int 7)])))
(any_extend:V4SI
(vec_select:V4HI
- (match_operand:V8HI 2 "register_operand" "f")
+ (match_operand:V8HI 2 "msa_reg_operand" "f")
(parallel [(const_int 0) (const_int 2)
(const_int 4) (const_int 6)])))))]
"ISA_HAS_MSA"
@@ -1909,15 +1910,15 @@
(set_attr "mode" "V4SI")])
(define_insn "msa_h<optab>_<su>_d"
- [(set (match_operand:V2DI 0 "register_operand" "=f")
+ [(set (match_operand:V2DI 0 "msa_reg_operand" "=f")
(addsub:V2DI
(any_extend:V2DI
(vec_select:V2SI
- (match_operand:V4SI 1 "register_operand" "f")
+ (match_operand:V4SI 1 "msa_reg_operand" "f")
(parallel [(const_int 1) (const_int 3)])))
(any_extend:V2DI
(vec_select:V2SI
- (match_operand:V4SI 2 "register_operand" "f")
+ (match_operand:V4SI 2 "msa_reg_operand" "f")
(parallel [(const_int 0) (const_int 2)])))))]
"ISA_HAS_MSA"
"h<optab>_<su>.d\t%w0,%w1,%w2"
@@ -1925,11 +1926,11 @@
(set_attr "mode" "V2DI")])
(define_insn "msa_ilvev_b"
- [(set (match_operand:V16QI 0 "register_operand" "=f")
+ [(set (match_operand:V16QI 0 "msa_reg_operand" "=f")
(vec_select:V16QI
(vec_concat:V32QI
- (match_operand:V16QI 1 "register_operand" "f")
- (match_operand:V16QI 2 "register_operand" "f"))
+ (match_operand:V16QI 1 "msa_reg_operand" "f")
+ (match_operand:V16QI 2 "msa_reg_operand" "f"))
(parallel [(const_int 0) (const_int 16)
(const_int 2) (const_int 18)
(const_int 4) (const_int 20)
@@ -1944,11 +1945,11 @@
(set_attr "mode" "V16QI")])
(define_insn "msa_ilvev_h"
- [(set (match_operand:V8HI 0 "register_operand" "=f")
+ [(set (match_operand:V8HI 0 "msa_reg_operand" "=f")
(vec_select:V8HI
(vec_concat:V16HI
- (match_operand:V8HI 1 "register_operand" "f")
- (match_operand:V8HI 2 "register_operand" "f"))
+ (match_operand:V8HI 1 "msa_reg_operand" "f")
+ (match_operand:V8HI 2 "msa_reg_operand" "f"))
(parallel [(const_int 0) (const_int 8)
(const_int 2) (const_int 10)
(const_int 4) (const_int 12)
@@ -1959,11 +1960,11 @@
(set_attr "mode" "V8HI")])
(define_insn "msa_ilvev_w"
- [(set (match_operand:V4SI 0 "register_operand" "=f")
+ [(set (match_operand:V4SI 0 "msa_reg_operand" "=f")
(vec_select:V4SI
(vec_concat:V8SI
- (match_operand:V4SI 1 "register_operand" "f")
- (match_operand:V4SI 2 "register_operand" "f"))
+ (match_operand:V4SI 1 "msa_reg_operand" "f")
+ (match_operand:V4SI 2 "msa_reg_operand" "f"))
(parallel [(const_int 0) (const_int 4)
(const_int 2) (const_int 6)])))]
"ISA_HAS_MSA"
@@ -1972,11 +1973,11 @@
(set_attr "mode" "V4SI")])
(define_insn "msa_ilvev_w_f"
- [(set (match_operand:V4SF 0 "register_operand" "=f")
+ [(set (match_operand:V4SF 0 "msa_reg_operand" "=f")
(vec_select:V4SF
(vec_concat:V8SF
- (match_operand:V4SF 1 "register_operand" "f")
- (match_operand:V4SF 2 "register_operand" "f"))
+ (match_operand:V4SF 1 "msa_reg_operand" "f")
+ (match_operand:V4SF 2 "msa_reg_operand" "f"))
(parallel [(const_int 0) (const_int 4)
(const_int 2) (const_int 6)])))]
"ISA_HAS_MSA"
@@ -1985,11 +1986,11 @@
(set_attr "mode" "V4SF")])
(define_insn "msa_ilvl_b"
- [(set (match_operand:V16QI 0 "register_operand" "=f")
+ [(set (match_operand:V16QI 0 "msa_reg_operand" "=f")
(vec_select:V16QI
(vec_concat:V32QI
- (match_operand:V16QI 1 "register_operand" "f")
- (match_operand:V16QI 2 "register_operand" "f"))
+ (match_operand:V16QI 1 "msa_reg_operand" "f")
+ (match_operand:V16QI 2 "msa_reg_operand" "f"))
(parallel [(const_int 8) (const_int 24)
(const_int 9) (const_int 25)
(const_int 10) (const_int 26)
@@ -2004,11 +2005,11 @@
(set_attr "mode" "V16QI")])
(define_insn "msa_ilvl_h"
- [(set (match_operand:V8HI 0 "register_operand" "=f")
+ [(set (match_operand:V8HI 0 "msa_reg_operand" "=f")
(vec_select:V8HI
(vec_concat:V16HI
- (match_operand:V8HI 1 "register_operand" "f")
- (match_operand:V8HI 2 "register_operand" "f"))
+ (match_operand:V8HI 1 "msa_reg_operand" "f")
+ (match_operand:V8HI 2 "msa_reg_operand" "f"))
(parallel [(const_int 4) (const_int 12)
(const_int 5) (const_int 13)
(const_int 6) (const_int 14)
@@ -2019,11 +2020,11 @@
(set_attr "mode" "V8HI")])
(define_insn "msa_ilvl_w"
- [(set (match_operand:V4SI 0 "register_operand" "=f")
+ [(set (match_operand:V4SI 0 "msa_reg_operand" "=f")
(vec_select:V4SI
(vec_concat:V8SI
- (match_operand:V4SI 1 "register_operand" "f")
- (match_operand:V4SI 2 "register_operand" "f"))
+ (match_operand:V4SI 1 "msa_reg_operand" "f")
+ (match_operand:V4SI 2 "msa_reg_operand" "f"))
(parallel [(const_int 2) (const_int 6)
(const_int 3) (const_int 7)])))]
"ISA_HAS_MSA"
@@ -2032,11 +2033,11 @@
(set_attr "mode" "V4SI")])
(define_insn "msa_ilvl_w_f"
- [(set (match_operand:V4SF 0 "register_operand" "=f")
+ [(set (match_operand:V4SF 0 "msa_reg_operand" "=f")
(vec_select:V4SF
(vec_concat:V8SF
- (match_operand:V4SF 1 "register_operand" "f")
- (match_operand:V4SF 2 "register_operand" "f"))
+ (match_operand:V4SF 1 "msa_reg_operand" "f")
+ (match_operand:V4SF 2 "msa_reg_operand" "f"))
(parallel [(const_int 2) (const_int 6)
(const_int 3) (const_int 7)])))]
"ISA_HAS_MSA"
@@ -2045,11 +2046,11 @@
(set_attr "mode" "V4SF")])
(define_insn "msa_ilvl_d"
- [(set (match_operand:V2DI 0 "register_operand" "=f")
+ [(set (match_operand:V2DI 0 "msa_reg_operand" "=f")
(vec_select:V2DI
(vec_concat:V4DI
- (match_operand:V2DI 1 "register_operand" "f")
- (match_operand:V2DI 2 "register_operand" "f"))
+ (match_operand:V2DI 1 "msa_reg_operand" "f")
+ (match_operand:V2DI 2 "msa_reg_operand" "f"))
(parallel [(const_int 1) (const_int 3)])))]
"ISA_HAS_MSA"
"ilvl.d\t%w0,%w2,%w1"
@@ -2057,11 +2058,11 @@
(set_attr "mode" "V2DI")])
(define_insn "msa_ilvl_d_f"
- [(set (match_operand:V2DF 0 "register_operand" "=f")
+ [(set (match_operand:V2DF 0 "msa_reg_operand" "=f")
(vec_select:V2DF
(vec_concat:V4DF
- (match_operand:V2DF 1 "register_operand" "f")
- (match_operand:V2DF 2 "register_operand" "f"))
+ (match_operand:V2DF 1 "msa_reg_operand" "f")
+ (match_operand:V2DF 2 "msa_reg_operand" "f"))
(parallel [(const_int 1) (const_int 3)])))]
"ISA_HAS_MSA"
"ilvl.d\t%w0,%w2,%w1"
@@ -2069,11 +2070,11 @@
(set_attr "mode" "V2DF")])
(define_insn "msa_ilvod_b"
- [(set (match_operand:V16QI 0 "register_operand" "=f")
+ [(set (match_operand:V16QI 0 "msa_reg_operand" "=f")
(vec_select:V16QI
(vec_concat:V32QI
- (match_operand:V16QI 1 "register_operand" "f")
- (match_operand:V16QI 2 "register_operand" "f"))
+ (match_operand:V16QI 1 "msa_reg_operand" "f")
+ (match_operand:V16QI 2 "msa_reg_operand" "f"))
(parallel [(const_int 1) (const_int 17)
(const_int 3) (const_int 19)
(const_int 5) (const_int 21)
@@ -2088,11 +2089,11 @@
(set_attr "mode" "V16QI")])
(define_insn "msa_ilvod_h"
- [(set (match_operand:V8HI 0 "register_operand" "=f")
+ [(set (match_operand:V8HI 0 "msa_reg_operand" "=f")
(vec_select:V8HI
(vec_concat:V16HI
- (match_operand:V8HI 1 "register_operand" "f")
- (match_operand:V8HI 2 "register_operand" "f"))
+ (match_operand:V8HI 1 "msa_reg_operand" "f")
+ (match_operand:V8HI 2 "msa_reg_operand" "f"))
(parallel [(const_int 1) (const_int 9)
(const_int 3) (const_int 11)
(const_int 5) (const_int 13)
@@ -2103,11 +2104,11 @@
(set_attr "mode" "V8HI")])
(define_insn "msa_ilvod_w"
- [(set (match_operand:V4SI 0 "register_operand" "=f")
+ [(set (match_operand:V4SI 0 "msa_reg_operand" "=f")
(vec_select:V4SI
(vec_concat:V8SI
- (match_operand:V4SI 1 "register_operand" "f")
- (match_operand:V4SI 2 "register_operand" "f"))
+ (match_operand:V4SI 1 "msa_reg_operand" "f")
+ (match_operand:V4SI 2 "msa_reg_operand" "f"))
(parallel [(const_int 1) (const_int 5)
(const_int 3) (const_int 7)])))]
"ISA_HAS_MSA"
@@ -2116,11 +2117,11 @@
(set_attr "mode" "V4SI")])
(define_insn "msa_ilvod_w_f"
- [(set (match_operand:V4SF 0 "register_operand" "=f")
+ [(set (match_operand:V4SF 0 "msa_reg_operand" "=f")
(vec_select:V4SF
(vec_concat:V8SF
- (match_operand:V4SF 1 "register_operand" "f")
- (match_operand:V4SF 2 "register_operand" "f"))
+ (match_operand:V4SF 1 "msa_reg_operand" "f")
+ (match_operand:V4SF 2 "msa_reg_operand" "f"))
(parallel [(const_int 1) (const_int 5)
(const_int 3) (const_int 7)])))]
"ISA_HAS_MSA"
@@ -2129,11 +2130,11 @@
(set_attr "mode" "V4SF")])
(define_insn "msa_ilvr_b"
- [(set (match_operand:V16QI 0 "register_operand" "=f")
+ [(set (match_operand:V16QI 0 "msa_reg_operand" "=f")
(vec_select:V16QI
(vec_concat:V32QI
- (match_operand:V16QI 1 "register_operand" "f")
- (match_operand:V16QI 2 "register_operand" "f"))
+ (match_operand:V16QI 1 "msa_reg_operand" "f")
+ (match_operand:V16QI 2 "msa_reg_operand" "f"))
(parallel [(const_int 0) (const_int 16)
(const_int 1) (const_int 17)
(const_int 2) (const_int 18)
@@ -2148,11 +2149,11 @@
(set_attr "mode" "V16QI")])
(define_insn "msa_ilvr_h"
- [(set (match_operand:V8HI 0 "register_operand" "=f")
+ [(set (match_operand:V8HI 0 "msa_reg_operand" "=f")
(vec_select:V8HI
(vec_concat:V16HI
- (match_operand:V8HI 1 "register_operand" "f")
- (match_operand:V8HI 2 "register_operand" "f"))
+ (match_operand:V8HI 1 "msa_reg_operand" "f")
+ (match_operand:V8HI 2 "msa_reg_operand" "f"))
(parallel [(const_int 0) (const_int 8)
(const_int 1) (const_int 9)
(const_int 2) (const_int 10)
@@ -2163,11 +2164,11 @@
(set_attr "mode" "V8HI")])
(define_insn "msa_ilvr_w"
- [(set (match_operand:V4SI 0 "register_operand" "=f")
+ [(set (match_operand:V4SI 0 "msa_reg_operand" "=f")
(vec_select:V4SI
(vec_concat:V8SI
- (match_operand:V4SI 1 "register_operand" "f")
- (match_operand:V4SI 2 "register_operand" "f"))
+ (match_operand:V4SI 1 "msa_reg_operand" "f")
+ (match_operand:V4SI 2 "msa_reg_operand" "f"))
(parallel [(const_int 0) (const_int 4)
(const_int 1) (const_int 5)])))]
"ISA_HAS_MSA"
@@ -2176,11 +2177,11 @@
(set_attr "mode" "V4SI")])
(define_insn "msa_ilvr_w_f"
- [(set (match_operand:V4SF 0 "register_operand" "=f")
+ [(set (match_operand:V4SF 0 "msa_reg_operand" "=f")
(vec_select:V4SF
(vec_concat:V8SF
- (match_operand:V4SF 1 "register_operand" "f")
- (match_operand:V4SF 2 "register_operand" "f"))
+ (match_operand:V4SF 1 "msa_reg_operand" "f")
+ (match_operand:V4SF 2 "msa_reg_operand" "f"))
(parallel [(const_int 0) (const_int 4)
(const_int 1) (const_int 5)])))]
"ISA_HAS_MSA"
@@ -2189,11 +2190,11 @@
(set_attr "mode" "V4SF")])
(define_insn "msa_ilvr_d"
- [(set (match_operand:V2DI 0 "register_operand" "=f")
+ [(set (match_operand:V2DI 0 "msa_reg_operand" "=f")
(vec_select:V2DI
(vec_concat:V4DI
- (match_operand:V2DI 1 "register_operand" "f")
- (match_operand:V2DI 2 "register_operand" "f"))
+ (match_operand:V2DI 1 "msa_reg_operand" "f")
+ (match_operand:V2DI 2 "msa_reg_operand" "f"))
(parallel [(const_int 0) (const_int 2)])))]
"ISA_HAS_MSA"
"ilvr.d\t%w0,%w2,%w1"
@@ -2201,11 +2202,11 @@
(set_attr "mode" "V2DI")])
(define_insn "msa_ilvr_d_f"
- [(set (match_operand:V2DF 0 "register_operand" "=f")
+ [(set (match_operand:V2DF 0 "msa_reg_operand" "=f")
(vec_select:V2DF
(vec_concat:V4DF
- (match_operand:V2DF 1 "register_operand" "f")
- (match_operand:V2DF 2 "register_operand" "f"))
+ (match_operand:V2DF 1 "msa_reg_operand" "f")
+ (match_operand:V2DF 2 "msa_reg_operand" "f"))
(parallel [(const_int 0) (const_int 2)])))]
"ISA_HAS_MSA"
"ilvr.d\t%w0,%w2,%w1"
@@ -2213,10 +2214,10 @@
(set_attr "mode" "V2DF")])
(define_insn "msa_madd_q_<msafmt>"
- [(set (match_operand:IMSA_WH 0 "register_operand" "=f")
- (unspec:IMSA_WH [(match_operand:IMSA_WH 1 "register_operand" "0")
- (match_operand:IMSA_WH 2 "register_operand" "f")
- (match_operand:IMSA_WH 3 "register_operand" "f")]
+ [(set (match_operand:IMSA_WH 0 "msa_reg_operand" "=f")
+ (unspec:IMSA_WH [(match_operand:IMSA_WH 1 "msa_reg_operand" "0")
+ (match_operand:IMSA_WH 2 "msa_reg_operand" "f")
+ (match_operand:IMSA_WH 3 "msa_reg_operand" "f")]
UNSPEC_MSA_MADD_Q))]
"ISA_HAS_MSA"
"madd_q.<msafmt>\t%w0,%w2,%w3"
@@ -2224,10 +2225,10 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_maddr_q_<msafmt>"
- [(set (match_operand:IMSA_WH 0 "register_operand" "=f")
- (unspec:IMSA_WH [(match_operand:IMSA_WH 1 "register_operand" "0")
- (match_operand:IMSA_WH 2 "register_operand" "f")
- (match_operand:IMSA_WH 3 "register_operand" "f")]
+ [(set (match_operand:IMSA_WH 0 "msa_reg_operand" "=f")
+ (unspec:IMSA_WH [(match_operand:IMSA_WH 1 "msa_reg_operand" "0")
+ (match_operand:IMSA_WH 2 "msa_reg_operand" "f")
+ (match_operand:IMSA_WH 3 "msa_reg_operand" "f")]
UNSPEC_MSA_MADDR_Q))]
"ISA_HAS_MSA"
"maddr_q.<msafmt>\t%w0,%w2,%w3"
@@ -2235,10 +2236,10 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_max_a_<msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
(if_then_else:IMSA
- (gt (abs:IMSA (match_operand:IMSA 1 "register_operand" "f"))
- (abs:IMSA (match_operand:IMSA 2 "register_operand" "f")))
+ (gt (abs:IMSA (match_operand:IMSA 1 "msa_reg_operand" "f"))
+ (abs:IMSA (match_operand:IMSA 2 "msa_reg_operand" "f")))
(match_dup 1)
(match_dup 2)))]
"ISA_HAS_MSA"
@@ -2247,8 +2248,8 @@
(set_attr "mode" "<MODE>")])
(define_insn "smax<mode>3"
- [(set (match_operand:IMSA 0 "register_operand" "=f,f")
- (smax:IMSA (match_operand:IMSA 1 "register_operand" "f,f")
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f,f")
+ (smax:IMSA (match_operand:IMSA 1 "msa_reg_operand" "f,f")
(match_operand:IMSA 2 "reg_or_vector_same_simm5_operand"
"f,Usv5")))]
"ISA_HAS_MSA"
"@
@@ -2258,8 +2259,8 @@
(set_attr "mode" "<MODE>")])
(define_insn "umax<mode>3"
- [(set (match_operand:IMSA 0 "register_operand" "=f,f")
- (umax:IMSA (match_operand:IMSA 1 "register_operand" "f,f")
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f,f")
+ (umax:IMSA (match_operand:IMSA 1 "msa_reg_operand" "f,f")
(match_operand:IMSA 2 "reg_or_vector_same_uimm5_operand"
"f,Uuv5")))]
"ISA_HAS_MSA"
"@
@@ -2269,10 +2270,10 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_min_a_<msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
(if_then_else:IMSA
- (lt (abs:IMSA (match_operand:IMSA 1 "register_operand" "f"))
- (abs:IMSA (match_operand:IMSA 2 "register_operand" "f")))
+ (lt (abs:IMSA (match_operand:IMSA 1 "msa_reg_operand" "f"))
+ (abs:IMSA (match_operand:IMSA 2 "msa_reg_operand" "f")))
(match_dup 1)
(match_dup 2)))]
"ISA_HAS_MSA"
@@ -2281,8 +2282,8 @@
(set_attr "mode" "<MODE>")])
(define_insn "smin<mode>3"
- [(set (match_operand:IMSA 0 "register_operand" "=f,f")
- (smin:IMSA (match_operand:IMSA 1 "register_operand" "f,f")
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f,f")
+ (smin:IMSA (match_operand:IMSA 1 "msa_reg_operand" "f,f")
(match_operand:IMSA 2 "reg_or_vector_same_simm5_operand"
"f,Usv5")))]
"ISA_HAS_MSA"
"@
@@ -2292,8 +2293,8 @@
(set_attr "mode" "<MODE>")])
(define_insn "umin<mode>3"
- [(set (match_operand:IMSA 0 "register_operand" "=f,f")
- (umin:IMSA (match_operand:IMSA 1 "register_operand" "f,f")
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f,f")
+ (umin:IMSA (match_operand:IMSA 1 "msa_reg_operand" "f,f")
(match_operand:IMSA 2 "reg_or_vector_same_uimm5_operand"
"f,Uuv5")))]
"ISA_HAS_MSA"
"@
@@ -2303,10 +2304,10 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_msub_q_<msafmt>"
- [(set (match_operand:IMSA_WH 0 "register_operand" "=f")
- (unspec:IMSA_WH [(match_operand:IMSA_WH 1 "register_operand" "0")
- (match_operand:IMSA_WH 2 "register_operand" "f")
- (match_operand:IMSA_WH 3 "register_operand" "f")]
+ [(set (match_operand:IMSA_WH 0 "msa_reg_operand" "=f")
+ (unspec:IMSA_WH [(match_operand:IMSA_WH 1 "msa_reg_operand" "0")
+ (match_operand:IMSA_WH 2 "msa_reg_operand" "f")
+ (match_operand:IMSA_WH 3 "msa_reg_operand" "f")]
UNSPEC_MSA_MSUB_Q))]
"ISA_HAS_MSA"
"msub_q.<msafmt>\t%w0,%w2,%w3"
@@ -2314,10 +2315,10 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_msubr_q_<msafmt>"
- [(set (match_operand:IMSA_WH 0 "register_operand" "=f")
- (unspec:IMSA_WH [(match_operand:IMSA_WH 1 "register_operand" "0")
- (match_operand:IMSA_WH 2 "register_operand" "f")
- (match_operand:IMSA_WH 3 "register_operand" "f")]
+ [(set (match_operand:IMSA_WH 0 "msa_reg_operand" "=f")
+ (unspec:IMSA_WH [(match_operand:IMSA_WH 1 "msa_reg_operand" "0")
+ (match_operand:IMSA_WH 2 "msa_reg_operand" "f")
+ (match_operand:IMSA_WH 3 "msa_reg_operand" "f")]
UNSPEC_MSA_MSUBR_Q))]
"ISA_HAS_MSA"
"msubr_q.<msafmt>\t%w0,%w2,%w3"
@@ -2325,9 +2326,9 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_mul_q_<msafmt>"
- [(set (match_operand:IMSA_WH 0 "register_operand" "=f")
- (unspec:IMSA_WH [(match_operand:IMSA_WH 1 "register_operand" "f")
- (match_operand:IMSA_WH 2 "register_operand" "f")]
+ [(set (match_operand:IMSA_WH 0 "msa_reg_operand" "=f")
+ (unspec:IMSA_WH [(match_operand:IMSA_WH 1 "msa_reg_operand" "f")
+ (match_operand:IMSA_WH 2 "msa_reg_operand" "f")]
UNSPEC_MSA_MUL_Q))]
"ISA_HAS_MSA"
"mul_q.<msafmt>\t%w0,%w1,%w2"
@@ -2335,9 +2336,9 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_mulr_q_<msafmt>"
- [(set (match_operand:IMSA_WH 0 "register_operand" "=f")
- (unspec:IMSA_WH [(match_operand:IMSA_WH 1 "register_operand" "f")
- (match_operand:IMSA_WH 2 "register_operand" "f")]
+ [(set (match_operand:IMSA_WH 0 "msa_reg_operand" "=f")
+ (unspec:IMSA_WH [(match_operand:IMSA_WH 1 "msa_reg_operand" "f")
+ (match_operand:IMSA_WH 2 "msa_reg_operand" "f")]
UNSPEC_MSA_MULR_Q))]
"ISA_HAS_MSA"
"mulr_q.<msafmt>\t%w0,%w1,%w2"
@@ -2345,8 +2346,8 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_nloc_<msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (unspec:IMSA [(match_operand:IMSA 1 "register_operand" "f")]
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (unspec:IMSA [(match_operand:IMSA 1 "msa_reg_operand" "f")]
UNSPEC_MSA_NLOC))]
"ISA_HAS_MSA"
"nloc.<msafmt>\t%w0,%w1"
@@ -2354,16 +2355,16 @@
(set_attr "mode" "<MODE>")])
(define_insn "clz<mode>2"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (clz:IMSA (match_operand:IMSA 1 "register_operand" "f")))]
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (clz:IMSA (match_operand:IMSA 1 "msa_reg_operand" "f")))]
"ISA_HAS_MSA"
"nlzc.<msafmt>\t%w0,%w1"
[(set_attr "type" "simd_bit")
(set_attr "mode" "<MODE>")])
(define_insn "msa_nor_<msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f,f")
- (and:IMSA (not:IMSA (match_operand:IMSA 1 "register_operand" "f,f"))
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f,f")
+ (and:IMSA (not:IMSA (match_operand:IMSA 1 "msa_reg_operand" "f,f"))
(not:IMSA (match_operand:IMSA 2
"reg_or_vector_same_val_operand" "f,Urv8"))))]
"ISA_HAS_MSA"
"@
@@ -2373,11 +2374,11 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_pckev_b"
-[(set (match_operand:V16QI 0 "register_operand" "=f")
+[(set (match_operand:V16QI 0 "msa_reg_operand" "=f")
(vec_select:V16QI
(vec_concat:V32QI
- (match_operand:V16QI 1 "register_operand" "f")
- (match_operand:V16QI 2 "register_operand" "f"))
+ (match_operand:V16QI 1 "msa_reg_operand" "f")
+ (match_operand:V16QI 2 "msa_reg_operand" "f"))
(parallel [(const_int 0) (const_int 2)
(const_int 4) (const_int 6)
(const_int 8) (const_int 10)
@@ -2392,11 +2393,11 @@
(set_attr "mode" "V16QI")])
(define_insn "msa_pckev_h"
-[(set (match_operand:V8HI 0 "register_operand" "=f")
+[(set (match_operand:V8HI 0 "msa_reg_operand" "=f")
(vec_select:V8HI
(vec_concat:V16HI
- (match_operand:V8HI 1 "register_operand" "f")
- (match_operand:V8HI 2 "register_operand" "f"))
+ (match_operand:V8HI 1 "msa_reg_operand" "f")
+ (match_operand:V8HI 2 "msa_reg_operand" "f"))
(parallel [(const_int 0) (const_int 2)
(const_int 4) (const_int 6)
(const_int 8) (const_int 10)
@@ -2407,11 +2408,11 @@
(set_attr "mode" "V8HI")])
(define_insn "msa_pckev_w"
-[(set (match_operand:V4SI 0 "register_operand" "=f")
+[(set (match_operand:V4SI 0 "msa_reg_operand" "=f")
(vec_select:V4SI
(vec_concat:V8SI
- (match_operand:V4SI 1 "register_operand" "f")
- (match_operand:V4SI 2 "register_operand" "f"))
+ (match_operand:V4SI 1 "msa_reg_operand" "f")
+ (match_operand:V4SI 2 "msa_reg_operand" "f"))
(parallel [(const_int 0) (const_int 2)
(const_int 4) (const_int 6)])))]
"ISA_HAS_MSA"
@@ -2420,11 +2421,11 @@
(set_attr "mode" "V4SI")])
(define_insn "msa_pckev_w_f"
-[(set (match_operand:V4SF 0 "register_operand" "=f")
+[(set (match_operand:V4SF 0 "msa_reg_operand" "=f")
(vec_select:V4SF
(vec_concat:V8SF
- (match_operand:V4SF 1 "register_operand" "f")
- (match_operand:V4SF 2 "register_operand" "f"))
+ (match_operand:V4SF 1 "msa_reg_operand" "f")
+ (match_operand:V4SF 2 "msa_reg_operand" "f"))
(parallel [(const_int 0) (const_int 2)
(const_int 4) (const_int 6)])))]
"ISA_HAS_MSA"
@@ -2433,11 +2434,11 @@
(set_attr "mode" "V4SF")])
(define_insn "msa_pckod_b"
-[(set (match_operand:V16QI 0 "register_operand" "=f")
+[(set (match_operand:V16QI 0 "msa_reg_operand" "=f")
(vec_select:V16QI
(vec_concat:V32QI
- (match_operand:V16QI 1 "register_operand" "f")
- (match_operand:V16QI 2 "register_operand" "f"))
+ (match_operand:V16QI 1 "msa_reg_operand" "f")
+ (match_operand:V16QI 2 "msa_reg_operand" "f"))
(parallel [(const_int 1) (const_int 3)
(const_int 5) (const_int 7)
(const_int 9) (const_int 11)
@@ -2452,11 +2453,11 @@
(set_attr "mode" "V16QI")])
(define_insn "msa_pckod_h"
-[(set (match_operand:V8HI 0 "register_operand" "=f")
+[(set (match_operand:V8HI 0 "msa_reg_operand" "=f")
(vec_select:V8HI
(vec_concat:V16HI
- (match_operand:V8HI 1 "register_operand" "f")
- (match_operand:V8HI 2 "register_operand" "f"))
+ (match_operand:V8HI 1 "msa_reg_operand" "f")
+ (match_operand:V8HI 2 "msa_reg_operand" "f"))
(parallel [(const_int 1) (const_int 3)
(const_int 5) (const_int 7)
(const_int 9) (const_int 11)
@@ -2467,11 +2468,11 @@
(set_attr "mode" "V8HI")])
(define_insn "msa_pckod_w"
-[(set (match_operand:V4SI 0 "register_operand" "=f")
+[(set (match_operand:V4SI 0 "msa_reg_operand" "=f")
(vec_select:V4SI
(vec_concat:V8SI
- (match_operand:V4SI 1 "register_operand" "f")
- (match_operand:V4SI 2 "register_operand" "f"))
+ (match_operand:V4SI 1 "msa_reg_operand" "f")
+ (match_operand:V4SI 2 "msa_reg_operand" "f"))
(parallel [(const_int 1) (const_int 3)
(const_int 5) (const_int 7)])))]
"ISA_HAS_MSA"
@@ -2480,11 +2481,11 @@
(set_attr "mode" "V4SI")])
(define_insn "msa_pckod_w_f"
-[(set (match_operand:V4SF 0 "register_operand" "=f")
+[(set (match_operand:V4SF 0 "msa_reg_operand" "=f")
(vec_select:V4SF
(vec_concat:V8SF
- (match_operand:V4SF 1 "register_operand" "f")
- (match_operand:V4SF 2 "register_operand" "f"))
+ (match_operand:V4SF 1 "msa_reg_operand" "f")
+ (match_operand:V4SF 2 "msa_reg_operand" "f"))
(parallel [(const_int 1) (const_int 3)
(const_int 5) (const_int 7)])))]
"ISA_HAS_MSA"
@@ -2493,16 +2494,16 @@
(set_attr "mode" "V4SF")])
(define_insn "popcount<mode>2"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (popcount:IMSA (match_operand:IMSA 1 "register_operand" "f")))]
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (popcount:IMSA (match_operand:IMSA 1 "msa_reg_operand" "f")))]
"ISA_HAS_MSA"
"pcnt.<msafmt>\t%w0,%w1"
[(set_attr "type" "simd_pcnt")
(set_attr "mode" "<MODE>")])
(define_insn "msa_sat_s_<msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (unspec:IMSA [(match_operand:IMSA 1 "register_operand" "f")
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (unspec:IMSA [(match_operand:IMSA 1 "msa_reg_operand" "f")
(match_operand 2 "const_<bitimm>_operand" "")]
UNSPEC_MSA_SAT_S))]
"ISA_HAS_MSA"
@@ -2511,8 +2512,8 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_sat_u_<msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (unspec:IMSA [(match_operand:IMSA 1 "register_operand" "f")
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (unspec:IMSA [(match_operand:IMSA 1 "msa_reg_operand" "f")
(match_operand 2 "const_<bitimm>_operand" "")]
UNSPEC_MSA_SAT_U))]
"ISA_HAS_MSA"
@@ -2521,9 +2522,9 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_shf_<msafmt_f>"
- [(set (match_operand:MSA 0 "register_operand" "=f")
+ [(set (match_operand:MSA 0 "msa_reg_operand" "=f")
(vec_select:MSA
- (match_operand:MSA 1 "register_operand" "f")
+ (match_operand:MSA 1 "msa_reg_operand" "f")
(match_operand 2 "par_const_vector_shf_set_operand" "")))]
"ISA_HAS_MSA"
{
@@ -2549,9 +2550,9 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_srar_<msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (unspec:IMSA [(match_operand:IMSA 1 "register_operand" "f")
- (match_operand:IMSA 2 "register_operand" "f")]
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (unspec:IMSA [(match_operand:IMSA 1 "msa_reg_operand" "f")
+ (match_operand:IMSA 2 "msa_reg_operand" "f")]
UNSPEC_MSA_SRAR))]
"ISA_HAS_MSA"
"srar.<msafmt>\t%w0,%w1,%w2"
@@ -2559,8 +2560,8 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_srari_<msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (unspec:IMSA [(match_operand:IMSA 1 "register_operand" "f")
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (unspec:IMSA [(match_operand:IMSA 1 "msa_reg_operand" "f")
(match_operand 2 "const_<bitimm>_operand" "")]
UNSPEC_MSA_SRARI))]
"ISA_HAS_MSA"
@@ -2569,9 +2570,9 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_srlr_<msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (unspec:IMSA [(match_operand:IMSA 1 "register_operand" "f")
- (match_operand:IMSA 2 "register_operand" "f")]
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (unspec:IMSA [(match_operand:IMSA 1 "msa_reg_operand" "f")
+ (match_operand:IMSA 2 "msa_reg_operand" "f")]
UNSPEC_MSA_SRLR))]
"ISA_HAS_MSA"
"srlr.<msafmt>\t%w0,%w1,%w2"
@@ -2579,8 +2580,8 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_srlri_<msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (unspec:IMSA [(match_operand:IMSA 1 "register_operand" "f")
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (unspec:IMSA [(match_operand:IMSA 1 "msa_reg_operand" "f")
(match_operand 2 "const_<bitimm>_operand" "")]
UNSPEC_MSA_SRLRI))]
"ISA_HAS_MSA"
@@ -2589,9 +2590,9 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_subs_s_<msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (unspec:IMSA [(match_operand:IMSA 1 "register_operand" "f")
- (match_operand:IMSA 2 "register_operand" "f")]
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (unspec:IMSA [(match_operand:IMSA 1 "msa_reg_operand" "f")
+ (match_operand:IMSA 2 "msa_reg_operand" "f")]
UNSPEC_MSA_SUBS_S))]
"ISA_HAS_MSA"
"subs_s.<msafmt>\t%w0,%w1,%w2"
@@ -2599,9 +2600,9 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_subs_u_<msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (unspec:IMSA [(match_operand:IMSA 1 "register_operand" "f")
- (match_operand:IMSA 2 "register_operand" "f")]
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (unspec:IMSA [(match_operand:IMSA 1 "msa_reg_operand" "f")
+ (match_operand:IMSA 2 "msa_reg_operand" "f")]
UNSPEC_MSA_SUBS_U))]
"ISA_HAS_MSA"
"subs_u.<msafmt>\t%w0,%w1,%w2"
@@ -2609,9 +2610,9 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_subsuu_s_<msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (unspec:IMSA [(match_operand:IMSA 1 "register_operand" "f")
- (match_operand:IMSA 2 "register_operand" "f")]
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (unspec:IMSA [(match_operand:IMSA 1 "msa_reg_operand" "f")
+ (match_operand:IMSA 2 "msa_reg_operand" "f")]
UNSPEC_MSA_SUBSUU_S))]
"ISA_HAS_MSA"
"subsuu_s.<msafmt>\t%w0,%w1,%w2"
@@ -2619,9 +2620,9 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_subsus_u_<msafmt>"
- [(set (match_operand:IMSA 0 "register_operand" "=f")
- (unspec:IMSA [(match_operand:IMSA 1 "register_operand" "f")
- (match_operand:IMSA 2 "register_operand" "f")]
+ [(set (match_operand:IMSA 0 "msa_reg_operand" "=f")
+ (unspec:IMSA [(match_operand:IMSA 1 "msa_reg_operand" "f")
+ (match_operand:IMSA 2 "msa_reg_operand" "f")]
UNSPEC_MSA_SUBSUS_U))]
"ISA_HAS_MSA"
"subsus_u.<msafmt>\t%w0,%w1,%w2"
@@ -2629,9 +2630,9 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_sld_<msafmt_f>"
- [(set (match_operand:MSA 0 "register_operand" "=f")
- (unspec:MSA [(match_operand:MSA 1 "register_operand" "0")
- (match_operand:MSA 2 "register_operand" "f")
+ [(set (match_operand:MSA 0 "msa_reg_operand" "=f")
+ (unspec:MSA [(match_operand:MSA 1 "msa_reg_operand" "0")
+ (match_operand:MSA 2 "msa_reg_operand" "f")
(match_operand:SI 3 "reg_or_0_operand" "dJ")]
UNSPEC_MSA_SLD))]
"ISA_HAS_MSA"
@@ -2640,9 +2641,9 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_sldi_<msafmt_f>"
- [(set (match_operand:MSA 0 "register_operand" "=f")
- (unspec:MSA [(match_operand:MSA 1 "register_operand" "0")
- (match_operand:MSA 2 "register_operand" "f")
+ [(set (match_operand:MSA 0 "msa_reg_operand" "=f")
+ (unspec:MSA [(match_operand:MSA 1 "msa_reg_operand" "0")
+ (match_operand:MSA 2 "msa_reg_operand" "f")
(match_operand 3 "const_<indeximm>_operand" "")]
UNSPEC_MSA_SLDI))]
"ISA_HAS_MSA"
@@ -2651,9 +2652,9 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_splat_<msafmt_f>"
- [(set (match_operand:MSA 0 "register_operand" "=f")
- (unspec:MSA [(match_operand:MSA 1 "register_operand" "f")
- (match_operand:SI 2 "register_operand" "d")]
+ [(set (match_operand:MSA 0 "msa_reg_operand" "=f")
+ (unspec:MSA [(match_operand:MSA 1 "msa_reg_operand" "f")
+ (match_operand:SI 2 "msa_reg_operand" "d")]
UNSPEC_MSA_SPLAT))]
"ISA_HAS_MSA"
"splat.<msafmt>\t%w0,%w1[%z2]"
@@ -2661,10 +2662,10 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_splati_<msafmt_f>"
- [(set (match_operand:MSA 0 "register_operand" "=f")
+ [(set (match_operand:MSA 0 "msa_reg_operand" "=f")
(vec_duplicate:MSA
(vec_select:<UNITMODE>
- (match_operand:MSA 1 "register_operand" "f")
+ (match_operand:MSA 1 "msa_reg_operand" "f")
(parallel [(match_operand 2 "const_<indeximm>_operand" "")]))))]
"ISA_HAS_MSA"
"splati.<msafmt>\t%w0,%w1[%2]"
@@ -2672,8 +2673,8 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_splati_<msafmt_f>_scalar"
- [(set (match_operand:FMSA 0 "register_operand" "=f")
- (unspec:FMSA [(match_operand:<UNITMODE> 1 "register_operand" "f")]
+ [(set (match_operand:FMSA 0 "msa_reg_operand" "=f")
+ (unspec:FMSA [(match_operand:<UNITMODE> 1 "msa_reg_operand" "f")]
UNSPEC_MSA_SPLATI))]
"ISA_HAS_MSA"
"splati.<msafmt>\t%w0,%w1[0]"
@@ -2681,7 +2682,7 @@
(set_attr "mode" "<MODE>")])
(define_insn "msa_cfcmsa"
- [(set (match_operand:SI 0 "register_operand" "=d")
+ [(set (match_operand:SI 0 "msa_reg_operand" "=d")
(unspec_volatile:SI [(match_operand 1 "const_uimm5_operand" "")]
UNSPEC_MSA_CFCMSA))]
"ISA_HAS_MSA"
@@ -2691,7 +2692,7 @@
(define_insn "msa_ctcmsa"
[(unspec_volatile [(match_operand 0 "const_uimm5_operand" "")
- (match_operand:SI 1 "register_operand" "d")]
+ (match_operand:SI 1 "msa_reg_operand" "d")]
UNSPEC_MSA_CTCMSA)]
"ISA_HAS_MSA"
"ctcmsa\t$%0,%1"
@@ -2699,9 +2700,9 @@
(set_attr "mode" "SI")])
(define_insn "msa_fexdo_h"
- [(set (match_operand:V8HI 0 "register_operand" "=f")
- (unspec:V8HI [(match_operand:V4SF 1 "register_operand" "f")
- (match_operand:V4SF 2 "register_operand" "f")]
+ [(set (match_operand:V8HI 0 "msa_reg_operand" "=f")
+ (unspec:V8HI [(match_operand:V4SF 1 "msa_reg_operand" "f")
+ (match_operand:V4SF 2 "msa_reg_operand" "f")]
UNSPEC_MSA_FEXDO))]
"ISA_HAS_MSA"
"fexdo.h\t%w0,%w1,%w2"
@@ -2709,18 +2710,18 @@
(set_attr "mode" "V8HI")])
(define_insn "vec_pack_trunc_v2df"
- [(set (match_operand:V4SF 0 "register_operand" "=f")
+ [(set (match_operand:V4SF 0 "msa_reg_operand" "=f")
(vec_concat:V4SF
- (float_truncate:V2SF (match_operand:V2DF 1 "register_operand" "f"))
- (float_truncate:V2SF (match_operand:V2DF 2 "register_operand" "f"))))]
+ (float_truncate:V2SF (match_operand:V2DF 1 "msa_reg_operand" "f"))
+ (float_truncate:V2SF (match_operand:V2DF 2 "msa_reg_operand" "f"))))]
"ISA_HAS_MSA"
"fexdo.w\t%w0,%w2,%w1"
[(set_attr "type" "simd_fcvt")
(set_attr "mode" "V4SF")])
(define_insn "msa_fexupl_w"
- [(set (match_operand:V4SF 0 "register_operand" "=f")
- (unspec:V4SF [(match_operand:V8HI 1 "register_operand" "f")]
+ [(set (match_operand:V4SF 0 "msa_reg_operand" "=f")
+ (unspec:V4SF [(match_operand:V8HI 1 "msa_reg_operand" "f")]
UNSPEC_MSA_FEXUPL))]
"ISA_HAS_MSA"
"fexupl.w\t%w0,%w1"
@@ -2728,10 +2729,10 @@
(set_attr "mode" "V4SF")])
(define_insn "msa_fexupl_d"
- [(set (match_operand:V2DF 0 "register_operand" "=f")
+ [(set (match_operand:V2DF 0 "msa_reg_operand" "=f")
(float_extend:V2DF
(vec_select:V2SF
- (match_operand:V4SF 1 "register_operand" "f")
+ (match_operand:V4SF 1 "msa_reg_operand" "f")
(parallel [(const_int 2) (const_int 3)]))))]
"ISA_HAS_MSA"
"fexupl.d\t%w0,%w1"
@@ -2739,8 +2740,8 @@
(set_attr "mode" "V2DF")])
(define_insn "msa_fexupr_w"
- [(set (match_operand:V4SF 0 "register_operand" "=f")
- (unspec:V4SF [(match_operand:V8HI 1 "register_operand" "f")]
+ [(set (match_operand:V4SF 0 "msa_reg_operand" "=f")
+ (unspec:V4SF [(match_operand:V8HI 1 "msa_reg_operand" "f")]
UNSPEC_MSA_FEXUPR))]
"ISA_HAS_MSA"
"fexupr.w\t%w0,%w1"
@@ -2748,10 +2749,10 @@
(set_attr "mode" "V4SF")])
(define_insn "msa_fexupr_d"
- [(set (match_operand:V2DF 0 "register_operand" "=f")
+ [(set (match_operand:V2DF 0 "msa_reg_operand" "=f")
(float_extend:V2DF
(vec_select:V2SF
- (match_operand:V4SF 1 "register_operand" "f")
+ (match_operand:V4SF 1 "msa_reg_operand" "f")
(parallel [(const_int 0) (const_int 1)]))))]
"ISA_HAS_MSA"
"fexupr.d\t%w0,%w1"
@@ -2769,7 +2770,7 @@
(define_insn "msa_<msabr>_<msafmt_f>"
[(set (pc) (if_then_else
(equality_op
- (unspec:SI [(match_operand:MSA 1 "register_operand" "f")]
+ (unspec:SI [(match_operand:MSA 1 "msa_reg_operand" "f")]
UNSPEC_MSA_BRANCH)
(match_operand:SI 2 "const_0_operand"))
(label_ref (match_operand 0))
@@ -2790,7 +2791,7 @@
(define_insn "msa_<msabr>_v_<msafmt_f>"
[(set (pc) (if_then_else
(equality_op
- (unspec:SI [(match_operand:MSA 1 "register_operand" "f")]
+ (unspec:SI [(match_operand:MSA 1 "msa_reg_operand" "f")]
UNSPEC_MSA_BRANCH_V)
(match_operand:SI 2 "const_0_operand"))
(label_ref (match_operand 0))
@@ -2810,8 +2811,8 @@
;; Vector reduction operation
(define_expand "reduc_smin_scal_<mode>"
- [(match_operand:<UNITMODE> 0 "register_operand")
- (match_operand:MSA 1 "register_operand")]
+ [(match_operand:<UNITMODE> 0 "msa_reg_operand")
+ (match_operand:MSA 1 "msa_reg_operand")]
"ISA_HAS_MSA"
{
rtx tmp = gen_reg_rtx (<MODE>mode);
@@ -2822,8 +2823,8 @@
})
(define_expand "reduc_smax_scal_<mode>"
- [(match_operand:<UNITMODE> 0 "register_operand")
- (match_operand:MSA 1 "register_operand")]
+ [(match_operand:<UNITMODE> 0 "msa_reg_operand")
+ (match_operand:MSA 1 "msa_reg_operand")]
"ISA_HAS_MSA"
{
rtx tmp = gen_reg_rtx (<MODE>mode);
@@ -2834,8 +2835,8 @@
})
(define_expand "reduc_umin_scal_<mode>"
- [(match_operand:<UNITMODE> 0 "register_operand")
- (match_operand:IMSA 1 "register_operand")]
+ [(match_operand:<UNITMODE> 0 "msa_reg_operand")
+ (match_operand:IMSA 1 "msa_reg_operand")]
"ISA_HAS_MSA"
{
rtx tmp = gen_reg_rtx (<MODE>mode);
@@ -2846,8 +2847,8 @@
})
(define_expand "reduc_umax_scal_<mode>"
- [(match_operand:<UNITMODE> 0 "register_operand")
- (match_operand:IMSA 1 "register_operand")]
+ [(match_operand:<UNITMODE> 0 "msa_reg_operand")
+ (match_operand:IMSA 1 "msa_reg_operand")]
"ISA_HAS_MSA"
{
rtx tmp = gen_reg_rtx (<MODE>mode);
@@ -2858,8 +2859,8 @@
})
(define_expand "reduc_plus_scal_<mode>"
- [(match_operand:<UNITMODE> 0 "register_operand")
- (match_operand:MSA_NO_HADD 1 "register_operand")]
+ [(match_operand:<UNITMODE> 0 "msa_reg_operand")
+ (match_operand:MSA_NO_HADD 1 "msa_reg_operand")]
"ISA_HAS_MSA"
{
rtx tmp = gen_reg_rtx (<MODE>mode);
@@ -2870,8 +2871,8 @@
})
(define_expand "reduc_plus_scal_v4si"
- [(match_operand:SI 0 "register_operand")
- (match_operand:V4SI 1 "register_operand")]
+ [(match_operand:SI 0 "msa_reg_operand")
+ (match_operand:V4SI 1 "msa_reg_operand")]
"ISA_HAS_MSA"
{
rtx tmp = gen_reg_rtx (SImode);
@@ -2886,8 +2887,8 @@
})
(define_expand "reduc_plus_scal_v8hi"
- [(match_operand:HI 0 "register_operand")
- (match_operand:V8HI 1 "register_operand")]
+ [(match_operand:HI 0 "msa_reg_operand")
+ (match_operand:V8HI 1 "msa_reg_operand")]
"ISA_HAS_MSA"
{
rtx tmp1 = gen_reg_rtx (V4SImode);
@@ -2902,8 +2903,8 @@
})
(define_expand "reduc_plus_scal_v16qi"
- [(match_operand:QI 0 "register_operand")
- (match_operand:V16QI 1 "register_operand")]
+ [(match_operand:QI 0 "msa_reg_operand")
+ (match_operand:V16QI 1 "msa_reg_operand")]
"ISA_HAS_MSA"
{
rtx tmp1 = gen_reg_rtx (V8HImode);
@@ -2921,8 +2922,8 @@
(define_expand "reduc_<optab>_scal_<mode>"
[(any_bitwise:<UNITMODE>
- (match_operand:<UNITMODE> 0 "register_operand")
- (match_operand:IMSA 1 "register_operand"))]
+ (match_operand:<UNITMODE> 0 "msa_reg_operand")
+ (match_operand:IMSA 1 "msa_reg_operand"))]
"ISA_HAS_MSA"
{
rtx tmp = gen_reg_rtx (<MODE>mode);
@@ -2933,10 +2934,12 @@
})
;; On big-endian targets we cannot use subregs to refer to MSA register
-;; in different mode. See mips_can_change_mode_class.
+;; in different mode. See mips_can_change_mode_class. This is used
+;; specifically during expansion of vec_unpack operations, which requires
+;; MSA register mode changes.
(define_expand "msa_change_mode"
- [(match_operand 0 "register_operand")
- (match_operand 1 "register_operand")]
+ [(match_operand 0 "msa_reg_operand")
+ (match_operand 1 "msa_reg_operand")]
"ISA_HAS_MSA"
{
gcc_assert (MSA_SUPPORTED_MODE_P (GET_MODE (operands[0]))
@@ -2954,8 +2957,8 @@
})
(define_insn_and_split "msa_change_mode_<mode>"
- [(set (match_operand:MSA 0 "register_operand" "=f")
- (unspec:MSA [(match_operand 1 "register_operand" "f")]
+ [(set (match_operand:MSA 0 "msa_reg_operand" "=f")
+ (unspec:MSA [(match_operand 1 "msa_reg_operand" "f")]
UNSPEC_MSA_CHANGE_MODE))]
"ISA_HAS_MSA && TARGET_BIG_ENDIAN
&& MSA_SUPPORTED_MODE_P (GET_MODE (operands[1]))"
@@ -2967,3 +2970,18 @@
}
[(set_attr "move_type" "fmove")
(set_attr "mode" "<MODE>")])
+
+;; A pattern for optimizing SUBREGs which have a reinterpreting effect
+;; on big-endian targets.
+(define_insn_and_split "*msa_mov<mode>_subreg_be"
+ [(set (match_operand:MSA 0 "nonimmediate_operand" "=f")
+ (unspec:MSA [(match_operand 1 "move_operand" "f")]
+ UNSPEC_MSA_SUBREG_BE))]
+ "ISA_HAS_MSA && TARGET_BIG_ENDIAN"
+ "#"
+ "&& reload_completed"
+ [(const_int 0)]
+{
+ mips_split_msa_subreg_move (operands[0], operands[1]);
+ DONE;
+})
diff --git a/gcc/config/mips/mips-protos.h b/gcc/config/mips/mips-protos.h
index 2de7195f2b8..435b2e7e179 100644
--- a/gcc/config/mips/mips-protos.h
+++ b/gcc/config/mips/mips-protos.h
@@ -397,6 +397,8 @@ extern bool mips_bit_clear_p (enum machine_mode, unsigned
HOST_WIDE_INT);
extern void mips_bit_clear_info (enum machine_mode, unsigned HOST_WIDE_INT,
int *, int *);
+extern void mips_split_msa_subreg_move (rtx, rtx);
+
extern const char *mips_output_compare (const char *fpcmp, const char *fcond,
const char *fmt, const char *fpcc_mode, bool swap);
#endif /* ! GCC_MIPS_PROTOS_H */
diff --git a/gcc/config/mips/mips.cc b/gcc/config/mips/mips.cc
index 0b155c107c2..fa2039175ff 100644
--- a/gcc/config/mips/mips.cc
+++ b/gcc/config/mips/mips.cc
@@ -4716,6 +4716,116 @@ mips_legitimize_const_move (machine_mode mode, rtx
dest, rtx src)
mips_emit_move (dest, src);
}
+/* Called only on big-endian targets. See whether an MSA vector move from
+ SRC to DEST is effectively a (pair of) SHF instruction(s), because at least
+ one operand is a SUBREG of an MSA vector that has wider or narrower
+ elements. Return true and emit the instruction if so.
+
+ VIEW_CONVERT (bitconvert) between the two vectors should change only the
+ compiler's interpretation of the data, not the data itself, which is what
+ happens on big-endian targets. Therefore, we insert one or two shuffle
+ instructions to keep the data in registers in a valid state.
+
+ Without this modification, we would spill the SUBREG operand to stack in
+ one mode and reload it in the other, which is also valid, but obviously
+ a lot slower. */
+
+static bool
+mips_maybe_expand_msa_subreg_move (rtx dest, rtx src)
+{
+ gcc_assert (TARGET_BIG_ENDIAN);
+
+ if (GET_CODE (dest) == SUBREG)
+ dest = SUBREG_REG (dest);
+ if (GET_CODE (src) == SUBREG)
+ src = SUBREG_REG (src);
+
+ /* The optimization handles two MSA REGs with different element size. */
+ if (!REG_P (dest)
+ || !REG_P (src)
+ || (GET_MODE_UNIT_SIZE (GET_MODE (dest))
+ == GET_MODE_UNIT_SIZE (GET_MODE (src))))
+ return false;
+
+ /* Generate *msa_mov<mode>_subreg_be. */
+ rtx unspec = gen_rtx_UNSPEC (GET_MODE (dest),
+ gen_rtvec (1, src),
+ UNSPEC_MSA_SUBREG_BE);
+ emit_insn (gen_rtx_SET (dest, unspec));
+ return true;
+}
+
+/* Return a copy of X with mode MODE, without changing its other
+ attributes. */
+static rtx
+mips_replace_reg_mode (rtx x, machine_mode mode)
+{
+ if (GET_MODE (x) == mode)
+ return x;
+
+ x = shallow_copy_rtx (x);
+ set_mode_and_regno (x, mode, REGNO (x));
+ return x;
+}
+
+/* Split a *msa_mov<mode>_subreg_be pattern with the given operands. */
+void
+mips_split_msa_subreg_move (rtx dest, rtx src)
+{
+ /* Decide how many and which SHF operations we need. The size ratio of
+ machine modes defines the number of operations, while the mode with the
+ narrower elements determines the mode of the operands. */
+ int shf_value_1, shf_value_2 = 0xb1;
+ machine_mode mode_with_wider_elts = GET_MODE (dest);
+ machine_mode mode_with_narrower_elts = GET_MODE (src);
+ unsigned char wider_mode_size, narrower_mode_size;
+ rtx x;
+
+ wider_mode_size = GET_MODE_UNIT_SIZE (mode_with_wider_elts);
+ narrower_mode_size = GET_MODE_UNIT_SIZE (mode_with_narrower_elts);
+
+ if (wider_mode_size < narrower_mode_size)
+ {
+ std::swap (mode_with_wider_elts, mode_with_narrower_elts);
+ std::swap (wider_mode_size, narrower_mode_size);
+ }
+
+ int size_ratio = wider_mode_size / narrower_mode_size;
+ switch (size_ratio)
+ {
+ case 8:
+ case 4:
+ shf_value_1 = 0x1b;
+ break;
+ case 2:
+ shf_value_1 = 0xb1;
+ break;
+ default:
+ gcc_unreachable ();
+ }
+
+ /* Emit the first SHF instruction with appropriate modes. */
+ dest = mips_replace_reg_mode (dest, mode_with_narrower_elts);
+ src = mips_replace_reg_mode (src, mode_with_narrower_elts);
+ x = mips_gen_const_int_vector_shuffle (mode_with_narrower_elts,
+ shf_value_1);
+ x = gen_rtx_VEC_SELECT (mode_with_narrower_elts, src, x);
+ x = gen_rtx_SET (dest, x);
+ emit_insn (x);
+
+ /* Emit the second SHF instruction (if needed) with appropriate modes. */
+ if (size_ratio == 8)
+ {
+ dest = mips_replace_reg_mode (dest, V4SImode);
+ src = mips_replace_reg_mode (dest, V4SImode);
+ x = mips_gen_const_int_vector_shuffle (V4SImode,
+ shf_value_2);
+ x = gen_rtx_VEC_SELECT (V4SImode, src, x);
+ x = gen_rtx_SET (dest, x);
+ emit_insn (x);
+ }
+}
+
/* If (set DEST SRC) is not a valid move instruction, emit an equivalent
sequence that is valid. */
@@ -4743,6 +4853,33 @@ mips_legitimize_move (machine_mode mode, rtx dest, rtx
src)
set_unique_reg_note (get_last_insn (), REG_EQUAL, copy_rtx (src));
return true;
}
+
+ if (TARGET_BIG_ENDIAN
+ && MSA_SUPPORTED_MODE_P (GET_MODE (dest))
+ && MSA_SUPPORTED_MODE_P (GET_MODE (src)))
+ {
+ /* SRC or DEST with an MSA mode have an allocated hard register only if
+ they are function call arguments or return values. In that case,
+ force their machine modes to V2DImode or V4SImode, depending on the
+ target size. This will produce shuffle instruction(s) which will
+ reorder the elements within a vector, so that they conform to the
+ calling convention. This fixes the discrepancy between calling
+ conventions of MSA and non-MSA builds. */
+ if (REG_P (dest)
+ && HARD_REGISTER_P (dest)
+ && GP_REG_P (REGNO (dest)))
+ dest = mips_replace_reg_mode (dest, TARGET_64BIT ? V2DImode : V4SImode);
+
+ if (REG_P (src)
+ && HARD_REGISTER_P (src)
+ && GP_REG_P (REGNO (src)))
+ src = mips_replace_reg_mode (src, TARGET_64BIT ? V2DImode : V4SImode);
+
+ /* See whether MSA SUBREG move can be replaced with shuffle(s). */
+ if (mips_maybe_expand_msa_subreg_move (dest, src))
+ return true;
+ }
+
return false;
}
@@ -6005,12 +6142,12 @@ mips_split_128bit_move (rtx dest, rtx src)
if (!TARGET_64BIT)
{
if (GET_MODE (dest) != V4SImode)
- new_dest = gen_rtx_REG (V4SImode, REGNO (dest));
+ new_dest = mips_replace_reg_mode (dest, V4SImode);
}
else
{
if (GET_MODE (dest) != V2DImode)
- new_dest = gen_rtx_REG (V2DImode, REGNO (dest));
+ new_dest = mips_replace_reg_mode (dest, V2DImode);
}
for (byte = 0, index = 0; byte < GET_MODE_SIZE (TImode);
@@ -6033,12 +6170,12 @@ mips_split_128bit_move (rtx dest, rtx src)
if (!TARGET_64BIT)
{
if (GET_MODE (src) != V4SImode)
- new_src = gen_rtx_REG (V4SImode, REGNO (src));
+ new_src = mips_replace_reg_mode (src, V4SImode);
}
else
{
if (GET_MODE (src) != V2DImode)
- new_src = gen_rtx_REG (V2DImode, REGNO (src));
+ new_src = mips_replace_reg_mode (src, V2DImode);
}
for (byte = 0, index = 0; byte < GET_MODE_SIZE (TImode);
@@ -6095,7 +6232,7 @@ mips_split_msa_copy_d (rtx dest, rtx src, rtx index,
rtx low = mips_subword (dest, false);
rtx high = mips_subword (dest, true);
- rtx new_src = gen_rtx_REG (V4SImode, REGNO (src));
+ rtx new_src = mips_replace_reg_mode (src, V4SImode);
emit_insn (gen_fn (low, new_src, GEN_INT (INTVAL (index) * 2)));
emit_insn (gen_fn (high, new_src, GEN_INT (INTVAL (index) * 2 + 1)));
@@ -6116,8 +6253,8 @@ mips_split_msa_insert_d (rtx dest, rtx src1, rtx index,
rtx src2)
from the higher index. */
rtx low = mips_subword (src2, false);
rtx high = mips_subword (src2, true);
- rtx new_dest = gen_rtx_REG (V4SImode, REGNO (dest));
- rtx new_src1 = gen_rtx_REG (V4SImode, REGNO (src1));
+ rtx new_dest = mips_replace_reg_mode (dest, V4SImode);
+ rtx new_src1 = mips_replace_reg_mode (src1, V4SImode);
i = exact_log2 (INTVAL (index));
gcc_assert (i != -1);
@@ -6149,7 +6286,7 @@ mips_split_msa_fill_d (rtx dest, rtx src)
low = mips_subword (src, false);
high = mips_subword (src, true);
}
- rtx new_dest = gen_rtx_REG (V4SImode, REGNO (dest));
+ rtx new_dest = mips_replace_reg_mode (dest, V4SImode);
emit_insn (gen_msa_fill_w (new_dest, low));
emit_insn (gen_msa_insert_w (new_dest, high, new_dest, GEN_INT (1 << 1)));
emit_insn (gen_msa_insert_w (new_dest, high, new_dest, GEN_INT (1 << 3)));
diff --git a/gcc/config/mips/predicates.md b/gcc/config/mips/predicates.md
index 604b1676f2b..6af54d07fc3 100644
--- a/gcc/config/mips/predicates.md
+++ b/gcc/config/mips/predicates.md
@@ -656,3 +656,8 @@
(define_predicate "reg_or_vector_same_uimm6_operand"
(ior (match_operand 0 "register_operand")
(match_operand 0 "const_vector_same_uimm6_operand")))
+
+(define_predicate "msa_reg_operand"
+ (if_then_else (match_test "TARGET_BIG_ENDIAN")
+ (match_code "reg")
+ (match_operand 0 "register_operand")))
diff --git a/gcc/testsuite/gcc.target/mips/inter/msa-inter.exp
b/gcc/testsuite/gcc.target/mips/inter/msa-inter.exp
new file mode 100644
index 00000000000..a4d3145fd92
--- /dev/null
+++ b/gcc/testsuite/gcc.target/mips/inter/msa-inter.exp
@@ -0,0 +1,67 @@
+# Copyright (C) 2025 Free Software Foundation, Inc.
+#
+# This file is part of GCC.
+#
+# GCC is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3, or (at your option)
+# any later version.
+#
+# GCC is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with GCC; see the file COPYING3. If not see
+# <http://www.gnu.org/licenses/>.
+
+# Run calling convention compatibility tests for vector types in which the
"alt"
+# compiler uses -mmsa.
+
+load_lib gcc-dg.exp
+
+# Check whether we can execute MSA code.
+if { ![check_mips_msa_hw_available] } {
+ return
+}
+
+# Save the old value of CFLAGS_FOR_TARGET, if any.
+global saved_CFLAGS_FOR_TARGET
+if { [info exists CFLAGS_FOR_TARGET] } {
+ set saved_CFLAGS_FOR_TARGET $CFLAGS_FOR_TARGET
+} else {
+ unset -nocomplain saved_CFLAGS_FOR_TARGET
+}
+
+# The "alt" compiler is the normal compiler with an extra "-mmsa" argument.
+proc compat-use-alt-compiler { } {
+ global saved_CFLAGS_FOR_TARGET CFLAGS_FOR_TARGET
+
+ if { [info exists saved_CFLAGS_FOR_TARGET] } {
+ set CFLAGS_FOR_TARGET [concat $saved_CFLAGS_FOR_TARGET "-mmsa"]
+ } else {
+ set CFLAGS_FOR_TARGET "-mmsa"
+ }
+}
+
+# Make the compiler under test the default.
+proc compat-use-tst-compiler { } {
+ global saved_CFLAGS_FOR_TARGET CFLAGS_FOR_TARGET
+
+ if { [info exists saved_CFLAGS_FOR_TARGET] } {
+ set CFLAGS_FOR_TARGET $saved_CFLAGS_FOR_TARGET
+ } else {
+ unset -nocomplain CFLAGS_FOR_TARGET
+ }
+}
+
+load_lib compat.exp
+
+gcc_init
+foreach src [lsort [find $srcdir/$subdir msa_*_main.c]] {
+ if { [runtest_file_p $runtests $src] } {
+ compat-execute $src "msa_inter" 1
+ }
+}
+compat-use-tst-compiler
diff --git a/gcc/testsuite/gcc.target/mips/inter/msa_1.h
b/gcc/testsuite/gcc.target/mips/inter/msa_1.h
new file mode 100644
index 00000000000..12114a94f3e
--- /dev/null
+++ b/gcc/testsuite/gcc.target/mips/inter/msa_1.h
@@ -0,0 +1,23 @@
+typedef signed char v16i8 __attribute__ ((vector_size(16)));
+typedef short v8i16 __attribute__ ((vector_size(16)));
+typedef int v4i32 __attribute__ ((vector_size(16)));
+typedef long long v2i64 __attribute__ ((vector_size(16)));
+typedef unsigned char v16u8 __attribute__ ((vector_size(16)));
+typedef unsigned short v8u16 __attribute__ ((vector_size(16)));
+typedef unsigned int v4u32 __attribute__ ((vector_size(16)));
+typedef unsigned long long v2u64 __attribute__ ((vector_size(16)));
+typedef float v4f32 __attribute__ ((vector_size(16)));
+typedef double v2f64 __attribute__ ((vector_size(16)));
+
+
+#define ITERATE_FOR_ALL_TYPES(FUNC) \
+ FUNC (v16i8, 16) \
+ FUNC (v8i16, 8) \
+ FUNC (v4i32, 4) \
+ FUNC (v2i64, 2) \
+ FUNC (v16u8, 16) \
+ FUNC (v8u16, 8) \
+ FUNC (v4u32, 4) \
+ FUNC (v2u64, 2) \
+ FUNC (v4f32, 4) \
+ FUNC (v2f64, 2)
diff --git a/gcc/testsuite/gcc.target/mips/inter/msa_1_main.c
b/gcc/testsuite/gcc.target/mips/inter/msa_1_main.c
new file mode 100644
index 00000000000..0d17c8381a0
--- /dev/null
+++ b/gcc/testsuite/gcc.target/mips/inter/msa_1_main.c
@@ -0,0 +1,8 @@
+extern void test (void);
+
+int
+main (void)
+{
+ test ();
+ return 0;
+}
diff --git a/gcc/testsuite/gcc.target/mips/inter/msa_1_x.c
b/gcc/testsuite/gcc.target/mips/inter/msa_1_x.c
new file mode 100644
index 00000000000..f3d43ca5c16
--- /dev/null
+++ b/gcc/testsuite/gcc.target/mips/inter/msa_1_x.c
@@ -0,0 +1,35 @@
+#include "msa_1.h"
+
+#define INIT_2 {1, 2}
+#define INIT_4 {1, 2, 3, 4}
+#define INIT_8 {1, 2, 3, 4, 5, 6, 7, 8}
+#define INIT_16 {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13 ,14 ,15 ,16}
+
+#define TEST(TYPE, NUM) \
+__attribute__ ((noinline)) static void \
+test_ ## TYPE ##_caller (void) \
+{ \
+ extern TYPE test_ ## TYPE ##_callee (TYPE, const TYPE*); \
+ TYPE vect = (TYPE) INIT_ ## NUM; \
+ TYPE res = test_ ## TYPE ## _callee (vect, &vect); \
+ if (__builtin_memcmp (&vect, &res, sizeof vect)) \
+ __builtin_abort(); \
+}
+
+ITERATE_FOR_ALL_TYPES(TEST)
+
+#undef TEST
+#undef INIT_2
+#undef INIT_4
+#undef INIT_8
+#undef INIT_16
+
+#define RUN_TEST(TYPE, NUM) test_ ## TYPE ##_caller ();
+
+void
+test (void)
+{
+ ITERATE_FOR_ALL_TYPES(RUN_TEST)
+}
+
+#undef RUN_TEST
diff --git a/gcc/testsuite/gcc.target/mips/inter/msa_1_y.c
b/gcc/testsuite/gcc.target/mips/inter/msa_1_y.c
new file mode 100644
index 00000000000..250df27d703
--- /dev/null
+++ b/gcc/testsuite/gcc.target/mips/inter/msa_1_y.c
@@ -0,0 +1,14 @@
+#include "msa_1.h"
+
+#define TEST(TYPE, NUM) \
+TYPE \
+test_ ## TYPE ##_callee (TYPE vect, const TYPE* pvect) \
+{ \
+ if (__builtin_memcmp (&vect, pvect, sizeof vect)) \
+ __builtin_abort(); \
+ return *pvect; \
+}
+
+ITERATE_FOR_ALL_TYPES(TEST)
+
+#undef TEST
--
2.34.1
