PhaseIdealLoop::remix_address_expressions() transforms expressions to move loop invariant sub-expressions out of loops. Some of the transformations only apply to int expressions. With long counted loop support, having the same transformations for long expressions make sense.