mu - Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

diff options

-rw-r--r--

1 files changed, 1 insertions, 1 deletions

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> <html> <head> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> <title>Mu - shell/cell.mu</title> <meta name="Generator" content="Vim/8.1"> <meta name="plugin-version" content="vim8.1_v1"> <meta name="syntax" content="none"> <meta name="settings" content="number_lines,use_css,pre_wrap,no_foldcolumn,expand_tabs,line_ids,prevent_copy="> <meta name="colorscheme" content="minimal-dark"> <style type="text/css">  </style> <script type='text/javascript'>  </script> </head> <body onload='JumpToLine();'> <a href='https://github.com/akkartik/mu/blob/main/shell/cell.mu'>https://github.com/akkartik/mu/blob/main/shell/cell.mu</a> <pre id='vimCodeElement'> 1 type <a href='cell.mu.html#L1'>cell</a> { 2 type: int 3 # type 0: pair; the unit of lists, trees, DAGS or graphs 4 left: (handle <a href='cell.mu.html#L1'>cell</a>) 5 right: (handle <a href='cell.mu.html#L1'>cell</a>) 6 # type 1: number 7 number-data: float 8 # type 2: symbol 9 # type 3: stream 10 text-data: (handle stream byte) 11 # type 4: primitive function 12 index-data: int 13 # type 5: screen 14 screen-data: (handle <a href='../500fake-screen.mu.html#L14'>screen</a>) 15 # type 6: keyboard 16 keyboard-data: (handle <a href='gap-buffer.mu.html#L3'>gap-buffer</a>) 17 # TODO: array, (associative) table 18 } 19 20 fn <a href='cell.mu.html#L20'>allocate-symbol</a> _out: (addr handle <a href='cell.mu.html#L1'>cell</a>) { 21 var out/eax: (addr handle <a href='cell.mu.html#L1'>cell</a>) <- copy _out 22 <a href='../120allocate.subx.html#L43'>allocate</a> out 23 var out-addr/eax: (addr <a href='cell.mu.html#L1'>cell</a>) <- <a href='../120allocate.subx.html#L226'>lookup</a> *out 24 var type/ecx: (addr int) <- get out-addr, type 25 copy-to *type, 2/symbol 26 var dest-ah/eax: (addr handle stream byte) <- get out-addr, text-data 27 populate-stream dest-ah, 0x40/max-symbol-size 28 } 29 30 fn <a href='cell.mu.html#L30'>initialize-symbol</a> _out: (addr handle <a href='cell.mu.html#L1'>cell</a>), val: (addr array byte) { 31 var out/eax: (addr handle <a href='cell.mu.html#L1'>cell</a>) <- copy _out 32 var out-addr/eax: (addr <a href='cell.mu.html#L1'>cell</a>) <- <a href='../120allocate.subx.html#L226'>lookup</a> *out 33 var dest-ah/eax: (addr handle stream byte) <- get out-addr, text-data 34 var dest/eax: (addr stream byte) <- <a href='../120allocate.subx.html#L226'>lookup</a> *dest-ah 35 <a href='../108write.subx.html#L11'>write</a> dest, val 36 } 37 38 fn <a href='cell.mu.html#L38'>new-symbol</a> out: (addr handle <a href='cell.mu.html#L1'>cell</a>), val: (addr array byte) { 39 <a href='cell.mu.html#L20'>allocate-symbol</a> out 40 <a href='cell.mu.html#L30'>initialize-symbol</a> out, val 41 } 42 43 fn <a href='cell.mu.html#L43'>allocate-stream</a> _out: (addr handle <a href='cell.mu.html#L1'>cell</a>) { 44 var out/eax: (addr handle <a href='cell.mu.html#L1'>cell</a>) <- copy _out 45 <a href='../120allocate.subx.html#L43'>allocate</a> out 46 var out-addr/eax: (addr <a href='cell.mu.html#L1'>cell</a>) <- <a href='../120allocate.subx.html#L226'>lookup</a> *out 47 var type/ecx: (addr int) <- get out-addr, type 48 copy-to *type, 3/stream 49 var dest-ah/eax: (addr handle stream byte) <- get out-addr, text-data 50 populate-stream dest-ah, 0x40/max-stream-size 51 } 52 53 fn <a href='cell.mu.html#L53'>allocate-number</a> _out: (addr handle <a href='cell.mu.html#L1'>cell</a>) { 54 var out/eax: (addr handle <a href='cell.mu.html#L1'>cell</a>) <- copy _out 55 <a href='../120allocate.subx.html#L43'>allocate</a> out 56 var out-addr/eax: (addr <a href='cell.mu.html#L1'>cell</a>) <- <a href='../120allocate.subx.html#L226'>lookup</a> *out 57 var type/ecx: (addr int) <- get out-addr, type 58 copy-to *type, 1/number 59 } 60 61 fn <a href='cell.mu.html#L61'>initialize-integer</a> _out: (addr handle <a href='cell.mu.html#L1'>cell</a>), n: int { 62 var out/eax: (addr handle <a href='cell.mu.html#L1'>cell</a>) <- copy _out 63 var out-addr/eax: (addr <a href='cell.mu.html#L1'>cell</a>) <- <a href='../120allocate.subx.html#L226'>lookup</a> *out 64 var dest-addr/eax: (addr float) <- get out-addr, number-data 65 var src/xmm0: float <- convert n 66 copy-to *dest-addr, src 67 } 68 69 fn <a href='cell.mu.html#L69'>new-integer</a> out: (addr handle <a href='cell.mu.html#L1'>cell</a>), n: int { 70 <a href='cell.mu.html#L53'>allocate-number</a> out 71 <a href='cell.mu.html#L61'>initialize-integer</a> out, n 72 } 73 74 fn <a href='cell.mu.html#L74'>initialize-float</a> _out: (addr handle <a href='cell.mu.html#L1'>cell</a>), n: float { 75 var out/eax: (addr handle <a href='cell.mu.html#L1'>cell</a>) <- copy _out 76 var out-addr/eax: (addr <a href='cell.mu.html#L1'>cell</a>) <- <a href='../120allocate.subx.html#L226'>lookup</a> *out 77 var dest-ah/eax: (addr float) <- get out-addr, number-data 78 var src/xmm0: float <- copy n 79 copy-to *dest-ah, src 80 } 81 82 fn <a href='cell.mu.html#L82'>new-float</a> out: (addr handle <a href='cell.mu.html#L1'>cell</a>), n: float { 83 <a href='cell.mu.html#L53'>allocate-number</a> out 84 <a href='cell.mu.html#L74'>initialize-float</a> out, n 85 } 86 87 fn <a href='cell.mu.html#L87'>allocate-pair</a> out: (addr handle <a href='cell.mu.html#L1'>cell</a>) { 88 <a href='../120allocate.subx.html#L43'>allocate</a> out 89 # new cells have type pair by default 90 } 91 92 fn <a href='cell.mu.html#L92'>initialize-pair</a> _out: (addr handle <a href='cell.mu.html#L1'>cell</a>), left: (handle <a href='cell.mu.html#L1'>cell</a>), right: (handle <a href='cell.mu.html#L1'>cell</a>) { 93 var out/eax: (addr handle <a href='cell.mu.html#L1'>cell</a>) <- copy _out 94 var out-addr/eax: (addr <a href='cell.mu.html#L1'>cell</a>) <- <a href='../120allocate.subx.html#L226'>lookup</a> *out 95 var dest-ah/ecx: (addr handle <a href='cell.mu.html#L1'>cell</a>) <- get out-addr, left 96 <a href='../120allocate.subx.html#L455'>copy-handle</a> left, dest-ah 97 dest-ah <- get out-addr, right 98 <a href='../120allocate.subx.html#L455'>copy-handle</a> right, dest-ah 99 } 100 101 fn <a href='cell.mu.html#L101'>new-pair</a> out: (addr handle <a href='cell.mu.html#L1'>cell</a>), left: (handle <a href='cell.mu.html#L1'>cell</a>), right: (handle <a href='cell.mu.html#L1'>cell</a>) { 102 <a href='cell.mu.html#L87'>allocate-pair</a> out 103 <a href='cell.mu.html#L92'>initialize-pair</a> out, left, right 104 } 105 106 fn <a href='cell.mu.html#L106'>nil</a> out: (addr handle <a href='cell.mu.html#L1'>cell</a>) { 107 <a href='cell.mu.html#L87'>allocate-pair</a> out 108 } 109 110 fn <a href='cell.mu.html#L110'>allocate-primitive-function</a> _out: (addr handle <a href='cell.mu.html#L1'>cell</a>) { 111 var out/eax: (addr handle <a href='cell.mu.html#L1'>cell</a>) <- copy _out 112 <a href='../120allocate.subx.html#L43'>allocate</a> out 113 var out-addr/eax: (addr <a href='cell.mu.html#L1'>cell</a>) <- <a href='../120allocate.subx.html#L226'>lookup</a> *out 114 var type/ecx: (addr int) <- get out-addr, type 115 copy-to *type, 4/primitive-function 116 } 117 118 fn <a href='cell.mu.html#L118'>initialize-primitive-function</a> _out: (addr handle <a href='cell.mu.html#L1'>cell</a>), n: int { 119 var out/eax: (addr handle <a href='cell.mu.html#L1'>cell</a>) <- copy _out 120 var out-addr/eax: (addr <a href='cell.mu.html#L1'>cell</a>) <- <a href='../120allocate.subx.html#L226'>lookup</a> *out 121 var dest-addr/eax: (addr int) <- get out-addr, index-data 122 var src/ecx: int <- copy n 123 copy-to *dest-addr, src 124 } 125 126 fn <a href='cell.mu.html#L126'>new-primitive-function</a> out: (addr handle <a href='cell.mu.html#L1'>cell</a>), n: int { 127 <a href='cell.mu.html#L110'>allocate-primitive-function</a> out 128 <a href='cell.mu.html#L118'>initialize-primitive-function</a> out, n 129 } 130 131 fn <a href='cell.mu.html#L131'>allocate-screen</a> _out: (addr handle <a href='cell.mu.html#L1'>cell</a>) { 132 var out/eax: (addr handle <a href='cell.mu.html#L1'>cell</a>) <- copy _out 133 <a href='../120allocate.subx.html#L43'>allocate</a> out 134 var out-addr/eax: (addr <a href='cell.mu.html#L1'>cell</a>) <- <a href='../120allocate.subx.html#L226'>lookup</a> *out 135 var type/ecx: (addr int) <- get out-addr, type 136 copy-to *type, 5/screen 137 } 138 139 fn <a href='cell.mu.html#L139'>new-fake-screen</a> _out: (addr handle <a href='cell.mu.html#L1'>cell</a>), width: int, height: int, pixel-graphics?: boolean { 140 var out/eax: (addr handle <a href='cell.mu.html#L1'>cell</a>) <- copy _out 141 <a href='cell.mu.html#L131'>allocate-screen</a> out 142 var out-addr/eax: (addr <a href='cell.mu.html#L1'>cell</a>) <- <a href='../120allocate.subx.html#L226'>lookup</a> *out 143 var dest-ah/eax: (addr handle <a href='../500fake-screen.mu.html#L14'>screen</a>) <- get out-addr, screen-data 144 <a href='../120allocate.subx.html#L43'>allocate</a> dest-ah 145 var dest-addr/eax: (addr <a href='../500fake-screen.mu.html#L14'>screen</a>) <- <a href='../120allocate.subx.html#L226'>lookup</a> *dest-ah 146 <a href='../500fake-screen.mu.html#L31'>initialize-screen</a> dest-addr, width, height, pixel-graphics? 147 } 148 149 fn <a href='cell.mu.html#L149'>clear-screen-cell</a> _self-ah: (addr handle <a href='cell.mu.html#L1'>cell</a>) { 150 var self-ah/eax: (addr handle <a href='cell.mu.html#L1'>cell</a>) <- copy _self-ah 151 var self/eax: (addr <a href='cell.mu.html#L1'>cell</a>) <- <a href='../120allocate.subx.html#L226'>lookup</a> *self-ah 152 compare self, 0 153 { 154 break-if-!= 155 return 156 } 157 var screen-ah/eax: (addr handle <a href='../500fake-screen.mu.html#L14'>screen</a>) <- get self, screen-data 158 var <a href='../500fake-screen.mu.html#L14'>screen</a>/eax: (addr <a href='../500fake-screen.mu.html#L14'>screen</a>) <- <a href='../120allocate.subx.html#L226'>lookup</a> *screen-ah 159 <a href='../500fake-screen.mu.html#L230'>clear-screen</a> <a href='../500fake-screen.mu.html#L14'>screen</a> 160 } 161 162 fn <a href='cell.mu.html#L162'>allocate-keyboard</a> _out: (addr handle <a href='cell.mu.html#L1'>cell</a>) { 163 var out/eax: (addr handle <a href='cell.mu.html#L1'>cell</a>) <- copy _out 164 <a href='../120allocate.subx.html#L43'>allocate</a> out 165 var out-addr/eax: (addr <a href='cell.mu.html#L1'>cell</a>) <- <a href='../120allocate.subx.html#L226'>lookup</a> *out 166 var type/ecx: (addr int) <- get out-addr, type 167 copy-to *type, 6/keyboard 168 } 169 170 fn <a href='cell.mu.html#L170'>new-fake-keyboard</a> _out: (addr handle <a href='cell.mu.html#L1'>cell</a>), capacity: int { 171 var out/eax: (addr handle <a href='cell.mu.html#L1'>cell</a>) <- copy _out 172 <a href='cell.mu.html#L162'>allocate-keyboard</a> out 173 var out-addr/eax: (addr <a href='cell.mu.html#L1'>cell</a>) <- <a href='../120allocate.subx.html#L226'>lookup</a> *out 174 var dest-ah/eax: (addr handle <a href='gap-buffer.mu.html#L3'>gap-buffer</a>) <- get out-addr, keyboard-data 175 <a href='../120allocate.subx.html#L43'>allocate</a> dest-ah 176 var dest-addr/eax: (addr <a href='gap-buffer.mu.html#L3'>gap-buffer</a>) <- <a href='../120allocate.subx.html#L226'>lookup</a> *dest-ah 177 <a href='gap-buffer.mu.html#L11'>initialize-gap-buffer</a> dest-addr, capacity 178 } 179 180 fn <a href='cell.mu.html#L180'>rewind-keyboard-cell</a> _self-ah: (addr handle <a href='cell.mu.html#L1'>cell</a>) { 181 var self-ah/eax: (addr handle <a href='cell.mu.html#L1'>cell</a>) <- copy _self-ah 182 var self/eax: (addr <a href='cell.mu.html#L1'>cell</a>) <- <a href='../120allocate.subx.html#L226'>lookup</a> *self-ah 183 compare self, 0 184 { 185 break-if-!= 186 return 187 } 188 var keyboard-ah/eax: (addr handle <a href='gap-buffer.mu.html#L3'>gap-buffer</a>) <- get self, keyboard-data 189 var keyboard/eax: (addr <a href='gap-buffer.mu.html#L3'>gap-buffer</a>) <- <a href='../120allocate.subx.html#L226'>lookup</a> *keyboard-ah 190 <a href='gap-buffer.mu.html#L740'>rewind-gap-buffer</a> keyboard 191 } </pre> </body> </html>


context:
space:
mode: