> Please try the following patch: > > * fold-const (fold): Also simplify FLOOR_DIV_EXPR > iff dividend is a multiple of divisor No good. The problem being, I believe, that n*64 is wrapped in a save_expr, and so we can't get rid of it. I'd actually already tried making the ARRAY_REF expansion use EXACT_DIV_EXPR.. r~