[llvm] [RISCV] Support postRA vsetvl insertion pass (PR #70549)

Philip Reames via llvm-commits llvm-commits at lists.llvm.org
Fri Dec 15 11:32:44 PST 2023


https://github.com/preames commented:

At a high level, I see a couple of conceptual problems with this code.

The updates being applied are often overly course.  I don't spot a specific instance of any of them being incorrect, but prior experience says this likely hints at a lack of understanding which risks a potential correctness bug.

The inconsistent use of getReachingDefMI and getUniqueVRegDef hints at a conceptual gap.  I think it is the case that all of our vector typed values should require the LiveIntervals based query mechanisms for precision, and that all of our GPRs (in particular AVLs), should be fine with getUniqueVRegDef (or even getVRegDef) since we *haven't* been through scalar regalloc here.  If this is not true, then the alternate question is why only *some* sites have been updated to use getReachingDefMI.  Either way, there's something off here.

https://github.com/llvm/llvm-project/pull/70549


More information about the llvm-commits mailing list