blob: 682070b5ef936ce209b8e64893dd0004f016c7c6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
/* { 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;
}
|
