1  /* Verify that we generate isync instruction with builtin function.  */
       2  
       3  /* { dg-do compile }  */
       4  /* { dg-options "-O0" }  */
       5  /* { dg-final { scan-assembler "\\tisync" } }  */
       6  
       7  void
       8  test (void)
       9  {
      10    int *addr = (int *) 0x53000000;
      11    __builtin_nds32_isync (addr);
      12  }