1  /* { dg-do compile } */
       2  
       3  void clkgen_switch(unsigned int base, unsigned int offset, int val)
       4  {
       5    volatile  unsigned int __attribute__ ((uncached)) *dest =
       6      (volatile unsigned int __attribute__ ((uncached)) *) (base + offset);
       7    *dest = val;
       8  }
       9  /* { dg-final { scan-assembler-times "st\.di" 2 } } */