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

	Commit message (Expand)	Author	Age	Files	Lines
*	2741	Kartik K. Agaram	2016-03-08	1	-0/+0
*	2735 - define recipes using 'def'	Kartik K. Agaram	2016-03-08	1	-0/+0
*	1970	Kartik K. Agaram	2015-08-10	1	-0/+0
*	1775	Kartik K. Agaram	2015-07-13	1	-0/+0

<!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 - 060rewrite_literal_string.cc</title> <meta name="Generator" content="Vim/8.0"> <meta name="plugin-version" content="vim7.4_v2"> <meta name="syntax" content="cpp"> <meta name="settings" content="number_lines,use_css,pre_wrap,no_foldcolumn,expand_tabs,line_ids,prevent_copy="> <meta name="colorscheme" content="minimal-light"> <style type="text/css">  </style> <script type='text/javascript'>  </script> </head> <body onload='JumpToLine();'> <a href='https://github.com/akkartik/mu/blob/master/060rewrite_literal_string.cc'>https://github.com/akkartik/mu/blob/master/060rewrite_literal_string.cc</a> <pre id='vimCodeElement'> 1 //: allow using literal strings anywhere that will accept immutable strings 2 3 :(scenario passing_literals_to_recipes) 4 def <a href='000organization.cc.html#L113'>main</a> [ 5 1:num/raw <- foo [abc] 6 ] 7 def foo x:text -> n:num [ 8 local-scope 9 load-ingredients 10 n <- length *x 11 ] 12 +mem: storing 3 in location 1 13 14 :(before "End Instruction Inserting/Deleting Transforms") 15 <a href='060rewrite_literal_string.cc.html#L21'>initialize_transform_rewrite_literal_string_to_text</a>(); 16 Transform.push_back(<a href='060rewrite_literal_string.cc.html#L39'>rewrite_literal_string_to_text</a>); // idempotent 17 18 :(before "End Globals") 19 set<string> recipes_taking_literal_strings; 20 :(code) 21 void <a href='060rewrite_literal_string.cc.html#L21'>initialize_transform_rewrite_literal_string_to_text</a>() { 22 recipes_taking_literal_strings.insert("assert"); 23 recipes_taking_literal_strings.insert("$print"); 24 recipes_taking_literal_strings.insert("$dump-trace"); 25 recipes_taking_literal_strings.insert("$system"); 26 recipes_taking_literal_strings.insert("trace"); 27 recipes_taking_literal_strings.insert("stash"); 28 recipes_taking_literal_strings.insert("new"); 29 recipes_taking_literal_strings.insert("run"); 30 recipes_taking_literal_strings.insert("memory-should-contain"); 31 recipes_taking_literal_strings.insert("trace-should-contain"); 32 recipes_taking_literal_strings.insert("trace-should-not-contain"); 33 recipes_taking_literal_strings.insert("check-trace-count-for-label"); 34 recipes_taking_literal_strings.insert("check-trace-count-for-label-greater-than"); 35 recipes_taking_literal_strings.insert("check-trace-count-for-label-lesser-than"); 36 // End initialize_transform_rewrite_literal_string_to_text() 37 } 38 39 void <a href='060rewrite_literal_string.cc.html#L39'>rewrite_literal_string_to_text</a>(const <a href='010vm.cc.html#L14'>recipe_ordinal</a> r) { 40 recipe& caller = get(Recipe, r); 41 <a href='003trace.cc.html#L189'>trace</a>(9991, "transform") << "--- rewrite literal strings in <a href='010vm.cc.html#L19'>recipe</a> " << caller.name << <a href='003trace.cc.html#L225'>end</a>(); 42 if (<a href='060rewrite_literal_string.cc.html#L65'>contains_numeric_locations</a>(caller)) return; 43 vector<instruction> new_instructions; 44 for (int i = 0; i < <a href='001help.cc.html#L141'>SIZE</a>(caller.steps); ++i) { 45 instruction& inst = caller.steps.at(i); 46 if (recipes_taking_literal_strings.find(inst.name) == recipes_taking_literal_strings.<a href='003trace.cc.html#L225'>end</a>()) { 47 for (int j = 0; j < <a href='001help.cc.html#L141'>SIZE</a>(inst.ingredients); ++j) { 48 if (!is_literal_text(inst.ingredients.at(j))) continue; 49 <a href='010vm.cc.html#L33'>instruction</a> def; 50 ostringstream ingredient_name; 51 ingredient_name << inst.name << '_' <'_' << j << ":text"; 52 def.name = "new"; 53 def.ingredients.push_back(inst.ingredients.at(j)); 54 def.products.push_back(reagent(ingredient_name.str())); 55 new_instructions.push_back(def); 56 inst.ingredients.at(j).<a href='050scenario.cc.html#L60'>clear</a>(); // reclaim old memory 57 inst.ingredients.at(j) = reagent(ingredient_name.str()); 58 } 59 } 60 new_instructions.push_back(inst); 61 } 62 caller.steps.swap(new_instructions); 63 } 64 65 bool <a href='060rewrite_literal_string.cc.html#L65'>contains_numeric_locations</a>(const recipe& caller) { 66 for (int i = 0; i < <a href='001help.cc.html#L141'>SIZE</a>(caller.steps); ++i) { 67 const instruction& inst = caller.steps.at(i); 68 for (int in = 0; in < <a href='001help.cc.html#L141'>SIZE</a>(inst.ingredients); ++in) 69 if (<a href='042name.cc.html#L157'>is_numeric_location</a>(inst.ingredients.at(in))) 70 return true; 71 for (int out = 0; out < <a href='001help.cc.html#L141'>SIZE</a>(inst.products); ++out) 72 if (<a href='042name.cc.html#L157'>is_numeric_location</a>(inst.products.at(out))) 73 return true; 74 } 75 return false; 76 } </pre> </body> </html>