Viewing file:  peep2-andu2.c (1.25 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* { dg-do assemble } */
/* { dg-final { scan-assembler "movu.w \\\$r10,\\\$|movu.w 2047," } } */
/* { dg-final { scan-assembler "and.w 2047,\\\$|and.d \\\$r10," } } */
/* { dg-final { scan-assembler-not "move.d \\\$r10,\\\$" } } */
/* { dg-final { scan-assembler "movu.b \\\$r10,\\\$|movu.b 95," } } */
/* { dg-final { scan-assembler "and.b 95,\\\$|and.d \\\$r10," } } */
/* { dg-final { scan-assembler "andq -2,\\\$" } } */
/* { dg-final { scan-assembler-not "movu.b 254,\\\$" } } */
/* { dg-options "-O2 -save-temps" } */
/* Originally used to test the "andu" peephole2 trivially, register operand.
Due to reload changes (r186861), the suboptimal sequence isn't
generated and the peephole2 doesn't trig for this trivial code
anymore. Another minimal sequence is generated, where the constant
is loaded to a free register first. Instead another case is exposed;
handled by the "andqu" peephole2, trigged by and_peep2_q (the andq
and scan-assembler-not-movu.b lines above). */
unsigned int
and_peep2_hi (unsigned int y, unsigned int *x)
{
*x = y & 0x7ff;
return y;
}
unsigned int
and_peep2_qi (unsigned int y, unsigned int *x)
{
*x = y & 0x5f;
return y;
}
unsigned int
and_peep2_q (unsigned int y, unsigned int *x)
{
*x = y & 0xfe;
return y;
}
|
