Find the first one in a bool vector, shift it one to the right and set all remaining elments to one too.
The main purpose of this operation is to facilitate vectorization of loops, do-while loops in particular. It allows you to treat conditions created in a SIMD as exit conditions in a loop, since the first occurrence of a true value applies to all the remaining values and would be iterations.
which then can be used in pick operations or other vector operations, yet the exit condition is preserved for all elements that would not be in the iteration anymore if it wasn't vectorized. Since the rightmost value would be shifted out, a second result value is returned to the belt which holds that value. It always must be checked too for the exit condition.
|Silver||E0 E1 E2 E3||1|