OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

rs6000: Add scalar cfuged instruction

Browse Source 
Add the centifuge-doubleword instruction and built-in access.

[gcc]

2020-05-11  Kelvin Nilsen  <kelvin@gcc.gnu.org>

	* config/rs6000/rs6000-builtin.def (BU_FUTURE_MISC_0): New
	#define.
	(BU_FUTURE_MISC_1): Likewise.
	(BU_FUTURE_MISC_2): Likewise.
	(BU_FUTURE_MISC_3): Likewise.
	(__builtin_cfuged): New built-in function definition.
	* config/rs6000/rs6000.md (UNSPEC_CFUGED): New constant.
	(cfuged): New insn.
	* doc/extend.texi (Basic PowerPC Built-in Functions Available for
	a Future Architecture): New subsubsection.

[gcc/testsuite]

2020-05-11  Kelvin Nilsen  <kelvin@gcc.gnu.org>

	* gcc.target.powerpc/cfuged-0.c: New test.
	* gcc.target.powerpc/cfuged-1.c: New test.
This commit is contained in:
Kelvin Nilsen 2020-05-11 11:01:32 -05:00 committed by Bill Schmidt
parent 84f4954c38
commit 2403d3d7a5
7 changed files with 187 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
gcc/ChangeLog
View File

@ -1,3 +1,16 @@
2020-05-11 Kelvin Nilsen <kelvin@gcc.gnu.org>
* config/rs6000/rs6000-builtin.def (BU_FUTURE_MISC_0): New
#define.
(BU_FUTURE_MISC_1): Likewise.
(BU_FUTURE_MISC_2): Likewise.
(BU_FUTURE_MISC_3): Likewise.
(__builtin_cfuged): New built-in function definition.
* config/rs6000/rs6000.md (UNSPEC_CFUGED): New constant.
(cfuged): New insn.
* doc/extend.texi (Basic PowerPC Built-in Functions Available for
a Future Architecture): New subsubsection.
2020-05-11 Richard Biener <rguenther@suse.de>
PR tree-optimization/95049

37
gcc/config/rs6000/rs6000-builtin.def
View File

