[LLVMdev] Strong post-dominance in LLVM?

[Sanjoy Das]

> Thanks. I took a look at it. It does not appear to take into account nested
> infinite loops, yet it uses this function to hoist trapping instructions. I
> also don't think that it works correctly if the loop itself iterates
> infinitely but does have exit blocks in the CFG. I think this function is
> based on the assumption that all loops terminate, but I don't see where LICM
> checks that. I'm about to file a bug for that and see if I can trigger it in
> an example, but feel free to save me the effort if you know some reason that
> what it's doing is OK?

Hah, I *just* filed https://llvm.org/bugs/show_bug.cgi?id=24078  :)  CC'ed you

-- Sanjoy

>
> Bjarke