From 591813638e3074bf9f264b0ed29b581c74202ccf Mon Sep 17 00:00:00 2001
From: chriseth <chris@ethereum.org>
Date: Thu, 18 Jan 2018 12:14:56 +0100
Subject: [PATCH] Explanation of expression simplifier.

---
 libjulia/optimiser/README.md | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/libjulia/optimiser/README.md b/libjulia/optimiser/README.md
index 24ee429c1..e71344404 100644
--- a/libjulia/optimiser/README.md
+++ b/libjulia/optimiser/README.md
@@ -78,3 +78,12 @@ a loop or conditional, the first one is not inside), the first assignment is rem
 
 
 ## Function Unifier
+
+## Expression Simplifier
+
+This step can only be applied for the EVM-flavoured dialect of iulia. It applies
+simple rules like ``x + 0 == x`` to simplify expressions.
+
+## Ineffective Statement Remover
+
+This step removes statements that have no side-effects.