1 files changed, 122 insertions, 0 deletions
diff --git a/source/xi_lib/hardcoded.ml b/source/xi_lib/hardcoded.ml
new file mode 100644
index 0000000..314fa1f
--- /dev/null
+++ b/source/xi_lib/hardcoded.ml
@@ -0,0 +1,122 @@
+open Ir
+
+let word_size = Int32.of_int 4
+let i32_0 = Int32.of_int 0
+let i32_1 = Int32.of_int 1
+let expr_0 = E_Int i32_0
+
+let preamble = String.concat "\n"
+  [ ".data"
+  ; "endline: .asciiz \"\\n\""
+  ; "endmessage: .asciiz \"Exit code: \""
+  ; ""
+  ; ".text"
+  ; ".set noat"
+  ; ""
+  ; "main:"
+  ; "   add $sp, $sp, -4"
+  ; "   sw $ra, 4($sp)"
+  ; "   jal _I_main__i"
+  ; "   move $a1, $v0"
+
+  ; "   la $a0, endmessage"
+  ; "   li $v0, 4"
+  ; "   syscall"
+
+  ; "   li $v0, 1"
+  ; "   move $a0, $a1"
+  ; "   syscall"
+
+  ; "   la $a0, endline"
+  ; "   li $v0, 4"
+  ; "   syscall"
+
+  ; "   lw $ra, 4($sp)"
+  ; "   add $sp, $sp, 4"
+  ; "   jr $ra"
+  ; ""
+  ; "_xi_length:"
+  ; "   lw $v0, -4($a0)"
+  ; "   jr $ra"
+  ; ""
+  ; "_xi_concat:"
+  ; "   # t0 = lhs"
+  ; "   # t1 = rhs"
+  ; "   move $t0, $a0"
+  ; "   move $t1, $a1"
+  ; "   # t2 = len(lhs)"
+  ; "   # t3 = len(rhs)"
+  ; "   lw $t2, -4($t0)"
+  ; "   lw $t3, -4($t1)"
+  ; "   # t4 = len(lhs) + len(rhs)"
+  ; "   addu $t4, $t2, $t3"
+  ; "   # v0 = malloc(4*t4+4) "
+  ; "   li $t5, 4"
+  ; "   mul $a0, $t4, $t5"
+  ; "   addiu $a0, $a0, 4"
+  ; "   li $v0, 9"
+  ; "   syscall"
+  ; "   addiu $v0, $v0, 4"
+  ; "   sw $t4, -4($v0)"
+  ; "   move $v1, $v0"
+  ; "   XL0:"
+  ; "   beq $zero, $t2, XL1"
+  ; "   lw $t4, 0($t0)"
+  ; "   sw $t4, 0($v1)"
+  ; "   addiu $t2, $t2, -1"
+  ; "   addiu $t0, $t0, 4"
+  ; "   addiu $v1, $v1, 4"
+  ; "   j XL0"
+  ; "   XL1:"
+  ; "   beq $zero, $t3, XL2"
+  ; "   lw $t4, 0($t1)"
+  ; "   sw $t4, 0($v1)"
+  ; "   addiu $t3, $t3, -1"
+  ; "   addiu $t1, $t1, 4"
+  ; "   addiu $v1, $v1, 4"
+  ; "   j XL1"
+  ; "   XL2:"
+  ; "   jr $ra"
+  ; ""
+  ; "_xi_alloc:"
+  ; "   li $v0, 9"
+  ; "   syscall"
+  ; "   jr $ra"
+  ; ""
+  ; "_I_printString_ai_:"
+  ; "   # t0 = len a0"
+  ; "   move $t1, $a0"
+  ; "   lw $t0, -4($t1)"
+  ; "   mul $a0, $t0, 4"
+  ; "   addiu $a0, $a0, 2"
+  ; "   li $v0, 9"
+  ; "   syscall"
+  ; "   move $a0, $v0"
+  ; "   move $v1, $v0"
+  ; "   XL10:"
+  ; "   beq $zero, $t0, XL11"
+  ; "   lw $t2, 0($t1)"
+  ; "   sb $t2, 0($v1)"
+  ; "   addiu $t0, $t0, -1"
+  ; "   addu $t1, $t1, 4"
+  ; "   addu $v1, $v1, 1"
+  ; "   j XL10"
+  ; "   XL11:"
+  ; "   li $t0, 10"
+  ; "   sb $t0, 0($v1)"
+  ; "   sb $zero, 1($v1)"
+  ; "   li $v0, 4"
+  ; "   syscall"
+  ; "   jr $ra"
+  ; ""
+  ; ""
+  ; "_I_printInt_i_:"
+  ; "   li $v0, 1"
+  ; "   syscall"
+  ; "   li $v0, 4"
+  ; "   la $a0, endline"
+  ; "   syscall"
+  ; "   jr $ra"
+  ; ""
+  ; ""
+  ]
\ No newline at end of file