Optimización de estructura de compilador C

Question

El estándar C no permite ciertas optimizaciones de estructuras: por ejemplo, reorganización de campos, combinación de campos, descarte campos de los que nunca se lee, elevación de campos fuera de la estructura si pueden convertirse en variables automáticas , etc. Esto es necesario por varias razones, incluyendo diseños de estructuras consistentes en unidades de compilación y permitiendo estructuras compatibles con cast.

¿Los compiladores modernos (por ejemplo, gcc, clang, Visual C) admiten extensiones que me permiten decir que es ¿Está bien hacer estas optimizaciones?

Naturalmente, solo tendrían sentido para las definiciones que eran locales para una sola unidad de compilación, de modo que el compilador pudiera ver todos los usos posibles de la estructura; y ciertas cosas (como las definiciones de estructura compatibles con conversión mencionadas anteriormente) quedarían inutilizables. Pero para ciertas tareas esto podría ser una optimización muy valiosa.

sí sé que gcc utilizado tener una opción para permitir -fipa-struct-reorg precisamente esto, pero nunca funcionó muy bien y poco podrido, y finalmente fue llevado a cabo. Pero no sé si ha sido reemplazado por algo. Y no he podido encontrar nada en clang, lo que me sorprende porque podría pensar que este es precisamente el tipo de optimización que el clang habría terminado ...

Answer 1

No. No hay razón para tal cosa que se suministrará.

1. No puede hacerlo allí donde se toma la dirección de la estructura y se envía a ninguna parte, ya que de todos modos podría contener un alias. Eso prácticamente excluye cualquier cosa que esté fuera de una función.

2. Si puede realizar y realizar el análisis requerido para indicar a los miembros de la estructura que "esto puede optimizarse si no se usa" (cuidado con las macros de cálculo de desplazamiento funky) puede verlo si es necesario o no y sácalo tú mismo.

3. Si no está seguro, simplemente coméntelo y vea si obtiene un error de compilación.