1 /* { dg-do compile } */
2 /* { dg-options "-mips32" } */
3 /* { dg-final { scan-assembler-not "\tsynci" } } */
4 /* { dg-final { scan-assembler-not "\tjr.hb" } } */
5 /* { dg-final { scan-assembler "_flush_cache|mips_sync_icache|_cacheflush" } } */
6 
f()7 void f()
8 {
9   int size = 40;
10   char *memory = __builtin_alloca(size);
11   __builtin___clear_cache(memory, memory + size);
12 }
13 
14