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

re PR middle-end/25529 ((unsigned * 2)/2 is not changed into unsigned &0x7FFFFFFF)

Browse Source 
PR middle-end/25529
2015-07-24  Naveen H.S  <Naveen.Hurugalawadi@caviumnetworks.com>

gcc/testsuite/ChangeLog:
	* gcc.dg/pr25529.c: New test.

gcc/ChangeLog:
	* match.pd (trunc_div (mult @0 integer_pow2p@1) @1) : New simplifier.

From-SVN: r226136
This commit is contained in:
Naveen H.S 2015-07-24 04:47:48 +00:00 committed by Naveen H.S
parent 390875e694
commit 887ab60965
4 changed files with 31 additions and 1 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-07-24 Naveen H.S <Naveen.Hurugalawadi@caviumnetworks.com>
PR middle-end/25529
* match.pd (trunc_div (mult @0 integer_pow2p@1) @1) : New simplifier.
2015-07-23 Kugan Vivekanandarajah <kuganv@linaro.org>
* config/arm/arm.c (arm_emit_movpair): Add REG_EQUAL notes to

11
gcc/match.pd
View File

@ -29,7 +29,8 @@ along with GCC; see the file COPYING3. If not see
integer_each_onep integer_truep
real_zerop real_onep real_minus_onep
CONSTANT_CLASS_P
tree_expr_nonnegative_p)
tree_expr_nonnegative_p
integer_pow2p)
/* Operator lists. */
(define_operator_list tcc_comparison
@ -280,6 +281,14 @@ along with GCC; see the file COPYING3. If not see
&& integer_pow2p (@2) && tree_int_cst_sgn (@2) > 0)
(bit_and @0 (convert (minus @1 { build_int_cst (TREE_TYPE (@1), 1); }))))))
/* Simplify (unsigned t * 2)/2 -> unsigned t & 0x7FFFFFFF. */
(simplify
(trunc_div (mult @0 integer_pow2p@1) @1)
(if (TYPE_UNSIGNED (TREE_TYPE (@0)))
(bit_and @0 { wide_int_to_tree
(type, wi::mask (TYPE_PRECISION (type) - wi::exact_log2 (@1),
false, TYPE_PRECISION (type))); })))
/* X % Y is smaller than Y. */
(for cmp (lt ge)
(simplify

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2015-07-24 Naveen H.S <Naveen.Hurugalawadi@caviumnetworks.com>
PR middle-end/25529
* gcc.dg/pr25529.c: New test.
2015-07-23 Kugan Vivekanandarajah <kuganv@linaro.org>
* gcc.target/arm/reg_equal_test.c: New test.

11
gcc/testsuite/gcc.dg/pr25529.c Normal file
View File

@ -0,0 +1,11 @@
/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-optimized" } */
/* { dg-require-effective-target int32 } */
int
f (unsigned t)
{
return (t * 2) / 2;
}
/* { dg-final { scan-tree-dump "\& 2147483647" "optimized" } } */