gimple-fold.c (arith_code_with_undefined_signed_overflow): Add ABS_EXPR.
authorRichard Biener <rguenther@suse.de>
Wed, 22 May 2019 07:26:32 +0000 (07:26 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Wed, 22 May 2019 07:26:32 +0000 (07:26 +0000)
commit8e2c037d24c51e0333b1fad90c61d5526a963446
treed35548003da1fa16cfa37c16eaff03ecbee13e7e
parente154242724b084380e3221df7c08fcdbd8460674
gimple-fold.c (arith_code_with_undefined_signed_overflow): Add ABS_EXPR.

2019-05-22  Richard Biener  <rguenther@suse.de>

* gimple-fold.c (arith_code_with_undefined_signed_overflow):
Add ABS_EXPR.
(rewrite_to_defined_overflow): Handle rewriting ABS_EXPR
as ABSU_EXPR.

* gcc.dg/tree-ssa/ssa-lim-13.c: New testcase.

From-SVN: r271501
gcc/ChangeLog
gcc/gimple-fold.c
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/ssa-lim-13.c [new file with mode: 0644]