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

Просто куча чисел (параметры регистра) заменяемых на текстовые обозначения которые можно потом где-то юзать. А если нигде не юзается - на фазе компила это вообще не фигурирует.

На асме, как минимум макро, тоже наверное можно такое. Это как раз очень эффективно, в том плане что какой-то код и константы в фактическом бинаре будут только когда кто-то решит что-то по факту сделать с вон тем регистром. А еще так по приколу LTO умеет круто коллапсировать повторные вгрузки констант и прочие вещи. На жирном коде ты опупеешь аллокацию регистров трекать, а LTO, вот, помнит что килобайт назад мы уже в R7 вгрузили потребную базу, ща мы дескать от нее мелким смещением оттанцуем - и вот оно, порядочек. Допрешь ли ты сам такое завернуть - ну, на куске в 20 байтов может и допрешь. А в килобайтах потеряешься.

...это тебе мнение того кто смотрел в asm'овый генеренный код, изучая во что разные сишные конструкции могут транслироваться - и как сделать это максимально эффективным.