делает «Уровень DO-178B A» запрещает оптимизировать компиляторы?

Существует «DO-178B» уровень A и уровня B сертификации для воздушных систем. Запрещает ли он оптимизационные компиляторы?

E.g. Некоторые компиляторы будут извлекать инструкции, чтобы получить больше производительности. DO-178B LEV.A или LEV.B запрещает это переупорядочение?

Большое современное ЦП имеет такой переупорядочный встроен в оборудовании. Разрешено ли они использовать в DO-178B Lev.a Softare / Hardware Systems?