| /* { dg-do compile } */ | |
| /* Check 'uncached' type attribute. */ | |
| typedef volatile unsigned int RwReg __attribute__ ((uncached)); | |
| typedef struct { | |
| RwReg UART_THR; | |
| int SIDE_DISH; | |
| } UART; | |
| void uart_putc(UART *port, char c) | |
| { | |
| port->UART_THR = c; | |
| port->SIDE_DISH = c; | |
| } | |
| /* { dg-final { scan-assembler-times "st\.di" 1 } } */ |