Add PHI node needed for shifts of vectors