about summary refs log tree commit diff stats
path: root/mu-init.subx
blob: 74d90b7a9c7bde0d436a5c4c2d39585f396d94fb (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
# Initialize the minimal runtime for Mu programs.
#
# See translate_mu for how this file is used.
#
# Mu programs start at a function called 'main' with this signature:
#   fn main args: (addr array (addr array byte)) -> exit-status/ebx: int
# If your program doesn't need commandline arguments you can drop it:
#   fn main -> exit-status/ebx: int
#
# Notice that the output must be in ebx, so that the exit() syscall can pick
# it up.

== code

Entry:
    # we don't use ebp in Entry; just initialize it
    bd/copy-to-ebp 0/imm32
    # - save argc and argv
    # var argc-and-argv/esi
    89/<- %esi 4/r32/esp
$Entry:initialize-heap:
    # - initialize the heap
    (new-segment *Heap-size Heap)
$Entry:initialize-args:
    # - convert argv from null-terminated 'kernel' strings to length-prefixed Mu strings
    # var argc/edx: int
    8b/-> *esi 2/r32/edx
    # argc is in words; convert it to bytes
    c1/shift 4/subop/left %edx 2/imm8
    # var tmp/eax: handle
    68/push 0/imm32
    68/push 0/imm32
    89/<- %eax 4/r32/esp
    # var args/edi: (addr array (addr array byte))
    (allocate-array Heap %edx %eax)
    8b/-> *(eax+4) 7/r32/edi
    # var curr/ecx: (addr kernel-string) = argv
    8d/copy-address *(esi+4) 1/r32/ecx
    # var max/edx: (addr kernel-string) = argv+4+argc
    8d/copy-address *(ecx+edx) 2/r32/edx
    # var dest/esi: (addr (addr array byte)) = args+4
    8d/copy-address *(edi+4) 6/r32/esi
    {
      # if (curr >= max) break
      39/compare %ecx 2/r32/edx
      73/jump-if-addr>= break/disp8
      # *dest = kernel-string-to-string(*curr)
      (kernel-string-to-string Heap *ecx)  # => eax
      89/<- *esi 0/r32/eax
      # curr += 4
      81 0/subop/add %ecx 4/imm32
      # dest += 4
      81 0/subop/add %esi 4/imm32
      #
      eb/jump loop/disp8
    }
    # - run Mu program
    (main %edi)  # => ebx
    # - exit
    (syscall_exit)