У псевдокода тоже есть свои недостатки. Попробуй добавить в кодогенератор второй, третий процессор - сразу станет ясно что не так в архитектуре компилятора. Кроме множества поддерживаемых процессоров сейчас также вырисовываются варианты компилятора для запуска на "больших" и на "маленьких" платформах.
Думаю, надо найти какой-то компромисс между вариантами генерации кода. Это как раз то, про что не напишут в книгах - конкретная реализация, которую выбрал автор. Поэтому могу сказать, что этап чтения книг я уже прошёл.

Почему код "осмысленный, но неработоспособный"? В кодогенераторе много заглушек. Структура получаемого кода в целом видна, но, например, размер и смещение переменных не учитывается.