@ -993,6 +993,40 @@
| RS6000_BTC_TERNARY), \
CODE_FOR_nothing) /* ICODE */
/* Miscellaneous (non-vector) builtins for instructions which may be
added at some point in the future. */
#define BU_FUTURE_MISC_0(ENUM, NAME, ATTR, ICODE) \
RS6000_BUILTIN_0 (FUTURE_BUILTIN_ ## ENUM, /* ENUM */ \
"__builtin_" NAME, /* NAME */ \
RS6000_BTM_FUTURE, /* MASK */ \
(RS6000_BTC_ ## ATTR /* ATTR */ \
| RS6000_BTC_SPECIAL), \
CODE_FOR_ ## ICODE) /* ICODE */
#define BU_FUTURE_MISC_1(ENUM, NAME, ATTR, ICODE) \
RS6000_BUILTIN_1 (FUTURE_BUILTIN_ ## ENUM, /* ENUM */ \
"__builtin_" NAME, /* NAME */ \
RS6000_BTM_FUTURE, /* MASK */ \
(RS6000_BTC_ ## ATTR /* ATTR */ \
| RS6000_BTC_UNARY), \
CODE_FOR_ ## ICODE) /* ICODE */
#define BU_FUTURE_MISC_2(ENUM, NAME, ATTR, ICODE) \
RS6000_BUILTIN_2 (FUTURE_BUILTIN_ ## ENUM, /* ENUM */ \
"__builtin_" NAME, /* NAME */ \
RS6000_BTM_FUTURE, /* MASK */ \
(RS6000_BTC_ ## ATTR /* ATTR */ \
| RS6000_BTC_BINARY), \
CODE_FOR_ ## ICODE) /* ICODE */
#define BU_FUTURE_MISC_3(ENUM, NAME, ATTR, ICODE) \
RS6000_BUILTIN_3 (FUTURE_BUILTIN_ ## ENUM, /* ENUM */ \
"__builtin_" NAME, /* NAME */ \
RS6000_BTM_FUTURE, /* MASK */ \
(RS6000_BTC_ ## ATTR /* ATTR */ \
| RS6000_BTC_TERNARY), \
CODE_FOR_ ## ICODE) /* ICODE */
#endif
@ -2539,6 +2573,9 @@ BU_P9_OVERLOAD_2 (CMPRB, "byte_in_range")
BU_P9_OVERLOAD_2 (CMPRB2, "byte_in_either_range")
BU_P9_OVERLOAD_2 (CMPEQB, "byte_in_set")
/* Future architecture scalar built-ins. */
BU_FUTURE_MISC_2 (CFUGED, "cfuged", CONST, cfuged)
/* Future architecture vector built-ins. */
BU_FUTURE_V_2 (VCLZDM, "vclzdm", CONST, vclzdm)
BU_FUTURE_V_2 (VCTZDM, "vctzdm", CONST, vctzdm)

10
gcc/config/rs6000/rs6000.md
View File

@ -148,6 +148,7 @@
UNSPEC_SI_FROM_SF
UNSPEC_PLTSEQ
UNSPEC_PLT16_HA
UNSPEC_CFUGED
])
;;
@ -2453,6 +2454,15 @@
"prty<wd> %0,%1"
[(set_attr "type" "popcnt")])
(define_insn "cfuged"
[(set (match_operand:DI 0 "gpc_reg_operand" "=r")
(unspec:DI [(match_operand:DI 1 "gpc_reg_operand" "r")
(match_operand:DI 2 "gpc_reg_operand" "r")]
UNSPEC_CFUGED))]
"TARGET_FUTURE && TARGET_64BIT"
"cfuged %0,%1,%2"
[(set_attr "type" "integer")])
(define_insn "cmpb<mode>3"
[(set (match_operand:GPR 0 "gpc_reg_operand" "=r")
(unspec:GPR [(match_operand:GPR 1 "gpc_reg_operand" "r")

22
gcc/doc/extend.texi
View File

@ -16980,6 +16980,7 @@ implementing assertions.
* Basic PowerPC Built-in Functions Available on ISA 2.06::
* Basic PowerPC Built-in Functions Available on ISA 2.07::
* Basic PowerPC Built-in Functions Available on ISA 3.0::
* Basic PowerPC Built-in Functions Available for a Future Architecture::
@end menu
This section describes PowerPC built-in functions that do not require
@ -17533,6 +17534,27 @@ the FPSCR. The instruction is a lower latency version of the @code{mffs}
instruction. If the @code{mffsl} instruction is not available, then the
builtin uses the older @code{mffs} instruction to read the FPSCR.
@node Basic PowerPC Built-in Functions Available for a Future Architecture
@subsubsection Basic PowerPC Built-in Functions Available for a Future Architecture
The basic built-in functions described in this section are
available on the PowerPC family of processors starting with a
hypothetical CPU which may or may not be available in the future, as
requested by specifying @option{-mcpu=future} on the command line.
Unless explicitly disabled on the command line,
specifying @option{-mcpu=future} has the effect of enabling all the
same options as for @option{-mcpu=power9}.
The following built-in functions are available on Linux 64-bit systems
that use a future architecture instruction set (@option{-mcpu=future}):
@smallexample
@exdent unsigned long long int
@exdent __builtin_cfuged (unsigned long long int, unsigned long long int)
@end smallexample
Perform a 64-bit centrifuge operation, as if implemented by the Future
@code{cfuged} instruction.
@findex __builtin_cfuged
@node PowerPC AltiVec/VSX Built-in Functions
@subsection PowerPC AltiVec/VSX Built-in Functions

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2020-05-11 Kelvin Nilsen <kelvin@gcc.gnu.org>
* gcc.target.powerpc/cfuged-0.c: New test.
* gcc.target.powerpc/cfuged-1.c: New test.
2020-05-11 Richard Biener <rguenther@suse.de>
PR tree-optimization/95049

50
gcc/testsuite/gcc.target/powerpc/cfuged-0.c Normal file
View File

@ -0,0 +1,50 @@
/* { dg-require-effective-target lp64 } */
/* { dg-options "-mdejagnu-cpu=future" } */
extern void abort (void);
unsigned long long int
do_cfuged (unsigned long long int source, unsigned long long int mask)
{
return __builtin_cfuged (source, mask);
}
int main (int argc, char *argv [])
{
unsigned long long int sources [4], masks [4];
unsigned long long int results [4][4] = {
/* sources[0] with each of masks [0 .. 3] */
{0x7e3ca5f0ll, 0xa5f07e3cll, 0xaf7350ecll, 0x50ecaf73ll },
/* sources[1] with each of masks [0 .. 3] */
{ 0xa5f07e3cll, 0x7e3ca5f0ll, 0x73afec50ll, 0xec5073afll },
/* sources[2] with each of masks [0 .. 3] */
{ 0xf07e3ca5ll, 0x3ca5f07ell, 0x3af7c50ell, 0xc50e3af7ll },
/* sources[3] with each of masks [0 .. 3] */
{ 0xe7c35a0fll, 0x5a0fe7c3ll, 0x50ecaf73ll, 0xaf7350ecll },
};
sources[0] = 0xa5f07e3cll;
sources[1] = 0x7e3ca5f0ll;
sources[2] = 0x3ca5f07ell;
sources[3] = 0x5a0fe7c3ll;
masks[0] = 0xffff0000ll;
masks[1] = 0x0000ffffll;
masks[2] = 0x0f0f0f0fll;
masks[3] = 0xf0f0f0f0ll;
unsigned long long int result;
for (int i = 0; i < 4; i++)
{
for (int j = 0; j < 4; j++)
{
if (do_cfuged (sources[i], masks[j]) != results [i][j])
abort ();
}
}
return 0;
}
/* { dg-final { scan-assembler {\mcfuged\M} } } */

50
gcc/testsuite/gcc.target/powerpc/cfuged-1.c Normal file
View File

@ -0,0 +1,50 @@
/* { dg-do run } */
/* { dg-require-effective-target lp64 } */
/* { dg-require-effective-target powerpc_future_hw } */
/* { dg-options "-mdejagnu-cpu=future" } */
extern void abort (void);
unsigned long long int
do_cfuged (unsigned long long int source, unsigned long long int mask)
{
return __builtin_cfuged (source, mask);
}
int main (int argc, char *argv [])
{
unsigned long long int sources [4], masks [4];
unsigned long long int results [4][4] = {
/* sources[0] with each of masks [0 .. 3] */
{0x7e3ca5f0ll, 0xa5f07e3cll, 0xaf7350ecll, 0x50ecaf73ll },
/* sources[1] with each of masks [0 .. 3] */
{ 0xa5f07e3cll, 0x7e3ca5f0ll, 0x73afec50ll, 0xec5073afll },
/* sources[2] with each of masks [0 .. 3] */
{ 0xf07e3ca5ll, 0x3ca5f07ell, 0x3af7c50ell, 0xc50e3af7ll },
/* sources[3] with each of masks [0 .. 3] */
{ 0xe7c35a0fll, 0x5a0fe7c3ll, 0x50ecaf73ll, 0xaf7350ecll },
};
sources[0] = 0xa5f07e3cll;
sources[1] = 0x7e3ca5f0ll;
sources[2] = 0x3ca5f07ell;
sources[3] = 0x5a0fe7c3ll;
masks[0] = 0xffff0000ll;
masks[1] = 0x0000ffffll;
masks[2] = 0x0f0f0f0fll;
masks[3] = 0xf0f0f0f0ll;
unsigned long long int result;
for (int i = 0; i < 4; i++)
{
for (int j = 0; j < 4; j++)
{
if (do_cfuged (sources[i], masks[j]) != results [i][j])
abort ();
}
}
return 0;
}