[Pixman] [PATCH 1/2] utils.c: On x86-32 unalign the stack before calling test_function
sandmann at cs.au.dk
Wed Oct 2 17:33:36 PDT 2013
From: Søren Sandmann Pedersen <ssp at redhat.com>
GCC when compiling with -msse2 and -mssse3 will assume that the stack
is aligned to 16 bytes even on x86-32 and accordingly issue movdqa
instructions for stack allocated variables.
But despite what GCC thinks, the standard ABI on x86-32 only requires
a 4-byte aligned stack. This is true at least on Windows, but there
also was (and maybe still is) Linux code in the wild that assumed
this. When such code calls into pixman and hits something compiled
with -msse2, we get a segfault from the unaligned movdqas.
Pixman has worked around this issue in the past with the gcc attribute
"force_align_arg_pointer" but the problem has resurfaced now in
because pixman_composite_glyphs() is missing this attribute.
This patch makes fuzzer_test_main() call the test_function through a
trampoline, which, on x86-32, has a bit of assembly that deliberately
avoids aligning the stack to 16 bytes as GCC normally expects. The
result is that glyph-test now crashes.
The trampoline is marked noinline to work around what appears to be a
bug in GCC/OpenMP (and possibly later), where the test_function
pointer is not correctly passed to the assembly if the function is
test/utils.c | 35 +++++++++++++++++++++++++++++++++--
1 file changed, 33 insertions(+), 2 deletions(-)
diff --git a/test/utils.c b/test/utils.c
index 0cd982e..2e98512 100644
@@ -641,6 +641,35 @@ draw_checkerboard (pixman_image_t *image,
+/* The 'noinline' works around what looks like a GCC/OpenMP bug, where the
+ * @test_function pointer is not correctly passed to the asembly.
+static noinline uint32_t
+call_test_function (uint32_t (*test_function)(int testnum, int verbose),
+ int testnum,
+ int verbose)
+ uint32_t retval;
+#if defined (__GNUC__) && (defined (__i386) || defined (__i386__))
+ __asm__ (
+ /* Deliberately avoid aligning the stack to 16 bytes */
+ "pushl %1\n\t"
+ "pushl %2\n\t"
+ "call *%3\n\t"
+ "addl $8, %%esp\n\t"
+ : "=a" (retval)
+ : "r" (verbose),
+ "r" (testnum),
+ "r" (test_function));
+ retval = test_function (testnum, verbose);
+ return retval;
* A function, which can be used as a core part of the test programs,
* intended to detect various problems with the help of fuzzing input
@@ -710,7 +739,9 @@ fuzzer_test_main (const char *test_name,
else if (argc >= 2)
n2 = atoi (argv);
- checksum = test_function (n2, 1);
+ checksum = call_test_function (test_function, n2, 1);
printf ("%d: checksum=%08X\n", n2, checksum);
@@ -726,7 +757,7 @@ fuzzer_test_main (const char *test_name,
for (i = n1; i <= n2; i++)
- uint32_t crc = test_function (i, 0);
+ uint32_t crc = call_test_function (test_function, i, 0);
printf ("%d: %08X\n", i, crc);
checksum += crc;
More information about the Pixman