SatShift(x,n)={((x+offset 0)   >>   n   if   x≥0-((-x+offset 1)   >>   n)   if   x<0)
Shift(x,n)   is   defined   as   Shift(x,n)=(x+offset 0)   >>   n.