From: rearnsha Date: Mon, 9 May 2005 22:09:47 +0000 (+0000) Subject: * arm.c (const_ok_for_arm): Use a faster algorithm. X-Git-Tag: upstream/4.9.2~61344 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=eaae9d8ca40f3f3e37ec395c5531bcf3b0e15506;p=platform%2Fupstream%2Flinaro-gcc.git * arm.c (const_ok_for_arm): Use a faster algorithm. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@99476 138bc75d-0d04-0410-961f-82ee72b054a4 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index e78b8ae..4f0f859 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2005-05-09 Richard Earnshaw + + * arm.c (const_ok_for_arm): Use a faster algorithm. + 2005-05-09 David Edelsohn PR target/21477 diff --git a/gcc/config/arm/arm.c b/gcc/config/arm/arm.c index 6b84d77..905187a 100644 --- a/gcc/config/arm/arm.c +++ b/gcc/config/arm/arm.c @@ -1531,8 +1531,8 @@ use_return_insn (int iscond, rtx sibling) int const_ok_for_arm (HOST_WIDE_INT i) { - unsigned HOST_WIDE_INT mask = ~(unsigned HOST_WIDE_INT)0xFF; - + int lowbit; + /* For machines with >32 bit HOST_WIDE_INT, the bits above bit 31 must be all zero, or all one. */ if ((i & ~(unsigned HOST_WIDE_INT) 0xffffffff) != 0 @@ -1541,19 +1541,24 @@ const_ok_for_arm (HOST_WIDE_INT i) & ~(unsigned HOST_WIDE_INT) 0xffffffff))) return FALSE; - /* Fast return for 0 and powers of 2 */ - if ((i & (i - 1)) == 0) + i &= (unsigned HOST_WIDE_INT) 0xffffffff; + + /* Fast return for 0 and small values. We must do this for zero, since + the code below can't handle that one case. */ + if ((i & ~(unsigned HOST_WIDE_INT) 0xff) == 0) return TRUE; - do - { - if ((i & mask & (unsigned HOST_WIDE_INT) 0xffffffff) == 0) - return TRUE; - mask = - (mask << 2) | ((mask & (unsigned HOST_WIDE_INT) 0xffffffff) - >> (32 - 2)) | ~(unsigned HOST_WIDE_INT) 0xffffffff; - } - while (mask != ~(unsigned HOST_WIDE_INT) 0xFF); + /* Get the number of trailing zeros, rounded down to the nearest even + number. */ + lowbit = (ffs ((int) i) - 1) & ~1; + + if ((i & ~(((unsigned HOST_WIDE_INT) 0xff) << lowbit)) == 0) + return TRUE; + else if (lowbit <= 4 + && ((i & ~0xc000003f) == 0 + || (i & ~0xf000000f) == 0 + || (i & ~0xfc000003) == 0)) + return TRUE; return FALSE; }