aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorchriseth <chris@ethereum.org>2018-01-18 19:14:56 +0800
committerchriseth <chris@ethereum.org>2018-02-07 05:51:30 +0800
commit591813638e3074bf9f264b0ed29b581c74202ccf (patch)
treebd4d57332e35e3d6781675c5375a022cf68bdc16
parentb8074cdf788ee1cae862929c0428a95cc5248269 (diff)
downloaddexon-solidity-591813638e3074bf9f264b0ed29b581c74202ccf.tar.gz
dexon-solidity-591813638e3074bf9f264b0ed29b581c74202ccf.tar.zst
dexon-solidity-591813638e3074bf9f264b0ed29b581c74202ccf.zip
Explanation of expression simplifier.
-rw-r--r--libjulia/optimiser/README.md9
1 files changed, 9 insertions, 0 deletions
diff --git a/libjulia/optimiser/README.md b/libjulia/optimiser/README.md
index 24ee429c..e7134440 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.