We can also see that in the previous version we were iterating 30 times in the vectorised loop body
, but in the new version we are running 31 iterations.
What about a loop where only most of the loop body
Figures 2,3,4, and 5 show the loop body
IR as a directed a cyclic graph (DAG) for the code segments in Algorithms 1, 2, 3, and 4, respectively.
The proposed antenna consists of a feeding loop and a rectangular loop body
. The feeding loop is located close to the main radiating body.
Informally, a loop is P-solvable if the following conditions are satisfied: (i) the loop body
consists only of nested conditionals and assignments, (ii) assignments to scalars form a linear recurrence system with constant coefficients, (iii) closed forms of scalar variables can be represented by a polynomial system over loop counters and some extra variables where there are polynomial relations among the extra variables, and (iii) updates to arrays can be handled as uninterpreted functions over array and scalar variables.
A single remaining unsafe reference in a loop body
will prevent these transformations.
The program understander then proceeds through the components in the LOOP body
. It skips over the subtractions, since they have no specializations nor index any plans.
Within the loop body
there must be at least one command that assigns a new value for at least one of these variables.
The first step of the loop body
replaces each S(i) with S(i) - 2.f(i).S(i).
Since loop k is executed by all processors, the messages are inserted at the beginning of the loop body
. Messages for B(i, j - 1) are calculated in a similar manner.
 procedure collapse(loop Body
, loopHeader)  for every z [element of] loopBody do  loop-parent(z) := loopHeader;  LP.
(3) a while loop may suspend only in the loop body
; a conditional may suspend only in one or another branch; a null statement may not suspend;