[LLVMdev] Strong post-dominance in LLVM? (original) (raw)
Sanjoy Das sanjoy at playingwithpointers.com
Thu Jul 9 13:26:59 PDT 2015
- Previous message: [LLVMdev] Strong post-dominance in LLVM?
- Next message: [LLVMdev] Heterogeneous Execution Engine Patches and Follow Up
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
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
- Previous message: [LLVMdev] Strong post-dominance in LLVM?
- Next message: [LLVMdev] Heterogeneous Execution Engine Patches and Follow Up
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]