1  /* { dg-do assemble } */
       2  /* { dg-options "-O" } */
       3  
       4  void test_flushd (unsigned char* p1, unsigned char* p2)
       5  {
       6    __builtin_flushd (p1);
       7    __builtin_flushd (p2);
       8    __builtin_flushd (p2 + 1);
       9    __builtin_flushd (p2 + 2);
      10    __builtin_flushd (p2 + 2047);
      11    __builtin_flushd (p2 + 2048);
      12  }
      13  
      14  void test_flushda (unsigned char* p1, unsigned char* p2)
      15  {
      16    __builtin_flushda (p1);
      17    __builtin_flushda (p2);
      18    __builtin_flushda (p2 + 1);
      19    __builtin_flushda (p2 + 2);
      20    __builtin_flushda (p2 + 2047);
      21    __builtin_flushda (p2 + 2048);
      22  }