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

diff options

Diffstat (limited to 'html/014literal_string.cc.html')

-rw-r--r--

html/014literal_string.cc.html

1 files changed, 8 insertions, 8 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 - 044space.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'> //: Spaces help isolate recipes from each other. You can create them at will, //: and all addresses in arguments are implicitly based on the 'default-space' //: (unless they have the /raw property) :(scenario set_default_space) # if default-space is 10, and if an array of 5 locals lies from location 11 to 15 (inclusive), # then location 0 is really location 11, location 1 is really location 12, and so on. recipe main [ 10:number <- copy 5 # pretend array; in practice we'll use new default-space:address:array:location <- copy 10 1:number <- copy 23 ] +mem: storing 23 in location 12 :(scenario lookup_sidesteps_default_space) recipe main [ # pretend pointer from outside 3:number <- copy 34 # pretend array 1000:number <- copy 5 # actual start of this recipe default-space:address:array:location <- copy 1000 1:address:number <- copy 3 8:number/raw <- copy *1:address:number ] +mem: storing 34 in location 8 //:: first disable name conversion for 'default-space' :(scenario convert_names_passes_default_space) recipe main [ default-space:number, x:number <- copy 0, 1 ] +name: assign x 1 -name: assign default-space 1 :(before "End Disqualified Reagents") if (x.name == "default-space") x.initialized = true; :(before "End is_special_name Cases") if (s == "default-space") return true; //:: now implement space support :(before "End call Fields") long long int default_space; :(before "End call Constructor") default_space = 0; :(replace "reagent r = x" following "reagent canonize(reagent x)") reagent r = absolutize(x); :(code) reagent absolutize(reagent x) { if (is_raw(x) || is_dummy(x)) return x; if (x.name == "default-space") return x; if (!x.initialized) { raise << current_instruction().to_string() << ": reagent not initialized: " << x.original_string << '\n' << end(); return x; } reagent r = x; r.set_value(address(r.value, space_base(r))); r.properties.push_back(pair<string, vector<string> >("raw", vector<string>())); assert(is_raw(r)); return r; } :(before "return result" following "reagent lookup_memory(reagent x)") result.properties.push_back(pair<string, vector<string> >("raw", vector<string>())); //:: fix 'get' :(scenario lookup_sidesteps_default_space_in_get) recipe main [ # pretend pointer to container from outside 12:number <- copy 34 13:number <- copy 35 # pretend array 1000:number <- copy 5 # actual start of this recipe default-space:address:array:location <- copy 1000 1:address:point <- copy 12 9:number/raw <- get *1:address:point, 1:offset ] +mem: storing 35 in location 9 :(after "reagent tmp" following "case GET:") tmp.properties.push_back(pair<string, vector<string> >("raw", vector<string>())); //:: fix 'index' :(scenario lookup_sidesteps_default_space_in_index) recipe main [ # pretend pointer to array from outside 12:number <- copy 2 13:number <- copy 34 14:number <- copy 35 # pretend array 1000:number <- copy 5 # actual start of this recipe default-space:address:array:location <- copy 1000 1:address:array:number <- copy 12 9:number/raw <- index *1:address:array:number, 1 ] +mem: storing 35 in location 9 :(after "reagent tmp" following "case INDEX:") tmp.properties.push_back(pair<string, vector<string> >("raw", vector<string>())); //:: convenience operation to automatically deduce the amount of space to //:: allocate in a default space with names :(scenario new_default_space) recipe main [ new-default-space x:number <- copy 0 y:number <- copy 3 ] # allocate space for x and y, as well as the chaining slot at 0 +mem: array size is 3 :(before "End Disqualified Reagents") if (x.name == "number-of-locals") x.initialized = true; :(before "End is_special_name Cases") if (s == "number-of-locals") return true; :(before "End Rewrite Instruction(curr)") // rewrite `new-default-space` to // `default-space:address:array:location <- new location:type, number-of-locals:literal` // where N is Name[recipe][""] if (curr.name == "new-default-space") { rewrite_default_space_instruction(curr); } :(after "vector<double> read_memory(reagent x)") if (x.name == "number-of-locals") { vector<double> result; result.push_back(Name[Recipe_ordinal[current_recipe_name()]][""]); if (result.back() == 0) raise << "no space allocated for default-space in recipe " << current_recipe_name() << "; are you using names\n" << end(); return result; } :(after "void write_memory(reagent x, vector<double> data)") if (x.name == "number-of-locals") { raise << current_recipe_name() << ": can't write to special name 'number-of-locals'\n" << end(); return; } //:: a little hook to automatically reclaim the default-space when returning //:: from a recipe :(scenario local_scope) recipe main [ 1:address <- foo 2:address <- foo 3:boolean <- equal 1:address, 2:address ] recipe foo [ local-scope x:number <- copy 34 reply default-space:address:array:location ] # both calls to foo should have received the same default-space +mem: storing 1 in location 3 :(after "Falling Through End Of Recipe") try_reclaim_locals(); :(after "Starting Reply") try_reclaim_locals(); //: now 'local-scope' is identical to 'new-default-space' except that we'll //: reclaim the default-space when the routine exits :(before "End Rewrite Instruction(curr)") if (curr.name == "local-scope") { rewrite_default_space_instruction(curr); } :(code) void try_reclaim_locals() { // only reclaim routines starting with 'local-scope' const recipe_ordinal r = Recipe_ordinal[current_recipe_name()]; if (Recipe[r].steps.empty()) return; const instruction& inst = Recipe[r].steps.at(0); if (inst.name != "local-scope") return; abandon(Current_routine->calls.front().default_space, /*array length*/1+/*number-of-locals*/Name[r][""]); } void rewrite_default_space_instruction(instruction& curr) { curr.operation = Recipe_ordinal["new"]; if (!curr.ingredients.empty()) raise << "new-default-space can't take any ingredients\n" << end(); curr.ingredients.push_back(reagent("location:type")); curr.ingredients.push_back(reagent("number-of-locals:literal")); if (!curr.products.empty()) raise << "new-default-space can't take any results\n" << end(); curr.products.push_back(reagent("default-space:address:array:location")); } //:: helpers :(code) long long int space_base(const reagent& x) { return Current_routine->calls.front().default_space; } long long int address(long long int offset, long long int base) { if (base == 0) return offset; // raw if (offset >= static_cast<long long int>(Memory[base])) { // todo: test raise << "location " << offset << " is out of bounds " << Memory[base] << " at " << base << '\n' << end(); } return base+1 + offset; } :(after "void write_memory(reagent x, vector<double> data)") if (x.name == "default-space") { if (!scalar(data)) raise << current_recipe_name() << ": 'default-space' should be of type address:array:location, but tried to write " << to_string(data) << '\n' << end(); Current_routine->calls.front().default_space = data.at(0); return; } :(scenario get_default_space) recipe main [ default-space:address:array:location <- copy 10 1:number/raw <- copy default-space:address:array:location ] +mem: storing 10 in location 1 :(after "vector<double> read_memory(reagent x)") if (x.name == "default-space") { vector<double> result; result.push_back(Current_routine->calls.front().default_space); return result; } </pre> </body> </html>


context:
space:
mode: