FCHK   P, R, FIMM
READ R (1 slots)

distilled: @P0 FCHK P0, R0, 0 ;

key: FCHK_P_R_FI

0123456701234567012345670123456701234567012345670123456701234567
010000001001predicate00000000operand 1operand 2
0123456701234567012345670123456701234567012345670123456701234567
00000000cNEGcABS000000operand 0000000000000000000000stallyr-barw-barb-maskreuse00
FCHK   P, R, c[INT_IMM][INT_IMM]
READ R (1 slots)

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

key: FCHK_P_R_c[I][I]

0123456701234567012345670123456701234567012345670123456701234567
010000001101predicate00000000operand 100000000operand 3operand 2operand 3operand 200000
0123456701234567012345670123456701234567012345670123456701234567
00000000cNEGcABS000000operand 0000000000000000000000stallyr-barw-barb-maskreuse00
FCHK   P, R, cx[UR][INT_IMM]
READ R (1 slots) READ UR (2 slots)

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

key: FCHK_P_R_cx[UR][I]

0123456701234567012345670123456701234567012345670123456701234567
010000001101predicate00000000operand 1operand 20operand 3000000000
0123456701234567012345670123456701234567012345670123456701234567
00000000cNEGcABS000000operand 0000000010000000000000stallyr-barw-barb-maskreuse00
FCHK   P, R, UR
READ R (1 slots) READ UR (1 slots)

distilled: @P0 FCHK P0, R0, UR0 ;

key: FCHK_P_R_UR

0123456701234567012345670123456701234567012345670123456701234567
010000001011predicate00000000operand 1operand 200000000000000000000000cABScNEG
0123456701234567012345670123456701234567012345670123456701234567
00000000cNEGcABS000000operand 0000000010000000000000stallyr-barw-barb-maskreuse00
FCHK   P, R, R
READ R (1 slots) READ R (1 slots)

distilled: @P0 FCHK P0, R0, R0 ;

key: FCHK_P_R_R

0123456701234567012345670123456701234567012345670123456701234567
010000001100predicate00000000operand 1operand 20000000000000000000000cABScNEG
0123456701234567012345670123456701234567012345670123456701234567
00000000cNEGcABS000000operand 0000000000000000000000stallyr-barw-barb-maskreuse00