Если выражение является многовариантным условным выражением, то необходимо выработать код, вычисляющий предикат, создать таблицу переходов ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Филд А.N.
Функциональное программирование
Если выражение является многовариантным условным выражением, то необходимо выработать код, вычисляющий предикат, создать таблицу переходов и затем произвести компиляцию всех ветвей этого условного выражения. Завершает последовательность команд, соответствующих каждой ветви ( кроме последней), команда перехода JUMP, используемая для перехода к метке выхода. Для обеспечения уникальности каждого номера метки необходимо зарезервировать достаточное количество номеров меток до начала компиляции выражения. При этом мы можем быть уверены, что использованные в разных ветвях метки будут уникальными.