Fix input data.

The (original) function should printf 4* max(i_pix1, i_pix2).

Like this:

static NOINLINE int x264_pixel_satd_8x4( pixel *pix1, intptr_t i_pix1, pixel *pix2, intptr_t i_pix2 )
{
    printf("%d,%d\n", i_pix1, i_pix2);

    int j, max;
    max = i_pix1 > i_pix2 ? i_pix1 : i_pix2;

    for (j = 0; j < 4 * max; j++)
    {
        printf("%d,%d\n", pix1[j], pix2[j]);
    }

    // ...
}