| Line | |
|---|
| 1 | |
|---|
| 2 | (** [fill p] sets the pointer variables field of each function of the program |
|---|
| 3 | [p]. The algorithm works as a fixpoint: initially, there are no pointers, |
|---|
| 4 | then we collect the pointers found in one pass and repeat the operation |
|---|
| 5 | considering the new result. *) |
|---|
| 6 | |
|---|
| 7 | (** Collecting the pointers could be (and should be) done when translating from |
|---|
| 8 | Clight to Cminor, where we have full typing information. But this would mean |
|---|
| 9 | rewriting some already heavy code. Instead, having a seperate simple module |
|---|
| 10 | makes things easier to integrate and verify. *) |
|---|
| 11 | |
|---|
| 12 | val fill : Cminor.program -> Cminor.program |
|---|
Note: See
TracBrowser
for help on using the repository browser.
