4891 - mu - Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

diff options

author	Kartik Agaram <vc@akkartik.com>	2018-12-30 00:02:42 -0800
committer	Kartik Agaram <vc@akkartik.com>	2018-12-30 00:02:42 -0800
commit	08a0eed699b8ea07d37163aba610c8e04feee003 (patch)
tree	aab05fd9b23ca4f5cfc6492ade82896f3ba5e4bb /html/subx/examples/ex1.subx.html
parent	ac07e589b3e912c704c2011d543f18b16712ff15 (diff)
download	mu-08a0eed699b8ea07d37163aba610c8e04feee003.tar.gz

4891

Couple more tweaks to html rendering:
a) SubX definitions no longer link redundantly to themselves. This long-standing
issue turns out to be tractable to solve for SubX files since the syntax
is so simple.
b) Fix links to SubX definitions in other directories. I forgot that I
have to always generate tags from the directory of the file being linkified.
c) Fix link colors. Before we lost all syntax highlighting for functions
and Globals. Now they maintain their colors, just add an underline.

Diffstat (limited to 'html/subx/examples/ex1.subx.html')

-rw-r--r--

html/subx/examples/ex1.subx.html

1 files changed, 1 insertions, 0 deletions

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> <html> <head> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> <title>Mu - 047jump_label.cc</title> <meta name="Generator" content="Vim/7.4"> <meta name="plugin-version" content="vim7.4_v1"> <meta name="syntax" content="cpp"> <meta name="settings" content="use_css,pre_wrap,no_foldcolumn,expand_tabs,prevent_copy="> <meta name="colorscheme" content="minimal"> <style type="text/css">  </style> <script type='text/javascript'>  </script> </head> <body> <pre id='vimCodeElement'> //: Support jumps to labels. //: We'll also treat 'break' and 'continue' as jumps. The choice of name is //: just documentation about intent. :(scenario jump_to_label) recipe main [ jump +target:label 1:number <- copy 0:literal +target ] -mem: storing 0 in location 1 :(before "End Mu Types Initialization") Type_number["label"] = 0; :(after "int main") Transform.push_back(transform_labels); :(code) void transform_labels(const recipe_number r) { map<string, long long int> offset; for (long long int i = 0; i < SIZE(Recipe[r].steps); ++i) { const instruction& inst = Recipe[r].steps.at(i); if (!inst.label.empty()) offset[inst.label] = i; } for (long long int i = 0; i < SIZE(Recipe[r].steps); ++i) { instruction& inst = Recipe[r].steps.at(i); if (inst.operation == Recipe_number["jump"]) { //? cerr << inst.to_string() << '\n'; //? 1 replace_offset(inst.ingredients.at(0), offset, i, r); } if (inst.operation == Recipe_number["jump-if"] || inst.operation == Recipe_number["jump-unless"]) { replace_offset(inst.ingredients.at(1), offset, i, r); } if ((inst.operation == Recipe_number["loop"] || inst.operation == Recipe_number["break"]) && SIZE(inst.ingredients) == 1) { replace_offset(inst.ingredients.at(0), offset, i, r); } if ((inst.operation == Recipe_number["loop-if"] || inst.operation == Recipe_number["loop-unless"] || inst.operation == Recipe_number["break-if"] || inst.operation == Recipe_number["break-unless"]) && SIZE(inst.ingredients) == 2) { replace_offset(inst.ingredients.at(1), offset, i, r); } } } :(code) void replace_offset(reagent& x, /*const*/ map<string, long long int>& offset, const long long int current_offset, const recipe_number r) { //? cerr << "AAA " << x.to_string() << '\n'; //? 1 assert(is_literal(x)); //? cerr << "BBB " << x.to_string() << '\n'; //? 1 assert(!x.initialized); //? cerr << "CCC " << x.to_string() << '\n'; //? 1 if (is_integer(x.name)) return; // non-labels will be handled like other number operands //? cerr << "DDD " << x.to_string() << '\n'; //? 1 if (offset.find(x.name) == offset.end()) raise << "can't find label " << x.name << " in routine " << Recipe[r].name << '\n'; x.set_value(offset[x.name]-current_offset); } :(scenario break_to_label) recipe main [ #? $print [aaa] { { break +target:label 1:number <- copy 0:literal } } +target ] -mem: storing 0 in location 1 :(scenario jump_if_to_label) recipe main [ { { jump-if 1:literal, +target:label 1:number <- copy 0:literal } } +target ] -mem: storing 0 in location 1 :(scenario loop_unless_to_label) recipe main [ { { loop-unless 0:literal, +target:label # loop/break with a label don't care about braces 1:number <- copy 0:literal } } +target ] -mem: storing 0 in location 1 :(scenario jump_runs_code_after_label) recipe main [ # first a few lines of padding to exercise the offset computation 1:number <- copy 0:literal 2:number <- copy 0:literal 3:number <- copy 0:literal jump +target:label 4:number <- copy 0:literal +target 5:number <- copy 0:literal ] +mem: storing 0 in location 5 -mem: storing 0 in location 4 </pre> </body> </html>


context:
space:
mode: