[Bug tree-optimization/94234] missed ccp folding for (addr + 8 * n) - (addr + 8 * (n - 1))

[glisse at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94234

--- Comment #2 from Marc Glisse <glisse at gcc dot gnu.org> ---
The closest we have is

/* (A * C) +- (B * C) -> (A+-B) * C and (A * C) +- A -> A * (C+-1).

which does not handle conversions, although it should be possible to add them.