This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [PR72835] Incorrect arithmetic optimization involving bitfield arguments


On Wed, Aug 10, 2016 at 07:42:25AM +1000, kugan wrote:
> There was no new regression while testing. I also moved the testcase from
> gcc.dg/torture/pr72835.c to gcc.dg/tree-ssa/pr72835.c. Is this OK for trunk?

This looks strange.  The tree-ssa-reassoc.c code has been trying to never
reuse SSA_NAMEs if they would hold a different value.
So there should be no resetting of flow sensitive info needed.

> gcc/testsuite/ChangeLog:
> 
> 2016-08-10  Kugan Vivekanandarajah  <kuganv@linaro.org>
> 
> 	PR tree-optimization/72835
> 	* gcc.dg/tree-ssa/pr72835.c: New test.
> 
> gcc/ChangeLog:
> 
> 2016-08-10  Kugan Vivekanandarajah  <kuganv@linaro.org>
> 
> 	PR tree-optimization/72835
> 	* tree-ssa-reassoc.c (rewrite_expr_tree): Reset value_range of LHS when
> 	operands are changed.
> 	(rewrite_expr_tree_parallel): Likewise.

	Jakub


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]