diff options
Diffstat (limited to 'archive/0.vm.arc/trace.mu')
| -rw-r--r-- | archive/0.vm.arc/trace.mu | 1092 |
1 files changed, 1092 insertions, 0 deletions
diff --git a/archive/0.vm.arc/trace.mu b/archive/0.vm.arc/trace.mu new file mode 100644 index 00000000..eba9b477 --- /dev/null +++ b/archive/0.vm.arc/trace.mu @@ -0,0 +1,1092 @@ +(and-record trace [ + label:string-address + contents:string-address +]) +(address trace-address (trace)) +(array trace-address-array (trace-address)) +(address trace-address-array-address (trace-address-array)) +(address trace-address-array-address-address (trace-address-array-address)) + +(and-record instruction-trace [ + call-stack:string-address-array-address + pc:string-address ; should be integer? + instruction:string-address + children:trace-address-array-address +]) +(address instruction-trace-address (instruction-trace)) +(array instruction-trace-address-array (instruction-trace-address)) +(address instruction-trace-address-array-address (instruction-trace-address-array)) + +(function parse-traces [ ; stream-address -> instruction-trace-address-array-address + (default-space:space-address <- new space:literal 30:literal) +;? ($print (("parse-traces\n" literal))) ;? 2 + (in:stream-address <- next-input) + ; check input size + ($print (("counting lines\n" literal))) + (n:integer <- copy 0:literal) + { begin + (done?:boolean <- end-of-stream? in:stream-address) + (break-if done?:boolean) +;? ($start-tracing) ;? 1 + (c:character <- read-character in:stream-address) + { begin + (newline?:boolean <- equal c:character ((#\newline literal))) + (break-unless newline?:boolean) + (n:integer <- add n:integer 1:literal) + { begin +;? (print?:boolean <- divides? n:integer 100:literal) +;? (break-unless print?:boolean) + ($print ((" " literal))) + ($print n:integer) + ($print (("\n" literal))) + } + } +;? ($quit) ;? 1 + (loop) + } + ($print n:integer) + ($print ((" lines\n" literal))) + (in:stream-address <- rewind-stream in:stream-address) + ; prepare result + (result:buffer-address <- init-buffer 30:literal) + (curr-tail:instruction-trace-address <- copy nil:literal) + (ch:buffer-address <- init-buffer 5:literal) ; accumulator for traces between instructions + (run:string-address/const <- new "run") + ($print (("parsing\n" literal))) + (n:integer <- copy 0:literal) + ; reading each line from 'in' + { begin + next-line + (done?:boolean <- end-of-stream? in:stream-address) +;? ($print done?:boolean) ;? 1 +;? ($print (("\n" literal))) ;? 1 + (break-if done?:boolean) + ; parse next line as a generic trace + (line:string-address <- read-line in:stream-address) + { begin + (n:integer <- add n:integer 1:literal) + (print?:boolean <- divides? n:integer 100:literal) + (break-unless print?:boolean) + ($print ((" " literal))) + ($print n:integer) + ($print (("\n" literal))) + } +;? (print-string nil:literal/terminal line:string-address) ;? 1 + (f:trace-address <- parse-trace line:string-address) + (l:string-address <- get f:trace-address/deref label:offset) + { begin + ; if it's an instruction trace with label 'run' + (inst?:boolean <- string-equal l:string-address run:string-address/const) + (break-unless inst?:boolean) + ; add accumulated traces to curr-tail + { begin + (break-unless curr-tail:instruction-trace-address) + (c:trace-address-array-address-address <- get-address curr-tail:instruction-trace-address/deref children:offset) + (c:trace-address-array-address-address/deref <- to-array ch:buffer-address) + ; clear 'ch' + (ch:buffer-address <- init-buffer 5:literal) + } + ; append a new curr-tail to result + (curr-tail:instruction-trace-address <- parse-instruction-trace f:trace-address) + (result:buffer-address <- append result:buffer-address curr-tail:instruction-trace-address) + (jump next-line:offset) ; loop + } + ; otherwise accumulate trace + (loop-unless curr-tail:instruction-trace-address) + (ch:buffer-address <- append ch:buffer-address f:trace-address) + (loop) + } + ; add accumulated traces to final curr-tail + ; todo: test + { begin + (break-unless curr-tail:instruction-trace-address) + (c:trace-address-array-address-address <- get-address curr-tail:instruction-trace-address/deref children:offset) + (c:trace-address-array-address-address/deref <- to-array ch:buffer-address) + } + (s:instruction-trace-address-array-address <- to-array result:buffer-address) + (reply s:instruction-trace-address-array-address) +]) + +(function parse-instruction-trace [ ; trace-address -> instruction-trace-address + (default-space:space-address <- new space:literal 30:literal) +;? ($print (("parse-instruction-trace\n" literal))) ;? 1 + (in:trace-address <- next-input) + (buf:string-address <- get in:trace-address/deref contents:offset) +;? (print-string nil:literal buf:string-address) ;? 1 +;? ($print (("\n" literal))) ;? 1 + (result:instruction-trace-address <- new instruction-trace:literal) + (f1:string-address rest:string-address <- split-first buf:string-address ((#\space literal))) +;? ($print (("call-stack: " literal))) ;? 1 +;? (print-string nil:literal f1:string-address) ;? 1 +;? ($print (("\n" literal))) ;? 1 + (cs:string-address-array-address-address <- get-address result:instruction-trace-address/deref call-stack:offset) + (cs:string-address-array-address-address/deref <- split f1:string-address ((#\/ literal))) + (p:string-address-address <- get-address result:instruction-trace-address/deref pc:offset) + (delim:string-address <- new ": ") + (p:string-address-address/deref rest:string-address <- split-first-at-substring rest:string-address delim:string-address) + (inst:string-address-address <- get-address result:instruction-trace-address/deref instruction:offset) + (inst:string-address-address/deref <- copy rest:string-address) + (reply result:instruction-trace-address) +]) + +(function parse-trace [ ; string-address -> trace-address + (default-space:space-address <- new space:literal 30:literal) +;? ($print (("parse-trace\n" literal))) ;? 1 + (in:string-address <- next-input) + (result:trace-address <- new trace:literal) + (delim:string-address <- new ": ") + (first:string-address rest:string-address <- split-first-at-substring in:string-address delim:string-address) + (l:string-address-address <- get-address result:trace-address/deref label:offset) + (l:string-address-address/deref <- copy first:string-address) + (c:string-address-address <- get-address result:trace-address/deref contents:offset) + (c:string-address-address/deref <- copy rest:string-address) + (reply result:trace-address) +]) + +(function print-trace [ + (default-space:space-address <- new space:literal 30:literal) + (screen:terminal-address <- next-input) + (x:trace-address <- next-input) + (l:string-address <- get x:trace-address/deref label:offset) + (clear-line screen:terminal-address) + (print-string screen:terminal-address l:string-address) + (print-character screen:terminal-address ((#\space literal))) + (print-character screen:terminal-address ((#\: literal))) + (print-character screen:terminal-address ((#\space literal))) + (c:string-address <- get x:trace-address/deref contents:offset) + (print-string screen:terminal-address c:string-address) +]) + +(function print-instruction-trace-parent [ + (default-space:space-address <- new space:literal 30:literal) + (screen:terminal-address <- next-input) + (x:instruction-trace-address <- next-input) + (0:space-address/names:browser-state <- next-input) + (clear-line screen:terminal-address) + (print-character screen:terminal-address ((#\- literal))) + (print-character screen:terminal-address ((#\space literal))) + ; print call stack + (c:string-address-array-address <- get x:instruction-trace-address/deref call-stack:offset) + (i:integer <- copy 0:literal) + (len:integer <- length c:string-address-array-address/deref) + { begin + (done?:boolean <- greater-or-equal i:integer len:integer) + (break-if done?:boolean) + (s:string-address <- index c:string-address-array-address/deref i:integer) + (print-string screen:terminal-address s:string-address) + (print-character screen:terminal-address ((#\/ literal))) + (i:integer <- add i:integer 1:literal) + (loop) + } + ; print pc + (print-character screen:terminal-address ((#\space literal))) + (p:string-address <- get x:instruction-trace-address/deref pc:offset) + (print-string screen:terminal-address p:string-address) + ; print instruction + (print-character screen:terminal-address ((#\space literal))) + (print-character screen:terminal-address ((#\: literal))) + (print-character screen:terminal-address ((#\space literal))) + (i:string-address <- get x:instruction-trace-address/deref instruction:offset) + (print-string screen:terminal-address i:string-address) + (add-line 0:space-address/browser-state screen:terminal-address) +]) + +(function print-instruction-trace [ + (default-space:space-address <- new space:literal 30:literal) + (screen:terminal-address <- next-input) + (x:instruction-trace-address <- next-input) + (0:space-address/names:browser-state <- next-input) + (print-instruction-trace-parent screen:terminal-address x:instruction-trace-address 0:space-address/browser-state) + ; print children + (ch:trace-address-array-address <- get x:instruction-trace-address/deref children:offset) + (i:integer <- copy 0:literal) + { begin + ; todo: test + (break-if ch:trace-address-array-address) + (reply) + } + (len:integer <- length ch:trace-address-array-address/deref) + (expanded-children:integer/space:1 <- copy len:integer) + { begin +;? ($print (("i: " literal))) ;? 1 +;? ($print i:integer) ;? 1 +;? ($print (("\n" literal))) ;? 1 + ; until done with trace + (done?:boolean <- greater-or-equal i:integer len:integer) + (break-if done?:boolean) + ; or screen ends + (screen-done?:boolean <- greater-or-equal cursor-row:integer/space:1 screen-height:integer/space:1) + (break-if screen-done?:boolean) + (t:trace-address <- index ch:trace-address-array-address/deref i:integer) + (print-character screen:terminal-address ((#\space literal))) + (print-character screen:terminal-address ((#\space literal))) + (print-character screen:terminal-address ((#\space literal))) + (print-trace screen:terminal-address t:trace-address) + (add-line 0:space-address/browser-state screen:terminal-address) + (last-subindex-on-page:integer/space:1 <- copy i:integer) +;? ($print (("subindex: " literal))) ;? 1 +;? ($print last-subindex-on-page:integer/space:1) ;? 1 +;? ($print (("\n" literal))) ;? 1 + (i:integer <- add i:integer 1:literal) + (loop) + } +]) + +(function print-instruction-trace-collapsed [ + (default-space:space-address <- new space:literal 30:literal) + (screen:terminal <- next-input) + (x:instruction-trace-address <- next-input) + (browser-state:space-address <- next-input) + (clear-line screen:terminal-address) + (print-character screen:terminal-address ((#\+ literal))) + (print-character screen:terminal-address ((#\space literal))) + ; print call stack + (c:string-address-array-address <- get x:instruction-trace-address/deref call-stack:offset) + (i:integer <- copy 0:literal) + (len:integer <- length c:string-address-array-address/deref) + { begin + (done?:boolean <- greater-or-equal i:integer len:integer) + (break-if done?:boolean) + (s:string-address <- index c:string-address-array-address/deref i:integer) + (print-string screen:terminal-address s:string-address) +;? (print-character screen:terminal-address ((#\space literal))) + (print-character screen:terminal-address ((#\/ literal))) +;? (print-character screen:terminal-address ((#\space literal))) + (i:integer <- add i:integer 1:literal) + (loop) + } + ; print pc + (print-character screen:terminal-address ((#\space literal))) + (p:string-address <- get x:instruction-trace-address/deref pc:offset) + (print-string screen:terminal-address p:string-address) + ; print instruction + (print-character screen:terminal-address ((#\space literal))) + (print-character screen:terminal-address ((#\: literal))) + (print-character screen:terminal-address ((#\space literal))) + (i:string-address <- get x:instruction-trace-address/deref instruction:offset) + (print-string screen:terminal-address i:string-address) + (add-line browser-state:space-address screen:terminal-address) +]) + +(function instruction-trace-num-children [ + (default-space:space-address <- new space:literal 30:literal) + (traces:instruction-trace-address-array-address <- next-input) + (index:integer <- next-input) + (tr:instruction-trace-address <- index traces:instruction-trace-address-array-address/deref index:integer) + (tr-children:trace-address-array-address <- get tr:instruction-trace-address/deref children:offset) + (n:integer <- length tr-children:instruction-trace-address-array-address/deref) + (reply n:integer) +]) + +;; data structure +(function browser-state [ + (default-space:space-address <- new space:literal 30:literal/capacity) + ; trace state + (traces:instruction-trace-address-array-address <- next-input) ; the ground truth being rendered + (expanded-index:integer <- copy -1:literal) ; currently trace browser only ever shows one item expanded + (expanded-children:integer <- copy -1:literal) + (first-index-on-page:integer <- copy 0:literal) ; 'outer' line with label 'run' + (first-subindex-on-page:integer <- copy -2:literal) ; 'inner' line with other labels; -2 or lower => not expanded; -1 => expanded and include parent; 0 => expanded and start at first child + (last-index-on-page:integer <- copy 0:literal) + (last-subindex-on-page:integer <- copy -2:literal) + ; screen state + (screen-height:integer <- next-input) ; 'hardware' limitation + (app-height:integer <- copy 0:literal) ; area of the screen we're responsible for; can't be larger than screen-height + (printed-height:integer <- copy 0:literal) ; part of screen that currently has text; can't be larger than app-height + (cursor-row:integer <- copy 0:literal) ; position of cursor on screen; can't be larger than printed-height + 1 + (reply default-space:space-address) +]) + +(function $dump-browser-state [ + (default-space:space-address/names:browser-state <- next-input) + ($print expanded-index:integer) + ($print (("*" literal))) + ($print expanded-children:integer) + ($print ((": " literal))) + ($print first-index-on-page:integer) + ($print (("/" literal))) + ($print first-subindex-on-page:integer) + ($print ((" => " literal))) + ($print last-index-on-page:integer) + ($print (("/" literal))) + ($print last-subindex-on-page:integer) + ($print (("\n" literal))) + ($print cursor-row:integer) + ($print ((" " literal))) + ($print printed-height:integer) + ($print ((" " literal))) + ($print app-height:integer) + ($print ((" " literal))) + ($print screen-height:integer) + ($print (("\n" literal))) +]) + +(function down [ + (default-space:space-address <- new space:literal 30:literal/capacity) + (0:space-address/names:browser-state <- next-input) + (screen:terminal-address <- next-input) + ; if at expanded, skip past nested lines + { begin + (no-expanded?:boolean <- less-than expanded-index:integer/space:1 0:literal) + (break-if no-expanded?:boolean) + (at-expanded?:boolean <- equal cursor-row:integer/space:1 expanded-index:integer/space:1) + (break-unless at-expanded?:boolean) +;? ($print (("down: at expanded index\n" literal))) ;? 1 + (n:integer <- instruction-trace-num-children traces:instruction-trace-address-array-address/space:1 expanded-index:integer/space:1) + (n:integer <- add n:integer 1:literal) + (i:integer <- copy 0:literal) + { begin + (done?:boolean <- greater-or-equal i:integer n:integer) + (break-if done?:boolean) + (at-bottom?:boolean <- greater-or-equal cursor-row:integer/space:1 printed-height:integer/space:1) + (break-if at-bottom?:boolean) +;? ($print (("down: incrementing\n" literal))) ;? 1 + (cursor-row:integer/space:1 <- add cursor-row:integer/space:1 1:literal) + (cursor-down screen:terminal-address) + (i:integer <- add i:integer 1:literal) + (loop) + } + (reply) + } + ; if not at bottom, move cursor down + { begin + (at-bottom?:boolean <- greater-or-equal cursor-row:integer/space:1 printed-height:integer/space:1) + (break-if at-bottom?:boolean) + (cursor-row:integer/space:1 <- add cursor-row:integer/space:1 1:literal) + (cursor-down screen:terminal-address) + } +]) + +(function up [ + (default-space:space-address <- new space:literal 30:literal/capacity) + (0:space-address/names:browser-state <- next-input) + (screen:terminal-address <- next-input) + ; if at expanded, skip past nested lines + { begin + (no-expanded?:boolean <- less-than expanded-index:integer/space:1 0:literal) + (break-if no-expanded?:boolean) + (n:integer <- instruction-trace-num-children traces:instruction-trace-address-array-address/space:1 expanded-index:integer/space:1) + (n:integer <- add n:integer 1:literal) + (cursor-row-below-expanded:integer <- add expanded-index:integer/space:1 n:integer) + (just-below-expanded?:boolean <- equal cursor-row:integer/space:1 cursor-row-below-expanded:integer) + (break-unless just-below-expanded?:boolean) + (i:integer <- copy 0:literal) + { begin + (done?:boolean <- greater-or-equal i:integer n:integer) + (break-if done?:boolean) + (at-top?:boolean <- lesser-or-equal cursor-row:integer/space:1 0:literal) + (break-if at-top?:boolean) + (cursor-row:integer/space:1 <- subtract cursor-row:integer/space:1 1:literal) + (cursor-up screen:terminal-address) + (i:integer <- add i:integer 1:literal) + (loop) + } + (reply) + } + ; if not at top, move cursor up + { begin + (at-top?:boolean <- lesser-or-equal cursor-row:integer/space:1 0:literal) + (break-if at-top?:boolean) + (cursor-row:integer/space:1 <- subtract cursor-row:integer/space:1 1:literal) + (cursor-up screen:terminal-address) + } +]) + +(function to-bottom [ + (default-space:space-address <- new space:literal 30:literal/capacity) + (0:space-address/names:browser-state <- next-input) + (screen:terminal-address <- next-input) + { begin + (at-bottom?:boolean <- greater-or-equal cursor-row:integer/space:1 printed-height:integer/space:1) + (break-if at-bottom?:boolean) + (down 0:space-address screen:terminal-address) + (loop) + } +]) + +(function to-top [ + (default-space:space-address <- new space:literal 30:literal/capacity) + (0:space-address/names:browser-state <- next-input) + (screen:terminal-address <- next-input) + { begin + (at-top?:boolean <- lesser-or-equal cursor-row:integer/space:1 0:literal) + (break-if at-top?:boolean) + (up 0:space-address screen:terminal-address) + (loop) + } +]) + +(function back-to [ + (default-space:space-address <- new space:literal 30:literal/capacity) + (0:space-address/names:browser-state <- next-input) + (screen:terminal-address <- next-input) + (target-row:integer <- next-input) +;? ($print (("before back-to: " literal))) ;? 1 +;? ($print cursor-row:integer/space:1) ;? 1 +;? ($print (("\n" literal))) ;? 1 + { begin + (below-target?:boolean <- greater-than cursor-row:integer/space:1 target-row:integer) + (break-unless below-target?:boolean) +;? ($print (("below target\n" literal))) ;? 1 + (up 0:space-address screen:terminal-address) + (loop) + } + { begin + (above-target?:boolean <- less-than cursor-row:integer/space:1 target-row:integer) + (break-unless above-target?:boolean) +;? ($print (("above target\n" literal))) ;? 1 + (down 0:space-address screen:terminal-address) + (loop) + } +;? ($print (("after back-to: " literal))) ;? 1 +;? ($print cursor-row:integer/space:1) ;? 1 +;? ($print (("\n" literal))) ;? 1 +]) + +(function add-line [ ; move down, adding line if necessary + (default-space:space-address <- new space:literal 30:literal/capacity) + (0:space-address/names:browser-state <- next-input) + (screen:terminal-address <- next-input) + { begin + (at-bottom?:boolean <- greater-or-equal cursor-row:integer/space:1 printed-height:integer/space:1) + (break-unless at-bottom?:boolean) + { begin + (screen-full?:boolean <- greater-or-equal app-height:integer/space:1 screen-height:integer/space:1) + (break-unless screen-full?:boolean) + (cursor-to-next-line screen:terminal-address) + (cursor-up screen:terminal-address) + (reply) + } + (printed-height:integer/space:1 <- add printed-height:integer/space:1 1:literal) + ; update app-height if necessary + { begin + (grow-max?:boolean <- greater-than printed-height:integer/space:1 app-height:integer/space:1) + (break-unless grow-max?:boolean) + (app-height:integer/space:1 <- copy printed-height:integer/space:1) + } + } + (cursor-row:integer/space:1 <- add cursor-row:integer/space:1 1:literal) + (cursor-to-next-line screen:terminal-address) +]) + +;; initial screen state +(function print-traces-collapsed [ + (default-space:space-address <- new space:literal 30:literal/capacity) + (0:space-address/names:browser-state <- next-input) + (screen:terminal-address <- next-input) +;? ($print (("print traces collapsed\n" literal))) ;? 1 + (print-traces-collapsed-from 0:space-address/browser-state screen:terminal-address 0:literal/from) + (clear-rest-of-page 0:space-address/browser-state screen:terminal-address) +]) + +(function print-traces-collapsed-from [ + (default-space:space-address <- new space:literal 30:literal/capacity) + (0:space-address/names:browser-state <- next-input) + (screen:terminal-address <- next-input) + (trace-index:integer <- next-input) + (limit-index:integer <- next-input) ; print until this index (exclusive) + ; compute bound + (max:integer <- length traces:instruction-trace-address-array-address/space:1/deref) + { begin + (break-unless limit-index:integer) + (max:integer <- min max:integer limit-index:integer) + } + ; print remaining traces collapsed + { begin + ; until trace ends + (trace-done?:boolean <- greater-or-equal trace-index:integer max:integer) + (break-if trace-done?:boolean) + ; or screen ends + (screen-done?:boolean <- greater-or-equal cursor-row:integer/space:1 screen-height:integer/space:1) + (break-if screen-done?:boolean) +;? ($print (("screen not done\n" literal))) ;? 1 + ; continue printing trace lines + (tr:instruction-trace-address <- index traces:instruction-trace-address-array-address/space:1/deref trace-index:integer) + (last-index-on-page:integer/space:1 <- copy trace-index:integer) +;? ($print (("setting last index: " literal))) ;? 1 +;? ($print last-index-on-page:integer/space:1) ;? 1 +;? ($print (("\n" literal))) ;? 1 + (last-subindex-on-page:integer/space:1 <- copy -2:literal) + (print-instruction-trace-collapsed screen:terminal-address tr:instruction-trace-address 0:space-address/browser-state) + (trace-index:integer <- add trace-index:integer 1:literal) + (loop) + } +]) + +(function clear-rest-of-page [ + (default-space:space-address <- new space:literal 30:literal/capacity) + (0:space-address/names:browser-state <- next-input) + (screen:terminal-address <- next-input) + { begin + (done?:boolean <- greater-or-equal cursor-row:integer/space:1 app-height:integer/space:1) + (break-if done?:boolean) + (clear-line screen:terminal-address) + (down 0:space-address/browser-state screen:terminal-address) + (loop) + } +]) + +(function print-page [ + (default-space:space-address <- new space:literal 30:literal/capacity) + (0:space-address/names:browser-state <- next-input) + (screen:terminal-address <- next-input) +;? ($dump-browser-state 0:space-address/browser-state) ;? 3 + ; if top inside expanded index, complete existing trace + (first-full-index:integer <- copy first-index-on-page:integer/space:1) + { begin + (screen-done?:boolean <- greater-or-equal cursor-row:integer/space:1 screen-height:integer/space:1) + (break-unless screen-done?:boolean) + (reply) + } +;? ($print (("\nAAA\n" literal))) ;? 4 + { begin + (partial-trace?:boolean <- equal first-index-on-page:integer/space:1 expanded-index:integer/space:1) + (break-unless partial-trace?:boolean) +;? ($print (("AAA: partial\n" literal))) ;? 4 + (first-full-index:integer <- add first-full-index:integer 1:literal) + (tr:instruction-trace-address <- index traces:instruction-trace-address-array-address/space:1/deref first-index-on-page:integer/space:1) + { begin + (print-parent?:boolean <- equal first-subindex-on-page:integer/space:1 -1:literal) + (break-unless print-parent?:boolean) + (print-instruction-trace-parent screen:terminal-address tr:instruction-trace-address 0:space-address/browser-state) + } + (ch:trace-address-array-address <- get tr:instruction-trace-address/deref children:offset) + (i:integer <- max first-subindex-on-page:integer/space:1 0:literal) + ; print any remaining data in the currently expanded trace + { begin + ; until done with trace + (done?:boolean <- greater-or-equal i:integer expanded-children:integer/space:1) + (break-if done?:boolean) + ; or screen ends + (screen-done?:boolean <- greater-or-equal cursor-row:integer/space:1 screen-height:integer/space:1) + (break-if screen-done?:boolean) +;? ($print (("AAA printing subtrace\n" literal))) ;? 3 + (t:trace-address <- index ch:trace-address-array-address/deref i:integer) + (print-character screen:terminal-address ((#\space literal))) + (print-character screen:terminal-address ((#\space literal))) + (print-character screen:terminal-address ((#\space literal))) + (print-trace screen:terminal-address t:trace-address) + (add-line 0:space-address/browser-state screen:terminal-address) + (last-subindex-on-page:integer/space:1 <- copy i:integer) + (i:integer <- add i:integer 1:literal) + (loop) + } + } +;? ($print (("AAA 3: " literal))) ;? 5 +;? ($print cursor-row:integer/space:1) ;? 4 +;? ($print (("\n" literal))) ;? 4 + { begin + (screen-done?:boolean <- greater-or-equal cursor-row:integer/space:1 screen-height:integer/space:1) + (break-unless screen-done?:boolean) + (reply) + } +;? ($print (("AAA 4\n" literal))) ;? 5 + { begin + (has-expanded?:boolean <- greater-or-equal expanded-index:integer/space:1 0:literal) + (break-if has-expanded?:boolean) +;? ($print (("AAA 5a\n" literal))) ;? 4 + (print-traces-collapsed-from 0:space-address/browser-state screen:terminal-address first-full-index:integer) + (clear-rest-of-page 0:space-address/browser-state screen:terminal-address) + (reply) + } + { begin + (below-expanded?:boolean <- greater-than first-full-index:integer expanded-index:integer/space:1) + (break-unless below-expanded?:boolean) +;? ($print (("AAA 5b\n" literal))) ;? 4 + (print-traces-collapsed-from 0:space-address/browser-state screen:terminal-address first-full-index:integer) + (clear-rest-of-page 0:space-address/browser-state screen:terminal-address) + (reply) + } + ; trace has an expanded index and it's below first-full-index + ; print traces collapsed until expanded index +;? ($print (("AAA 5c\n" literal))) ;? 4 + (print-traces-collapsed-from 0:space-address/browser-state screen:terminal-address first-full-index:integer expanded-index:integer/space:1/until) + ; if room, start printing expanded index + { begin + (done?:boolean <- greater-or-equal cursor-row:integer/space:1 screen-height:integer/space:1) + (break-if done?:boolean) + (tr:instruction-trace-address <- index traces:instruction-trace-address-array-address/space:1/deref expanded-index:integer/space:1) + (print-instruction-trace screen:terminal-address tr:instruction-trace-address 0:space-address/browser-state) + (clear-rest-of-page 0:space-address/browser-state screen:terminal-address) + } +]) + +(function cursor-row-to-trace-index [ + (default-space:space-address <- new space:literal 30:literal/capacity) + (0:space-address/names:browser-state <- next-input) + (n:integer/screen <- next-input) +;? ($print (("to trace index: first subindex " literal))) ;? 1 +;? ($print first-subindex-on-page:integer/space:1) ;? 1 +;? ($print (("\n" literal))) ;? 1 +;? ($print (("cursor-to-index: n " literal))) ;? 2 +;? ($print n:integer) ;? 2 +;? ($print (("\n" literal))) ;? 2 +;? ($print (("cursor-to-index: first index " literal))) ;? 2 +;? ($print first-index-on-page:integer/space:1) ;? 2 +;? ($print (("\n" literal))) ;? 2 + (simple-result:integer <- add first-index-on-page:integer/space:1 n:integer) +;? ($print (("cursor-to-index: simple result " literal))) ;? 2 +;? ($print simple-result:integer) ;? 2 +;? ($print (("\n" literal))) ;? 2 + ; no row expanded? no munging needed + { begin + (has-expanded?:boolean <- greater-or-equal expanded-index:integer/space:1 0:literal) + (break-if has-expanded?:boolean) + (reply simple-result:integer) + } + ; expanded row above current page? no munging needed + { begin + (below-expanded?:boolean <- less-than expanded-index:integer/space:1 first-index-on-page:integer/space:1) + (break-unless below-expanded?:boolean) + (reply simple-result:integer) + } + ; expanded row at top of current page and partial? + { begin + (expanded-at-top?:boolean <- equal first-index-on-page:integer/space:1 expanded-index:integer/space:1) +;? ($print (("cursor-to-index: first subindex " literal))) ;? 2 +;? ($print first-subindex-on-page:integer/space:1) ;? 2 +;? ($print (("\n" literal))) ;? 2 + (partial-at-top?:boolean <- greater-or-equal first-subindex-on-page:integer/space:1 0:literal) +;? ($print (("AAA\n" literal))) ;? 1 + (partial-expanded-at-top?:boolean <- and expanded-at-top?:boolean partial-at-top?:boolean) + (break-unless partial-expanded-at-top?:boolean) +;? ($print (("expanded child at top of page\n" literal))) ;? 2 + (expanded-children-on-page:integer <- subtract expanded-children:integer/space:1 first-subindex-on-page:integer/space:1) + (result:integer <- subtract simple-result:integer expanded-children-on-page:integer) + (result:integer <- add result:integer 1:literal) + (result:integer <- max result:integer first-index-on-page:integer/space:1) + (reply result:integer) + } + ; expanded row is below current page? no munging needed + { begin + (above-expanded?:boolean <- lesser-or-equal last-index-on-page:integer/space:1 expanded-index:integer/space:1 ) + (break-unless above-expanded?:boolean) + (reply simple-result:integer) + } + (expanded-index-cursor-row:integer <- subtract expanded-index:integer/space:1 first-index-on-page:integer/space:1) + ; cursor is above expanded index? no munging needed + { begin + (above-expanded?:boolean <- lesser-or-equal cursor-row:integer/space:1 expanded-index-cursor-row:integer) + (break-unless above-expanded?:boolean) + (reply simple-result:integer) + } + (result:integer/index <- subtract simple-result:integer expanded-children:integer/space:1) + (reply result:integer/index) +]) + +(function back-to-index [ + (default-space:space-address <- new space:literal 30:literal/capacity) + (0:space-address/names:browser-state <- next-input) + (screen:terminal-address <- next-input) + (target-index:integer <- next-input) +;? ($print (("back-to-index: target " literal))) ;? 3 +;? ($print target-index:integer) ;? 3 +;? ($print (("\n" literal))) ;? 3 +;? ($print (("back-to-index: first subindex " literal))) ;? 1 +;? ($print first-subindex-on-page:integer/space:1) ;? 1 +;? ($print (("\n" literal))) ;? 1 + ; scan up until top, or *before* target-index (to skip expanded children) + { begin +;? ($print cursor-row:integer/space:1) ;? 1 +;? ($print (("\n" literal))) ;? 1 + (at-top?:boolean <- equal cursor-row:integer/space:1 0:literal) + (break-if at-top?:boolean) + (index:integer <- cursor-row-to-trace-index 0:space-address/browser-state cursor-row:integer/space:1) +;? ($print cursor-row:integer/space:1) ;? 3 +;? ($print ((" " literal))) ;? 3 +;? ($print index:integer) ;? 3 +;? ($print (("\n" literal))) ;? 3 + (done?:boolean <- less-than index:integer target-index:integer) + (break-if done?:boolean) + (up 0:space-address screen:terminal-address) + (loop) + } + ; now if we're before target-index, down 1 +;? ($print (("final down?\n" literal))) ;? 1 + (index:integer <- cursor-row-to-trace-index 0:space-address/browser-state cursor-row:integer/space:1) +;? ($print (("done scanning; cursor at row " literal))) ;? 2 +;? ($print cursor-row:integer/space:1) ;? 2 +;? ($print ((", which is index " literal))) ;? 2 +;? ($print index:integer) ;? 2 +;? ($print (("\n" literal))) ;? 2 + { begin + (at-target?:boolean <- greater-or-equal index:integer target-index:integer) + (break-if at-target?:boolean) +;? ($print (("down 1\n" literal))) ;? 2 + ; above expanded + (down 0:space-address screen:terminal-address) + } +]) + +;; pagination helpers +(function at-first-page [ + (default-space:space-address <- new space:literal 30:literal/capacity) + (0:space-address/names:browser-state <- next-input) ; read-only + (result:boolean <- lesser-or-equal first-index-on-page:integer/space:1 0:literal) + { begin + (break-if result:boolean) + (reply nil:literal) + } + (expanded?:boolean <- equal expanded-index:integer/space:1 0:literal) + { begin + (break-if expanded?:boolean) + (reply t:literal) + } + ; if first subindex is 0, the top-level line is on a previous page + (result:boolean <- less-than first-subindex-on-page:integer/space:1 0:literal) + (reply result:boolean) +]) + +(function at-final-page [ + (default-space:space-address <- new space:literal 30:literal/capacity) + (0:space-address/names:browser-state <- next-input) ; read-only + (len:integer <- length traces:instruction-trace-address-array-address/space:1/deref) + (final-index:integer <- subtract len:integer 1:literal) + (result:boolean <- greater-or-equal last-index-on-page:integer/space:1 final-index:integer) + { begin + (break-if result:boolean) + (reply nil:literal) + } + (last-trace-expanded?:boolean <- equal expanded-index:integer/space:1 len:integer) + { begin + (break-if last-trace-expanded?:boolean) + (reply t:literal) + } + (result:boolean <- greater-or-equal last-subindex-on-page:integer/space:1 expanded-children:integer/space:1) + (reply result:boolean) +]) + +(function next-page [ + (default-space:space-address <- new space:literal 30:literal/capacity) + (0:space-address/names:browser-state <- next-input) + { begin +;? ($print (("expanded: " literal))) ;? 3 +;? ($print expanded-index:integer/space:1) ;? 3 +;? ($print ((" last index: " literal))) ;? 3 +;? ($print last-index-on-page:integer/space:1) ;? 3 +;? ($print (("\n" literal))) ;? 3 + (last-index-expanded?:boolean <- equal expanded-index:integer/space:1 last-index-on-page:integer/space:1) + (break-unless last-index-expanded?:boolean) + ; expanded +;? ($print (("last expanded\n" literal))) ;? 3 + { begin + (expanded-index-done?:boolean <- equal expanded-children:integer/space:1 last-subindex-on-page:integer/space:1) + (break-if expanded-index-done?:boolean 2:blocks) +;? ($print (("children left\n" literal))) ;? 3 + ; children left to open + (first-index-on-page:integer/space:1 <- copy last-index-on-page:integer/space:1) + (first-subindex-on-page:integer/space:1 <- add last-subindex-on-page:integer/space:1 1:literal) + (reply) + } + } + (first-index-on-page:integer/space:1 <- add last-index-on-page:integer/space:1 1:literal) + (first-subindex-on-page:integer/space:1 <- copy -2:literal) +]) + +(function previous-page [ + (default-space:space-address <- new space:literal 30:literal/capacity) + (0:space-address/names:browser-state <- next-input) +;? ($print (("before: " literal))) ;? 2 +;? ($print first-index-on-page:integer/space:1) ;? 2 +;? ($print ((" " literal))) ;? 2 +;? ($print first-subindex-on-page:integer/space:1) ;? 2 +;? ($print (("\n" literal))) ;? 2 + ; easy case: no expanded-index + (jump-unless expanded-index:integer/space:1) +;? ($print (("b\n" literal))) ;? 4 + (x:boolean <- less-than expanded-index:integer/space:1 0:literal) + (jump-if x:boolean easy-case:offset) + ; easy case: expanded-index lies below top of current page +;? ($print (("c\n" literal))) ;? 4 + (x:boolean <- greater-than expanded-index:integer/space:1 first-index-on-page:integer/space:1) + (jump-if x:boolean easy-case:offset) + ; easy case: expanded-index *starts* at top of current page +;? ($print (("d\n" literal))) ;? 5 + (top-of-screen-inside-expanded:boolean <- equal expanded-index:integer/space:1 first-index-on-page:integer/space:1) + (y:boolean <- lesser-or-equal first-subindex-on-page:integer/space:1 -1:literal) + (y:boolean <- and top-of-screen-inside-expanded:boolean y:boolean) + (jump-if y:boolean easy-case:offset) + ; easy case: expanded-index too far up for previous page +;? ($print (("e\n" literal))) ;? 5 + (delta-to-expanded:integer <- subtract first-index-on-page:integer/space:1 expanded-index:integer/space:1) +;? ($print delta-to-expanded:integer) ;? 1 +;? ($print (("\n" literal))) ;? 1 + (x:boolean <- greater-than delta-to-expanded:integer screen-height:integer/space:1) + (jump-if x:boolean easy-case:offset) +;? ($print (("f\n" literal))) ;? 5 + ; tough case: expanded index overlaps current and/or previous page + (lines-remaining-to-decrement:integer <- copy screen-height:integer/space:1) + ; a) scroll to just below expanded-index if necessary + (below-expanded-index:integer <- add expanded-index:integer/space:1 1:literal) + { begin + (done?:boolean <- done-scrolling-up default-space:space-address) + (break-if done?:boolean) + (done?:boolean <- lesser-or-equal first-index-on-page:integer/space:1 below-expanded-index:integer) + (break-if done?:boolean) +;? ($print (("g\n" literal))) ;? 2 + (first-index-on-page:integer/space:1 <- subtract first-index-on-page:integer/space:1 1:literal) + (lines-remaining-to-decrement:integer <- subtract lines-remaining-to-decrement:integer 1:literal) + (loop) + } + { begin +;? ($print (("h\n" literal))) ;? 2 + (x:boolean <- equal first-index-on-page:integer/space:1 below-expanded-index:integer) + (break-unless x:boolean) + (first-index-on-page:integer/space:1 <- copy expanded-index:integer/space:1) + (first-subindex-on-page:integer/space:1 <- subtract expanded-children:integer/space:1 1:literal) + (lines-remaining-to-decrement:integer <- subtract lines-remaining-to-decrement:integer 1:literal) + } + ; b) scroll through expanded-children if necessary + { begin + (done?:boolean <- done-scrolling-up default-space:space-address) + (break-if done?:boolean) + (done?:boolean <- less-than first-subindex-on-page:integer/space:1 0:literal) + (break-if done?:boolean) +;? ($print (("i\n" literal))) ;? 2 + (first-subindex-on-page:integer/space:1 <- subtract first-subindex-on-page:integer/space:1 1:literal) + (lines-remaining-to-decrement:integer <- subtract lines-remaining-to-decrement:integer 1:literal) + (loop) + } + ; c) jump past expanded-index parent if necessary +;? ($print (("j\n" literal))) ;? 2 + { begin + (done?:boolean <- done-scrolling-up default-space:space-address) + (break-if done?:boolean) +;? ($print (("k\n" literal))) ;? 2 + (first-index-on-page:integer/space:1 <- subtract first-index-on-page:integer/space:1 1:literal) + (first-subindex-on-page:integer/space:1 <- copy -2:literal) + (lines-remaining-to-decrement:integer <- subtract lines-remaining-to-decrement:integer 1:literal) + } + ; d) scroll up before expanded-index if necessary +;? ($print (("l\n" literal))) ;? 2 + { begin + (done?:boolean <- done-scrolling-up default-space:space-address) + (break-if done?:boolean) +;? ($print (("m\n" literal))) ;? 2 + (first-index-on-page:integer/space:1 <- subtract first-index-on-page:integer/space:1 1:literal) + (lines-remaining-to-decrement:integer <- subtract lines-remaining-to-decrement:integer 1:literal) + (loop) + } + (reply) + easy-case + (first-index-on-page:integer/space:1 <- subtract first-index-on-page:integer/space:1 screen-height:integer/space:1) + (first-index-on-page:integer/space:1 <- max first-index-on-page:integer/space:1 0:literal) + (first-subindex-on-page:integer/space:1 <- copy -2:literal) +]) + +(function done-scrolling-up [ + (default-space:space-address/names:previous-page <- next-input) + (0:space-address/names:browser-state <- copy 0:space-address) ; just to wire up names for space/1 + (at-top-of-screen?:boolean <- lesser-or-equal lines-remaining-to-decrement:integer 0:literal) + (jump-if at-top-of-screen?:boolean done:offset) + (at-first-index:boolean <- lesser-or-equal first-index-on-page:integer/space:1 0:literal) + (at-first-subindex:boolean <- lesser-or-equal first-subindex-on-page:integer/space:1 -1:literal) + (trace-done?:boolean <- and at-first-index:boolean at-first-subindex:boolean) + (jump-if trace-done?:boolean done:offset) + (reply nil:literal) + done + (reply t:literal) +]) + +;; modify screen state in response to a single key +(function process-key [ + (default-space:space-address <- new space:literal 30:literal/capacity) + (0:space-address/names:browser-state <- next-input) + (k:keyboard-address <- next-input) + (screen:terminal-address <- next-input) + (c:character <- read-key k:keyboard-address silent:literal/terminal) + { begin + ; no key yet + (break-if c:character) + (reply nil:literal) + } +;? ($print (("key pressed: " literal))) ;? 1 +;? ($write c:character) ;? 1 +;? ($print (("\n" literal))) ;? 1 + { begin + ; user quit + (q-pressed?:boolean <- equal c:character ((#\q literal))) + (end-of-fake-keyboard-input?:boolean <- equal c:character ((#\null literal))) + (quit?:boolean <- or q-pressed?:boolean end-of-fake-keyboard-input?:boolean) + (break-unless quit?:boolean) + (reply t:literal) + } + ; up/down navigation + { begin + (up?:boolean <- equal c:character ((up literal))) + (k?:boolean <- equal c:character ((#\k literal))) + (up?:boolean <- or up?:boolean k?:boolean) + (break-unless up?:boolean) + (up 0:space-address/browser-state screen:terminal-address) + (reply nil:literal) + } + { begin + (down?:boolean <- equal c:character ((down literal))) + (j?:boolean <- equal c:character ((#\j literal))) + (down?:boolean <- or down?:boolean j?:boolean) + (break-unless down?:boolean) + (down 0:space-address/browser-state screen:terminal-address) + (reply nil:literal) + } + ; page up/page down + { begin + ; if page-up pressed + (page-up?:boolean <- equal c:character ((pgup literal))) + (K?:boolean <- equal c:character ((#\K literal))) + (page-up?:boolean <- or page-up?:boolean K?:boolean) + (break-unless page-up?:boolean) + ; if we're not already at start of trace + (first-page?:boolean <- at-first-page 0:space-address/browser-state) + (break-if first-page?:boolean) + ; move cursor to top of screen + (to-top 0:space-address/browser-state screen:terminal-address) + ; switch browser state + (previous-page 0:space-address/browser-state) +;? ($dump-browser-state 0:space-address) ;? 3 + ; redraw + (print-page 0:space-address/browser-state screen:terminal-address) + (reply nil:literal) + } + { begin + ; if page-down pressed + (page-down?:boolean <- equal c:character ((pgdn literal))) + (J?:boolean <- equal c:character ((#\J literal))) + (page-down?:boolean <- or page-down?:boolean J?:boolean) + (break-unless page-down?:boolean) + ; if we're not already at end of trace + (final-page?:boolean <- at-final-page 0:space-address/browser-state) + (break-if final-page?:boolean) + ; move cursor to top of screen + (to-top 0:space-address/browser-state screen:terminal-address) +;? ($print (("before: " literal))) ;? 1 +;? ($print first-index-on-page:integer/space:1) ;? 1 +;? ($print (("\n" literal))) ;? 1 + ; switch browser state + (next-page 0:space-address/browser-state) +;? ($print (("after: " literal))) ;? 1 +;? ($print first-index-on-page:integer/space:1) ;? 1 +;? ($print (("\n" literal))) ;? 1 + ; redraw + (print-page 0:space-address/browser-state screen:terminal-address) + ; move cursor back to top of screen + (to-top 0:space-address/browser-state screen:terminal-address) + (reply nil:literal) + } + ; enter: expand/collapse current row + { begin + (toggle?:boolean <- equal c:character ((#\newline literal))) + (break-unless toggle?:boolean) +;? ($print (("expand: first subindex " literal))) ;? 1 +;? ($print first-subindex-on-page:integer/space:1) ;? 1 +;? ($print (("\n" literal))) ;? 1 + (original-cursor-row:integer <- copy cursor-row:integer/space:1) +;? ($print (("cursor starts at row " literal))) ;? 6 +;? ($print original-cursor-row:integer) ;? 7 +;? ($print (("\n" literal))) ;? 7 + (original-trace-index:integer <- cursor-row-to-trace-index 0:space-address/browser-state original-cursor-row:integer) +;? ($print (("which maps to index " literal))) ;? 7 +;? ($print original-trace-index:integer) ;? 9 +;? ($print (("\n" literal))) ;? 9 + ; is expanded-index already set? + { begin + (expanded?:boolean <- greater-or-equal expanded-index:integer/space:1 0:literal) + (break-unless expanded?:boolean) + (too-early?:boolean <- less-than expanded-index:integer/space:1 first-index-on-page:integer/space:1) + (break-if too-early?:boolean) + (too-late?:boolean <- greater-than expanded-index:integer/space:1 last-index-on-page:integer/space:1) + (break-if too-late?:boolean) + ; expanded-index is now on this page +;? ($print (("expanded index on this page\n" literal))) ;? 6 + { begin + ; are we at the expanded row? + (at-expanded?:boolean <- equal original-trace-index:integer expanded-index:integer/space:1) + (break-unless at-expanded?:boolean) +;? ($print (("at expanded index\n" literal))) ;? 5 + ; print remaining lines collapsed and return + (back-to-index 0:space-address/browser-state screen:terminal-address expanded-index:integer/space:1) + (expanded-index:integer/space:1 <- copy -1:literal) + (expanded-children:integer/space:1 <- copy -1:literal) + (print-traces-collapsed-from 0:space-address/browser-state screen:terminal-address original-trace-index:integer) + (clear-rest-of-page 0:space-address/browser-state screen:terminal-address) + (back-to 0:space-address/browser-state screen:terminal-address original-cursor-row:integer) + (reply nil:literal) + } + ; are we below the expanded row? + { begin + (below-expanded?:boolean <- greater-than original-trace-index:integer expanded-index:integer/space:1) + (break-unless below-expanded?:boolean) +;? ($print (("below expanded index\n" literal))) ;? 6 + (back-to-index 0:space-address/browser-state screen:terminal-address expanded-index:integer/space:1) +;? ($print (("scanning up to row " literal))) ;? 3 +;? ($print cursor-row:integer/space:1) ;? 3 +;? ($print (("\n" literal))) ;? 3 + ; print traces collapsed until just before original row + (print-traces-collapsed-from 0:space-address/browser-state screen:terminal-address expanded-index:integer/space:1 original-trace-index:integer/until) + ; fall through + } + } + ; expand original row and print traces below it +;? ($print (("done collapsing previously expanded index\n" literal))) ;? 6 + (expanded-index:integer/space:1 <- copy original-trace-index:integer) + (last-index-on-page:integer/space:1 <- copy original-trace-index:integer) + (tr:instruction-trace-address <- index traces:instruction-trace-address-array-address/space:1/deref original-trace-index:integer) +;? ($print (("expanded\n" literal))) ;? 6 + (print-instruction-trace screen:terminal-address tr:instruction-trace-address 0:space-address/browser-state) + (next-index:integer <- add original-trace-index:integer 1:literal) +;? ($print (("printing collapsed lines from " literal))) ;? 7 +;? ($print next-index:integer) ;? 8 +;? ($print (("\n" literal))) ;? 8 + (print-traces-collapsed-from 0:space-address/browser-state screen:terminal-address next-index:integer) +;? ($print (("clearing rest of page\n" literal))) ;? 6 + (clear-rest-of-page 0:space-address/browser-state screen:terminal-address) +;? ($print (("moving cursor back up\n" literal))) ;? 6 + (back-to-index 0:space-address/browser-state screen:terminal-address original-trace-index:integer) +;? ($print (("returning\n" literal))) ;? 5 + (reply nil:literal) + } + (reply nil:literal) +]) + +(function browse-trace [ + (default-space:space-address <- new space:literal 30:literal/capacity) + ($print (("parsing trace... (might take a while, depending on how long the trace is)\n" literal))) + (x:string-address <- next-input) + (screen-height:integer <- next-input) +;? (print-string nil:literal/terminal x:string-address) ;? 1 + (s:stream-address <- init-stream x:string-address) + (traces:instruction-trace-address-array-address <- parse-traces s:stream-address) + (0:space-address/names:browser-state <- browser-state traces:instruction-trace-address-array-address screen-height:integer) + (cursor-mode) + (print-traces-collapsed 0:space-address/browser-state nil:literal/terminal) + { begin + (quit?:boolean <- process-key 0:space-address/browser-state nil:literal/keyboard nil:literal/terminal) + (break-if quit?:boolean) + (loop) + } + ; move cursor to bottom before exiting + (to-bottom 0:space-address/browser-state nil:literal/terminal) + (retro-mode) +]) + +(function main [ + (default-space:space-address <- new space:literal 30:literal/capacity) + ($print (("loading trace.. (takes ~10s)\n" literal))) + (x:string-address <- new +"run: main 0: a b c +mem: 0 +run: main 1: d e f +mem: 1 +mem: 1 +mem: 1 +mem: 1 +mem: 1 +run: main 2: g hi +run: main 3: j +mem: 3 +run: main 4: k +run: main 5: l +run: main 6: m +run: main 7: n +run: main 8: o") + (browse-trace x:string-address 3:literal/screen-height) +]) |