llvm-project

221a24e9 - [PassManager] Mark Loop RequireAnalysis as OptionalPassInfoMixin (#196345)

[PassManager] Mark Loop RequireAnalysis as OptionalPassInfoMixin (#196345) \#192120 marked this as RequiredPassInfoMixin, deviating from previous behavior. This is probably fine for Function/Module analyses, but doesn't work well for loop analyses in the case that we have a loop in an optnone function that is not in LCSSA. The LCSSA pass will not run because it is optional, the analysis will get computed, and then we assert because the loop is out of LCSSA at the end of the LPM. Restore the old behavior of just not marking the pass as required as it seems reasonable enough.