A loop statement includes a sequence of statements that is to be executed repeatedly.

Syntax:

[ loop_label: ] loop 
  sequential_statements
end loop [ loop_label ]; 

Description:

The loop statement contains a sequence of statements, which are supposed to be repeated many times.

A loop statement can have several different forms depending on the iteration scheme preceding the reserved word loop (see while loop and for loop). In its simplest form, no iteration scheme is specified and the loop is repeated indefinitely.

In order to exit from an infinite loop, an exit statement has to be used. An exit statement can be specified with a condition that must be met to exit the loop (see Exit).

Example:

L1: loop 
  Clk <= not Clk after 5 ns; 
end loop L1; 

See also:

Exit, For loop, Next, While loop