Структура Blk

Структура Blk - структура, хранящая информацию о базовом блоке.

Основные поля:

Ins *ins - массив инструкций, входящих в этот блок.

uint nins - количество инструкций в блоке.

Blk *s1, Blk *s2 - указатели на последующие блоки (по ходу программы). Если s1 == null и s2 == null, то это значит, что блок находится около exit.

Blk *link - указатель на следующий блок (вычисленный, вовсе не обязательно следующий по ходу программы!). Если s1 == null && s2 == null, то совсем необязательно, что link == null.

Blk *pred - массив указателей на предшествующие (по ходу программы) блоки.

uint npred - количество указателей в массиве.

Blk *idom - указатель на непосредственный доминатор.