//: 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 << end(); return x; } reagent r = x; r.set_value(address(r.value, space_base(r))); r.properties.push_back(pair >("raw", vector())); assert(is_raw(r)); return r; } :(before "return result" following "reagent lookup_memory(reagent x)") result.properties.push_back(pair >("raw", vector())); //:: 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 >("raw", vector())); //:: 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 >("raw", vector())); //:: 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 read_memory(reagent x)") if (x.name == "number-of-locals") { vector result; result.push_back