summary refs log tree commit diff
path: root/source/xi_lib/hardcoded.ml
blob: 37cf1d74f97b814a577489dcc01c3ab6794835ef (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
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_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"
  ; ""
  ; ""
  ]