From ac19a30334bd8d3638079c8a54d1473218744fa1 Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Tue, 2 Dec 2014 13:09:13 +0000 Subject: match.pd: When combining divisions exclude the degenerate case involving INT_MIN from... 2014-12-02 Richard Biener * match.pd: When combining divisions exclude the degenerate case involving INT_MIN from overflow handling. * gcc.dg/torture/20141202-1.c: New testcase. From-SVN: r218269 --- gcc/ChangeLog | 5 +++++ gcc/match.pd | 4 +++- gcc/testsuite/ChangeLog | 4 ++++ gcc/testsuite/gcc.dg/torture/20141202-1.c | 15 +++++++++++++++ 4 files changed, 27 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/gcc.dg/torture/20141202-1.c (limited to 'gcc') diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 09a5416..2bf3bce 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2014-12-02 Richard Biener + + * match.pd: When combining divisions exclude the degenerate + case involving INT_MIN from overflow handling. + 2014-12-02 Wilco Dijkstra * ira-costs.c (scan_one_insn): Improve spill cost adjustment. diff --git a/gcc/match.pd b/gcc/match.pd index b36aa2f..6c225b4 100644 --- a/gcc/match.pd +++ b/gcc/match.pd @@ -140,7 +140,9 @@ along with GCC; see the file COPYING3. If not see } (if (!overflow_p) (div @0 { wide_int_to_tree (type, mul); })) - (if (overflow_p) + (if (overflow_p + && (TYPE_UNSIGNED (type) + || mul != wi::min_value (TYPE_PRECISION (type), SIGNED))) { build_zero_cst (type); })))) /* Optimize A / A to 1.0 if we don't care about diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 1410f10..00da0bd 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2014-12-02 Richard Biener + + * gcc.dg/torture/20141202-1.c: New testcase. + 2014-12-02 H.J. Lu PR ipa/63814 diff --git a/gcc/testsuite/gcc.dg/torture/20141202-1.c b/gcc/testsuite/gcc.dg/torture/20141202-1.c new file mode 100644 index 0000000..0ea6369 --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/20141202-1.c @@ -0,0 +1,15 @@ +/* { dg-do run } */ + +extern void abort (void); + +int foo (int x) +{ + return (x / 2) / ((-__INT_MAX__ - 1) / -2); +} + +int main() +{ + if (foo (- __INT_MAX__ - 1) != -1) + abort (); + return 0; +} -- cgit v1.1