diff options
| author | chriseth <chris@ethereum.org> | 2018-01-18 19:14:56 +0800 |
|---|---|---|
| committer | chriseth <chris@ethereum.org> | 2018-02-07 05:51:30 +0800 |
| commit | 591813638e3074bf9f264b0ed29b581c74202ccf (patch) | |
| tree | bd4d57332e35e3d6781675c5375a022cf68bdc16 /libjulia | |
| parent | b8074cdf788ee1cae862929c0428a95cc5248269 (diff) | |
| download | dexon-solidity-591813638e3074bf9f264b0ed29b581c74202ccf.tar.gz dexon-solidity-591813638e3074bf9f264b0ed29b581c74202ccf.tar.zst dexon-solidity-591813638e3074bf9f264b0ed29b581c74202ccf.zip | |
Explanation of expression simplifier.
Diffstat (limited to 'libjulia')
| -rw-r--r-- | libjulia/optimiser/README.md | 9 |
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. |