Dextallp2
Dextallp1(valA) = 0; Dextallp2(valB) = 0; \
Dextallp2(valB)==0 && Dextallp3(valC)==0 && Dextallp4(valD)==0)
Dextallp2(destb) = Dextallp4(srcb); \
Dextallp2(leftp2) = Dextallp2(leftp2) XOR Dextallp2(rightp2); \
Dextallp2(rightp2) = Dextallp2(leftp2) XOR Dextallp2(rightp2); \
Dextallp2(leftp2) = Dextallp2(leftp2) XOR Dextallp2(rightp2); \
Variable_shift_double(Dextallp2(srcdstB), \
Dextallp2(srcdstB),shiftamt,Dextallp2(srcdstB)); \
Variable_shift_double(Dextallp2(srcdstB), \
Dextallp2(srcdstB),shiftamt,Dextallp3(srcdstC)); \
Dextallp3(srcdstC) = Dextallp2(srcdstB); \
Dextallp2(srcdstB) = Dextallp1(srcdstA) >> shiftamt; \
sticky = (Dextallp2(srcdstB) << 31 - shiftamt) | \
Dextallp2(srcdstB),shiftamt,Dextallp4(srcdstD)); \
Dextallp4(srcdstD) = Dextallp2(srcdstB); \
Dextallp1(srcdstA) = Dextallp2(srcdstB) = 0; \
Dextallp2(srcdstB) | Dextallp3(srcdstC) | \
sticky = Dextallp2(srcdstB) | Dextallp3(srcdstC) | \
Dextallp1(srcdstA) = Dextallp2(srcdstB) = 0; \
if( (Dextallp2(leftb)--) == 0) Dextallp1(lefta)--; \
if( (Dextallp2(leftb)--) == 0) Dextallp1(lefta)--; \
if( Dextallp2(rightb) > Dextallp2(leftb) ) Dextallp1(lefta)--; \
Dextallp2(resultb) = Dextallp2(leftb) - Dextallp2(rightb); \
if((Dextallp2(resultb) = Dextallp2(leftb)+Dextallp2(rightb)+1) \
<= Dextallp2(rightb)) \
if ((Dextallp2(resultb) = Dextallp2(leftb)+Dextallp2(rightb)) < \
Dextallp2(rightb)) \
if ((Dextallp2(resultb) = Dextallp2(leftb)+Dextallp2(rightb)+1) \
<= Dextallp2(rightb)) \
if ((Dextallp2(resultb) = Dextallp2(leftb)+Dextallp2(rightb)) < \
Dextallp2(rightb)) \
Shiftdouble(Dextallp2(srcdstB),Dextallp3(srcdstC),1,Dextallp3(srcdstC)); \
Shiftdouble(Dextallp1(srcdstA),Dextallp2(srcdstB),1,Dextallp2(srcdstB)); \
Shiftdouble(Dextallp1(valA),Dextallp2(valB),24,Dextallp1(valA)); \
Shiftdouble(Dextallp2(valB),Dextallp3(valC),24,Dextallp2(valB)); \
Shiftdouble(Dextallp1(valA),Dextallp2(valB),28,Dextallp1(valA)); \
Shiftdouble(Dextallp2(valB),Dextallp3(valC),28,Dextallp2(valB)); \
Shiftdouble(Dextallp1(valA),Dextallp2(valB),29,Dextallp1(valA)); \
Shiftdouble(Dextallp2(valB),Dextallp3(valC),29,Dextallp2(valB)); \
Shiftdouble(Dextallp1(valA),Dextallp2(valB),30,Dextallp1(valA)); \
Shiftdouble(Dextallp2(valB),Dextallp3(valC),30,Dextallp2(valB)); \
Shiftdouble(Dextallp1(valA),Dextallp2(valB),31,Dextallp1(valA)); \
Shiftdouble(Dextallp2(valB),Dextallp3(valC),31,Dextallp2(valB)); \
Shiftdouble(Dextallp2(valueB),Dextallp3(valueC),4,Dextallp3(valueC)); \
Shiftdouble(Dextallp1(valueA),Dextallp2(valueB),4,Dextallp2(valueB)); \
Shiftdouble(Dextallp2(valueB),Dextallp3(valueC),1,Dextallp3(valueC)); \
Shiftdouble(Dextallp1(valueA),Dextallp2(valueB),1,Dextallp2(valueB)); \
Dextallp1(dest1) = Dallp1(src1); Dextallp2(dest2) = Dallp2(src2); \
Dextallp2(opndp2) = Dextallp1(opndp1) >> shiftamt; \
case 2: sticky = (Dextallp2(opndp2) << 32-(shiftamt)) | \
Dextallp1(opndp1) = Dextallp2(opndp2) = 0; \
Dextallp2(opndp2) | Dextallp3(opndp3) | \
Dextallp1(opndp1) = Dextallp2(opndp2) = 0; \
sticky = Dextallp1(opndp1) | Dextallp2(opndp2) | \