tweaked shift instruction encoding