From: Uros Bizjak Date: Wed, 6 Jan 2016 20:19:04 +0000 (+0100) Subject: re PR target/69140 (stack alignment + O1 breaks with Microsoft ABI) X-Git-Tag: basepoints/gcc-7~1801 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=5027395ec641081ed33dd2c4b8204aba7053782c;p=thirdparty%2Fgcc.git re PR target/69140 (stack alignment + O1 breaks with Microsoft ABI) PR target/69140 * config/i386/i386.c (ix86_expand_prologue): Declare fs.sp_valid depending on frame_pointer_needed before remaining integer and SSE registers are saved. testsuite/ChangeLog: PR target/69140 * gcc.target/i386/pr69140.c: New test From-SVN: r232111 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index eaae4ec69e15..c807433b0927 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2016-01-06 Uros Bizjak + + PR target/69140 + * config/i386/i386.c (ix86_expand_prologue): Declare fs.sp_valid + depending on frame_pointer_needed before remaining integer and SSE + registers are saved. + 2015-01-06 Bill Schmidt * config/rs6000/vsx.md (*p9_vecload_): Replace VSX_M diff --git a/gcc/config/i386/i386.c b/gcc/config/i386/i386.c index c6c66c77fb53..9c3fa70b752c 100644 --- a/gcc/config/i386/i386.c +++ b/gcc/config/i386/i386.c @@ -13065,6 +13065,8 @@ ix86_expand_prologue (void) m->fs.fp_valid = true; } + m->fs.sp_valid = !frame_pointer_needed; + if (!int_registers_saved) ix86_emit_save_regs_using_mov (frame.reg_save_offset); if (!sse_registers_saved) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index e3a742a27833..5ca10b3d0064 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2016-01-06 Uros Bizjak + + PR target/69140 + * gcc.target/i386/pr69140.c: New test + 2016-01-06 David Malcolm * gcc.dg/bad-dereference.c: New test case. diff --git a/gcc/testsuite/gcc.target/i386/pr69140.c b/gcc/testsuite/gcc.target/i386/pr69140.c new file mode 100644 index 000000000000..2c345dd75bc5 --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/pr69140.c @@ -0,0 +1,24 @@ +/* { dg-do compile { target lp64 } } */ +/* { dg-options "-O2 -mincoming-stack-boundary=3" } */ + +typedef struct { + unsigned int buf[4]; + unsigned char in[64]; +} MD4_CTX; + +static void +MD4Transform (unsigned int buf[4], const unsigned int in[16]) +{ + unsigned int a, b, c, d; + (b) += ((((c)) & ((d))) | ((~(c)) & ((a)))) + (in[7]); + (a) += ((((b)) & ((c))) | ((~(b)) & ((d)))) + (in[8]); + (d) += ((((a)) & ((b))) | ((~(a)) & ((c)))) + (in[9]); + buf[3] += d; +} + +void __attribute__((ms_abi)) +MD4Update (MD4_CTX *ctx, const unsigned char *buf) +{ + MD4Transform( ctx->buf, (unsigned int *)ctx->in); + MD4Transform( ctx->buf, (unsigned int *)ctx->in); +}