From 71bfa128316019b0199db87acdf31deb9f9e7405 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Thu, 11 Apr 2019 12:14:33 +0200
Subject: some more builtins

---
 test/monniaux/k1_builtins/test_k1_builtins.c | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'test/monniaux/k1_builtins')

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();
+}
-- 
cgit