[begin_label:] LOOP
    statement_list
END LOOP [end_label]

LOOP は単純なループ構造構文を実装し、各ステートメントがセミコロン (;) ステートメント区切り文字で終了する 1 つ以上のステートメントで構成されたステートメントリストの繰り返し実行を可能にします。ステートメントのループ内での実行は、ループが閉じられるまで繰り返されます。これは一般的に LEAVE ステートメントを使って達成されます。

LOOP ステートメントにはラベルを付けることができます。begin_label も存在していないかぎり、end_label を附与することはできません。両方が存在する場合、これらは同じでなければなりません。