В начале программного обеспечения в цикле (SIL) или процессоре в цикле (PIL) симуляция, программное обеспечение проверяет некоторые настройки параметра конфигурации со ссылкой на целевой компьютер.
Например, настройки на Configuration Parameters> панель Hardware Implementation задает целевое поведение, которые приводят к реализации неявных предположений в сгенерированном коде. Неправильные настройки могут привести к:
Субоптимальный код
Отказ выполнения кода, неправильный код вывод и недетерминированное поведение кода
Проверки программного обеспечения:
Правильность настроек. Например, целочисленная длина в битах в поле Number of bits: int.
Оптимизированы ли настройки. Например, округление деления целого числа со знаком в поле Signed integer division rounds to.
Симуляция генерирует страницу Coder Assumptions для отчета генерации кода, который предоставляет список:
Предположения генерации кода, которые проверяются
Ожидаемые результаты для проверок предположения
Эта таблица показывает, когда проверки происходят и результаты, когда предположения генерации кода являются неправильными.
| Этап | Что Проверяется | Результат |
|---|---|---|
Препроцессор | Number of bits на:
Если Support long long ( Для каждого типа данных не выполнена проверка препроцессора, если количество битов превышает эти настройки для цели C препроцессор:
| Ошибка, если размеры типа данных для образцового и целевого компьютера не соответствуют. |
Время выполнения | Number of bits на:
| Ошибка, если размеры типа данных для образцового и целевого компьютера не соответствуют. |
Если Support long long ( | Ошибка, если:
| |
Размер:
Вы не можете сконфигурировать эти размеры типа данных через панель Hardware Implementation. Проверка выполнена, только если Support: floating-point numbers выбран. | Предупреждение, если размеры типа данных для образцового и целевого компьютера не соответствуют. Для | |
Number of bits на:
| Ошибка, если размеры типа данных для образцового и целевого компьютера не соответствуют. | |
Установка Signed integer division rounds to ( | Предупреждение, если установкой параметра модели является Ошибкой, если поведение целевого компьютера является установкой неопределенного и параметра модели, не является Ошибка, если поведение целевого компьютера задано, но настройки для образцового и целевого компьютера не соответствуют. | |
Установка Byte ordering ( | Предупреждение, если установкой является | |
Установка Shift right on a signed integer as arithmetic shift ( | Ошибка, если настройки для образцового и целевого компьютера не соответствуют. | |
Установка Remove root level I/O zero initialization ( | Предупреждение, если | |
Установка Remove internal data zero initialization ( | Предупреждение, если |
