Если выражение является многовариантным условным выражением, то необходимо выработать код, вычисляющий предикат, создать таблицу переходов ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Филд А.N. Функциональное программирование


Если выражение является многовариантным условным выражением, то необходимо выработать код, вычисляющий предикат, создать таблицу переходов и затем произвести компиляцию всех ветвей этого условного выражения. Завершает последовательность команд, соответствующих каждой ветви ( кроме последней), команда перехода JUMP, используемая для перехода к метке выхода. Для обеспечения уникальности каждого номера метки необходимо зарезервировать достаточное количество номеров меток до начала компиляции выражения. При этом мы можем быть уверены, что использованные в разных ветвях метки будут уникальными.

(cкачать страницу)

Смотреть книгу на libgen

Если выражение является многовариантным условным выражением,  то необходимо выработать код,  вычисляющий предикат,  создать таблицу переходов и затем произвести компиляцию всех ветвей этого условного выражения.  Завершает последовательность команд,  соответствующих каждой ветви ( кроме последней),  команда перехода JUMP,  используемая для перехода к метке выхода.  Для обеспечения уникальности каждого номера метки необходимо зарезервировать достаточное количество номеров меток до начала компиляции выражения.  При этом мы можем быть уверены,  что использованные в разных ветвях метки будут уникальными.