Both branches are evaluated sequentially!
- Save value of mask register (MR).
- Evaluate plural expression on each active PE.
- Set MR to result of evaluation
Active processor set = set of processors where MR is set.
then branch on active processor set.
- Revert MR.
else branch on active processor set.
- Restore saved value of MR.
T(if) = T(exp)T(then)T(else)
Author: Wolfgang Schreiner
Last modification: November 15, 1996