>>600
＞「ループに変換可能か」と言うより「ジャンプ最適化可能か」です。
call A
end

A:
...
ret
...
call A
ret

ならば

A:
...
ret
....
jmp A

になるということですか。昔、せこいことに call A / A: ... call B ret / B: ..... call C ret / C: ... ret を　call A / A .. jmpB / B: ... jmp C / C: ... ret にしていた、というやつですね。
もう少し考えて見ます。コメントありがとうございました。