Last change
on this file since 1569 was
1569,
checked in by tranquil, 9 years ago
|
- added in repository some missing files...
|
File size:
366 bytes
|
Line | |
---|
1 | (** This module implements partial redundancy elimination, which subsumes |
---|
2 | common subexpression elimination and loop-invariant code motion. |
---|
3 | This is a reformulation of material found in Muchnick, Advanced compiler |
---|
4 | design and implementation. |
---|
5 | Along the way we also perform a first rough liveness analysis. *) |
---|
6 | |
---|
7 | val trans : Languages.transformation |
---|
Note: See
TracBrowser
for help on using the repository browser.