tree-ssa-math-opts.c (is_widening_mult_p): Remove FIXME.

2011-08-19  Andrew Stubbs  <ams@codesourcery.com>

	gcc/
	* tree-ssa-math-opts.c (is_widening_mult_p): Remove FIXME.
	Ensure the the larger type is the first operand.

	gcc/testsuite/
	* gcc.target/arm/wmul-7.c: New file.

From-SVN: r177906
This commit is contained in:
Andrew Stubbs 2011-08-19 14:41:34 +00:00 committed by Andrew Stubbs
parent db719f507b
commit ff63d754c1
4 changed files with 31 additions and 3 deletions

View File

@ -1,3 +1,8 @@
2011-08-19 Andrew Stubbs <ams@codesourcery.com>
* tree-ssa-math-opts.c (is_widening_mult_p): Remove FIXME.
Ensure the the larger type is the first operand.
2011-08-19 Andrew Stubbs <ams@codesourcery.com>
* tree-ssa-math-opts.c (convert_mult_to_widen): Convert

View File

@ -1,3 +1,7 @@
2011-08-19 Andrew Stubbs <ams@codesourcery.com>
* gcc.target/arm/wmul-7.c: New file.
2011-08-19 Andrew Stubbs <ams@codesourcery.com>
* gcc.target/arm/wmul-6.c: New file.

View File

@ -0,0 +1,11 @@
/* { dg-do compile } */
/* { dg-options "-O2" } */
/* { dg-require-effective-target arm_dsp } */
unsigned long long
foo (unsigned long long a, unsigned char *b, unsigned short *c)
{
return a + *b * *c;
}
/* { dg-final { scan-assembler "umlal" } } */

View File

@ -2054,9 +2054,17 @@ is_widening_mult_p (gimple stmt,
*type2_out = *type1_out;
}
/* FIXME: remove this restriction. */
if (TYPE_PRECISION (*type1_out) != TYPE_PRECISION (*type2_out))
return false;
/* Ensure that the larger of the two operands comes first. */
if (TYPE_PRECISION (*type1_out) < TYPE_PRECISION (*type2_out))
{
tree tmp;
tmp = *type1_out;
*type1_out = *type2_out;
*type2_out = tmp;
tmp = *rhs1_out;
*rhs1_out = *rhs2_out;
*rhs2_out = tmp;
}
return true;
}