1 2 3 4 5 6 7
require_extension(EXT_ZCMP); if (p->extension_enabled('E')) { require((insn.rvc_r1sc() < 2) && (insn.rvc_r2sc() < 2)); } require(insn.rvc_r1sc() != insn.rvc_r2sc()); WRITE_REG(RVC_R1S, READ_REG(X_A0)); WRITE_REG(RVC_R2S, READ_REG(X_A1));