mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-02-14 13:10:51 +08:00
Code Issues Packages Projects Releases Wiki Activity

loop-iv.c (canon_condition): Generalize to all types of integer constant.

Browse Source 
gcc/
	* loop-iv.c (canon_condition): Generalize to all types of integer
	constant.

From-SVN: r222571
This commit is contained in:
Richard Sandiford 2015-04-29 11:12:17 +00:00 committed by Richard Sandiford
parent 917c68f565
commit 674dd7103b
2 changed files with 27 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ChangeLog
View File

@ -1,3 +1,8 @@
2015-04-29 Richard Sandiford <richard.sandiford@arm.com>
* loop-iv.c (canon_condition): Generalize to all types of integer
constant.
2015-04-29 Bernhard Reuther-Fischer <aldot@gcc.gnu.org>
* gimple-walk.c: Prune duplicate or unneeded includes.

41
gcc/loop-iv.c
View File

@ -1729,39 +1729,42 @@ canon_condition (rtx cond)
mode = GET_MODE (op1);
gcc_assert (mode != VOIDmode);
if (CONST_INT_P (op1)
&& GET_MODE_CLASS (mode) != MODE_CC
&& GET_MODE_BITSIZE (mode) <= HOST_BITS_PER_WIDE_INT)
if (CONST_SCALAR_INT_P (op1) && GET_MODE_CLASS (mode) != MODE_CC)
{
HOST_WIDE_INT const_val = INTVAL (op1);
unsigned HOST_WIDE_INT uconst_val = const_val;
unsigned HOST_WIDE_INT max_val
= (unsigned HOST_WIDE_INT) GET_MODE_MASK (mode);
rtx_mode_t const_val (op1, mode);
switch (code)
{
case LE:
if ((unsigned HOST_WIDE_INT) const_val != max_val >> 1)
code = LT, op1 = gen_int_mode (const_val + 1, GET_MODE (op0));
if (wi::ne_p (const_val, wi::max_value (mode, SIGNED)))
{
code = LT;
op1 = immed_wide_int_const (wi::add (const_val, 1), mode);
}
break;
/* When cross-compiling, const_val might be sign-extended from
BITS_PER_WORD to HOST_BITS_PER_WIDE_INT */
case GE:
if ((HOST_WIDE_INT) (const_val & max_val)
!= (((HOST_WIDE_INT) 1
<< (GET_MODE_BITSIZE (GET_MODE (op0)) - 1))))
code = GT, op1 = gen_int_mode (const_val - 1, mode);
if (wi::ne_p (const_val, wi::min_value (mode, SIGNED)))
{
code = GT;
op1 = immed_wide_int_const (wi::sub (const_val, 1), mode);
}
break;
case LEU:
if (uconst_val < max_val)
code = LTU, op1 = gen_int_mode (uconst_val + 1, mode);
if (wi::ne_p (const_val, -1))
{
code = LTU;
op1 = immed_wide_int_const (wi::add (const_val, 1), mode);
}
break;
case GEU:
if (uconst_val != 0)
code = GTU, op1 = gen_int_mode (uconst_val - 1, mode);
if (wi::ne_p (const_val, 0))
{
code = GTU;
op1 = immed_wide_int_const (wi::sub (const_val, 1), mode);
}
break;
default: