about summary refs log blame commit diff stats
path: root/012transform.cc
blob: b5b6e4fecc8c8296f034dad501464a77a595407a (plain) (tree)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
                                                                              


                                                                     









                                                                            
 
                             
                      

                                  

                     
                                             



                               

                     




                                                      

                   


                 

                      
                                                             
                                    
                                             
                                          
                                                                                            


                                               
                             
                                                     


                              
                                        
                                                                       
                      

 











                                                                             
                           
                                                                                            
                                                                                          

                                  
                                                         
                                            
                                                        
                                               
       
                                                     
                                            





                                 
                            
                                   

                                  
 





                                               
//: Phase 2: Filter loaded recipes through an extensible list of 'transforms'.
//:
//: The hope is that this framework of transform tools will provide a
//: deconstructed alternative to conventional compilers.
//:
//: We're going to have many transforms in mu, and getting their order right
//: (not the same as ordering of layers) is a well-known problem. Some tips:
//:   a) Design each layer to rely on as few previous layers as possible.
//:
//:   b) When positioning transforms, try to find the tightest constraint in
//:   each transform relative to previous layers.
//:
//:   c) Even so you'll periodically need to try adjusting each transform
//:   relative to those in previous layers to find a better arrangement.

:(before "End recipe Fields")
int transformed_until;
:(before "End recipe Constructor")
transformed_until = -1;

:(before "End Types")
typedef void (*transform_fn)(recipe_ordinal);

:(before "End Globals")
vector<transform_fn> Transform;

:(after "int main")
  // Begin Transforms
    // Begin Instruction Inserting/Deleting Transforms
    // End Instruction Inserting/Deleting Transforms

    // Begin Instruction Modifying Transforms
    // End Instruction Modifying Transforms
  // End Transforms

  // Begin Checks
  // End Checks

:(code)
void transform_all() {
  trace(9990, "transform") << "=== transform_all()" << end();
//?   cerr << "=== transform_all\n";
  for (int t = 0; t < SIZE(Transform); ++t) {
//?     cerr << "transform " << t << '\n';
    for (map<recipe_ordinal, recipe>::iterator p = Recipe.begin(); p != Recipe.end(); ++p) {
      recipe& r = p->second;
      if (r.steps.empty()) continue;
      if (r.transformed_until != t-1) continue;
      // End Transform Checks
      (*Transform.at(t))(/*recipe_ordinal*/p->first);
      r.transformed_until = t;
    }
  }
//?   cerr << "wrapping up transform\n";
  parse_int_reagents();  // do this after all other transforms have run
  // End transform_all
}

//: Even though a run will involve many calls to transform_all() for tests,
//: our logical model is to load all code, then transform all code, then run.
//: If you load new code that should cause already-transformed recipes to
//: change, that's not supported. To help detect such situations and raise
//: helpful errors we track a count of the number of calls made to
//: transform_all().
:(before "End Globals")
int Num_calls_to_transform_all = 0;
:(after "void transform_all()")
  ++Num_calls_to_transform_all;

:(code)
void parse_int_reagents() {
  trace(9991, "transform") << "--- parsing any uninitialized reagents as integers" << end();
  for (map<recipe_ordinal, recipe>::iterator p = Recipe.begin(); p != Recipe.end(); ++p) {
    recipe& r = p->second;
    if (r.steps.empty()) continue;
    for (int index = 0; index < SIZE(r.steps); ++index) {
      instruction& inst = r.steps.at(index);
      for (int i = 0; i < SIZE(inst.ingredients); ++i) {
        populate_value(inst.ingredients.at(i));
      }
      for (int i = 0; i < SIZE(inst.products); ++i) {
        populate_value(inst.products.at(i));
      }
    }
  }
}

void populate_value(reagent& r) {
  if (r.initialized) return;
  // End Reagent-parsing Exceptions
  if (!is_integer(r.name)) return;
  r.set_value(to_integer(r.name));
}

