52 lines
991 B
C
52 lines
991 B
C
/* { dg-do run } */
|
|
/* { dg-options "-Os -fno-split-wide-types" } */
|
|
|
|
/* This testcase should uncover bugs like
|
|
PR46779
|
|
PR45291
|
|
PR41894
|
|
|
|
The inline asm just serves to direct y into the Y register.
|
|
Otherwise, it is hard to write a "stable" test case that
|
|
also fails with slight variations in source code, middle- resp.
|
|
backend.
|
|
|
|
The problem is that Y is also the frame-pointer, and
|
|
avr.c:avr_hard_regno_mode_ok disallows QI to get in Y-reg.
|
|
However, the y.a = 0 generates a
|
|
(set (subreg:QI (reg:HI pseudo)) ...)
|
|
where pseudo gets allocated to Y.
|
|
|
|
Reload fails to generate the right spill.
|
|
*/
|
|
|
|
#include <stdlib.h>
|
|
|
|
struct S
|
|
{
|
|
unsigned char a, b;
|
|
} ab = {12, 34};
|
|
|
|
void yoo (struct S y)
|
|
{
|
|
__asm volatile ("ldi %B0, 56" : "+y" (y));
|
|
y.a = 0;
|
|
__asm volatile ("; y = %0" : "+y" (y));
|
|
ab = y;
|
|
}
|
|
|
|
int main ()
|
|
{
|
|
yoo (ab);
|
|
|
|
if (ab.a != 0)
|
|
abort();
|
|
|
|
if (ab.b != 56)
|
|
abort();
|
|
|
|
exit (0);
|
|
|
|
return 0;
|
|
}
|