¿Se permite a un compilador de C++ emitir código de máquina diferente compilando el mismo programa?

Question

Considera la posibilidad de una situación. Tenemos algunos compiladores de C++ específicos, un conjunto específico de configuraciones de compiladores y un programa C++ específico.

Compilamos esos programas específicos con ese compilador y esas configuraciones dos veces, haciendo una "compilación limpia" cada vez.

En caso de que el código de máquina emitido sea el mismo (no me refiero a marcas de tiempo y otras cosas, me refiero solo al código real que se ejecutará) o se permite variar de una compilación a otra?

Answer 1

El estándar C++ ciertamente no dice nada para evitar que esto suceda. En realidad, sin embargo, un compilador es normalmente determinista, por lo que con entradas idénticas producirá resultados idénticos.

La verdadera pregunta es sobre qué partes del entorno considera como sus entradas - hay pocos que parecen suponer que las características de la máquina de compilación reflejan las características del objetivo, y varían sus resultados en función de "entradas" "que están implícitos en el entorno de compilación en lugar de explícitamente establecidos, como a través de indicadores del compilador. Dicho esto, incluso eso es relativamente inusual. La norma es que la salida dependa de las entradas explícitas (archivos de entrada, indicadores de línea de comando, etc.)

Answer 2

Apostaría que variaría cada vez debido a algunas escrituras del compilador de metadatos (por ejemplo, los dlls compilados de C# siempre varían en algunos bytes incluso si hago "compilación" dos veces seguidas sin cambiar nada). Pero de todos modos, nunca confiaría en que no variaría.

Answer 3

No hay garantía de que sean iguales. También de acuerdo con http://www.mingw.org/wiki/My_executable_is_sometimes_different

Mi ejecutable a veces es diferente, cuando compilo y recompilar la misma fuente. ¿Esto es normal?

Sí, de forma predeterminada, y por diseño, ~ MinGW's GCC no produce ConsistentOutput, a menos que lo aplique como parche.

EDIT: encontrado this post que parece explicar cómo hacer que sean iguales.

Answer 4

De acuerdo con as-if norma, siempre que un programa conforme (por ejemplo, un comportamiento no definido) no distinga la diferencia, el compilador puede hacer lo que quiera. En otras palabras, siempre que el programa produzca el mismo resultado, no hay restricciones en el estándar que prohíbe esto.

Desde un punto de vista práctico, no usaría un compilador que haga esto para crear software de producción. Quiero poder recompilar un lanzamiento hecho hace dos años (con el mismo compilador, etc.) y producir el mismo código de máquina. No quiero preocuparme porque la razón por la que no puedo reproducir un error es porque el compilador decidió hacer algo ligeramente diferente hoy.