MicroTESK

Для правильной индентификации типов при обращении к битовым полям вычисляется размер поля (на этапе трансляции).
Индексные выражения, как правило, - статически вычисляемые константные выражения. Однако, возможны следующие варианты:

shifter_carry_out = GPR[r]<amount-1..amount-1>;

Такой код не будет транслироваться т.к. amount - не константа. Однако, размер поля можно посчтитать и видно, что он будет равен 1.
В модели ARM встречается несколько подобных симметричных конструкций. Для них можно и НУЖНО вычислять размер поля.