SEL   R, R, INT_IMM, P
WRITE R (1 slots) READ R (1 slots)

distilled: @P0 SEL R0, R0, 0x0, P0;

key: SEL_R_R_I_P

0123456701234567012345670123456701234567012345670123456701234567
111000000001predicateoperand 0operand 1operand 2
0123456701234567012345670123456701234567012345670123456701234567
0000000000000000000000operand 3cNOT00000000000000stallyr-barw-barb-maskreuse00
SEL   R, R, c[INT_IMM][INT_IMM], P
WRITE R (1 slots) READ R (1 slots)

distilled: @P0 SEL R0, R0, c[0x0][0x0], P0;

key: SEL_R_R_c[I][I]_P

0123456701234567012345670123456701234567012345670123456701234567
111000000101predicateoperand 0operand 100000000operand 3operand 2operand 3operand 200000
0123456701234567012345670123456701234567012345670123456701234567
0000000000000000000000operand 4cNOT00000000000000stallyr-barw-barb-maskreuse00
SEL   R, R, cx[UR][INT_IMM], P
WRITE R (1 slots) READ R (1 slots) READ UR (2 slots)

distilled: @P0 SEL R0, R0, cx[UR0][0x0], P0;

key: SEL_R_R_cx[UR][I]_P

0123456701234567012345670123456701234567012345670123456701234567
111000000101predicateoperand 0operand 1operand 20operand 3000000000
0123456701234567012345670123456701234567012345670123456701234567
0000000000000000000000operand 4cNOT10000000000000stallyr-barw-barb-maskreuse00
SEL   R, R, UR, P
WRITE R (1 slots) READ R (1 slots) READ UR (1 slots)

distilled: @P0 SEL R0, R0, UR0, P0;

key: SEL_R_R_UR_P

0123456701234567012345670123456701234567012345670123456701234567
111000000011predicateoperand 0operand 1operand 20000000000000000000000000
0123456701234567012345670123456701234567012345670123456701234567
0000000000000000000000operand 3cNOT10000000000000stallyr-barw-barb-maskreuse00
SEL   R, R, R, P
WRITE R (1 slots) READ R (1 slots) READ R (1 slots)

distilled: @P0 SEL R0, R0, R0, P0;

key: SEL_R_R_R_P

0123456701234567012345670123456701234567012345670123456701234567
111000000100predicateoperand 0operand 1operand 2000000000000000000000000
0123456701234567012345670123456701234567012345670123456701234567
0000000000000000000000operand 3cNOT00000000000000stallyr-barw-barb-maskreuse00