================ ---------------- gbossu wrote: I think it would help to document the loop invariant briefly. At least say you're doing a BFS and you expect each instruction at a given level to represent the same operation. https://github.com/llvm/llvm-project/pull/211022