[llvm] [LoopPeel] LCSSA form is destroyed by LoopPeel, preserve it (PR #78696)
Manish Kausik H via llvm-commits
llvm-commits at lists.llvm.org
Wed Jan 31 09:27:56 PST 2024
Nirhar wrote:
@vedantparanjape-amd , going by the definition of LCSSA, I see that %0 is not used anywhere outside of the loop headed by bb1 except by the phi node in bb7, which I believe is permitted(going by this example in llvm-docs [Link](https://llvm.org/docs/LoopTerminology.html#loop-closed-ssa-lcssa)).
If that is the case, I believe that this test case hit some corner condition which was not considered by `isRecursivelyInLCSSAForm` and thus the patch must modify that.
@nikic @vedantparanjape-amd Please correct me if I am wrong, I am trying to refine my understanding of LCSSA
https://github.com/llvm/llvm-project/pull/78696
More information about the llvm-commits
mailing list