|
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.
