git
/
gcc
mirror of git://gcc.gnu.org/git/gcc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

re PR target/64358 (Wrong code for __int128 operations in powerpc64le) 

PR target/64358
	* config/rs6000/rs6000.c (rs6000_split_logical_inner): Swap the
	input operands if only the second is inverted.
	* config/rs6000/rs6000.md (*boolc<mode>3_internal1 for BOOL_128):
	Swap BOOL_REGS_OP1 and BOOL_REGS_OP2.  Correct arguments to
	rs6000_split_logical.
	(*boolc<mode>3_internal2 for TI2): Swap operands[1] and operands[2].

From-SVN: r218989
This commit is contained in:
Segher Boessenkool 2014-12-20 16:37:06 +01:00 committed by Segher Boessenkool
parent 9836f82e7a
commit 2f40404fb3
3 changed files with 20 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
gcc/ChangeLog
View File

@ -1,3 +1,13 @@
2014-12-20 Segher Boessenkool <segher@kernel.crashing.org>
PR target/64358
* config/rs6000/rs6000.c (rs6000_split_logical_inner): Swap the
input operands if only the second is inverted.
* config/rs6000/rs6000.md (*boolc<mode>3_internal1 for BOOL_128):
Swap BOOL_REGS_OP1 and BOOL_REGS_OP2. Correct arguments to
rs6000_split_logical.
(*boolc<mode>3_internal2 for TI2): Swap operands[1] and operands[2].
2014-12-20 Martin Uecker <uecker@eecs.berkeley.edu> 2014-12-20 Martin Uecker <uecker@eecs.berkeley.edu>
* doc/invoke.texi: Document -Wdiscarded-array-qualifiers. * doc/invoke.texi: Document -Wdiscarded-array-qualifiers.

4
gcc/config/rs6000/rs6000.c
View File

@ -33167,6 +33167,10 @@ rs6000_split_logical_inner (rtx dest,
if (complement_op2_p) if (complement_op2_p)
op2 = gen_rtx_NOT (mode, op2); op2 = gen_rtx_NOT (mode, op2);
/* For canonical RTL, if only one arm is inverted it is the first. */
if (!complement_op1_p && complement_op2_p)
std::swap (op1, op2);
bool_rtx = ((code == NOT) bool_rtx = ((code == NOT)
? gen_rtx_NOT (mode, op1) ? gen_rtx_NOT (mode, op1)
: gen_rtx_fmt_ee (code, mode, op1, op2)); : gen_rtx_fmt_ee (code, mode, op1, op2));

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

@ -7558,8 +7558,8 @@
[(set (match_operand:BOOL_128 0 "vlogical_operand" "=<BOOL_REGS_OUTPUT>") [(set (match_operand:BOOL_128 0 "vlogical_operand" "=<BOOL_REGS_OUTPUT>")
(match_operator:BOOL_128 3 "boolean_operator" (match_operator:BOOL_128 3 "boolean_operator"
[(not:BOOL_128 [(not:BOOL_128
(match_operand:BOOL_128 2 "vlogical_operand" "<BOOL_REGS_OP1>")) (match_operand:BOOL_128 2 "vlogical_operand" "<BOOL_REGS_OP2>"))
(match_operand:BOOL_128 1 "vlogical_operand" "<BOOL_REGS_OP2>")]))] (match_operand:BOOL_128 1 "vlogical_operand" "<BOOL_REGS_OP1>")]))]
"TARGET_P8_VECTOR || (GET_CODE (operands[3]) == AND)" "TARGET_P8_VECTOR || (GET_CODE (operands[3]) == AND)"
{ {
if (TARGET_VSX && vsx_register_operand (operands[0], <MODE>mode)) if (TARGET_VSX && vsx_register_operand (operands[0], <MODE>mode))
@ -7574,7 +7574,7 @@
&& reload_completed && int_reg_operand (operands[0], <MODE>mode)" && reload_completed && int_reg_operand (operands[0], <MODE>mode)"
[(const_int 0)] [(const_int 0)]
{ {
rs6000_split_logical (operands, GET_CODE (operands[3]), false, true, false); rs6000_split_logical (operands, GET_CODE (operands[3]), false, false, true);
DONE; DONE;
} }
[(set (attr "type") [(set (attr "type")
@ -7595,14 +7595,14 @@
[(set (match_operand:TI2 0 "int_reg_operand" "=&r,r,r") [(set (match_operand:TI2 0 "int_reg_operand" "=&r,r,r")
(match_operator:TI2 3 "boolean_operator" (match_operator:TI2 3 "boolean_operator"
[(not:TI2 [(not:TI2
(match_operand:TI2 1 "int_reg_operand" "r,0,r")) (match_operand:TI2 2 "int_reg_operand" "r,0,r"))
(match_operand:TI2 2 "int_reg_operand" "r,r,0")]))] (match_operand:TI2 1 "int_reg_operand" "r,r,0")]))]
"!TARGET_P8_VECTOR && (GET_CODE (operands[3]) != AND)" "!TARGET_P8_VECTOR && (GET_CODE (operands[3]) != AND)"
"#" "#"
"reload_completed && !TARGET_P8_VECTOR && (GET_CODE (operands[3]) != AND)" "reload_completed && !TARGET_P8_VECTOR && (GET_CODE (operands[3]) != AND)"
[(const_int 0)] [(const_int 0)]
{ {
rs6000_split_logical (operands, GET_CODE (operands[3]), false, true, false); rs6000_split_logical (operands, GET_CODE (operands[3]), false, false, true);
DONE; DONE;
} }
[(set_attr "type" "integer") [(set_attr "type" "integer")