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

diff options

Diffstat (limited to 'sib.pdf')

0 files changed, 0 insertions, 0 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 - 512array.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-light"> <style type="text/css">  </style> <script type='text/javascript'>  </script> </head> <body onload='JumpToLine();'> <a href='https://github.com/akkartik/mu/blob/main/512array.mu'>https://github.com/akkartik/mu/blob/main/512array.mu</a> <pre id='vimCodeElement'> 1 # Inserting and deleting in arrays. 2 # 3 # The primitives here just do the work of making space and compacting. 4 5 fn <a href='512array.mu.html#L5'>slide-up</a> _a: (addr array int), start: int, end: int, target: int { 6 var a/esi: (addr array int) <- copy _a 7 var src-idx/ecx: int <- copy start 8 var dest-idx/edx: int <- copy target 9 # if start == target, nothing to do 10 { 11 compare src-idx, dest-idx 12 break-if-!= 13 return 14 } 15 # if start < target, abort 16 { 17 compare src-idx, dest-idx 18 break-if-> 19 <a href='317abort.subx.html#L5'>abort</a> "slide-up: target > start; use <a href='512array.mu.html#L35'>slide-down</a> instead" 20 } 21 # perform the copy 22 { 23 compare src-idx, end 24 break-if->= 25 var dest/ebx: (addr int) <- index a, dest-idx 26 var src/eax: (addr int) <- index a, src-idx 27 var val/eax: int <- copy *src 28 copy-to *dest, val 29 src-idx <- increment 30 dest-idx <- increment 31 loop 32 } 33 } 34 35 fn <a href='512array.mu.html#L35'>slide-down</a> _a: (addr array int), start: int, end: int, target: int { 36 var a/esi: (addr array int) <- copy _a 37 var src-idx/ecx: int <- copy end 38 src-idx <- decrement 39 var dest-idx/edx: int <- copy target 40 dest-idx <- add end 41 dest-idx <- subtract start 42 dest-idx <- decrement 43 # if start == target, nothing to do 44 { 45 compare src-idx, dest-idx 46 break-if-!= 47 return 48 } 49 # if start > target, abort 50 { 51 compare src-idx, dest-idx 52 break-if-< 53 <a href='317abort.subx.html#L5'>abort</a> "slide-down: target < start; use <a href='512array.mu.html#L35'>slide-down</a> instead" 54 } 55 # perform the copy 56 { 57 compare src-idx, start 58 break-if-< 59 var dest/ebx: (addr int) <- index a, dest-idx 60 var src/eax: (addr int) <- index a, src-idx 61 var val/eax: int <- copy *src 62 copy-to *dest, val 63 src-idx <- decrement 64 dest-idx <- decrement 65 loop 66 } 67 } 68 69 fn <a href='512array.mu.html#L69'>test-slide-up</a> { 70 <a href='512array.mu.html#L105'>check-slide-up</a> "0 1 2 3 0", 1/start 1/end, 0/target, "0 1 2 3 0", "F - <a href='512array.mu.html#L69'>test-slide-up</a>/empty-interval" 71 <a href='512array.mu.html#L105'>check-slide-up</a> "0 1 2 3 0", 1/start 2/end, 0/target, "1 1 2 3 0", "F - <a href='512array.mu.html#L69'>test-slide-up</a>/single-non-overlapping" 72 <a href='512array.mu.html#L105'>check-slide-up</a> "0 0 0 1 2 3 0", 3/start 6/end, 0/target, "1 2 3 1 2 3 0", "F - <a href='512array.mu.html#L69'>test-slide-up</a>/multiple-non-overlapping" 73 <a href='512array.mu.html#L105'>check-slide-up</a> "0 1 2 3 0", 1/start 4/end, 0/target, "1 2 3 3 0", "F - <a href='512array.mu.html#L69'>test-slide-up</a>/overlapping" 74 } 75 76 fn <a href='512array.mu.html#L76'>test-slide-down</a> { 77 <a href='512array.mu.html#L114'>check-slide-down</a> "0 1 2 3 0", 1/start 1/end, 4/target, "0 1 2 3 0", "F - <a href='512array.mu.html#L76'>test-slide-down</a>/empty-interval" 78 <a href='512array.mu.html#L114'>check-slide-down</a> "0 1 2 3 0", 1/start 2/end, 4/target, "0 1 2 3 1", "F - <a href='512array.mu.html#L76'>test-slide-down</a>/single-non-overlapping" 79 <a href='512array.mu.html#L114'>check-slide-down</a> "0 1 2 3 0 0 0", 1/start 4/end, 4/target, "0 1 2 3 1 2 3", "F - <a href='512array.mu.html#L76'>test-slide-down</a>/multiple-non-overlapping" 80 <a href='512array.mu.html#L114'>check-slide-down</a> "0 1 2 3 0", 1/start 4/end, 2/target, "0 1 1 2 3", "F - <a href='512array.mu.html#L76'>test-slide-down</a>/overlapping" 81 } 82 83 # Return the index that val is at. 84 # If not found, return len-1. 85 # That way the result is always a valid index to pass into slide-down. 86 fn <a href='512array.mu.html#L86'>find-slide-down-slot-in-array</a> _a: (addr array int), _val: int -> _/ecx: int { 87 var a/esi: (addr array int) <- copy _a 88 var val/ebx: int <- copy _val 89 var max/edx: int <- length a 90 max <- decrement 91 var i/ecx: int <- copy 0 92 { 93 compare i, max 94 break-if->= 95 var curr/eax: (addr int) <- index a, i 96 compare *curr, val 97 break-if-= 98 i <- increment 99 loop 100 } 101 return i 102 } 103 104 # helpers for tests 105 fn <a href='512array.mu.html#L105'>check-slide-up</a> before: (addr array byte), start: int, end: int, target: int, after: (addr array byte), msg: (addr array byte) { 106 var arr-h: (handle array int) 107 var arr-ah/eax: (addr handle array int) <- address arr-h 108 <a href='311decimal-int.subx.html#L623'>parse-array-of-decimal-ints</a> before, arr-ah 109 var arr/eax: (addr array int) <- <a href='120allocate.subx.html#L235'>lookup</a> *arr-ah 110 <a href='512array.mu.html#L5'>slide-up</a> arr, start, end, target 111 <a href='301array-equal.subx.html#L382'>check-array-equal</a> arr, after, msg 112 } 113 114 fn <a href='512array.mu.html#L114'>check-slide-down</a> before: (addr array byte), start: int, end: int, target: int, after: (addr array byte), msg: (addr array byte) { 115 var arr-h: (handle array int) 116 var arr-ah/eax: (addr handle array int) <- address arr-h 117 <a href='311decimal-int.subx.html#L623'>parse-array-of-decimal-ints</a> before, arr-ah 118 var arr/eax: (addr array int) <- <a href='120allocate.subx.html#L235'>lookup</a> *arr-ah 119 <a href='512array.mu.html#L35'>slide-down</a> arr, start, end, target 120 <a href='301array-equal.subx.html#L382'>check-array-equal</a> arr, after, msg 121 } </pre> </body> </html>


context:
space:
mode: