From ac19a30334bd8d3638079c8a54d1473218744fa1 Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Tue, 2 Dec 2014 13:09:13 +0000 Subject: [PATCH] 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 diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 09a541660c5..2bf3bce9b7b 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 b36aa2fe76a..6c225b483d2 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 1410f10dacf..00da0bdbdde 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 00000000000..0ea6369f496 --- /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; +} -- 2.30.2