1 files changed, 7 insertions, 0 deletions
diff --git a/aarch64/mono/SignExtend__0.sail b/aarch64/mono/SignExtend__0.sail
new file mode 100644
index 00000000..1d5449c9
--- /dev/null
+++ b/aarch64/mono/SignExtend__0.sail
@@ -0,0 +1,7 @@
+val SignExtend__0 : forall ('M : Int) ('N : Int), 'M >= 0 & 'N >= 0.
+  (bits('M), atom('N)) -> bits('N) effect {escape}
+
+function SignExtend__0 (x, N) = {
+  assert('N >= 'M);
+  return(extsv(x))
+}