>>691
pmulhw(v + 1, 257)なら32ビットの上位16ビットを取り出せるだろ。