diff options
| author | Richard Guenther <rguenther@suse.de> | 2010-06-27 11:16:46 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2010-06-27 11:16:46 +0000 |
| commit | 533e50f6ac9ee21fe5bcb223e8d6693466836d80 (patch) | |
| tree | b7e95918730899c33bd9f074f1909b234f57fc0c /gcc | |
| parent | 41a961e9918868f227325d767ce55c01c8171093 (diff) | |
| download | gcc-533e50f6ac9ee21fe5bcb223e8d6693466836d80.zip gcc-533e50f6ac9ee21fe5bcb223e8d6693466836d80.tar.gz gcc-533e50f6ac9ee21fe5bcb223e8d6693466836d80.tar.bz2 | |
re PR tree-optimization/44683 (Optimization bug with copysign builtin)
2010-06-27 Richard Guenther <rguenther@suse.de>
PR tree-optimization/44683
* tree-ssa-dom.c (record_edge_info): Record equivalences for the
false edge from the inverted condition.
* gcc.c-torture/execute/pr44683.c: New testcase.
From-SVN: r161467
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/execute/pr44683.c | 18 | ||||
| -rw-r--r-- | gcc/tree-ssa-dom.c | 4 |
4 files changed, 31 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 1281858..5a6908c 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,11 @@ 2010-06-27 Richard Guenther <rguenther@suse.de> + PR tree-optimization/44683 + * tree-ssa-dom.c (record_edge_info): Record equivalences for the + false edge from the inverted condition. + +2010-06-27 Richard Guenther <rguenther@suse.de> + PR middle-end/44684 * tree-ssa-alias.c (refs_may_alias_p_1): Allow SSA name refs. (stmt_may_clobber_ref_p_1): Do not bother to call the oracle diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 04fad302..75a47a2 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2010-06-27 Richard Guenther <rguenther@suse.de> + + PR tree-optimization/44683 + * gcc.c-torture/execute/pr44683.c: New testcase. + 2010-06-27 Eric Botcazou <ebotcazou@adacore.com> * gnat.dg/noreturn3.ad[sb]: New test. diff --git a/gcc/testsuite/gcc.c-torture/execute/pr44683.c b/gcc/testsuite/gcc.c-torture/execute/pr44683.c new file mode 100644 index 0000000..d0fd446 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/pr44683.c @@ -0,0 +1,18 @@ +int __attribute__((noinline,noclone)) +copysign_bug (double x) +{ + if (x != 0.0 && (x * 0.5 == x)) + return 1; + if (__builtin_copysign(1.0, x) < 0.0) + return 2; + else + return 3; +} +int main(void) +{ + double x = -0.0; + if (copysign_bug (x) != 2) + __builtin_abort (); + return 0; +} + diff --git a/gcc/tree-ssa-dom.c b/gcc/tree-ssa-dom.c index d15df31..6833820 100644 --- a/gcc/tree-ssa-dom.c +++ b/gcc/tree-ssa-dom.c @@ -1635,7 +1635,7 @@ record_edge_info (basic_block bb) edge_info = allocate_edge_info (false_edge); record_conditions (edge_info, inverted, cond); - if (code == NE_EXPR) + if (TREE_CODE (inverted) == EQ_EXPR) { edge_info->lhs = op1; edge_info->rhs = op0; @@ -1662,7 +1662,7 @@ record_edge_info (basic_block bb) edge_info = allocate_edge_info (false_edge); record_conditions (edge_info, inverted, cond); - if (TREE_CODE (cond) == NE_EXPR) + if (TREE_CODE (inverted) == EQ_EXPR) { edge_info->lhs = op0; edge_info->rhs = op1; |