639       uint16_t Wd = im(2), Of = im(3);  in evaluate()  local
640       assert(Wd <= W0);  in evaluate()
641       if (Wd == 0)  in evaluate()
645       RegisterCell Pad = (Wd+Of > W0) ? rc(1).cat(eIMM(0, Wd+Of-W0)) : rc(1);  in evaluate()
646       RegisterCell Ext = eXTR(Pad, Of, Wd+Of);  in evaluate()
648       RegisterCell RC = RegisterCell(W0).insert(Ext, BT::BitMask(0, Wd-1));  in evaluate()
650         return rr0(eZXT(RC, Wd), Outputs);  in evaluate()
651       return rr0(eSXT(RC, Wd), Outputs);  in evaluate()
655       uint16_t Wd = im(3), Of = im(4);  in evaluate()  local
656       assert(Wd < W0 && Of < W0);  in evaluate()
658       if (Wd+Of > W0)  in evaluate()
659         Wd = W0-Of;  in evaluate()
660       if (Wd == 0)  in evaluate()
662       return rr0(eINS(rc(1), eXTR(rc(2), 0, Wd), Of), Outputs);  in evaluate()