// helper for tests -- temporarily suppress run
void transform(string form) {
  load(form);
  transform_all();
}
s="w"> } .LineNr { } .Delimiter { color: #c000c0; } .CommentedCode { color: #8a8a8a; } .Constant { color: #008787; } .muFunction { color: #af5f00; text-decoration: underline; } .muComment { color: #005faf; } --> </style> <script type='text/javascript'> <!-- /* function to open any folds containing a jumped-to line before jumping to it */ function JumpToLine() { var lineNum; lineNum = window.location.hash; lineNum = lineNum.substr(1); /* strip off '#' */ if (lineNum.indexOf('L') == -1) { lineNum = 'L'+lineNum; } var lineElem = document.getElementById(lineNum); /* Always jump to new location even if the line was hidden inside a fold, or * we corrected the raw number to a line ID. */ if (lineElem) { lineElem.scrollIntoView(true); } return true; } if ('onhashchange' in window) { window.onhashchange = JumpToLine; } --> </script> </head> <body onload='JumpToLine();'> <a href='https://github.com/akkartik/mu/blob/main/linux/raytracing/2.mu'>https://github.com/akkartik/mu/blob/main/linux/raytracing/2.mu</a> <pre id='vimCodeElement'> <span id="L1" class="LineNr"> 1 </span><span class="muComment"># Listing 7 of <a href="https://raytracing.github.io/books/RayTracingInOneWeekend.html">https://raytracing.github.io/books/RayTracingInOneWeekend.html</a></span> <span id="L2" class="LineNr"> 2 </span><span class="muComment">#</span> <span id="L3" class="LineNr"> 3 </span><span class="muComment"># To run (on Linux):</span> <span id="L4" class="LineNr"> 4 </span><span class="muComment"># $ git clone <a href="https://github.com/akkartik/mu">https://github.com/akkartik/mu</a></span> <span id="L5" class="LineNr"> 5 </span><span class="muComment"># $ cd mu</span> <span id="L6" class="LineNr"> 6 </span><span class="muComment"># $ ./translate raytracing/2.mu</span> <span id="L7" class="LineNr"> 7 </span><span class="muComment"># $ ./a.elf &gt; 2.ppm</span> <span id="L8" class="LineNr"> 8 </span> <span id="L9" class="LineNr"> 9 </span><span class="PreProc">fn</span> <span class="muFunction">main</span><span class="PreProc"> -&gt; </span>_/<span class="Constant">ebx</span>: int <span class="Delimiter">{</span> <span id="L10" class="LineNr">10 </span> <a href='../405screen.mu.html#L169'>print-string</a> <span class="Constant">0</span>, <span class="Constant">&quot;P3\n256 256\n255\n&quot;</span> <span id="L11" class="LineNr">11 </span> <span class="PreProc">var</span> _four/<span class="Constant">edx</span>: int <span class="Special">&lt;-</span> copy <span class="Constant">4</span> <span id="L12" class="LineNr">12 </span> <span class="PreProc">var</span> four/<span class="Constant">xmm1</span>: float <span class="Special">&lt;-</span> convert _four <span id="L13" class="LineNr">13 </span> <span class="PreProc">var</span> one-fourth/<span class="Constant">xmm1</span>: float <span class="Special">&lt;-</span> reciprocal four <span id="L14" class="LineNr">14 </span> <span class="PreProc">var</span> max/<span class="Constant">edx</span>: int <span class="Special">&lt;-</span> copy <span class="Constant">0xff</span> <span id="L15" class="LineNr">15 </span> <span class="PreProc">var</span> image-size/<span class="Constant">xmm2</span>: float <span class="Special">&lt;-</span> convert max <span id="L16" class="LineNr">16 </span> <span class="PreProc">var</span> j/<span class="Constant">ecx</span>: int <span class="Special">&lt;-</span> copy <span class="Constant">0xff</span> <span id="L17" class="LineNr">17 </span> <span class="Delimiter">{</span> <span id="L18" class="LineNr">18 </span> compare j, <span class="Constant">0</span> <span id="L19" class="LineNr">19 </span> <span class="PreProc">break-if-&lt;</span> <span id="L20" class="LineNr">20 </span> <span class="PreProc">var</span> i/<span class="Constant">eax</span>: int <span class="Special">&lt;-</span> copy <span class="Constant">0</span> <span id="L21" class="LineNr">21 </span> <span class="Delimiter">{</span> <span id="L22" class="LineNr">22 </span> compare i, <span class="Constant">0xff</span> <span id="L23" class="LineNr">23 </span> <span class="PreProc">break-if-&gt;</span> <span id="L24" class="LineNr">24 </span> <span class="PreProc">var</span> c: rgb <span id="L25" class="LineNr">25 </span> <span class="muComment"># compute r</span> <span id="L26" class="LineNr">26 </span> <span class="PreProc">var</span> tmp/<span class="Constant">xmm0</span>: float <span class="Special">&lt;-</span> convert i <span id="L27" class="LineNr">27 </span> tmp <span class="Special">&lt;-</span> divide image-size <span id="L28" class="LineNr">28 </span> <span class="PreProc">var</span> r-addr/<span class="Constant">edx</span>: (addr float) <span class="Special">&lt;-</span> <a href='../131table.subx.html#L26'>get</a> c, r <span id="L29" class="LineNr">29 </span> copy-to *r-addr, tmp <span id="L30" class="LineNr">30 </span><span class="CommentedCode">#? var tmp2/ebx: int &lt;- reinterpret *r-addr</span> <span id="L31" class="LineNr">31 </span><span class="CommentedCode">#? print-int32-hex 0, tmp2</span> <span id="L32" class="LineNr">32 </span><span class="CommentedCode">#? print-string 0, &quot;\n&quot;</span> <span id="L33" class="LineNr">33 </span> <span class="muComment"># compute g</span> <span id="L34" class="LineNr">34 </span> tmp <span class="Special">&lt;-</span> convert j <span id="L35" class="LineNr">35 </span> tmp <span class="Special">&lt;-</span> divide image-size <span id="L36" class="LineNr">36 </span> <span class="PreProc">var</span> g-addr/<span class="Constant">edx</span>: (addr float) <span class="Special">&lt;-</span> <a href='../131table.subx.html#L26'>get</a> c, g <span id="L37" class="LineNr">37 </span> copy-to *g-addr, tmp <span id="L38" class="LineNr">38 </span> <span class="muComment"># compute b</span> <span id="L39" class="LineNr">39 </span> <span class="PreProc">var</span> b-addr/<span class="Constant">edx</span>: (addr float) <span class="Special">&lt;-</span> <a href='../131table.subx.html#L26'>get</a> c, b <span id="L40" class="LineNr">40 </span> copy-to *b-addr, one-fourth <span id="L41" class="LineNr">41 </span> <span class="muComment"># emit</span> <span id="L42" class="LineNr">42 </span> <span class="PreProc">var</span> c-addr/<span class="Constant">edx</span>: (addr rgb) <span class="Special">&lt;-</span> address c <span id="L43" class="LineNr">43 </span> print-rgb <span class="Constant">0</span>, c-addr <span id="L44" class="LineNr">44 </span> i <span class="Special">&lt;-</span> increment <span id="L45" class="LineNr">45 </span> <span class="PreProc">loop</span> <span id="L46" class="LineNr">46 </span> <span class="Delimiter">}</span> <span id="L47" class="LineNr">47 </span> j <span class="Special">&lt;-</span> decrement <span id="L48" class="LineNr">48 </span> <span class="PreProc">loop</span> <span id="L49" class="LineNr">49 </span> <span class="Delimiter">}</span> <span id="L50" class="LineNr">50 </span> <span class="PreProc">return</span> <span class="Constant">0</span> <span id="L51" class="LineNr">51 </span><span class="Delimiter">}</span> <span id="L52" class="LineNr">52 </span> <span id="L53" class="LineNr">53 </span><span class="PreProc">type</span> rgb <span class="Delimiter">{</span> <span id="L54" class="LineNr">54 </span> <span class="muComment"># components normalized to within [0.0, 1.0]</span> <span id="L55" class="LineNr">55 </span> r: float <span id="L56" class="LineNr">56 </span> g: float <span id="L57" class="LineNr">57 </span> b: float <span id="L58" class="LineNr">58 </span><span class="Delimiter">}</span> <span id="L59" class="LineNr">59 </span> <span id="L60" class="LineNr">60 </span><span class="muComment"># print translating to [0, 256)</span> <span id="L61" class="LineNr">61 </span><span class="PreProc">fn</span> <span class="muFunction">print-rgb</span> <a href='../405screen.mu.html#L9'>screen</a>: (addr <a href='../405screen.mu.html#L9'>screen</a>), _c: (addr rgb) <span class="Delimiter">{</span> <span id="L62" class="LineNr">62 </span> <span class="PreProc">var</span> c/<span class="Constant">esi</span>: (addr rgb) <span class="Special">&lt;-</span> copy _c <span id="L63" class="LineNr">63 </span> <span class="PreProc">var</span> n/<span class="Constant">ecx</span>: int <span class="Special">&lt;-</span> copy <span class="Constant">0xff</span> <span class="muComment"># turns out 255 works just as well as 255.999, which is lucky because we don't have floating-point literals</span> <span id="L64" class="LineNr">64 </span> <span class="PreProc">var</span> xn/<span class="Constant">xmm1</span>: float <span class="Special">&lt;-</span> convert n <span id="L65" class="LineNr">65 </span> <span class="muComment"># print 255 * c-&gt;r</span> <span id="L66" class="LineNr">66 </span> <span class="PreProc">var</span> result/<span class="Constant">xmm0</span>: float <span class="Special">&lt;-</span> copy xn <span id="L67" class="LineNr">67 </span> <span class="PreProc">var</span> src-addr/<span class="Constant">eax</span>: (addr float) <span class="Special">&lt;-</span> <a href='../131table.subx.html#L26'>get</a> c, r <span id="L68" class="LineNr">68 </span> result <span class="Special">&lt;-</span> multiply *src-addr <span id="L69" class="LineNr">69 </span> <span class="PreProc">var</span> result-int/<span class="Constant">edx</span>: int <span class="Special">&lt;-</span> convert result <span id="L70" class="LineNr">70 </span> <a href='../405screen.mu.html#L484'>print-int32-decimal</a> <a href='../405screen.mu.html#L9'>screen</a>, result-int <span id="L71" class="LineNr">71 </span> <a href='../405screen.mu.html#L169'>print-string</a> <a href='../405screen.mu.html#L9'>screen</a>, <span class="Constant">&quot; &quot;</span> <span id="L72" class="LineNr">72 </span> <span class="muComment"># print 255 * c-&gt;g</span> <span id="L73" class="LineNr">73 </span> src-addr <span class="Special">&lt;-</span> <a href='../131table.subx.html#L26'>get</a> c, g <span id="L74" class="LineNr">74 </span> result <span class="Special">&lt;-</span> copy xn <span id="L75" class="LineNr">75 </span> result <span class="Special">&lt;-</span> multiply *src-addr <span id="L76" class="LineNr">76 </span> result-int <span class="Special">&lt;-</span> convert result <span id="L77" class="LineNr">77 </span> <a href='../405screen.mu.html#L484'>print-int32-decimal</a> <a href='../405screen.mu.html#L9'>screen</a>, result-int <span id="L78" class="LineNr">78 </span> <a href='../405screen.mu.html#L169'>print-string</a> <a href='../405screen.mu.html#L9'>screen</a>, <span class="Constant">&quot; &quot;</span> <span id="L79" class="LineNr">79 </span> <span class="muComment"># print 255 * c-&gt;b</span> <span id="L80" class="LineNr">80 </span> src-addr <span class="Special">&lt;-</span> <a href='../131table.subx.html#L26'>get</a> c, b <span id="L81" class="LineNr">81 </span> result <span class="Special">&lt;-</span> copy xn <span id="L82" class="LineNr">82 </span> result <span class="Special">&lt;-</span> multiply *src-addr <span id="L83" class="LineNr">83 </span> result-int <span class="Special">&lt;-</span> convert result <span id="L84" class="LineNr">84 </span> <a href='../405screen.mu.html#L484'>print-int32-decimal</a> <a href='../405screen.mu.html#L9'>screen</a>, result-int <span id="L85" class="LineNr">85 </span> <a href='../405screen.mu.html#L169'>print-string</a> <a href='../405screen.mu.html#L9'>screen</a>, <span class="Constant">&quot;\n&quot;</span> <span id="L86" class="LineNr">86 </span><span class="Delimiter">}</span> </pre> </body> </html> <!-- vim: set foldmethod=manual : -->