From 12fda46d3bcf919c1ee2c423c1ddee6b14d0d94a Mon Sep 17 00:00:00 2001
From: Andrew Pinski <pinskia@gcc.gnu.org>
Date: Tue, 23 Dec 2008 08:21:32 -0800
Subject: [PATCH] [multiple changes]
2008-12-23 Andrew Pinski <pinski@gmail.com>
PR middle-end/38590
* fold-const.c (fold_binary): Call fold_convert on arguments to
fold_build2 for negative divide optimization.
2008-12-23 Andrew Pinski <pinskia@gmail.com>
PR middle-end/38590
* gcc.c-torture/compile/pr38590-1.c: New testcase.
* gcc.c-torture/compile/pr38590-2.c: New testcase.
From-SVN: r142906
---
gcc/ChangeLog | 6 ++++++
gcc/fold-const.c | 7 ++++---
gcc/testsuite/ChangeLog | 6 ++++++
gcc/testsuite/gcc.c-torture/compile/pr38590-1.c | 6 ++++++
gcc/testsuite/gcc.c-torture/compile/pr38590-2.c | 6 ++++++
5 files changed, 28 insertions(+), 3 deletions(-)
create mode 100644 gcc/testsuite/gcc.c-torture/compile/pr38590-1.c
create mode 100644 gcc/testsuite/gcc.c-torture/compile/pr38590-2.c
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 690a1c95aba5..1c45c7b1b004 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2008-12-23 Andrew Pinski <pinski@gmail.com>
+
+ PR middle-end/38590
+ * fold-const.c (fold_binary): Call fold_convert on arguments to
+ fold_build2 for negative divide optimization.
+
2008-12-23 Jakub Jelinek <jakub@redhat.com>
PR middle-end/31150
diff --git a/gcc/fold-const.c b/gcc/fold-const.c
index 8c0cb1d153f9..74a0a87d3cc2 100644
--- a/gcc/fold-const.c
+++ b/gcc/fold-const.c
@@ -11678,7 +11678,7 @@ fold_binary (enum tree_code code, tree type, tree op0, tree op1)
WARN_STRICT_OVERFLOW_MISC);
return fold_build2 (code, type,
fold_convert (type, TREE_OPERAND (arg0, 0)),
- negate_expr (arg1));
+ fold_convert (type, negate_expr (arg1)));
}
if ((!INTEGRAL_TYPE_P (type) || TYPE_OVERFLOW_UNDEFINED (type))
&& TREE_CODE (arg1) == NEGATE_EXPR
@@ -11689,8 +11689,9 @@ fold_binary (enum tree_code code, tree type, tree op0, tree op1)
"when distributing negation across "
"division"),
WARN_STRICT_OVERFLOW_MISC);
- return fold_build2 (code, type, negate_expr (arg0),
- TREE_OPERAND (arg1, 0));
+ return fold_build2 (code, type,
+ fold_convert (type, negate_expr (arg0)),
+ fold_convert (type, TREE_OPERAND (arg1, 0)));
}
/* If arg0 is a multiple of arg1, then rewrite to the fastest div
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index a4f52c750096..f3e065b20602 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,9 @@
+2008-12-23 Andrew Pinski <pinskia@gmail.com>
+
+ PR middle-end/38590
+ * gcc.c-torture/compile/pr38590-1.c: New testcase.
+ * gcc.c-torture/compile/pr38590-2.c: New testcase.
+
2008-12-18 Jakub Jelinek <jakub@redhat.com>
PR middle-end/31150
diff --git a/gcc/testsuite/gcc.c-torture/compile/pr38590-1.c b/gcc/testsuite/gcc.c-torture/compile/pr38590-1.c
new file mode 100644
index 000000000000..87976546e7bb
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/pr38590-1.c
@@ -0,0 +1,6 @@
+
+int func_75 (int p_76)
+{
+ return (1 / (int) -(unsigned int)p_76);
+}
+
diff --git a/gcc/testsuite/gcc.c-torture/compile/pr38590-2.c b/gcc/testsuite/gcc.c-torture/compile/pr38590-2.c
new file mode 100644
index 000000000000..076359d749b0
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/pr38590-2.c
@@ -0,0 +1,6 @@
+
+int func_75 (int p_76)
+{
+ return (1 / (int) -(unsigned int)p_76) ? 1 : p_76;
+}
+
--
GitLab