diff options
| -rw-r--r-- | 059shape_shifting_recipe.cc | 72 |
1 files changed, 72 insertions, 0 deletions
diff --git a/059shape_shifting_recipe.cc b/059shape_shifting_recipe.cc index a4af884c..dbc7de2b 100644 --- a/059shape_shifting_recipe.cc +++ b/059shape_shifting_recipe.cc @@ -821,3 +821,75 @@ recipe foo x:address:shared:_elem -> y:number [ reply 35 ] +mem: storing 35 in location 2 + +:(scenario specialize_most_similar_variant_2) +# version with headers padded with lots of unrelated concrete types +recipe main [ + 1:number <- copy 23 + 2:address:shared:array:number <- copy 0 + 3:number <- foo 2:address:shared:array:number, 1:number +] +# variant with concrete type +recipe foo dummy:address:shared:array:number, x:number -> y:number, dummy:address:shared:array:number [ + local-scope + load-ingredients + reply 34 +] +# shape-shifting variant +recipe foo dummy:address:shared:array:number, x:_elem -> y:number, dummy:address:shared:array:number [ + local-scope + load-ingredients + reply 35 +] +# prefer the concrete variant ++mem: storing 34 in location 3 + +:(scenario specialize_most_similar_variant_3) +recipe main [ + 1:address:shared:array:character <- new [abc] + foo 1:address:shared:array:character +] +recipe foo x:address:shared:array:character [ + 2:number <- copy 34 +] +recipe foo x:address:_elem [ + 2:number <- copy 35 +] +# make sure the more precise version was used ++mem: storing 34 in location 2 + +:(scenario specialize_literal_as_number) +recipe main [ + 1:number <- foo 23 +] +recipe foo x:_elem -> y:number [ + local-scope + load-ingredients + reply 34 +] +recipe foo x:character -> y:number [ + local-scope + load-ingredients + reply 35 +] ++mem: storing 34 in location 1 + +:(scenario specialize_literal_as_number_2) +# version calling with literal +recipe main [ + 1:number <- foo 0 +] +# variant with concrete type +recipe foo x:number -> y:number [ + local-scope + load-ingredients + reply 34 +] +# shape-shifting variant +recipe foo x:address:shared:_elem -> y:number [ + local-scope + load-ingredients + reply 35 +] +# prefer the concrete variant, ignore concrete types in scoring the shape-shifting variant ++mem: storing 34 in location 1 |