It's straightforward but needs some efforts.
%c = %point == 0
jmpif <yield 0>, %c
%c = %point ==1
jmpif <yield 1>, %c
%c = %point == 2
%c = jmpif <in loop>, %c
label <entry>
%1 = Const(1)
%2 = x
%3 = self # function ptr
%env = mk_tuple(%3, %2)
%point = 1
%ret = mk_tuple(%1, %env)
return %ret
label <yield 1>
...