Верификация предположений генерации кода

Настройки на вкладке More Settings> Hardware задают целевое поведение, которые приводят к реализации неявных предположений в сгенерированном коде. Неправильные настройки могут привести к:

  • Субоптимальный код

  • Отказ выполнения кода, неправильный код вывод и недетерминированное поведение кода

В начале процессора в цикле (PIL) выполнение программное обеспечение проверяет установки позиций табуляции Hardware со ссылкой на целевой компьютер. Проверки программного обеспечения:

  • Правильность настроек. Например, целочисленная длина в битах в поле Sizes> int.

  • Оптимизированы ли настройки. Например, округление деления целого числа со знаком в поле Signed integer division rounds to.

При необходимости программное обеспечение генерирует предупреждения и ошибки.

Похожие темы