1 files changed, 12 insertions, 0 deletions
diff --git a/ci-tests/customcsr.c b/ci-tests/customcsr.c
new file mode 100644
index 0000000..7d02689
--- /dev/null
+++ b/ci-tests/customcsr.c
@@ -0,0 +1,12 @@
+#include <stdio.h>
+
+int main() {
+  int x = 1;
+  //            dummycsr
+  asm("csrr %0, 0xfff" : "=r"(x));
+  if (x == 42)
+    printf("Executed successfully\n");
+  else
+    printf("FAIL. Got value: %d instead of 42\n", x);
+  return 0;
+}