about summary refs log blame commit diff stats
path: root/archive/1.vm/build4
blob: dec46810ed4158fae7e0cb31ec1340c17d811361 (plain) (tree)
"Delimiter">}</span> <span class="Delimiter">:(scenario tangle_before_and_after)</span> recipe main [ <span class="Constant">1</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">0</span> +label1 <span class="Constant">4</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">0</span> ] before +label1 [ <span class="Constant">2</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">0</span> ] after +label1 [ <span class="Constant">3</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">0</span> ] <span class="traceContains">+mem: storing 0 in location 1</span> <span class="traceContains">+mem: storing 0 in location 2</span> <span class="Comment"># label1</span> <span class="traceContains">+mem: storing 0 in location 3</span> <span class="traceContains">+mem: storing 0 in location 4</span> <span class="Comment"># nothing else</span> $mem: <span class="Constant">4</span> <span class="Delimiter">:(scenario tangle_keeps_labels_separate)</span> recipe main [ <span class="Constant">1</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">0</span> +label1 +label2 <span class="Constant">6</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">0</span> ] before +label1 [ <span class="Constant">2</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">0</span> ] after +label1 [ <span class="Constant">3</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">0</span> ] before +label2 [ <span class="Constant">4</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">0</span> ] after +label2 [ <span class="Constant">5</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">0</span> ] <span class="traceContains">+mem: storing 0 in location 1</span> <span class="traceContains">+mem: storing 0 in location 2</span> <span class="Comment"># label1</span> <span class="traceContains">+mem: storing 0 in location 3</span> <span class="Comment"># 'after' fragments for earlier label always go before 'before' fragments for later label</span> <span class="traceContains">+mem: storing 0 in location 4</span> <span class="Comment"># label2</span> <span class="traceContains">+mem: storing 0 in location 5</span> <span class="traceContains">+mem: storing 0 in location 6</span> <span class="Comment"># nothing else</span> $mem: <span class="Constant">6</span> <span class="Delimiter">:(scenario tangle_stacks_multiple_fragments)</span> recipe main [ <span class="Constant">1</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">0</span> +label1 <span class="Constant">6</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">0</span> ] before +label1 [ <span class="Constant">2</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">0</span> ] after +label1 [ <span class="Constant">3</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">0</span> ] before +label1 [ <span class="Constant">4</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">0</span> ] after +label1 [ <span class="Constant">5</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">0</span> ] <span class="traceContains">+mem: storing 0 in location 1</span> <span class="Comment"># 'before' fragments stack in order</span> <span class="traceContains">+mem: storing 0 in location 2</span> <span class="traceContains">+mem: storing 0 in location 4</span> <span class="Comment"># label1</span> <span class="Comment"># 'after' fragments stack in reverse order</span> <span class="traceContains">+mem: storing 0 in location 5</span> <span class="traceContains">+mem: storing 0 in location 3</span> <span class="traceContains">+mem: storing 0 in location 6</span> <span class="Comment"># nothing else</span> $mem: <span class="Constant">6</span> <span class="Delimiter">:(scenario tangle_supports_fragments_with_multiple_instructions)</span> recipe main [ <span class="Constant">1</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">0</span> +label1 <span class="Constant">6</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">0</span> ] before +label1 [ <span class="Constant">2</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">0</span> <span class="Constant">3</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">0</span> ] after +label1 [ <span class="Constant">4</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">0</span> <span class="Constant">5</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">0</span> ] <span class="traceContains">+mem: storing 0 in location 1</span> <span class="traceContains">+mem: storing 0 in location 2</span> <span class="traceContains">+mem: storing 0 in location 3</span> <span class="Comment"># label1</span> <span class="traceContains">+mem: storing 0 in location 4</span> <span class="traceContains">+mem: storing 0 in location 5</span> <span class="traceContains">+mem: storing 0 in location 6</span> <span class="Comment"># nothing else</span> $mem: <span class="Constant">6</span> <span class="Delimiter">:(scenario tangle_tangles_into_all_labels_with_same_name)</span> recipe main [ <span class="Constant">1</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">10</span> +label1 <span class="Constant">4</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">10</span> recipe2 ] recipe recipe2 [ <span class="Constant">1</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">11</span> +label1 <span class="Constant">4</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">11</span> ] before +label1 [ <span class="Constant">2</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">12</span> ] after +label1 [ <span class="Constant">3</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">12</span> ] <span class="traceContains">+mem: storing 10 in location 1</span> <span class="traceContains">+mem: storing 12 in location 2</span> <span class="Comment"># label1</span> <span class="traceContains">+mem: storing 12 in location 3</span> <span class="traceContains">+mem: storing 10 in location 4</span> <span class="Comment"># recipe2</span> <span class="traceContains">+mem: storing 11 in location 1</span> <span class="traceContains">+mem: storing 12 in location 2</span> <span class="Comment"># label1</span> <span class="traceContains">+mem: storing 12 in location 3</span> <span class="traceContains">+mem: storing 11 in location 4</span> <span class="Comment"># nothing else</span> $mem: <span class="Constant">8</span> <span class="Delimiter">:(scenario tangle_tangles_into_all_labels_with_same_name_2)</span> recipe main [ <span class="Constant">1</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">10</span> +label1 +label1 <span class="Constant">4</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">10</span> ] before +label1 [ <span class="Constant">2</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">12</span> ] after +label1 [ <span class="Constant">3</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">12</span> ] <span class="traceContains">+mem: storing 10 in location 1</span> <span class="traceContains">+mem: storing 12 in location 2</span> <span class="Comment"># label1</span> <span class="traceContains">+mem: storing 12 in location 3</span> <span class="traceContains">+mem: storing 12 in location 2</span> <span class="Comment"># label1</span> <span class="traceContains">+mem: storing 12 in location 3</span> <span class="traceContains">+mem: storing 10 in location 4</span> <span class="Comment"># nothing else</span> $mem: <span class="Constant">6</span> <span class="Delimiter">:(scenario tangle_tangles_into_all_labels_with_same_name_3)</span> recipe main [ <span class="Constant">1</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">10</span> +label1 +foo <span class="Constant">4</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">10</span> ] before +label1 [ <span class="Constant">2</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">12</span> ] after +label1 [ <span class="Constant">3</span>:number<span class="Special"> &lt;- </span>copy <span class="Constant">12</span> ] after +foo [ +label1 ] <span class="traceContains">+mem: storing 10 in location 1</span> <span class="traceContains">+mem: storing 12 in location 2</span> <span class="Comment"># label1</span> <span class="traceContains">+mem: storing 12 in location 3</span> <span class="traceContains">+mem: storing 12 in location 2</span> <span class="Comment"># +foo/label1</span> <span class="traceContains">+mem: storing 12 in location 3</span> <span class="traceContains">+mem: storing 10 in location 4</span> <span class="Comment"># nothing else</span> $mem: <span class="Constant">6</span> </pre> </body> </html> <!-- vim: set foldmethod=manual : -->