Верификация допущений генерации кода

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

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

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

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

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

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

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

Похожие темы

Для просмотра документации необходимо авторизоваться на сайте