Add IR walkers
Open
- Dominant language
- Lean
- Stars
- 108
- Forks
- 32
- Avg merge
- 1d 1h
- Merged PRs (30d)
- 155
Description
We need a way to walk around in an IR, instead of manually having to traverse it.
This should be a function `OperationPtr.walk` that should traverse all operations that are included in it.
We should probably have multiple variants of these walkers, as we may want to have some that proves termination, and some that allows for rewriting in the IR while traversing.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.