32 bit shifts have only 12 bit displacements