Semantic Passes
Semantic passes transform the code and checks for errors.
See also
-
Semantic passes handle ir after Post Parsing Passes.
-
IR transformed by semantic passes are often lowered by Lowering Passes.
Classes
| VoltLanguagePass | Default implementation of LanguagePass, replace this if you wish to any of the semantics of the language. |
| CFGBuilder | Builds and checks CFGs on Functions. |
| ExpFolder | Folds any expressions into Constants. |
| ExTyper | If type casting were to be strict, type T could only go to type T without an explicit cast. Implicit casts are places where the language deems automatic conversion safe enough to insert casts for the user. |
| IrVerifier | This verifier is design to catch faulty IR (from the view of the backends) that the LanguagePass generate. |