715       uint16_t Wd = im(2), Of = im(3);  in evaluate()  local
716       assert(Wd <= W0);  in evaluate()
717       if (Wd == 0)  in evaluate()
721       RegisterCell Pad = (Wd+Of > W0) ? rc(1).cat(eIMM(0, Wd+Of-W0)) : rc(1);  in evaluate()
722       RegisterCell Ext = eXTR(Pad, Of, Wd+Of);  in evaluate()
724       RegisterCell RC = RegisterCell(W0).insert(Ext, BT::BitMask(0, Wd-1));  in evaluate()
726         return rr0(eZXT(RC, Wd), Outputs);  in evaluate()
727       return rr0(eSXT(RC, Wd), Outputs);  in evaluate()
731       uint16_t Wd = im(3), Of = im(4);  in evaluate()  local
732       assert(Wd < W0 && Of < W0);  in evaluate()
734       if (Wd+Of > W0)  in evaluate()
735         Wd = W0-Of;  in evaluate()
736       if (Wd == 0)  in evaluate()
738       return rr0(eINS(rc(1), eXTR(rc(2), 0, Wd), Of), Outputs);  in evaluate()