opencompl / opencompl/veir

Add IR walkers

Open
#606 0 comments 0 reactions 1 assignee Claimed by @math-fehr View on GitHub
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.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.