Subversion Repositories openrisc

/* { 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;

}