Rules and supporting files for building aarch64_small monomorphised Isabelle

1 files changed, 3 insertions, 0 deletions

diff --git a/aarch64_small/mono-splices/SignExtend.sail b/aarch64_small/mono-splices/SignExtend.sail
new file mode 100644
index 00000000..6a263563
--- /dev/null
+++ b/aarch64_small/mono-splices/SignExtend.sail
@@ -0,0 +1,3 @@
+function SignExtend (N,x) = {
+  return(extsv(x))
+}