re PR target/31167 (ICE wnen using __int128_t on x86_64)
PR target/31167 * config/i386/i386.md (*addti3_1, *addti3_1 splitter): Use x86_64_general_operand as operand[2] predicate. Remove "iF" from operand constraints and use "e" constraint instead. (*subti3_1, *subti3_1 splitter): Ditto. (*negti2_1, *negti2_1 splitter): Use nonimmediate_operand as operand[1] predicate. testsuite/ChangeLog PR target/31167 * gcc.target/i386/pr31167.c: New test. From-SVN: r122945
This commit is contained in:
parent
36d3fb4cfe
commit
68b8830aa0
|
@ -1,3 +1,13 @@
|
||||||
|
2007-03-15 Uros Bizjak <ubizjak@gmail.com>
|
||||||
|
|
||||||
|
PR target/31167
|
||||||
|
* config/i386/i386.md (*addti3_1, *addti3_1 splitter): Use
|
||||||
|
x86_64_general_operand as operand[2] predicate. Remove "iF"
|
||||||
|
from operand constraints and use "e" constraint instead.
|
||||||
|
(*subti3_1, *subti3_1 splitter): Ditto.
|
||||||
|
(*negti2_1, *negti2_1 splitter): Use nonimmediate_operand as
|
||||||
|
operand[1] predicate.
|
||||||
|
|
||||||
2007-03-14 Sebastian Pop <sebastian.pop@inria.fr>
|
2007-03-14 Sebastian Pop <sebastian.pop@inria.fr>
|
||||||
|
|
||||||
* tree-loop-linear.c (gather_interchange_stats): For multidimensional
|
* tree-loop-linear.c (gather_interchange_stats): For multidimensional
|
||||||
|
|
|
@ -5048,7 +5048,7 @@
|
||||||
(define_insn "*addti3_1"
|
(define_insn "*addti3_1"
|
||||||
[(set (match_operand:TI 0 "nonimmediate_operand" "=r,o")
|
[(set (match_operand:TI 0 "nonimmediate_operand" "=r,o")
|
||||||
(plus:TI (match_operand:TI 1 "nonimmediate_operand" "%0,0")
|
(plus:TI (match_operand:TI 1 "nonimmediate_operand" "%0,0")
|
||||||
(match_operand:TI 2 "general_operand" "roiF,riF")))
|
(match_operand:TI 2 "x86_64_general_operand" "roe,re")))
|
||||||
(clobber (reg:CC FLAGS_REG))]
|
(clobber (reg:CC FLAGS_REG))]
|
||||||
"TARGET_64BIT && ix86_binary_operator_ok (PLUS, TImode, operands)"
|
"TARGET_64BIT && ix86_binary_operator_ok (PLUS, TImode, operands)"
|
||||||
"#")
|
"#")
|
||||||
|
@ -5056,7 +5056,7 @@
|
||||||
(define_split
|
(define_split
|
||||||
[(set (match_operand:TI 0 "nonimmediate_operand" "")
|
[(set (match_operand:TI 0 "nonimmediate_operand" "")
|
||||||
(plus:TI (match_operand:TI 1 "nonimmediate_operand" "")
|
(plus:TI (match_operand:TI 1 "nonimmediate_operand" "")
|
||||||
(match_operand:TI 2 "general_operand" "")))
|
(match_operand:TI 2 "x86_64_general_operand" "")))
|
||||||
(clobber (reg:CC FLAGS_REG))]
|
(clobber (reg:CC FLAGS_REG))]
|
||||||
"TARGET_64BIT && reload_completed"
|
"TARGET_64BIT && reload_completed"
|
||||||
[(parallel [(set (reg:CC FLAGS_REG) (unspec:CC [(match_dup 1) (match_dup 2)]
|
[(parallel [(set (reg:CC FLAGS_REG) (unspec:CC [(match_dup 1) (match_dup 2)]
|
||||||
|
@ -6782,7 +6782,7 @@
|
||||||
(define_insn "*subti3_1"
|
(define_insn "*subti3_1"
|
||||||
[(set (match_operand:TI 0 "nonimmediate_operand" "=r,o")
|
[(set (match_operand:TI 0 "nonimmediate_operand" "=r,o")
|
||||||
(minus:TI (match_operand:TI 1 "nonimmediate_operand" "0,0")
|
(minus:TI (match_operand:TI 1 "nonimmediate_operand" "0,0")
|
||||||
(match_operand:TI 2 "general_operand" "roiF,riF")))
|
(match_operand:TI 2 "x86_64_general_operand" "roe,re")))
|
||||||
(clobber (reg:CC FLAGS_REG))]
|
(clobber (reg:CC FLAGS_REG))]
|
||||||
"TARGET_64BIT && ix86_binary_operator_ok (MINUS, TImode, operands)"
|
"TARGET_64BIT && ix86_binary_operator_ok (MINUS, TImode, operands)"
|
||||||
"#")
|
"#")
|
||||||
|
@ -6790,7 +6790,7 @@
|
||||||
(define_split
|
(define_split
|
||||||
[(set (match_operand:TI 0 "nonimmediate_operand" "")
|
[(set (match_operand:TI 0 "nonimmediate_operand" "")
|
||||||
(minus:TI (match_operand:TI 1 "nonimmediate_operand" "")
|
(minus:TI (match_operand:TI 1 "nonimmediate_operand" "")
|
||||||
(match_operand:TI 2 "general_operand" "")))
|
(match_operand:TI 2 "x86_64_general_operand" "")))
|
||||||
(clobber (reg:CC FLAGS_REG))]
|
(clobber (reg:CC FLAGS_REG))]
|
||||||
"TARGET_64BIT && reload_completed"
|
"TARGET_64BIT && reload_completed"
|
||||||
[(parallel [(set (reg:CC FLAGS_REG) (compare:CC (match_dup 1) (match_dup 2)))
|
[(parallel [(set (reg:CC FLAGS_REG) (compare:CC (match_dup 1) (match_dup 2)))
|
||||||
|
@ -9684,7 +9684,7 @@
|
||||||
|
|
||||||
(define_insn "*negti2_1"
|
(define_insn "*negti2_1"
|
||||||
[(set (match_operand:TI 0 "nonimmediate_operand" "=ro")
|
[(set (match_operand:TI 0 "nonimmediate_operand" "=ro")
|
||||||
(neg:TI (match_operand:TI 1 "general_operand" "0")))
|
(neg:TI (match_operand:TI 1 "nonimmediate_operand" "0")))
|
||||||
(clobber (reg:CC FLAGS_REG))]
|
(clobber (reg:CC FLAGS_REG))]
|
||||||
"TARGET_64BIT
|
"TARGET_64BIT
|
||||||
&& ix86_unary_operator_ok (NEG, TImode, operands)"
|
&& ix86_unary_operator_ok (NEG, TImode, operands)"
|
||||||
|
@ -9692,7 +9692,7 @@
|
||||||
|
|
||||||
(define_split
|
(define_split
|
||||||
[(set (match_operand:TI 0 "nonimmediate_operand" "")
|
[(set (match_operand:TI 0 "nonimmediate_operand" "")
|
||||||
(neg:TI (match_operand:TI 1 "general_operand" "")))
|
(neg:TI (match_operand:TI 1 "nonimmediate_operand" "")))
|
||||||
(clobber (reg:CC FLAGS_REG))]
|
(clobber (reg:CC FLAGS_REG))]
|
||||||
"TARGET_64BIT && reload_completed"
|
"TARGET_64BIT && reload_completed"
|
||||||
[(parallel
|
[(parallel
|
||||||
|
|
|
@ -1,3 +1,8 @@
|
||||||
|
2007-03-15 Uros Bizjak <ubizjak@gmail.com>
|
||||||
|
|
||||||
|
PR target/31167
|
||||||
|
* gcc.target/i386/pr31167.c: New test.
|
||||||
|
|
||||||
2007-03-15 Paul Thomas <pault@gcc.gnu.org>
|
2007-03-15 Paul Thomas <pault@gcc.gnu.org>
|
||||||
|
|
||||||
PR fortran/30922
|
PR fortran/30922
|
||||||
|
|
|
@ -0,0 +1,20 @@
|
||||||
|
/* { dg-do compile { target x86_64-*-* } } */
|
||||||
|
/* { dg-options "-O" } */
|
||||||
|
|
||||||
|
typedef int int32_t;
|
||||||
|
|
||||||
|
int32_t round32hi (const __int128_t arg)
|
||||||
|
{
|
||||||
|
const int SHIFT = 96;
|
||||||
|
const int mshift = 96;
|
||||||
|
const __int128_t M = (~(__int128_t) 0) << mshift;
|
||||||
|
const __int128_t L = (~M) + 1;
|
||||||
|
const __int128_t L1 = ((__int128_t) L) >> 1;
|
||||||
|
const __int128_t Mlo = ((__int128_t) (~M)) >> 1;
|
||||||
|
__int128_t vv = arg & M;
|
||||||
|
|
||||||
|
if ((arg & (L1)) && ((arg & Mlo) || (arg & L)))
|
||||||
|
vv += L;
|
||||||
|
|
||||||
|
return (int32_t) (vv >> SHIFT);
|
||||||
|
}
|
Loading…
Reference in New Issue