Implement basic support for verifying LiveIntervals for PHIs.
Details
Details
Diff Detail
Diff Detail
- Repository
- rG LLVM Github Monorepo
Event Timeline
Comment Actions
Interesting. Currently I don't think anything in LLVM tries to use LiveIntervals in SSA form, does it? Even -early-live-intervals only creates them just after PHIElimination.
llvm/lib/CodeGen/MachineVerifier.cpp | ||
---|---|---|
2521 | Could the phi and non-phi cases be commoned some more? Is there any good reason to use SR.getVNInfoAt in one case vs SR.Query in the other? |
Comment Actions
PHIElimination has code to preserve LiveIntervals, although it is incorrect/incomplete which I am currently fixing.
The code for '-early-live-intervals` also suggests the intention is for it to be run before PHIEliminination.
Could the phi and non-phi cases be commoned some more? Is there any good reason to use SR.getVNInfoAt in one case vs SR.Query in the other?