procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

re PR target/69140 (stack alignment + O1 breaks with Microsoft ABI)

Browse source 
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
This commit is contained in:
Uros Bizjak 2016-01-06 21:19:04 +01:00 • committed by Uros Bizjak
parent 7443cf1305
commit 5027395ec6
4 changed files with 38 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
gcc/ChangeLog
View file

@ -1,3 +1,10 @@
2016-01-06 Uros Bizjak <ubizjak@gmail.com>
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 <wschmidt@linux.vnet.ibm.com>
* config/rs6000/vsx.md (*p9_vecload_<mode>): Replace VSX_M

2
gcc/config/i386/i386.c
View file

@ -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)

5
gcc/testsuite/ChangeLog
View file

@ -1,3 +1,8 @@
2016-01-06 Uros Bizjak <ubizjak@gmail.com>
PR target/69140
* gcc.target/i386/pr69140.c: New test
2016-01-06 David Malcolm <dmalcolm@redhat.com>
* gcc.dg/bad-dereference.c: New test case.

24
gcc/testsuite/gcc.target/i386/pr69140.c Normal file
View file

@ -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);
}