diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-07-05 01:08:00 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-07-05 01:08:00 -0700 |
| commit | 298f8065857630e414d84e4ee785a6d17e5f99bb (patch) | |
| tree | 8880a092ab59850a6f821ba892f3904ab464431c /html/035lookup.cc.html | |
| parent | f28f2636c6707e1a33bebacafd0486f4965978ea (diff) | |
| download | mu-298f8065857630e414d84e4ee785a6d17e5f99bb.tar.gz | |
3102
Diffstat (limited to 'html/035lookup.cc.html')
| -rw-r--r-- | html/035lookup.cc.html | 20 |
1 files changed, 12 insertions, 8 deletions
diff --git a/html/035lookup.cc.html b/html/035lookup.cc.html index 1ad8c841..2f952cdd 100644 --- a/html/035lookup.cc.html +++ b/html/035lookup.cc.html @@ -297,14 +297,18 @@ def main [ <span class="traceContains">+mem: storing 15 in location 4</span> <span class="traceContains">+mem: storing 16 in location 5</span> -<span class="Delimiter">:(before "Update CREATE_ARRAY product in Check")</span> -<span class="Comment">// 'create-array' does not support indirection. Static arrays are meant to be</span> -<span class="Comment">// allocated on the 'stack'.</span> -assert<span class="Delimiter">(</span>!has_property<span class="Delimiter">(</span>product<span class="Delimiter">,</span> <span class="Constant">"lookup"</span><span class="Delimiter">));</span> -<span class="Delimiter">:(before "Update CREATE_ARRAY product in Run")</span> -<span class="Comment">// 'create-array' does not support indirection. Static arrays are meant to be</span> -<span class="Comment">// allocated on the 'stack'.</span> -assert<span class="Delimiter">(</span>!has_property<span class="Delimiter">(</span>product<span class="Delimiter">,</span> <span class="Constant">"lookup"</span><span class="Delimiter">));</span> +<span class="Delimiter">:(scenario create_array_indirect)</span> +def main [ + <span class="Constant">1000</span>:number/<span class="Special">raw <- </span>copy <span class="Constant">1</span> <span class="Comment"># pretend refcount</span> + <span class="Constant">1</span>:address:array:number:<span class="Constant">3</span><span class="Special"> <- </span>copy <span class="Constant">1000</span>/unsafe <span class="Comment"># pretend allocation</span> + <span class="Constant">1</span>:address:array:number:<span class="Constant">3</span>/lookup<span class="Special"> <- </span>create-array +] +<span class="traceContains">+mem: storing 3 in location 1001</span> + +<span class="Delimiter">:(after "Update CREATE_ARRAY product in Check")</span> +<span class="Normal">if</span> <span class="Delimiter">(</span>!canonize_type<span class="Delimiter">(</span>product<span class="Delimiter">))</span> <span class="Identifier">break</span><span class="Delimiter">;</span> +<span class="Delimiter">:(after "Update CREATE_ARRAY product in Run")</span> +canonize<span class="Delimiter">(</span>product<span class="Delimiter">);</span> <span class="Delimiter">:(scenario index_indirect)</span> def main [ |