From 2c56af2d8f791902f5ff59754c0277eddeb27a3e Mon Sep 17 00:00:00 2001 From: Kartik Agaram Date: Wed, 11 Nov 2020 23:43:04 -0800 Subject: 7227 --- html/apps/tile/table.mu.html | 257 ++++++++++++++++++++++++++++--------------- 1 file changed, 166 insertions(+), 91 deletions(-) (limited to 'html/apps/tile/table.mu.html') diff --git a/html/apps/tile/table.mu.html b/html/apps/tile/table.mu.html index 88a51f9d..5a924e7e 100644 --- a/html/apps/tile/table.mu.html +++ b/html/apps/tile/table.mu.html @@ -14,6 +14,7 @@ pre { white-space: pre-wrap; font-family: monospace; color: #000000; background- body { font-size:12pt; font-family: monospace; color: #000000; background-color: #c6c6c6; } a { color:inherit; } * { font-size:12pt; font-size: 1em; } +.CommentedCode { color: #8a8a8a; } .muComment { color: #005faf; } .LineNr { } .SpecialChar { color: #d70000; } @@ -56,97 +57,171 @@ if ('onhashchange' in window) { https://github.com/akkartik/mu/blob/master/apps/tile/table.mu 
- 1 fn initialize-table _self: (addr table), n: int {
- 2   var self/esi: (addr table) <- copy _self
- 3   var data-ah/eax: (addr handle array bind) <- get self, data
- 4   populate data-ah, n
- 5 }
- 6 
- 7 fn bind-in-table _self: (addr table), key: (addr handle array byte), val: (addr value) {
- 8   var self/esi: (addr table) <- copy _self
- 9   var data-ah/esi: (addr handle array bind) <- get self, data
-10   var _data/eax: (addr array bind) <- lookup *data-ah
-11   var data/esi: (addr array bind) <- copy _data
-12   var next-empty-slot-index/eax: (offset bind) <- next-empty-slot data, key
-13   var dest/eax: (addr bind) <- index data, next-empty-slot-index
-14   make-binding dest, key, val
-15 }
-16 
-17 # manual test: full array of binds
-18 fn next-empty-slot _data: (addr array bind), key: (addr handle array byte) -> _/eax: (offset bind) {
-19   var data/esi: (addr array bind) <- copy _data
-20   var len/ecx: int <- length data
-21   var i/edx: int <- copy 0
-22   var result/eax: (offset bind) <- copy 0
-23   $next-empty-slot:loop: {
-24     result <- compute-offset data, i
-25     compare i, len
-26     break-if->=
-27     {
-28       var target/esi: (addr bind) <- index data, result
-29       var target2/esi: (addr handle array byte) <- get target, key
-30       var target3/eax: (addr array byte) <- lookup *target2
-31       compare target3, 0
-32       break-if-= $next-empty-slot:loop
-33       # TODO: how to indicate that key already exists? we don't want to permit rebinding
-34     }
-35     i <- increment
-36     loop
-37   }
-38   return result
-39 }
-40 
-41 fn make-int-binding _self: (addr bind), key: (addr handle array byte), _val: int {
-42   var self/esi: (addr bind) <- copy _self
-43   var dest/eax: (addr handle array byte) <- get self, key
-44   copy-object key, dest
-45   var dest2/eax: (addr handle value) <- get self, value
-46   allocate dest2
-47   var dest3/eax: (addr value) <- lookup *dest2
-48   var dest4/eax: (addr int) <- get dest3, int-data
-49   var val/ecx: int <- copy _val
-50   copy-to *dest4, val
-51 }
-52 
-53 fn make-binding _self: (addr bind), key: (addr handle array byte), val: (addr value) {
-54   var self/esi: (addr bind) <- copy _self
-55   var dest/eax: (addr handle array byte) <- get self, key
-56   copy-object key, dest
-57   var dest2/eax: (addr handle value) <- get self, value
-58   allocate dest2
-59   var dest3/eax: (addr value) <- lookup *dest2
-60   copy-object val, dest3
-61 }
-62 
-63 fn lookup-binding _self: (addr table), key: (addr array byte), out: (addr handle value) {
-64   var self/esi: (addr table) <- copy _self
-65   var data-ah/esi: (addr handle array bind) <- get self, data
-66   var _data/eax: (addr array bind) <- lookup *data-ah
-67   var data/esi: (addr array bind) <- copy _data
-68   var len/edx: int <- length data
-69   var i/ebx: int <- copy 0
-70   $lookup-binding:loop: {
-71     compare i, len
-72     break-if->=
-73     {
-74       var offset/edx: (offset bind) <- compute-offset data, i
-75       var target-bind/esi: (addr bind) <- index data, offset
-76       var target2/edx: (addr handle array byte) <- get target-bind, key
-77       var target3/eax: (addr array byte) <- lookup *target2
-78       compare target3, 0
-79       break-if-= $lookup-binding:loop
-80       var is-match?/eax: boolean <- string-equal? target3, key
-81       compare is-match?, 0  # false
-82       break-if-=
-83       # found
-84       var target/eax: (addr handle value) <- get target-bind, value
-85       copy-object target, out
-86       break $lookup-binding:loop
-87     }
-88     i <- increment
-89     loop
-90   }
-91 }
+  1 fn initialize-table _self: (addr table), n: int {
+  2   var self/esi: (addr table) <- copy _self
+  3   var data-ah/eax: (addr handle array bind) <- get self, data
+  4   populate data-ah, n
+  5 }
+  6 
+  7 fn deep-copy-table _src: (addr table), _dest: (addr table) {
+  8 #?   print-string 0, "deep-copy-table\n"
+  9   var src/eax: (addr table) <- copy _src
+ 10   var src-data-ah/eax: (addr handle array bind) <- get src, data
+ 11   var _src-data/eax: (addr array bind) <- lookup *src-data-ah
+ 12   var src-data/esi: (addr array bind) <- copy _src-data
+ 13   var n/ecx: int <- length src-data
+ 14   var dest/eax: (addr table) <- copy _dest
+ 15   initialize-table dest, n
+ 16   var dest-data-ah/eax: (addr handle array bind) <- get dest, data
+ 17   var _dest-data/eax: (addr array bind) <- lookup *dest-data-ah
+ 18   var dest-data/edi: (addr array bind) <- copy _dest-data
+ 19   var i/eax: int <- copy 0
+ 20   {
+ 21     compare i, n
+ 22     break-if->=
+ 23 #?     print-string 0, "iter\n"
+ 24     $deep-copy:element: {
+ 25       var offset/edx: (offset bind) <- compute-offset src-data, i
+ 26       var src-bind/ecx: (addr bind) <- index src-data, offset
+ 27       var dest-bind/edx: (addr bind) <- index dest-data, offset
+ 28       var src-key-ah/ebx: (addr handle array byte) <- get src-bind, key
+ 29       var src-key/eax: (addr array byte) <- lookup *src-key-ah
+ 30       compare src-key, 0
+ 31       break-if-=
+ 32       # copy key
+ 33       var dest-key-ah/eax: (addr handle array byte) <- get dest-bind, key
+ 34       copy-object src-key-ah, dest-key-ah
+ 35       # deep copy value
+ 36       var src-val-ah/eax: (addr handle value) <- get src-bind, value
+ 37       var _src-val/eax: (addr value) <- lookup *src-val-ah
+ 38       var src-val/ecx: (addr value) <- copy _src-val
+ 39       var dest-val-ah/eax: (addr handle value) <- get dest-bind, value
+ 40       allocate dest-val-ah
+ 41       var dest-val/eax: (addr value) <- lookup *dest-val-ah
+ 42 #?       print-string 0, "deep copy value {\n"
+ 43       deep-copy-value src-val, dest-val
+ 44 #?       print-string 0, "}\n"
+ 45     }
+ 46     i <- increment
+ 47     loop
+ 48   }
+ 49 #?   print-string 0, "end deep-copy-table\n"
+ 50 }
+ 51 
+ 52 fn bind-in-table _self: (addr table), key: (addr handle array byte), val: (addr value) {
+ 53   var self/esi: (addr table) <- copy _self
+ 54   var data-ah/esi: (addr handle array bind) <- get self, data
+ 55   var _data/eax: (addr array bind) <- lookup *data-ah
+ 56   var data/esi: (addr array bind) <- copy _data
+ 57   var next-empty-slot-index/eax: (offset bind) <- next-empty-slot data, key
+ 58   var dest/eax: (addr bind) <- index data, next-empty-slot-index
+ 59   make-binding dest, key, val
+ 60 }
+ 61 
+ 62 # manual test: full array of binds
+ 63 fn next-empty-slot _data: (addr array bind), key: (addr handle array byte) -> _/eax: (offset bind) {
+ 64   var data/esi: (addr array bind) <- copy _data
+ 65   var len/ecx: int <- length data
+ 66   var i/edx: int <- copy 0
+ 67   var result/eax: (offset bind) <- copy 0
+ 68   $next-empty-slot:loop: {
+ 69     result <- compute-offset data, i
+ 70     compare i, len
+ 71     break-if->=
+ 72     {
+ 73       var target/esi: (addr bind) <- index data, result
+ 74       var target2/esi: (addr handle array byte) <- get target, key
+ 75       var target3/eax: (addr array byte) <- lookup *target2
+ 76       compare target3, 0
+ 77       break-if-= $next-empty-slot:loop
+ 78       # TODO: how to indicate that key already exists? we don't want to permit rebinding
+ 79     }
+ 80     i <- increment
+ 81     loop
+ 82   }
+ 83   return result
+ 84 }
+ 85 
+ 86 fn make-int-binding _self: (addr bind), key: (addr handle array byte), _val: int {
+ 87   var self/esi: (addr bind) <- copy _self
+ 88   var dest/eax: (addr handle array byte) <- get self, key
+ 89   copy-object key, dest
+ 90   var dest2/eax: (addr handle value) <- get self, value
+ 91   allocate dest2
+ 92   var dest3/eax: (addr value) <- lookup *dest2
+ 93   var dest4/eax: (addr int) <- get dest3, int-data
+ 94   var val/ecx: int <- copy _val
+ 95   copy-to *dest4, val
+ 96 }
+ 97 
+ 98 fn make-binding _self: (addr bind), key: (addr handle array byte), val: (addr value) {
+ 99   var self/esi: (addr bind) <- copy _self
+100   var dest/eax: (addr handle array byte) <- get self, key
+101   copy-object key, dest
+102   var dest2/eax: (addr handle value) <- get self, value
+103   allocate dest2
+104   var dest3/eax: (addr value) <- lookup *dest2
+105   copy-object val, dest3
+106 }
+107 
+108 fn lookup-binding _self: (addr table), key: (addr array byte), out: (addr handle value) {
+109   var self/esi: (addr table) <- copy _self
+110   var data-ah/esi: (addr handle array bind) <- get self, data
+111   var _data/eax: (addr array bind) <- lookup *data-ah
+112   var data/esi: (addr array bind) <- copy _data
+113   var len/edx: int <- length data
+114   var i/ebx: int <- copy 0
+115   $lookup-binding:loop: {
+116     compare i, len
+117     break-if->=
+118     {
+119       var offset/edx: (offset bind) <- compute-offset data, i
+120       var target-bind/esi: (addr bind) <- index data, offset
+121       var target2/edx: (addr handle array byte) <- get target-bind, key
+122       var target3/eax: (addr array byte) <- lookup *target2
+123       compare target3, 0
+124       break-if-= $lookup-binding:loop
+125       var is-match?/eax: boolean <- string-equal? target3, key
+126       compare is-match?, 0  # false
+127       break-if-=
+128       # found
+129       var target/eax: (addr handle value) <- get target-bind, value
+130       copy-object target, out
+131       break $lookup-binding:loop
+132     }
+133     i <- increment
+134     loop
+135   }
+136 }
+137 
+138 fn dump-table _self: (addr table) {
+139   var self/esi: (addr table) <- copy _self
+140   var data-ah/esi: (addr handle array bind) <- get self, data
+141   var _data/eax: (addr array bind) <- lookup *data-ah
+142   var data/esi: (addr array bind) <- copy _data
+143   var len/edx: int <- length data
+144   var i/ebx: int <- copy 0
+145   {
+146     compare i, len
+147     break-if->=
+148     var offset/edx: (offset bind) <- compute-offset data, i
+149     var target-bind/esi: (addr bind) <- index data, offset
+150     var key-ah/edx: (addr handle array byte) <- get target-bind, key
+151     var key/eax: (addr array byte) <- lookup *key-ah
+152     compare key, 0
+153     break-if-=
+154     print-string 0, key
+155     print-string 0, ": "
+156     var val-ah/eax: (addr handle value) <- get target-bind, value
+157     var val/eax: (addr value) <- lookup *val-ah
+158     var type/eax: (addr int) <- get val, type
+159     print-int32-hex 0, *type
+160     print-string 0, "\n"
+161     i <- increment
+162     loop
+163   }
+164   print-string 0, "\n"
+165 }
-- cgit 1.4.1-2-gfad0