717       uint16_t Wd = im(2), Of = im(3);  in evaluate()  local
718       assert(Wd <= W0);  in evaluate()
719       if (Wd == 0)  in evaluate()
723       RegisterCell Pad = (Wd+Of > W0) ? rc(1).cat(eIMM(0, Wd+Of-W0)) : rc(1);  in evaluate()
724       RegisterCell Ext = eXTR(Pad, Of, Wd+Of);  in evaluate()
726       RegisterCell RC = RegisterCell(W0).insert(Ext, BT::BitMask(0, Wd-1));  in evaluate()
728         return rr0(eZXT(RC, Wd), Outputs);  in evaluate()
729       return rr0(eSXT(RC, Wd), Outputs);  in evaluate()
733       uint16_t Wd = im(3), Of = im(4);  in evaluate()  local
734       assert(Wd < W0 && Of < W0);  in evaluate()
736       if (Wd+Of > W0)  in evaluate()
737         Wd = W0-Of;  in evaluate()
738       if (Wd == 0)  in evaluate()
740       return rr0(eINS(rc(1), eXTR(rc(2), 0, Wd), Of), Outputs);  in evaluate()