OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

ipa-reference.c (analyze_function): Consider also addresses taken in phi nodes.

Browse Source 
* ipa-reference.c (analyze_function): Consider also addresses taken
	in phi nodes.

	* gcc.dg/20070112-1.c: New test.

From-SVN: r120757
This commit is contained in:
Zdenek Dvorak 2007-01-13 19:12:39 +00:00
parent 8f0d85d6e8
commit 2a134b7364
4 changed files with 49 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ChangeLog
View File

@ -1,3 +1,8 @@
2007-01-13 Zdenek Dvorak <dvorakz@suse.cz>
* ipa-reference.c (analyze_function): Consider also addresses taken
in phi nodes.
2007-01-12 Roger Sayle <roger@eyesopen.com>
* c-typeck.c (null_pointer_constant_p): Replace use of

15
gcc/ipa-reference.c
View File

@ -807,6 +807,21 @@ analyze_function (struct cgraph_node *fn)
FOR_EACH_BB_FN (this_block, this_cfun)
{
block_stmt_iterator bsi;
tree phi, op;
use_operand_p use;
ssa_op_iter iter;
/* Find the addresses taken in phi node arguments. */
for (phi = phi_nodes (this_block); phi; phi = PHI_CHAIN (phi))
{
FOR_EACH_PHI_ARG (use, phi, iter, SSA_OP_USE)
{
op = USE_FROM_PTR (use);
if (TREE_CODE (op) == ADDR_EXPR)
check_rhs_var (l, op);
}
}
for (bsi = bsi_start (this_block); !bsi_end_p (bsi); bsi_next (&bsi))
walk_tree (bsi_stmt_ptr (bsi), scan_for_static_refs,
fn, visited_nodes);

6
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,7 @@
2007-01-13 Zdenek Dvorak <dvorakz@suse.cz>
* gcc.dg/20070112-1.c: New test.
2007-01-12 Jerry DeLisle <jvdelisle@gcc.gnu.org>
PR libgfortran/30435
@ -5,7 +9,7 @@
2007-01-12 Olga Golovanevsky <olga@il.ibm.com>
* gcc.dg/torture/pr24750-1.c: Add prototype of free.
* gcc.dg/torture/pr24750-1.c: Add prototype of free.
2007-01-12 Tom Tromey <tromey@redhat.com>

24
gcc/testsuite/gcc.dg/20070112-1.c Normal file
View File

@ -0,0 +1,24 @@
/* We used to ICE on this testcase: the address of bad_spill_regs is
only taken in a phi node, which we missed and cleared its TREE_ADDRESSABLE
flag. This gets revealed when the loop is completely unrolled, thus
exposing the addresses as ordinary statements. */
/* { dg-do compile } */
/* { dg-options "-O1" } */
typedef unsigned HARD_REG_SET[2];
static HARD_REG_SET bad_spill_regs;
void
order_regs_for_reload ()
{
register int i;
register unsigned *scan_tp_ = bad_spill_regs;
for (i = 0; i < 2; i++)
*scan_tp_++ = 0;
bad_spill_regs[0] |= 1;
}