as linguagens de alto nível são um meio de tentar montar esses mesmos códigos,mas não é garantido 100% de otimização,pois é um código portável,isto é ,não é específico para um tipo de processador.
O código é portável mas não os compiladores que são específicos para certa cpu (tudo bem cross compiler!!!).
O compilador sempre fará o melhor para cada cpu, pois ele é especialzado para ela.
O fato do C não ser específico para determinada CPU é o que faz dele mais interessante ainda.
Observe que a otimização, sempre ocorrerá da melhor forma possível e dependerá do set de instrução e da quantidade de registros ligados a ALU de determinada cpu dentre um monte de outros fatores.
Obviamente estamos falando de compiladores bem construídos para determinado micro.
Bom, 100% de otimização penso que ninguém saberá se um humano consegue e portanto o compilador também não deve conseguir por ser feito pelo mesmo humano. Mas em um grande programa o humano vai perder a parada para ele mesmo, pois o humano se cansa e comete falhas gritantes!!! Fora o tempo lento do pensamento humano.
Creio que em um pgm de poucas linhas, bem simples, para comparação de teste de otimização, dá para chegar a 100% de otimização. Todos nós já vimos, em forum que quando um cara lança um desfio para o mais eficiente código, aparece sempre mais um, melhor.
A portabilidade do C para microcontroladores só existe 100% no núcleo comum da linguagem C. Obviamente nos periféricos é C-like e "tradução". Vai ter que ser reescrito digitando tudo outra vez.