8137049: Code quality: reducing an trivial integer loop does not produce an optimal code Summary: canonicalized if shape not recognized by empty loop detection code Reviewed-by: kvn, shade

project=jdk9