From 4e41783694e939decb8b35f67eee08f582c84c73 Mon Sep 17 00:00:00 2001 From: jakub Date: Wed, 13 May 2015 08:07:58 +0000 Subject: [PATCH] PR target/66112 * internal-fn.c (get_min_precision): Use UNSIGNED instead of SIGNED to get precision of non-negative value. * gcc.target/i386/pr66112-1.c: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223115 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog | 6 ++++++ gcc/internal-fn.c | 2 +- gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.target/i386/pr66112-1.c | 16 ++++++++++++++++ 4 files changed, 28 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/gcc.target/i386/pr66112-1.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 35f8197..1199ad7 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2015-05-13 Jakub Jelinek + + PR target/66112 + * internal-fn.c (get_min_precision): Use UNSIGNED instead of + SIGNED to get precision of non-negative value. + 2015-05-13 Ilya Enkovich PR target/66048 diff --git a/gcc/internal-fn.c b/gcc/internal-fn.c index 0053ed9..4eeb681 100644 --- a/gcc/internal-fn.c +++ b/gcc/internal-fn.c @@ -399,7 +399,7 @@ get_min_precision (tree arg, signop sign) } else if (sign == UNSIGNED && !wi::neg_p (arg_min, SIGNED)) { - int p = wi::min_precision (arg_max, SIGNED); + int p = wi::min_precision (arg_max, UNSIGNED); prec = MIN (prec, p); } return prec + (orig_sign != sign); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 2f83f4e..4600fe1 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2015-05-13 Jakub Jelinek + + PR target/66112 + * gcc.target/i386/pr66112-1.c: New test. + 2015-05-13 Ilya Enkovich PR target/66048 diff --git a/gcc/testsuite/gcc.target/i386/pr66112-1.c b/gcc/testsuite/gcc.target/i386/pr66112-1.c new file mode 100644 index 0000000..268990c --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/pr66112-1.c @@ -0,0 +1,16 @@ +/* PR target/66112 */ +/* { dg-do compile } */ +/* { dg-options "-O2" } */ + +unsigned int +foo (long long a, long long b) +{ + unsigned int res; + a &= ~0U; + b &= ~0U; + if (__builtin_mul_overflow (a, b, &res)) + res = 0x123U; + return res; +} + +/* { dg-final { scan-assembler "jn?o\[ \t\]" } } */ -- 2.7.4