BPF_MOVSX64_REG
BPF_MOVSX64_REG(R1, R3, 8),
BPF_MOVSX64_REG(R1, R3, 16),
BPF_MOVSX64_REG(R1, R3, 32),
:: __imm_insn(r0_eq_r10_cast_s8, BPF_MOVSX64_REG(BPF_REG_0, BPF_REG_10, 8))
:: __imm_insn(r0_eq_r1_cast_s8, BPF_MOVSX64_REG(BPF_REG_0, BPF_REG_1, 8))