From cdb5ec57d700c5409c0717bb99258a5effed9601 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Thu, 11 Apr 2019 09:28:59 +0200
Subject: wfxl / wfxm

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

(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
new file mode 100644
index 00000000..9aa6873b
--- /dev/null
+++ b/test/monniaux/k1_builtins/test_k1_builtins.c
@@ -0,0 +1,8 @@
+#include <mppa_bare_runtime/k1c/registers.h>
+
+void test_system_regs(void) {
+  __builtin_k1_wfxl(K1_SFR_EV4, 0x1000ULL);
+  __builtin_k1_wfxm(K1_SFR_EV4, 0x2000ULL);
+  __builtin_k1_get(K1_SFR_EV4);
+  __builtin_k1_set(K1_SFR_EV4, 0x4000ULL);
+}
-- 
cgit