Что именно я понимаю под промежуточным представлением (IR) компилятора

[Mr_Rm]

Понятно, что перевод, и код взят из оригинала как есть, но в примере разворачивания

v2 = GENERIC_ADD v0, v1

в

v1 = TYPE_OF v0
v2 = TYPE_OF v1
...

похоже, содержится ошибка с переопределением v1. Правильно должно быть

v2 = TYPE_OF v0
v3 = TYPE_OF v1

и далее со сдвигом номеров на +1.