たとえば、 image[x, y] みたいなのでピクセルごとにループしてて、毎回 precondition があったらたとえ分岐予測あってもきつくないかな？