Symbol Canonicalization, Loop-Invariant Code Motion, and AST Factory
This MR introduces AST passes for symbol canonicalization and loop-invariant code motion, and an AST factory for more convenient creation of syntax trees..
Symbol Canonicalization The CanonicalizeSymbols pass will transform an AST into a canonical form with respect to the symbols occuring inside it:
- Ensure each symbol has at most one declaration, by duplicating and renaming symbols that have multiple declarations
- Add the
constqualifier to the data type of any symbol that is never written to
Loop-Invariant Motion of Declarations The HoistLoopInvariantDeclarations pass moves declarations that are independent of loop iterations
outside of the loop nest. For it to work, all symbols may have at most one declaration, so a CanonicalizeSymbols pass may have to be run before.
Both passes are now called by create_kernel.
AST Factory The newly added backend.kernelcreation.AstFactory exposes methods to quickly parse SymPy expressions and create loop nests,
and is open to be extended in the future.
This MR also introduces various minor changes:
- Support for augmented assignments is added to
FreezeExpressions - Refactor
FullIterationSpace.create_from_sliceand theGenericCpuplatform to useAstFactory
Merge request reports
Activity
assigned to @da15siwa
mentioned in work item #84
added 3 commits
-
7934bb20...191cc207 - 2 commits from branch
backend-rework - 28cd847c - Merge branch 'backend-rework' into fhennig/loop-invariants
-
7934bb20...191cc207 - 2 commits from branch
added 1 commit
- 2089049c - Add note about type context to `parse_sympy`
added 1 commit
- 8fbe28d4 - Refactor interface of `loop_nest`. Add example doctest.
requested review from @he66coqe
removed ongoing label
enabled an automatic merge when the pipeline for 99c3a8db succeeds
mentioned in commit e3f9ba35
mentioned in task #84
