diff options
author | 2018-07-26 19:28:52 -0400 | |
---|---|---|
committer | 2018-07-26 19:28:52 -0400 | |
commit | f2f418416535d91d9e7c7f6f083f898737adb9ee (patch) | |
tree | be26bff1fde4be4b106dbe7c9a194815153c758c /src/Experiments/NewPipeline/README.md | |
parent | 91b0b095de58548e927c28550db376692b692c5b (diff) |
Move the associator pass to the rewriter
This makes it somewhat more ad-hoc (we don't support arbitrary numbers
of multiplications), but it should hopefully be much easier to prove
things about.
Diffstat (limited to 'src/Experiments/NewPipeline/README.md')
-rw-r--r-- | src/Experiments/NewPipeline/README.md | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/Experiments/NewPipeline/README.md b/src/Experiments/NewPipeline/README.md index 27c350ec8..e1b3b5b16 100644 --- a/src/Experiments/NewPipeline/README.md +++ b/src/Experiments/NewPipeline/README.md @@ -67,9 +67,6 @@ The files contain: - MiscCompilerPasses.v: Defines the passes: + EliminateDead (dead code elimination) + Subst01 (substitute let-binders used 0 or 1 times) - + ReassociateSmallConstants.Reassociate: - * (turn expressions of the form ((x * y) * ##v) into (x * (y * ##v)) for - small values of v) - CStringification.v: conversion to C code as strings. (Depends on AbstractInterpretation.v for ZRange utilities.) Defines the passes: |