1 files changed, 8 insertions, 0 deletions
diff --git a/test/monniaux/k1_builtins/test_k1_builtins.c b/test/monniaux/k1_builtins/test_k1_builtins.c
index 261eedc2..db90d4ea 100644
--- a/test/monniaux/k1_builtins/test_k1_builtins.c
+++ b/test/monniaux/k1_builtins/test_k1_builtins.c
@@ -10,3 +10,11 @@ void test_system_regs(void) {
 void test_loads(void *addr) {
   __builtin_k1_ldu(addr);
 }
+
+void test_stops(void) {
+  __builtin_k1_await();
+  __builtin_k1_sleep();
+  __builtin_k1_stop();
+  __builtin_k1_barrier();
+  __builtin_k1_fence();
+}