Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | InsertSignalChecks |
2 | ================== | |
3 | ||
4 | <:InsertSignalChecks:> is a pass for the <:RSSA:> | |
5 | <:IntermediateLanguage:>, invoked from <:RSSASimplify:>. | |
6 | ||
7 | == Description == | |
8 | ||
9 | This pass inserts signal checks. | |
10 | ||
11 | == Implementation == | |
12 | ||
13 | * <!ViewGitFile(mlton,master,mlton/backend/limit-check.fun)> | |
14 | ||
15 | == Details and Notes == | |
16 | ||
17 | {empty} |