mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-16 13:21:04 +08:00
Code Issues Packages Projects Releases Wiki Activity

loop-invariant.c (create_new_invariant): Don't calculate address cost if mode is not a scalar integer.

Browse Source 
2015-05-19  David Sherwood  <david.sherwood@arm.com>

	* loop-invariant.c (create_new_invariant): Don't calculate address cost
	if mode is not a scalar integer.
	(get_inv_cost): Increase computational cost for unused invariants.

	* gcc.dg/loop-invariant.c: New testcase.

From-SVN: r223402
This commit is contained in:
David Sherwood 2015-05-19 17:37:45 +00:00 committed by Jeff Law
parent 0aaaa54a73
commit 315a349c27
4 changed files with 59 additions and 2 deletions

6
gcc/ChangeLog

@ -1,3 +1,9 @@
2015-05-19 David Sherwood <david.sherwood@arm.com>
* loop-invariant.c (create_new_invariant): Don't calculate address cost
if mode is not a scalar integer.
(get_inv_cost): Increase computational cost for unused invariants.
2015-05-19 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
* config.gcc: Add vecintrin.h to extra_headers. Add s390-c.o to

8
gcc/loop-invariant.c

@ -741,8 +741,11 @@ create_new_invariant (struct def *def, rtx_insn *insn, bitmap depends_on,
enough to not regress 410.bwaves either (by still moving reg+reg
invariants).
See http://gcc.gnu.org/ml/gcc-patches/2009-10/msg01210.html . */
inv->cheap_address = address_cost (SET_SRC (set), word_mode,
ADDR_SPACE_GENERIC, speed) < 3;
if (SCALAR_INT_MODE_P (GET_MODE (SET_DEST (set))))
inv->cheap_address = address_cost (SET_SRC (set), word_mode,
ADDR_SPACE_GENERIC, speed) < 3;
else
inv->cheap_address = false;
}
else
{
@ -1173,6 +1176,7 @@ get_inv_cost (struct invariant *inv, int *comp_cost, unsigned *regs_needed,
}
if (!inv->cheap_address
|| inv->def->n_uses == 0
|| inv->def->n_addr_uses < inv->def->n_uses)
(*comp_cost) += inv->cost * inv->eqno;

4
gcc/testsuite/ChangeLog

@ -1,3 +1,7 @@
2015-05-19 David Sherwood <david.sherwood@arm.com>
* gcc.dg/loop-invariant.c: New testcase.
2015-05-19 Andreas Krebbel <krebbel@linux.vnet.ibm.com>
* gcc.dg/tree-ssa/gen-vect-11b.c: Disable vector instructions on

43
gcc/testsuite/gcc.dg/loop-invariant.c Normal file

@ -0,0 +1,43 @@
/* { dg-do compile { target x86_64-*-* } } */
/* { dg-options "-O2 -fdump-rtl-loop2_invariant" } */
/* NOTE: The target list above could be extended to other targets that have
conditional moves, but don't have zero registers. */
enum test_type
{
TYPE0,
TYPE1
};
struct type_node
{
enum test_type type;
};
struct test_ref
{
struct type_node *referring;
};
struct test_node
{
struct test_node *next;
};
int iterate (struct test_node *, unsigned, struct test_ref **);
int
loop_invar (struct test_node *node)
{
struct test_ref *ref;
for (unsigned i = 0; iterate (node, i, &ref); i++)
if (loop_invar ((ref->referring && ref->referring->type == TYPE0)
? ((struct test_node *) (ref->referring)) : 0))
return 1;
return 0;
}
/* { dg-final { scan-rtl-dump "Decided to move invariant" "loop2_invariant" } } */
/* { dg-final { cleanup-rtl-dump "loop2_invariant" } } */