Loop strip mining prevents some empty loops from being eliminated

Sometimes, the LSM safepoint is the only node keeping nodes in the inner counted loop alive. Without the LSM safepoint, some nodes from the inner counted loop alive would be eliminated and the inner loop would become empty and could be eliminated.