about summary refs log tree commit diff stats
path: root/cpp/.traces
diff options
context:
space:pre { line-height: 125%; } td.linenos .normal { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; } span.linenos { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; } td.linenos .special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; } span.linenos.special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; } .highlight .hll { background-color: #ffffcc } .highlight .c { color: #888888 } /* Comment */ .highlight .err { color: #a61717; background-color: #e3d2d2 } /* Error */ .highlight .k { color: #008800; font-weight: bold } /* Keyword */ .highlight .ch { color: #888888 } /* Comment.Hashbang */ .highlight .cm { color: #888888 } /* Comment.Multiline */ .highlight .cp { color: #cc0000; font-weight: bold } /* Comment.Preproc */ .highlight .cpf { color: #888888 } /* Comment.PreprocFile */ .highlight .c1 { color: #888888 } /* Comment.Single */ .highlight .cs { color: #cc0000; font-weight: bold; background-color: #fff0f0 } /* Comment.Special */ .highlight .gd { color: #000000; background-color: #ffdddd } /* Generic.Deleted */ .highlight .ge { font-style: italic } /* Generic.Emph */ .highlight .ges { font-weight: bold; font-style: italic } /* Generic.EmphStrong */ .highlight .gr { color: #aa0000 } /* Generic.Error */ .highlight .gh { color: #333333 } /* Generic.Heading */ .highlight .gi { color: #000000; background-color: #ddffdd } /* Generic.Inserted */ .highlight .go { color: #888888 } /* Generic.Output */ .highlight .gp { color: #555555 } /* Generic.Prompt */ .highlight .gs { font-weight: bold } /* Generic.Strong */ .highlight .gu { color: #666666 } /* Generic.Subheading */ .highlight .gt { color: #aa0000 } /* Generic.Traceback */ .highlight .kc { color: #008800; font-weight: bold } /* Keyword.Constant */ .highlight .kd { color: #008800; font-weight: bold } /* Keyword.Declaration */ .highlight .kn { color: #008800; font-weight: bold } /* Keyword.Namespace */ .highlight .kp { color: #008800 } /* Keyword.Pseudo */ .highlight .kr { color: #008800; font-weight: bold } /* Keyword.Reserved */ .highlight .kt { color: #888888; font-weight: bold } /* Keyword.Type */ .highlight .m { color: #0000DD; font-weight: bold } /* Literal.Number */ .highlight .s { color: #dd2200; background-color: #fff0f0 } /* Literal.String */ .highlight .na { color: #336699 } /* Name.Attribute */ .highlight .nb { color: #003388 } /* Name.Builtin */ .highlight .nc { color: #bb0066; font-weight: bold } /* Name.Class */ .highlight .no { color: #003366; font-weight: bold } /* Name.Constant */ .highlight .nd { color: #555555 } /* Name.Decorator */ .highlight .ne { color: #bb0066; font-weight: bold } /* Name.Exception */ .highlight .nf { color: #0066bb; font-weight: bold } /* Name.Function */ .highlight .nl { color: #336699; font-style: italic } /* Name.Label */ .highlight .nn { color: #bb0066; font-weight: bold } /* Name.Namespace */ .highlight .py { color: #336699; font-weight: bold } /* Name.Property */ .highlight .nt { color: #bb0066; font-weight: bold } /* Name.Tag */ .highlight .nv { color: #336699 } /* Name.Variable */ .highlight .ow { color: #008800 } /* Operator.Word */ .highlight .w { color: #bbbbbb } /* Text.Whitespace */ .highlight .mb { color: #0000DD; font-weight: bold } /* Literal.Number.Bin */ .highlight .mf { color: #0000DD; font-weight: bold } /* Literal.Number.Float */ .highlight .mh { color: #0000DD; font-weight: bold } /* Literal.Number.Hex */ .highlight .mi { color: #0000DD; font-weight: bold } /* Literal.Number.Integer */ .highlight .mo { color: #0000DD; font-weight: bold } /* Literal.Number.Oct */ .highlight .sa { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Affix */ .highlight .sb { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Backtick */ .highlight .sc { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Char */ .highlight .dl { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Delimiter */ .highlight .sd { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Doc */ .highlight .s2 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Double */ .highlight .se { color: #0044dd; background-color: #fff0f0 } /* Literal.String.Escape */ .highlight .sh { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Heredoc */ .highlight .si { color: #3333bb; background-color: #fff0f0 } /* Literal.String.Interpol */ .highlight .sx { color: #22bb22; background-color: #f0fff0 } /* Literal.String.Other */ .highlight .sr { color: #008800; background-color: #fff0ff } /* Literal.String.Regex */ .highlight .s1 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Single */ .highlight .ss { color: #aa6600; background-color: #fff0f0 } /* Literal.String.Symbol */ .highlight .bp { color: #003388 } /* Name.Builtin.Pseudo */ .highlight .fm { color: #0066bb; font-weight: bold } /* Name.Function.Magic */ .highlight .vc { color: #336699 } /* Name.Variable.Class */ .highlight .vg { color: #dd7700 } /* Name.Variable.Global */ .highlight .vi { color: #3333bb } /* Name.Variable.Instance */ .highlight .vm { color: #336699 } /* Name.Variable.Magic */ .highlight .il { color: #0000DD; font-weight: bold } /* Literal.Number.Integer.Long */
# Draw a single line of ASCII text using the built-in font (GNU unifont)
# Also demonstrates bounds-checking _before_ drawing.
#
# To build a disk image:
#   ./translate apps/ex5.mu        # emits code.img
# To run:
#   qemu-system-i386 code.img
# Or:
#   bochs -f bochsrc               # bochsrc loads code.img
#
# Expected output: text in green near the top-left corner of screen

fn main screen: (addr screen), keyboard: (addr keyboard), data-disk: (addr disk) {
  var dummy/eax: int <- draw-text-rightward screen, "hello from baremetal Mu!", 0x10/x, 0x400/xmax, 0x10/y, 0xa/fg, 0/bg
  dummy <- draw-text-rightward screen, "you shouldn't see this", 0x10/x, 0xa0/xmax, 0x30/y, 3/fg, 0/bg  # xmax is too narrow
}
/span> mem/0: storing 1060 in location 1217 @@ -451,8 +451,8 @@ mem/0: storing 99 in location 5 run/0: instruction test-buffer-append-works/10 mem/0: location 1002 is 1060 run/0: instruction buffer-append/0 -mem/0: new alloc: 1245 mem/0: array size is 30 +mem/0: new alloc: 1245 run/0: instruction buffer-append/1 run/0: product 0 is 1060 mem/0: storing 1060 in location 1247 @@ -462,8 +462,8 @@ mem/0: storing 100 in location 1248 run/0: instruction buffer-append/4 mem/0: location 1247 is 1060 run/0: instruction buffer-full?/0 -mem/0: new alloc: 1275 mem/0: array size is 30 +mem/0: new alloc: 1275 run/0: instruction buffer-full?/1 run/0: product 0 is 1060 mem/0: storing 1060 in location 1277 @@ -506,8 +506,8 @@ run/0: jump-unless fell through run/0: instruction buffer-append/6 mem/0: location 1247 is 1060 run/0: instruction grow-buffer/0 -mem/0: new alloc: 1305 mem/0: array size is 30 +mem/0: new alloc: 1305 run/0: instruction grow-buffer/1 run/0: product 0 is 1060 mem/0: storing 1060 in location 1307 @@ -535,11 +535,11 @@ mem/0: location 1308 is 1061 mem/0: location 1061 is 1062 mem/0: storing 1062 in location 1311 run/0: instruction grow-buffer/6 +mem/0: location 1310 is 6 +mem/0: array size is 6 mem/0: new alloc: 1335 mem/0: location 1308 is 1061 mem/0: storing 1335 in location 1061 -mem/0: location 1310 is 6 -mem/0: array size is 6 run/0: instruction grow-buffer/7 run/0: ingredient 0 is 0 mem/0: storing 0 in location 1312 diff --git a/cpp/.traces/closure b/cpp/.traces/closure index 0017b943..4f0588cf 100644 --- a/cpp/.traces/closure +++ b/cpp/.traces/closure @@ -62,12 +62,12 @@ after-brace/0: copy ... after-brace/0: reply ... schedule/0: main run/0: instruction main/0 -mem/0: new alloc: 1000 mem/0: array size is 30 +mem/0: new alloc: 1000 run/0: instruction main/1 run/0: instruction init-counter/0 -mem/0: new alloc: 1030 mem/0: array size is 30 +mem/0: new alloc: 1030 run/0: instruction init-counter/1 run/0: ingredient 0 is 23 mem/0: storing 23 in location 1032 @@ -80,8 +80,8 @@ mem/0: storing 1030 in location 1002 run/0: instruction main/2 mem/0: location 1002 is 1030 run/0: instruction increment-counter/0 -mem/0: new alloc: 1060 mem/0: array size is 30 +mem/0: new alloc: 1060 run/0: instruction increment-counter/1 run/0: product 0 is 1030 mem/0: storing 1030 in location 1061 @@ -101,8 +101,8 @@ mem/0: storing 4 in location 2 run/0: instruction main/3 mem/0: location 1002 is 1030 run/0: instruction increment-counter/0 -mem/0: new alloc: 1090 mem/0: array size is 30 +mem/0: new alloc: 1090 run/0: instruction increment-counter/1 run/0: product 0 is 1030 mem/0: storing 1030 in location 1091 diff --git a/cpp/.traces/integer-to-decimal-digit-negative b/cpp/.traces/integer-to-decimal-digit-negative index c085c7df..8291eade 100644 --- a/cpp/.traces/integer-to-decimal-digit-negative +++ b/cpp/.traces/integer-to-decimal-digit-negative @@ -10,8 +10,8 @@ after-brace/0: copy ... schedule/0: test-integer-to-decimal-digit-negative run/0: instruction test-integer-to-decimal-digit-negative/0 run/0: instruction integer-to-decimal-string/0 -mem/0: new alloc: 1000 mem/0: array size is 30 +mem/0: new alloc: 1000 run/0: instruction integer-to-decimal-string/1 run/0: product 0 is -1 mem/0: storing -1 in location 1002 @@ -45,8 +45,8 @@ run/0: product 0 is 1 mem/0: storing 1 in location 1002 run/0: instruction integer-to-decimal-string/14 run/0: instruction init-buffer/0 -mem/0: new alloc: 1030 mem/0: array size is 30 +mem/0: new alloc: 1030 run/0: instruction init-buffer/1 mem/0: new alloc: 1060 mem/0: storing 1060 in location 1032 @@ -72,11 +72,11 @@ run/0: instruction init-buffer/5 run/0: product 0 is 30 mem/0: storing 30 in location 1035 run/0: instruction init-buffer/6 +mem/0: location 1035 is 30 +mem/0: array size is 30 mem/0: new alloc: 1062 mem/0: location 1034 is 1061 mem/0: storing 1062 in location 1061 -mem/0: location 1035 is 30 -mem/0: array size is 30 run/0: instruction init-buffer/7 mem/0: location 1032 is 1060 run/0: result 0 is 1060 @@ -113,8 +113,8 @@ run/0: instruction integer-to-decimal-string/21 mem/0: location 1006 is 1060 mem/0: location 1010 is 49 run/0: instruction buffer-append/0 -mem/0: new alloc: 1092 mem/0: array size is 30 +mem/0: new alloc: 1092 run/0: instruction buffer-append/1 run/0: product 0 is 1060 mem/0: storing 1060 in location 1094 @@ -124,8 +124,8 @@ mem/0: storing 49 in location 1095 run/0: instruction buffer-append/4 mem/0: location 1094 is 1060 run/0: instruction buffer-full?/0 -mem/0: new alloc: 1122 mem/0: array size is 30 +mem/0: new alloc: 1122 run/0: instruction buffer-full?/1 run/0: product 0 is 1060 mem/0: storing 1060 in location 1124 @@ -229,8 +229,8 @@ run/0: jump-unless fell through run/0: instruction integer-to-decimal-string/26 mem/0: location 1006 is 1060 run/0: instruction buffer-append/0 -mem/0: new alloc: 1152 mem/0: array size is 30 +mem/0: new alloc: 1152 run/0: instruction buffer-append/1 run/0: product 0 is 1060 mem/0: storing 1060 in location 1154 @@ -240,8 +240,8 @@ mem/0: storing 45 in location 1155 run/0: instruction buffer-append/4 mem/0: location 1154 is 1060 run/0: instruction buffer-full?/0 -mem/0: new alloc: 1182 mem/0: array size is 30 +mem/0: new alloc: 1182 run/0: instruction buffer-full?/1 run/0: product 0 is 1060 mem/0: storing 1060 in location 1184 @@ -343,10 +343,10 @@ mem/0: location 1061 is 1062 run/0: product 0 is 1062 mem/0: storing 1062 in location 1012 run/0: instruction integer-to-decimal-string/30 -mem/0: new alloc: 1212 -mem/0: storing 1212 in location 1003 mem/0: location 1011 is 2 mem/0: array size is 2 +mem/0: new alloc: 1212 +mem/0: storing 1212 in location 1003 run/0: instruction integer-to-decimal-string/31 run/0: ingredient 0 is len mem/0: location 1011 is 2 diff --git a/cpp/.traces/integer-to-decimal-digit-positive b/cpp/.traces/integer-to-decimal-digit-positive index 1e3be0e1..ae35d140 100644 --- a/cpp/.traces/integer-to-decimal-digit-positive +++ b/cpp/.traces/integer-to-decimal-digit-positive @@ -10,8 +10,8 @@ after-brace/0: copy ... schedule/0: test-integer-to-decimal-digit-positive run/0: instruction test-integer-to-decimal-digit-positive/0 run/0: instruction integer-to-decimal-string/0 -mem/0: new alloc: 1000 mem/0: array size is 30 +mem/0: new alloc: 1000 run/0: instruction integer-to-decimal-string/1 run/0: product 0 is 234 mem/0: storing 234 in location 1002 @@ -36,8 +36,8 @@ run/0: ingredient 1 is run/0: jumping to instruction 13 run/0: instruction integer-to-decimal-string/14 run/0: instruction init-buffer/0 -mem/0: new alloc: 1030 mem/0: array size is 30 +mem/0: new alloc: 1030 run/0: instruction init-buffer/1 mem/0: new alloc: 1060 mem/0: storing 1060 in location 1032 @@ -63,11 +63,11 @@ run/0: instruction init-buffer/5 run/0: product 0 is 30 mem/0: storing 30 in location 1035 run/0: instruction init-buffer/6 +mem/0: location 1035 is 30 +mem/0: array size is 30 mem/0: new alloc: 1062 mem/0: location 1034 is 1061 mem/0: storing 1062 in location 1061 -mem/0: location 1035 is 30 -mem/0: array size is 30 run/0: instruction init-buffer/7 mem/0: location 1032 is 1060 run/0: result 0 is 1060 @@ -104,8 +104,8 @@ run/0: instruction integer-to-decimal-string/21 mem/0: location 1006 is 1060 mem/0: location 1010 is 52 run/0: instruction buffer-append/0 -mem/0: new alloc: 1092 mem/0: array size is 30 +mem/0: new alloc: 1092 run/0: instruction buffer-append/1 run/0: product 0 is 1060 mem/0: storing 1060 in location 1094 @@ -115,8 +115,8 @@ mem/0: storing 52 in location 1095 run/0: instruction buffer-append/4 mem/0: location 1094 is 1060 run/0: instruction buffer-full?/0 -mem/0: new alloc: 1122 mem/0: array size is 30 +mem/0: new alloc: 1122 run/0: instruction buffer-full?/1 run/0: product 0 is 1060 mem/0: storing 1060 in location 1124 @@ -231,8 +231,8 @@ run/0: instruction integer-to-decimal-string/21 mem/0: location 1006 is 1060 mem/0: location 1010 is 51 run/0: instruction buffer-append/0 -mem/0: new alloc: 1152 mem/0: array size is 30 +mem/0: new alloc: 1152 run/0: instruction buffer-append/1 run/0: product 0 is 1060 mem/0: storing 1060 in location 1154 @@ -242,8 +242,8 @@ mem/0: storing 51 in location 1155 run/0: instruction buffer-append/4 mem/0: location 1154 is 1060 run/0: instruction buffer-full?/0 -mem/0: new alloc: 1182 mem/0: array size is 30 +mem/0: new alloc: 1182 run/0: instruction buffer-full?/1 run/0: product 0 is 1060 mem/0: storing 1060 in location 1184 @@ -358,8 +358,8 @@ run/0: instruction integer-to-decimal-string/21 mem/0: location 1006 is 1060 mem/0: location 1010 is 50 run/0: instruction buffer-append/0 -mem/0: new alloc: 1212 mem/0: array size is 30 +mem/0: new alloc: 1212 run/0: instruction buffer-append/1 run/0: product 0 is 1060 mem/0: storing 1060 in location 1214 @@ -369,8 +369,8 @@ mem/0: storing 50 in location 1215 run/0: instruction buffer-append/4 mem/0: location 1214 is 1060 run/0: instruction buffer-full?/0 -mem/0: new alloc: 1242 mem/0: array size is 30 +mem/0: new alloc: 1242 run/0: instruction buffer-full?/1 run/0: product 0 is 1060 mem/0: storing 1060 in location 1244 @@ -491,10 +491,10 @@ mem/0: location 1061 is 1062 run/0: product 0 is 1062 mem/0: storing 1062 in location 1012 run/0: instruction integer-to-decimal-string/30 -mem/0: new alloc: 1272 -mem/0: storing 1272 in location 1003 mem/0: location 1011 is 3 mem/0: array size is 3 +mem/0: new alloc: 1272 +mem/0: storing 1272 in location 1003 run/0: instruction integer-to-decimal-string/31 run/0: ingredient 0 is len mem/0: location 1011 is 3 diff --git a/cpp/.traces/integer-to-decimal-digit-zero b/cpp/.traces/integer-to-decimal-digit-zero index c5d4df99..b7645a2d 100644 --- a/cpp/.traces/integer-to-decimal-digit-zero +++ b/cpp/.traces/integer-to-decimal-digit-zero @@ -10,8 +10,8 @@ after-brace/0: copy ... schedule/0: test-integer-to-decimal-digit-zero run/0: instruction test-integer-to-decimal-digit-zero/0 run/0: instruction integer-to-decimal-string/0 -mem/0: new alloc: 1000 mem/0: array size is 30 +mem/0: new alloc: 1000 run/0: instruction integer-to-decimal-string/1 run/0: product 0 is 0 mem/0: storing 0 in location 1002 diff --git a/cpp/.traces/interpolate-at-end b/cpp/.traces/interpolate-at-end index e9c08184..92eeccda 100644 --- a/cpp/.traces/interpolate-at-end +++ b/cpp/.traces/interpolate-at-end @@ -27,8 +27,8 @@ run/0: instruction test-interpolate-at-end/2 mem/0: location 1 is 1000 mem/0: location 2 is 1009 run/0: instruction interpolate/0 -mem/0: new alloc: 1013 mem/0: array size is 60 +mem/0: new alloc: 1013 run/0: instruction interpolate/1 run/0: product 0 is 1000 mem/0: storing 1000 in location 1015 @@ -77,10 +77,10 @@ run/0: instruction interpolate/12 run/0: instruction interpolate/13 run/0: product 0 is 1000 run/0: instruction interpolate/14 -mem/0: new alloc: 1073 -mem/0: storing 1073 in location 1021 mem/0: location 1017 is 10 mem/0: array size is 10 +mem/0: new alloc: 1073 +mem/0: storing 1073 in location 1021 run/0: instruction interpolate/15 run/0: ingredient 0 is 0 mem/0: storing 0 in location 1022 diff --git a/cpp/.traces/interpolate-at-start b/cpp/.traces/interpolate-at-start index 7c09ee1c..af045fdc 100644 --- a/cpp/.traces/interpolate-at-start +++ b/cpp/.traces/interpolate-at-start @@ -27,8 +27,8 @@ run/0: instruction test-interpolate-at-start/2 mem/0: location 1 is 1000 mem/0: location 2 is 1010 run/0: instruction interpolate/0 -mem/0: new alloc: 1014 mem/0: array size is 60 +mem/0: new alloc: 1014 run/0: instruction interpolate/1 run/0: product 0 is 1000 mem/0: storing 1000 in location 1016 @@ -77,10 +77,10 @@ run/0: instruction interpolate/12 run/0: instruction interpolate/13 run/0: product 0 is 1000 run/0: instruction interpolate/14 -mem/0: new alloc: 1074 -mem/0: storing 1074 in location 1022 mem/0: location 1018 is 11 mem/0: array size is 11 +mem/0: new alloc: 1074 +mem/0: storing 1074 in location 1022 run/0: instruction interpolate/15 run/0: ingredient 0 is 0 mem/0: storing 0 in location 1023 diff --git a/cpp/.traces/interpolate-works b/cpp/.traces/interpolate-works index 917885b6..97edab53 100644 --- a/cpp/.traces/interpolate-works +++ b/cpp/.traces/interpolate-works @@ -27,8 +27,8 @@ run/0: instruction test-interpolate-works/2 mem/0: location 1 is 1000 mem/0: location 2 is 1006 run/0: instruction interpolate/0 -mem/0: new alloc: 1010 mem/0: array size is 60 +mem/0: new alloc: 1010 run/0: instruction interpolate/1 run/0: product 0 is 1000 mem/0: storing 1000 in location 1012 @@ -77,10 +77,10 @@ run/0: instruction interpolate/12 run/0: instruction interpolate/13 run/0: product 0 is 1000 run/0: instruction interpolate/14 -mem/0: new alloc: 1070 -mem/0: storing 1070 in location 1018 mem/0: location 1014 is 7 mem/0: array size is 7 +mem/0: new alloc: 1070 +mem/0: storing 1070 in location 1018 run/0: instruction interpolate/15 run/0: ingredient 0 is 0 mem/0: storing 0 in location 1019 diff --git a/cpp/.traces/new_array b/cpp/.traces/new_array index 42cd5b71..92e3f62f 100644 --- a/cpp/.traces/new_array +++ b/cpp/.traces/new_array @@ -17,9 +17,9 @@ after-brace/0: new ... after-brace/0: subtract ... schedule/0: main run/0: instruction main/0 +mem/0: array size is 5 mem/0: new alloc: 1000 mem/0: storing 1000 in location 1 -mem/0: array size is 5 run/0: instruction main/1 mem/0: new alloc: 1005 mem/0: storing 1005 in location 2 diff --git a/cpp/.traces/string-append-1 b/cpp/.traces/string-append-1 index f8da656b..def942ca 100644 --- a/cpp/.traces/string-append-1 +++ b/cpp/.traces/string-append-1 @@ -27,8 +27,8 @@ run/0: instruction test-string-append-1/2 mem/0: location 1 is 1000 mem/0: location 2 is 1007 run/0: instruction string-append/0 -mem/0: new alloc: 1015 mem/0: array size is 30 +mem/0: new alloc: 1015 run/0: instruction string-append/1 run/0: product 0 is 1000 mem/0: storing 1000 in location 1017 @@ -49,10 +49,10 @@ mem/0: location 1020 is 7 run/0: product 0 is 13 mem/0: storing 13 in location 1021 run/0: instruction string-append/6 -mem/0: new alloc: 1045 -mem/0: storing 1045 in location 1022 mem/0: location 1021 is 13 mem/0: array size is 13 +mem/0: new alloc: 1045 +mem/0: storing 1045 in location 1022 run/0: instruction string-append/7 run/0: ingredient 0 is 0 mem/0: storing 0 in location 1023 diff --git a/cpp/.traces/string-equal-common-lengths-but-distinct b/cpp/.traces/string-equal-common-lengths-but-distinct index a236c928..352324c4 100644 --- a/cpp/.traces/string-equal-common-lengths-but-distinct +++ b/cpp/.traces/string-equal-common-lengths-but-distinct @@ -24,8 +24,8 @@ after-brace/0: new ... after-brace/0: string-equal ... schedule/0: test-string-equal-common-lengths-but-distinct run/0: instruction test-string-equal-common-lengths-but-distinct/0 -mem/0: new alloc: 1000 mem/0: array size is 30 +mem/0: new alloc: 1000 run/0: instruction test-string-equal-common-lengths-but-distinct/1 mem/0: storing 1030 in location 1002 run/0: instruction test-string-equal-common-lengths-but-distinct/2 @@ -34,8 +34,8 @@ run/0: instruction test-string-equal-common-lengths-but-distinct/3 mem/0: location 1002 is 1030 mem/0: location 1003 is 1034 run/0: instruction string-equal/0 -mem/0: new alloc: 1038 mem/0: array size is 30 +mem/0: new alloc: 1038 run/0: instruction string-equal/1 run/0: product 0 is 1030 mem/0: storing 1030 in location 1040 diff --git a/cpp/.traces/string-equal-distinct-lengths b/cpp/.traces/string-equal-distinct-lengths index 38c09b9e..8e2b6834 100644 --- a/cpp/.traces/string-equal-distinct-lengths +++ b/cpp/.traces/string-equal-distinct-lengths @@ -24,8 +24,8 @@ after-brace/0: new ... after-brace/0: string-equal ... schedule/0: test-string-equal-distinct-lengths run/0: instruction test-string-equal-distinct-lengths/0 -mem/0: new alloc: 1000 mem/0: array size is 30 +mem/0: new alloc: 1000 run/0: instruction test-string-equal-distinct-lengths/1 mem/0: storing 1030 in location 1002 run/0: instruction test-string-equal-distinct-lengths/2 @@ -34,8 +34,8 @@ run/0: instruction test-string-equal-distinct-lengths/3 mem/0: location 1002 is 1030 mem/0: location 1003 is 1034 run/0: instruction string-equal/0 -mem/0: new alloc: 1039 mem/0: array size is 30 +mem/0: new alloc: 1039 run/0: instruction string-equal/1 run/0: product 0 is 1030 mem/0: storing 1030 in location 1041 diff --git a/cpp/.traces/string-equal-identical b/cpp/.traces/string-equal-identical index a392ec0c..6e07b00a 100644 --- a/cpp/.traces/string-equal-identical +++ b/cpp/.traces/string-equal-identical @@ -24,8 +24,8 @@ after-brace/0: new ... after-brace/0: string-equal ... schedule/0: test-string-equal-identical run/0: instruction test-string-equal-identical/0 -mem/0: new alloc: 1000 mem/0: array size is 30 +mem/0: new alloc: 1000 run/0: instruction test-string-equal-identical/1 mem/0: storing 1030 in location 1002 run/0: instruction test-string-equal-identical/2 @@ -34,8 +34,8 @@ run/0: instruction test-string-equal-identical/3 mem/0: location 1002 is 1030 mem/0: location 1003 is 1034 run/0: instruction string-equal/0 -mem/0: new alloc: 1038 mem/0: array size is 30 +mem/0: new alloc: 1038 run/0: instruction string-equal/1 run/0: product 0 is 1030 mem/0: storing 1030 in location 1040 diff --git a/cpp/.traces/string-equal-reflexive b/cpp/.traces/string-equal-reflexive index 86f4ac0e..a61a0032 100644 --- a/cpp/.traces/string-equal-reflexive +++ b/cpp/.traces/string-equal-reflexive @@ -18,16 +18,16 @@ after-brace/0: new ... after-brace/0: string-equal ... schedule/0: test-string-equal-reflexive run/0: instruction test-string-equal-reflexive/0 -mem/0: new alloc: 1000 mem/0: array size is 30 +mem/0: new alloc: 1000 run/0: instruction test-string-equal-reflexive/1 mem/0: storing 1030 in location 1002 run/0: instruction test-string-equal-reflexive/2 mem/0: location 1002 is 1030 mem/0: location 1002 is 1030 run/0: instruction string-equal/0 -mem/0: new alloc: 1034 mem/0: array size is 30 +mem/0: new alloc: 1034 run/0: instruction string-equal/1 run/0: product 0 is 1030 mem/0: storing 1030 in location 1036 diff --git a/cpp/.traces/string-equal-with-empty b/cpp/.traces/string-equal-with-empty index 1a0e4a44..ab5e63e4 100644 --- a/cpp/.traces/string-equal-with-empty +++ b/cpp/.traces/string-equal-with-empty @@ -24,8 +24,8 @@ after-brace/0: new ... after-brace/0: string-equal ... schedule/0: test-string-equal-with-empty run/0: instruction test-string-equal-with-empty/0 -mem/0: new alloc: 1000 mem/0: array size is 30 +mem/0: new alloc: 1000 run/0: instruction test-string-equal-with-empty/1 mem/0: storing 1030 in location 1002 run/0: instruction test-string-equal-with-empty/2 @@ -34,8 +34,8 @@ run/0: instruction test-string-equal-with-empty/3 mem/0: location 1002 is 1030 mem/0: location 1003 is 1031 run/0: instruction string-equal/0 -mem/0: new alloc: 1036 mem/0: array size is 30 +mem/0: new alloc: 1036 run/0: instruction string-equal/1 run/0: product 0 is 1030 mem/0: storing 1030 in location 1038