1451 - share post-processing between all call instructions - mu - Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

diff options

author	Kartik K. Agaram <vc@akkartik.com>	2015-05-24 15:45:09 -0700
committer	Kartik K. Agaram <vc@akkartik.com>	2015-05-24 15:45:09 -0700
commit	012d2ee18de5daa3c08efea9fc30c89d474e77c1 (patch)
tree	d025a7edbf6e815e0b72e371a459c185e8f9a235 /html/070display.cc.html
parent	8156110ea633b7375096ab98be85254f00f6b0b2 (diff)
download	mu-012d2ee18de5daa3c08efea9fc30c89d474e77c1.tar.gz

1451 - share post-processing between all call instructions

Diffstat (limited to 'html/070display.cc.html')

0 files changed, 0 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>~/Desktop/s/mu/032array.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'> //: Arrays contain a variable number of elements of the same type. Their value //: starts with the length of the array. //: //: You can create arrays of containers, but containers can only contain //: elements of a fixed size, so you can't create containers containing arrays. //: Create containers containing addresses to arrays instead. :(scenario copy_array) # Arrays can be copied around with a single instruction just like numbers, # no matter how large they are. recipe main [ 1:number <- copy 3:literal # length 2:number <- copy 14:literal 3:number <- copy 15:literal 4:number <- copy 16:literal 5:array:number <- copy 1:array:number ] +run: instruction main/4 +run: ingredient 0 is 1 +mem: location 1 is 3 +mem: location 2 is 14 +mem: location 3 is 15 +mem: location 4 is 16 +mem: storing 3 in location 5 +mem: storing 14 in location 6 +mem: storing 15 in location 7 +mem: storing 16 in location 8 :(scenario copy_array_indirect) recipe main [ 1:number <- copy 3:literal # length 2:number <- copy 14:literal 3:number <- copy 15:literal 4:number <- copy 16:literal 5:address:array:number <- copy 1:literal 6:array:number <- copy 5:address:array:number/deref ] +run: instruction main/5 +run: ingredient 0 is 5 +mem: location 1 is 3 +mem: location 2 is 14 +mem: location 3 is 15 +mem: location 4 is 16 +mem: storing 3 in location 6 +mem: storing 14 in location 7 +mem: storing 15 in location 8 +mem: storing 16 in location 9 //: disable the size mismatch check since the destination array need not be initialized :(replace "if (size_of(x) != data.size())" following "void write_memory(reagent x, vector<double> data)") if (x.types.at(0) != Type_number["array"] && size_of(x) != data.size()) :(after "size_t size_of(const reagent& r)") if (r.types.at(0) == Type_number["array"]) { assert(r.types.size() > 1); // skip the 'array' type to get at the element type return 1 + Memory[r.value]*size_of(array_element(r.types)); } //:: To access elements of an array, use 'index' :(scenario index) recipe main [ 1:number <- copy 3:literal # length 2:number <- copy 14:literal 3:number <- copy 15:literal 4:number <- copy 16:literal 5:number <- index 1:array:number, 0:literal ] +run: instruction main/4 +run: address to copy is 2 +run: its type is 1 +mem: location 2 is 14 +run: product 0 is 5 +mem: storing 14 in location 5 :(scenario index_direct_offset) recipe main [ 1:number <- copy 3:literal # length 2:number <- copy 14:literal 3:number <- copy 15:literal 4:number <- copy 16:literal 5:number <- copy 0:literal 6:number <- index 1:array:number, 5:number ] +run: instruction main/5 +run: address to copy is 2 +run: its type is 1 +mem: location 2 is 14 +run: product 0 is 6 +mem: storing 14 in location 6 :(before "End Primitive Recipe Declarations") INDEX, :(before "End Primitive Recipe Numbers") Recipe_number["index"] = INDEX; :(before "End Primitive Recipe Implementations") case INDEX: { //? if (Trace_stream) Trace_stream->dump_layer = "run"; //? 1 reagent base = canonize(current_instruction().ingredients.at(0)); //? trace("run") << "ingredient 0 after canonize: " << base.to_string(); //? 1 index_t base_address = base.value; assert(base.types.at(0) == Type_number["array"]); reagent offset = canonize(current_instruction().ingredients.at(1)); //? trace("run") << "ingredient 1 after canonize: " << offset.to_string(); //? 1 vector<double> offset_val(read_memory(offset)); vector<type_number> element_type = array_element(base.types); //? trace("run") << "offset: " << offset_val.at(0); //? 1 //? trace("run") << "size of elements: " << size_of(element_type); //? 1 index_t src = base_address + 1 + offset_val.at(0)*size_of(element_type); trace("run") << "address to copy is " << src; trace("run") << "its type is " << element_type.at(0); reagent tmp; tmp.set_value(src); copy(element_type.begin(), element_type.end(), inserter(tmp.types, tmp.types.begin())); products.push_back(read_memory(tmp)); break; } :(code) vector<type_number> array_element(const vector<type_number>& types) { return vector<type_number>(++types.begin(), types.end()); } :(scenario index_address) recipe main [ 1:number <- copy 3:literal # length 2:number <- copy 14:literal 3:number <- copy 15:literal 4:number <- copy 16:literal 5:number <- index-address 1:array:number, 0:literal ] +run: instruction main/4 +mem: storing 2 in location 5 //:: To write to elements of containers, you need their address. :(scenario index_indirect) recipe main [ 1:number <- copy 3:literal # length 2:number <- copy 14:literal 3:number <- copy 15:literal 4:number <- copy 16:literal 5:address:array:number <- copy 1:literal 6:number <- index 5:address:array:number/deref, 1:literal ] +run: instruction main/5 +mem: storing 15 in location 6 :(before "End Primitive Recipe Declarations") INDEX_ADDRESS, :(before "End Primitive Recipe Numbers") Recipe_number["index-address"] = INDEX_ADDRESS; :(before "End Primitive Recipe Implementations") case INDEX_ADDRESS: { reagent base = canonize(current_instruction().ingredients.at(0)); index_t base_address = base.value; assert(base.types.at(0) == Type_number["array"]); reagent offset = canonize(current_instruction().ingredients.at(1)); vector<double> offset_val(read_memory(offset)); vector<type_number> element_type = array_element(base.types); index_t result = base_address + 1 + offset_val.at(0)*size_of(element_type); products.resize(1); products.at(0).push_back(result); break; } </pre> </body> </html>


context:
space:
mode: