DFG LICM needs to go all-in on the idea that some loops can't be LICMed