From: Diego Novillo Date: Fri, 4 Nov 2005 19:56:28 +0000 (+0000) Subject: re PR tree-optimization/24627 (xntp miscompiled) X-Git-Tag: releases/gcc-4.1.0~1053 X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=8b1062b24b37fcda9a94ad655e73e9352abcd3a0;p=thirdparty%2Fgcc.git re PR tree-optimization/24627 (xntp miscompiled) PR 24627 * tree-ssa-dce.c (pass_dce, pass_dce_loop, pass_cd_dce): Use TODO_update_ssa instead of TODO_update_ssa_no_phi. testsuite/ PR 24627 * gcc.dg/tree-ssa/pr24627.c: New test. From-SVN: r106502 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index efcd296333c6..b7c1bb9a6658 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2005-11-03 Diego Novillo + + PR 24627 + * tree-ssa-dce.c (pass_dce, pass_dce_loop, pass_cd_dce): Use + TODO_update_ssa instead of TODO_update_ssa_no_phi. + 2005-11-04 Sebastian Pop PR/18595 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 06c38e650bb4..7e49aa243385 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2005-11-04 Diego Novillo + + PR 24627 + * gcc.dg/tree-ssa/pr24627.c: New test. + 2005-11-04 Paul Brook * gcc.dg/tls/opt-10.c: New test. diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr24627.c b/gcc/testsuite/gcc.dg/tree-ssa/pr24627.c new file mode 100644 index 000000000000..011410cbb37f --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/pr24627.c @@ -0,0 +1,66 @@ +/* { dg-do run } */ +/* { dg-options "-O" } */ + +extern void abort (void); +typedef unsigned int u_int32; + +typedef struct { + union {u_int32 Xl_ui;} Ul_i; + union {u_int32 Xl_uf;} Ul_f; +} l_fp; + +void +dolfptoa (short ndec) +{ + l_fp work, ftmp; + + work.Ul_i.Xl_ui = 0; + work.Ul_f.Xl_uf = 0x535f3d8; + + while (ndec > 0) + { + u_int32 lo_tmp; + u_int32 hi_tmp; + + ndec--; + work.Ul_i.Xl_ui = 0; + work.Ul_i.Xl_ui <<= 1; + if ((work.Ul_f.Xl_uf) & 0x80000000) + (work.Ul_i.Xl_ui) |= 0x1; + (work.Ul_f.Xl_uf) <<= 1; + + ftmp = work; + (work.Ul_i.Xl_ui) <<= 1; + if ((work.Ul_f.Xl_uf) & 0x80000000) + (work.Ul_i.Xl_ui) |= 0x1; + (work.Ul_f.Xl_uf) <<= 1; + + (work.Ul_i.Xl_ui) <<= 1; + if ((work.Ul_f.Xl_uf) & 0x80000000) + (work.Ul_i.Xl_ui) |= 0x1; + (work.Ul_f.Xl_uf) <<= 1; + + lo_tmp = ((work.Ul_f.Xl_uf) & 0xffff) + ((ftmp.Ul_f.Xl_uf) & 0xffff); + hi_tmp = (((work.Ul_f.Xl_uf) >> 16) & 0xffff) + + (((ftmp.Ul_f.Xl_uf) >> 16) & 0xffff); + + if (lo_tmp & 0x10000) + hi_tmp++; + + (work.Ul_f.Xl_uf) = ((hi_tmp & 0xffff) << 16) | (lo_tmp & 0xffff); + (work.Ul_i.Xl_ui) += (ftmp.Ul_i.Xl_ui); + + if (hi_tmp & 0x10000) + (work.Ul_i.Xl_ui)++; + + + if (!(work.Ul_i.Xl_ui < 10)) + abort (); + } +} + +int main() +{ + dolfptoa(6); + return 0; +} diff --git a/gcc/tree-ssa-dce.c b/gcc/tree-ssa-dce.c index ebdbc25ba129..24738feca32f 100644 --- a/gcc/tree-ssa-dce.c +++ b/gcc/tree-ssa-dce.c @@ -977,7 +977,7 @@ struct tree_opt_pass pass_dce = 0, /* properties_destroyed */ 0, /* todo_flags_start */ TODO_dump_func - | TODO_update_ssa_no_phi + | TODO_update_ssa | TODO_cleanup_cfg | TODO_ggc_collect | TODO_verify_ssa, /* todo_flags_finish */ @@ -998,7 +998,7 @@ struct tree_opt_pass pass_dce_loop = 0, /* properties_destroyed */ 0, /* todo_flags_start */ TODO_dump_func - | TODO_update_ssa_no_phi + | TODO_update_ssa | TODO_cleanup_cfg | TODO_verify_ssa, /* todo_flags_finish */ 0 /* letter */ @@ -1018,7 +1018,7 @@ struct tree_opt_pass pass_cd_dce = 0, /* properties_destroyed */ 0, /* todo_flags_start */ TODO_dump_func - | TODO_update_ssa_no_phi + | TODO_update_ssa | TODO_cleanup_cfg | TODO_ggc_collect | TODO_verify_ssa