instrucción NOP después de la bifurcación en ARMv7 Cortex M3

Intente mover la línea int64_t de C hacia arriba o hacia abajo un poco. Los dos primeros son claramente parte de un bucle for; pero la línea 66 no ha generado ningún código en absoluto. Supongo que el NOP es para el beneficio del depurador, de modo que cada línea de C genere al menos una instrucción.

(No todos los depuradores hacen esto en todas las plataformas; Visual Studio simplemente moverá su punto de interrupción a la línea más cercana que tenga un código asociado).

Los compiladores de lotes (¿la mayoría? ¿todos?) terminan poniendo instrucciones NOP después de algunas (pero no otras) instrucciones tipo salto / rama.

Cuando el compilador ve una instrucción de tipo "salto", tiene dos instrucciones diferentes que pueden hacer el trabajo. Uno es relativo, uno es absoluto.

Uno es un salto relativo, y uno es un salto absoluto. El salto relativo es más rápido y especifica un salto en relación con la instrucción actual: la dirección a la que se saltará es de un solo byte, por lo que puede saltar 128 bytes hacia adelante, o 127 bytes hacia atrás.

El otro es un salto absoluto, es más lento y especifica la dirección a la que se debe saltar. Esto puede saltar a cualquier parte.

El problema es que, al saltar hacia adelante, es posible que la dirección de destino aún no se conozca. Tendría que compilar el código hasta el destino de salto y luego calcular si tiene menos de 128 bytes. Por supuesto, para calcular cuántos bytes para saltar, necesita saber cuántos bytes ocupa esta instrucción, así como todas las instrucciones entre aquí y allá.

Esto se encuentra fuera de la categoría de pago de un compilador; deja espacio para un salto absoluto, luego, en la segunda pasada, cuando sabe dónde están todas las direcciones, llena los huecos, ya sea poniendo un salto relativo más eficiente (+ un NOP, porque tiene que ocupar el mismo número de saltos). bytes!), o poniendo en un salto absoluto.

Los microcontroladores Cortex-M3 están construidos con una arquitectura de 32 bits, pero no limitan las entradas a este tamaño de bus (consulte enlace ). La arquitectura tiene un pequeño búfer de captación previa para manejar el caso de las instrucciones de palabra no alineadas, de modo que cuando se toma la rama no hay problema. Cuando no se toma la rama, deberá limpiar la tubería para eliminar la elección errónea y volver a buscar. No puede obtener directamente desde 0x080004B2, ya que no está alineado con 4 bytes y si se recuperara de 0x080004B0, volvería a leer la rama. El NOP es esencial para el relleno adicional que necesita obtener de la palabra alineada 0x080004B4 y continuar desde allí.

enlace