about summary refs log tree commit diff
diff options
context:
space:
mode:
authorAdam Joseph <adam@westernsemico.com>2022-10-26T09·22-0700
committerAdam Joseph <adam@westernsemico.com>2022-10-28T02·57+0000
commita79bbad03b370e362e72a8ea616627c2aebd6d48 (patch)
tree6ee3e67e1c098fa206b02bf410a3bb3765983552
parentaa4191a44c6448b8986b743b6f3ec4c10f835f79 (diff)
docs(tvix/eval): add "intern literals" to future optimisations r/5217
Signed-off-by: Adam Joseph <adam@westernsemico.com>
Change-Id: I460230863de853ca5248733bc977d4780b216f36
Reviewed-on: https://cl.tvl.fyi/c/depot/+/7096
Tested-by: BuildkiteCI
Reviewed-by: sterni <sternenseemann@systemli.org>
-rw-r--r--tvix/eval/docs/known-optimisation-potential.md6
1 files changed, 6 insertions, 0 deletions
diff --git a/tvix/eval/docs/known-optimisation-potential.md b/tvix/eval/docs/known-optimisation-potential.md
index 9390e8c601fa..64101b861753 100644
--- a/tvix/eval/docs/known-optimisation-potential.md
+++ b/tvix/eval/docs/known-optimisation-potential.md
@@ -104,3 +104,9 @@ optimisations, but note the most important ones here.
 
   This can be avoided, as we statically analyse the scope and should
   be able to tell whether any such logic was required.
+
+* Intern literals [easy]
+
+  Currently, the compiler emits a separate entry in the constant
+  table for each literal.  So the program `1 + 1 + 1` will have
+  three entries in its `Chunk::constants` instead of only one.