Durante a compilação de uma estrutura de dados do tipo loop, o compilador simula um espaço de memória, testa a variável principal do loop e, a seguir, gera o código objeto do loop individualmente.