Я добавил байткодеризацию для while, но без do, else, post instruction, break и continue. Всё-таки пришлось переписать кое-что, но это оказалось много легче, чем я думал.
u8 a := 33;

func (u8,[u32 c0,f32e8 c1]) main := {
u8 b := 8 + 5;
while 1 {
b := 3;
};
return a + 57;
};
преобразуется в:
u8 @0 'a' := 0x21

func(u8,[u32 %0,f32e8 %1]) @1 'main' := {
.0:
%2 := alloca u8;
%3 := 0x8 + 0x5;