中身を覗いてみた。 確かにループ前がアレだね。 0以外の ループ開始後のr32を [の外に出せば問題なさそう。