sign-extend regression test for x32