path: root/042name.cc

//: A big convenience high-level languages provide is the ability to name memory
//: locations. In Mu, a transform called 'transform_names' provides this
//: convenience.

:(scenario transform_names)
def main [
  x:num <- copy 0
]
+name: assign x 1
+mem: storing 0 in location 1

:(scenarios transform)
:(scenario transform_names_fails_on_use_before_define)
% Hide_errors = true;
def main [
  x:num <- copy y:num
]
+error: main: tried to read ingredient 'y' in 'x:num <- copy y:num' but it hasn't been written to yet
# todo: detect conditional defines

:(after "Transform.push_back(compute_container_sizes)")
Transform.push_back(transform_names);  // idempotent

:(before "End Globals")
map<recipe_ordinal, map<string, int> > Name;

//: the Name map is a global, so save it before tests and reset it for every
//: test, just to be safe.
:(before "End Globals")
map<recipe_ordinal, map<string, int> > Name_snapshot;
:(before "End save_snapshots")
Name_snapshot = Name;
:(before "End restore_snapshots")
Name = Name_snapshot;

:(code)
void transform_names(const recipe_ordinal r) {
  recipe& caller = get(Recipe, r);
  trace(9991, "transform") << "--- transform names for recipe " << caller.name << end();
  bool names_used = false;
  bool numeric_locations_used = false;
  map<string, int>& names = Name[r];
  // store the indices 'used' so far in the map
  int& curr_idx = names[""];
  ++curr_idx;  // avoid using index 0, benign skip in some other cases
  for (int i = 0;  i < SIZE(caller.steps);  ++i) {
    instruction& inst = caller.steps.at(i);
    // End transform_names(inst) Special-cases
    // map names to addresses
    for (int in =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 */
<!DOCTYPE html>
<html>
<head>
<meta charset="UTF-8">
<title>Mu - 316colors.subx</title>
<meta name="Generator" content="Vim/8.2">
<meta name="plugin-version" content="vim8.1_v2">
<meta name="syntax" content="none">
<meta name="settings" content="number_lines,use_css,pre_wrap,no_foldcolumn,expand_tabs,line_ids,prevent_copy=,use_input_for_pc=fallback">
<meta name="colorscheme" content="minimal-light">
<style>
<!--
pre { white-space: pre-wrap; font-family: monospace; color: #000000; background-color: #ffffd7; }
body { font-size:12pt; font-family: monospace; color: #000000; background-color: #ffffd7; }
a { color:inherit; }
* { font-size:12pt; font-size: 1em; }
.SpecialChar { color: #d70000; }
.subxComment { color: #005faf; }
.subxS1Comment { color: #0000af; }
.LineNr { }
.subxTest { color: #5f8700; }
.subxFunction { color: #af5f00; text-decoration: underline; }
.Constant { color: #008787; }
-->
</style>

<script>
<!--

/* function to open any folds containing a jumped-to line before jumping to it */
function JumpToLine()
{
  var lineNum;
  lineNum = window.location.hash;
  lineNum = lineNum.substr(1); /* strip off '#' */

  if (lineNum.indexOf('L') == -1) {
    lineNum = 'L'+lineNum;
  }
  var lineElem = document.getElementById(lineNum);
  /* Always jump to new location even if the line was hidden inside a fold, or
   * we corrected the raw number to a line ID.
   */
  if (lineElem) {
    lineElem.scrollIntoView(true);
  }
  return true;
}
if ('onhashchange' in window) {
  window.onhashchange = JumpToLine;
}

-->
</script>
</head>
<body onload='JumpToLine();'>
<a href='https://github.com/akkartik/mu/blob/main/316colors.subx'>https://github.com/akkartik/mu/blob/main/316colors.subx</a>
<pre id='vimCodeElement'>
<span id="L1" class="LineNr">  1 </span><span class="subxComment"># Some information about the default palette of 256 colors provided by the</span>
<span id="L2" class="LineNr">  2 </span><span class="subxComment"># BIOS on x86 computers.</span>
<span id="L3" class="LineNr">  3 </span>
<span id="L4" class="LineNr">  4 </span>== code
<span id="L5" class="LineNr">  5 </span>
<span id="L6" class="LineNr">  6 </span><span class="subxComment"># Return the r/g/b for color [0, 256) in ecx/edx/ebx respectively.</span>
<span id="L7" class="LineNr">  7 </span><span class="subxFunction">color-rgb</span>:  <span class="subxComment"># color: int -&gt; _/ecx: int, _/edx: int, _/ebx: int</span>
<span id="L8" class="LineNr">  8 </span>    <span class="subxS1Comment"># . prologue</span>
<span id="L9" class="LineNr">  9 </span>    55/push-ebp
<span id="L10" class="LineNr"> 10 </span>    89/&lt;- %ebp 4/r32/esp
<span id="L11" class="LineNr"> 11 </span>    <span class="subxS1Comment"># . save registers</span>
<span id="L12" class="LineNr"> 12 </span>    50/push-eax
<span id="L13" class="LineNr"> 13 </span>    56/push-esi
<span id="L14" class="LineNr"> 14 </span>    <span class="subxComment"># esi = color</span>
<span id="L15" class="LineNr"> 15 </span>    8b/-&gt; *(ebp+8) 6/r32/esi
<span id="L16" class="LineNr"> 16 </span>    <span class="subxComment">#</span>
<span id="L17" class="LineNr"> 17 </span>    81 7/subop/compare %esi 0x100/imm32
<span id="L18" class="LineNr"> 18 </span>    {
<span id="L19" class="LineNr"> 19 </span>      7c/jump-if-&lt; <span class="Constant">break</span>/disp8
<span id="L20" class="LineNr"> 20 </span>      (<a href='317abort.subx.html#L5'>abort</a> <span class="Constant">&quot;invalid color&quot;</span>)
<span id="L21" class="LineNr"> 21 </span>    }
<span id="L22" class="LineNr"> 22 </span>    <span class="subxComment"># var color/esi: int = Colors-rgb[color]</span>
<span id="L23" class="LineNr"> 23 </span>    b8/copy-to-eax <span class="SpecialChar"><a href='316colors.subx.html#L71'>Colors-rgb</a></span>/imm32
<span id="L24" class="LineNr"> 24 </span>    8b/-&gt; *(eax+esi&lt;&lt;2+4) 6/r32/esi
<span id="L25" class="LineNr"> 25 </span>    <span class="subxComment"># var red/ecx: int = color &amp; 0xff</span>
<span id="L26" class="LineNr"> 26 </span>    89/&lt;- %eax 6/r32/esi
<span id="L27" class="LineNr"> 27 </span>    25/and-eax-with 0xff/imm32
<span id="L28" class="LineNr"> 28 </span>    89/&lt;- %ecx 0/r32/eax
<span id="L29" class="LineNr"> 29 </span>    <span class="subxComment"># var green/edx: int = (color &gt;&gt; 8) &amp; 0xff</span>
<span id="L30" class="LineNr"> 30 </span>    89/&lt;- %eax 6/r32/esi
<span id="L31" class="LineNr"> 31 </span>    c1 5/subop/shift-right-logical %eax 8/imm8
<span id="L32" class="LineNr"> 32 </span>    25/and-eax-with 0xff/imm32
<span id="L33" class="LineNr"> 33 </span>    89/&lt;- %edx 0/r32/eax
<span id="L34" class="LineNr"> 34 </span>    <span class="subxComment"># var blue/ebx: int = (color &gt;&gt; 16)</span>
<span id="L35" class="LineNr"> 35 </span>    89/&lt;- %eax 6/r32/esi
<span id="L36" class="LineNr"> 36 </span>    c1 5/subop/shift-right-logical %eax 0x10/imm8
<span id="L37" class="LineNr"> 37 </span>    89/&lt;- %ebx 0/r32/eax
<span id="L38" class="LineNr"> 38 </span><span class="Constant">$colors-rgb:end</span>:
<span id="L39" class="LineNr"> 39 </span>    <span class="subxS1Comment"># . restore registers</span>
<span id="L40" class="LineNr"> 40 </span>    5e/pop-to-esi
<span id="L41" class="LineNr"> 41 </span>    58/pop-to-eax
<span id="L42" class="LineNr"> 42 </span>    <span class="subxS1Comment"># . epilogue</span>
<span id="L43" class="LineNr"> 43 </span>    89/&lt;- %esp 5/r32/ebp
<span id="L44" class="LineNr"> 44 </span>    5d/pop-to-ebp
<span id="L45" class="LineNr"> 45 </span>    c3/return
<span id="L46" class="LineNr"> 46 </span>
<span id="L47" class="LineNr"> 47 </span><span class="subxTest">test-color-rgb</span>:
<span id="L48" class="LineNr"> 48 </span>    <span class="subxS1Comment"># . prologue</span>
<span id="L49" class="LineNr"> 49 </span>    55/push-ebp
<span id="L50" class="LineNr"> 50 </span>    89/&lt;- %ebp 4/r32/esp
<span id="L51" class="LineNr"> 51 </span>    <span class="subxComment">#</span>
<span id="L52" class="LineNr"> 52 </span>    (<a href='316colors.subx.html#L7'>color-rgb</a> 0x10)  <span class="subxComment"># =&gt; eax ecx edx</span>
<span id="L53" class="LineNr"> 53 </span>    (<a href='502test.mu.html#L2'>check-ints-equal</a> %ecx 0 <span class="Constant">&quot;F - <a href='316colors.subx.html#L47'>test-color-rgb</a>/0x10/r&quot;</span>)
<span id="L54" class="LineNr"> 54 </span>    (<a href='502test.mu.html#L2'>check-ints-equal</a> %edx 0 <span class="Constant">&quot;F - <a href='316colors.subx.html#L47'>test-color-rgb</a>/0x10/g&quot;</span>)
<span id="L55" class="LineNr"> 55 </span>    (<a href='502test.mu.html#L2'>check-ints-equal</a> %ebx 0 <span class="Constant">&quot;F - <a href='316colors.subx.html#L47'>test-color-rgb</a>/0x10/b&quot;</span>)
<span id="L56" class="LineNr"> 56 </span>    (<a href='316colors.subx.html#L7'>color-rgb</a> 1)  <span class="subxComment"># =&gt; eax ecx edx</span>
<span id="L57" class="LineNr"> 57 </span>    (<a href='502test.mu.html#L2'>check-ints-equal</a> %ecx 0 <span class="Constant">&quot;F - <a href='316colors.subx.html#L47'>test-color-rgb</a>/1/r&quot;</span>)
<span id="L58" class="LineNr"> 58 </span>    (<a href='502test.mu.html#L2'>check-ints-equal</a> %edx 0 <span class="Constant">&quot;F - <a href='316colors.subx.html#L47'>test-color-rgb</a>/1/g&quot;</span>)
<span id="L59" class="LineNr"> 59 </span>    (<a href='502test.mu.html#L2'>check-ints-equal</a> %ebx 0xaa <span class="Constant">&quot;F - <a href='316colors.subx.html#L47'>test-color-rgb</a>/1/b&quot;</span>)
<span id="L60" class="LineNr"> 60 </span>    (<a href='316colors.subx.html#L7'>color-rgb</a> 0xf)  <span class="subxComment"># =&gt; eax ecx edx</span>
<span id="L61" class="LineNr"> 61 </span>    (<a href='502test.mu.html#L2'>check-ints-equal</a> %ecx 0xff <span class="Constant">&quot;F - <a href='316colors.subx.html#L47'>test-color-rgb</a>/0xf/r&quot;</span>)
<span id="L62" class="LineNr"> 62 </span>    (<a href='502test.mu.html#L2'>check-ints-equal</a> %edx 0xff <span class="Constant">&quot;F - <a href='316colors.subx.html#L47'>test-color-rgb</a>/0xf/g&quot;</span>)
<span id="L63" class="LineNr"> 63 </span>    (<a href='502test.mu.html#L2'>check-ints-equal</a> %ebx 0xff <span class="Constant">&quot;F - <a href='316colors.subx.html#L47'>test-color-rgb</a>/0xf/b&quot;</span>)
<span id="L64" class="LineNr"> 64 </span>    <span class="subxS1Comment"># . epilogue</span>
<span id="L65" class="LineNr"> 65 </span>    89/&lt;- %esp 5/r32/ebp
<span id="L66" class="LineNr"> 66 </span>    5d/pop-to-ebp
<span id="L67" class="LineNr"> 67 </span>    c3/return
<span id="L68" class="LineNr"> 68 </span>
<span id="L69" class="LineNr"> 69 </span>== data
<span id="L70" class="LineNr"> 70 </span>
<span id="L71" class="LineNr"> 71 </span><span class="SpecialChar">Colors-rgb</span>:
<span id="L72" class="LineNr"> 72 </span>  0x400/imm32
<span id="L73" class="LineNr"> 73 </span>  00 00 00 00
<span id="L74" class="LineNr"> 74 </span>  00 00 aa 00
<span id="L75" class="LineNr"> 75 </span>  00 aa 00 00
<span id="L76" class="LineNr"> 76 </span>  00 aa aa 00
<span id="L77" class="LineNr"> 77 </span>  aa 00 00 00
<span id="L78" class="LineNr"> 78 </span>  aa 00 aa 00
<span id="L79" class="LineNr"> 79 </span>  aa 55 00 00
<span id="L80" class="LineNr"> 80 </span>  aa aa aa 00
<span id="L81" class="LineNr"> 81 </span>  55 55 55 00
<span id="L82" class="LineNr"> 82 </span>  55 55 ff 00
<span id="L83" class="LineNr"> 83 </span>  55 ff 55 00
<span id="L84" class="LineNr"> 84 </span>  55 ff ff 00
<span id="L85" class="LineNr"> 85 </span>  ff 55 55 00
<span id="L86" class="LineNr"> 86 </span>  ff 55 ff 00
<span id="L87" class="LineNr"> 87 </span>  ff ff 55 00
<span id="L88" class="LineNr"> 88 </span>  ff ff ff 00
<span id="L89" class="LineNr"> 89 </span>  00 00 00 00
<span id="L90" class="LineNr"> 90 </span>  14 14 14 00
<span id="L91" class="LineNr"> 91 </span>  20 20 20 00
<span id="L92" class="LineNr"> 92 </span>  2c 2c 2c 00
<span id="L93" class="LineNr"> 93 </span>  38 38 38 00
<span id="L94" class="LineNr"> 94 </span>  45 45 45 00
<span id="L95" class="LineNr"> 95 </span>  51 51 51 00
<span id="L96" class="LineNr"> 96 </span>  61 61 61 00
<span id="L97" class="LineNr"> 97 </span>  71 71 71 00
<span id="L98" class="LineNr"> 98 </span>  82 82 82 00
<span id="L99" class="LineNr"> 99 </span>  92 92 92 00
<span id="L100" class="LineNr">100 </span>  a2 a2 a2 00
<span id="L101" class="LineNr">101 </span>  b6 b6 b6 00
<span id="L102" class="LineNr">102 </span>  cb cb cb 00
<span id="L103"