Track the uses when writing MIR passes

compiler
1

Is there something like bool use_empty() or void replaceAllUsesWith(Value *V) from LLVM in Rust that can be used when writing MIR passes?

2

MIR is not SSA, so no. The LIR work is planned to have an SSA (+egraph?) form to help simplify this.

There's an SSA analysis pass you can run, but I'm not familiar with what you can do with the results of it.

1 Like
3

I should implement something similar using dominator..

4

Out of curiosity, could you give some more details about LIR? Are there plans for a new IR?

2 Likes