[begin_label
:] LOOPstatement_list
END LOOP [end_label
]
LOOP
は単純なループコンストラクトを実装します。これによって、複数のステートメントからなるステートメントリストを繰り返して使用することが可能になります。ステートメントのループ内での実行は、ループが閉じられるまで繰り返されます。これは一般的にLEAVE
ステートメントを使って達成されます。
LOOP
ステートメントにはラベルを貼ることができます。
begin_label
も存在していない限り、end_label
を附与することはできません。両方が存在する場合、これらは同じでなければなりません。