Fix testAndBranch sign extend to 64 bit (#1213)

1 file changed