create verifiable assembly for hello world

andrew-johnson-4 · Aug 9, 2024 · 1dfb5b8 · 1dfb5b8
1 parent 515e55a
commit 1dfb5b8
Showing 1 changed file with 29 additions and 0 deletions.
diff --git a/tests/regress/hello_world.s.v b/tests/regress/hello_world.s.v
@@ -0,0 +1,29 @@
+.global _start
+.text
+_start:
+	push %rbp
+	mov %rsp, %rbp
+	call main
+	mov %rbp, %rsp
+	pop %rbp
+	mov $60, %rax
+	mov $0, %rdi
+	syscall
+main:
+#Call Fragment mov : Arrow<Cons<Constant+Literal+Sized<8>,Constant+Reg64>,Nil>
+	mov $1, %RAX
+#Call Fragment mov : Arrow<Cons<Constant+Literal+Sized<8>,Constant+Reg64>,Nil>
+	mov $1, %RDI
+#Call Fragment mov : Arrow<Cons<Constant+Literal+Sized<8>,Constant+Reg64>,Nil>
+	mov $uuid_0000000000007838, %RSI
+#Call Fragment mov : Arrow<Cons<Constant+Literal+Sized<8>,Constant+Reg64>,Nil>
+	mov $11, %RDX
+#Call Fragment syscall : Arrow<Nil,Nil>
+	syscall
+	mov %rbp, %rsp
+	sub $8, %rsp
+	ret
+.data
+uuid_0000000000007838:
+	.ascii "hello_world"
+	.zero 1