Changeset 1147 for src/RTLabs/syntax.ma
- Timestamp:
- Aug 30, 2011, 4:09:20 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/RTLabs/syntax.ma
r1139 r1147 45 45 definition RTLabs_program ≝ program (fundef internal_function) nat. 46 46 47 (* TO CONSIDER:48 49 - removing most successor labels from the statements (bit icky, what about50 return and jump tables?)51 - seems like load and store ought to have types that control the size of the52 register list based on the addressing mode; similarly, memory_chunk and53 register are probably related.54 - label and register generation really tell us something about the sets of55 labels and register that may appear, perhaps it should be renamed, or the56 graph made dependent on them to make it obvious, etc.57 *)
Note: See TracChangeset
for help on using the changeset viewer.