From badd9c855f15c8d84eea0ea5d9aa0324393de959 Mon Sep 17 00:00:00 2001
From: John Hodge <tpg@ucc.asn.au>
Date: Fri, 16 Jun 2017 23:48:05 +0800
Subject: Notes - Prospective MIR optimisations

---
 Notes/todo.txt | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'Notes')

diff --git a/Notes/todo.txt b/Notes/todo.txt
index 54956718..8146bfd6 100644
--- a/Notes/todo.txt
+++ b/Notes/todo.txt
@@ -23,3 +23,12 @@ TODO:
  - This should reduce the amount of code needed for validation, but will be a
    BIG change.
 
+
+
+## Optimisations
+- Argument propagation: replace assignments from Argument(_) if target is only
+  written once
+- Dead assignment removal (Delete `<val> = Use(<val>)`
+- Tuple destructure removal
+ - Spot `#1 = (...,)`, `#2 = (#1).n` where #1 is Write-once, borrow-none
+
-- 
cgit v1.2.3