https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81635
--- Comment #12 from rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> --- In the end I agree using range info in split_constant_offset is the right way to go -- sorry for the runaround. Testing a patch for that. I'll see if that triggers the same predcom problem I saw with the original patch.