Компиляторы: выполняется ли оптимизация по умолчанию? Опции

[job_andrey]

Требуется получить машинный код, в котором для каждого его куска можно найти соответствующий кусок в исходном коде (на С). Т.е. в генерируемом компилятором машинном коде не должны присутствовать какие-либо неявные вставки, не имеющие соответствующего отображения исходном коде (вроде проверки границ массивов), и наоборот ничто не должно быть отрезано.

В связи с этим возникает вопрос, когда и как компиляторы выполняют оптимизацию?
1. Если убрать все ключи оптимизации компилятора, будет ли выполнятся какая-либо оптимизация по умолчанию?
2. На каких этапах выполняется оптимизация: до преобразования в ассемблерный код и/или после?

Вообще это нужно применительно к Wind River и TI Code Composer Studio, но полезной будет информация о любых компиляторах.

[HARMHARM]

Требуется получить машинный код, в котором для каждого его куска можно найти соответствующий кусок в исходном коде (на С). Т.е. в генерируемом компилятором машинном коде не должны присутствовать какие-либо неявные вставки, не имеющие соответствующего отображения исходном коде (вроде проверки границ массивов), и наоборот ничто не должно быть отрезано.

Это и есть "без оптимизации".

1. Если убрать все ключи оптимизации компилятора, будет ли выполнятся какая-либо оптимизация по умолчанию?

Читайте документацию на компилятор. IAR по умолчанию оптимизирует "слегка" (по скорости).

2. На каких этапах выполняется оптимизация: до преобразования в ассемблерный код и/или после?

Хм. Имхо во время "преобразования в ассемблерный код". То, что Вы получите в .lst и в .hex, есть конечный продукт работы компилятора; все оптимизации уже сделаны до того. Линкер ничего не оптимизирует в коде.

[sergeeff]

Это и есть "без оптимизации".
Читайте документацию на компилятор. IAR по умолчанию оптимизирует "слегка" (по скорости).
Хм. Имхо во время "преобразования в ассемблерный код". То, что Вы получите в .lst и в .hex, есть конечный продукт работы компилятора; все оптимизации уже сделаны до того. Линкер ничего не оптимизирует в коде.

Вы форум почитайте внимательно (http://electronix.ru/forum/index.php?showtopic=57108). Там приводились примеры, что это справедливо не для всех современных компиляторов/линкеров. Может для IAR это и работает, но автор ветки спрашивал вообще о компиляторах.