4966

Standardize how we show register allocation decisions.

4 files changed, 23 insertions, 24 deletions

diff --git a/subx/067write-buffered.subx b/subx/067write-buffered.subx
index 50ec7988..94ed4f8a 100644
--- a/subx/067write-buffered.subx
+++ b/subx/067write-buffered.subx
@@ -22,17 +22,18 @@ write-buffered:  # f : (address buffered-file), msg : (address array byte) -> <v
     #     if (f->write >= f->length)
     #       flush(f)
     #       clear-stream(f)
-    #     f->data[f->write] = *in
+    #     c = *in
+    #     f->data[f->write] = c
     #     ++f->write
     #     ++in
     #
     # registers:
-    #   ESI : in
-    #   ECX : inend
-    #   EDI : f
-    #   EDX : f->length
-    #   EBX : f->write (cached copy, need to keep in sync)
-    #   EAX : temp
+    #   in: ESI
+    #   inend: ECX
+    #   f: EDI
+    #   f->length: EDX
+    #   f->write: EBX (cached; need to keep in sync)
+    #   c: EAX
     #
     # . prolog
     55/push-EBP
diff --git a/subx/072slice.subx b/subx/072slice.subx
index 20a39aa4..99c3d459 100644
--- a/subx/072slice.subx
+++ b/subx/072slice.subx
@@ -108,11 +108,11 @@ slice-equal?:  # s : (address slice), p : (address string) -> EAX : boolean
     #   return true
     #
     # registers:
-    #   EAX : *currs
-    #   ECX : *currp
-    #   EDX : currs
-    #   EBX : currp
-    #   ESI : maxs
+    #   currs: EDX
+    #   maxs: ESI
+    #   currp: EBX
+    #   *currs: EAX
+    #   *currp: ECX
     #
     # . prolog
     55/push-EBP
diff --git a/subx/apps/crenshaw2-1.subx b/subx/apps/crenshaw2-1.subx
index 3fe51fd7..53b59263 100644
--- a/subx/apps/crenshaw2-1.subx
+++ b/subx/apps/crenshaw2-1.subx
@@ -208,12 +208,11 @@ get-num:  # in : (address buffered-file), out : (address stream), err : fd or (a
     #   Look = get-char(in)
     #
     # registers:
-    #   ESI : in
-    #   EDI : out
-    #   EAX : temp
-    #   ECX : out->write (persisted back at end)
-    #   EDX : out->length
-    #   EBX : temp2
+    #   in: ESI
+    #   out: EDI
+    #   out->write: ECX (cached copy; need to keep in sync)
+    #   out->length: EDX
+    #   temporaries: EAX, EBX
     # We can't allocate Look to a register because it gets written implicitly in
     # get-char in each iteration of the loop. (Thereby demonstrating that it's
     # not the right interface for us. But we'll keep it just to follow Crenshaw.)
diff --git a/subx/apps/crenshaw2-1b.subx b/subx/apps/crenshaw2-1b.subx
index 4fc2680b..3b828735 100644
--- a/subx/apps/crenshaw2-1b.subx
+++ b/subx/apps/crenshaw2-1b.subx
@@ -213,12 +213,11 @@ get-num:  # in : (address buffered-file), out : (address stream), err : fd or (a
     # a general helper like write-byte. Maybe I should just create a local helper.
     #
     # within the loop we'll try to keep things in registers:
-    #   ESI : in
-    #   EDI : out
-    #   EAX : temp
-    #   ECX : out->write (persisted back at end)
-    #   EDX : out->length
-    #   EBX : temp2
+    #   in: ESI
+    #   out: EDI
+    #   out->write: ECX (cached copy; need to keep in sync)
+    #   out->length: EDX
+    #   temporaries: EAX, EBX
     # We can't allocate Look to a register because it gets written implicitly in
     # get-char in each iteration of the loop. (Thereby demonstrating that it's
     # not the right interface for us. But we'll keep it just to follow Crenshaw.)