MERGE_BITS — Merge of bits under maskMERGE_BITS(I, J, MASK) merges the bits of I and J
as determined by the mask. The i-th bit of the result is equal to the
i-th bit of I if the i-th bit of MASK is 1; it is equal to
the i-th bit of J otherwise.
RESULT = MERGE_BITS(I, J, MASK)
| I | Shall be of type INTEGER.
|
| J | Shall be of type INTEGER and of the same
kind as I.
|
| MASK | Shall be of type INTEGER and of the same
kind as I.
|