From: Richard Henderson Date: Thu, 20 Jan 2005 18:20:46 +0000 (-0800) Subject: i386.c (ix86_expand_push): New. X-Git-Tag: releases/gcc-4.0.0~1419 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=6b79c03c558a3f8b7862b1433e6481fb5f91c877;p=thirdparty%2Fgcc.git i386.c (ix86_expand_push): New. * config/i386/i386.c (ix86_expand_push): New. * config/i386/mmx.md (push1): New. * config/i386/sse.md (push1): New. * config/i386/i386-protos.h: Update. From-SVN: r93970 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 9e3637d85cd8..7f2af19f9ad1 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2005-01-20 Richard Henderson + + * config/i386/i386.c (ix86_expand_push): New. + * config/i386/mmx.md (push1): New. + * config/i386/sse.md (push1): New. + * config/i386/i386-protos.h: Update. + 2005-01-20 Kazu Hirata * params.def, params.h, predict.c, tree-ssa-loop-im.c: Update diff --git a/gcc/config/i386/i386-protos.h b/gcc/config/i386/i386-protos.h index 1b951b120e6e..8be5408dd0e1 100644 --- a/gcc/config/i386/i386-protos.h +++ b/gcc/config/i386/i386-protos.h @@ -126,6 +126,7 @@ extern void ix86_expand_clear (rtx); extern void ix86_expand_move (enum machine_mode, rtx[]); extern void ix86_expand_vector_move (enum machine_mode, rtx[]); extern void ix86_expand_vector_move_misalign (enum machine_mode, rtx[]); +extern void ix86_expand_push (enum machine_mode, rtx); extern rtx ix86_fixup_binary_operands (enum rtx_code, enum machine_mode, rtx[]); extern void ix86_fixup_binary_operands_no_copy (enum rtx_code, diff --git a/gcc/config/i386/i386.c b/gcc/config/i386/i386.c index 256d38fa0ec1..2c1e9fd4c3d7 100644 --- a/gcc/config/i386/i386.c +++ b/gcc/config/i386/i386.c @@ -7754,6 +7754,24 @@ ix86_expand_vector_move_misalign (enum machine_mode mode, rtx operands[]) gcc_unreachable (); } +/* Expand a push in MODE. This is some mode for which we do not support + proper push instructions, at least from the registers that we expect + the value to live in. */ + +void +ix86_expand_push (enum machine_mode mode, rtx x) +{ + rtx tmp; + + tmp = expand_simple_binop (Pmode, PLUS, stack_pointer_rtx, + GEN_INT (-GET_MODE_SIZE (mode)), + stack_pointer_rtx, 1, OPTAB_DIRECT); + if (tmp != stack_pointer_rtx) + emit_move_insn (stack_pointer_rtx, tmp); + + tmp = gen_rtx_MEM (mode, stack_pointer_rtx); + emit_move_insn (tmp, x); +} /* Fix up OPERANDS to satisfy ix86_binary_operator_ok. Return the destination to use for the operation. If different from the true diff --git a/gcc/config/i386/mmx.md b/gcc/config/i386/mmx.md index ccee83d57dd6..d46fb36fd29a 100644 --- a/gcc/config/i386/mmx.md +++ b/gcc/config/i386/mmx.md @@ -175,6 +175,14 @@ [(const_int 0)] "ix86_split_long_move (operands); DONE;") +(define_expand "push1" + [(match_operand:MMXMODE 0 "register_operand" "")] + "TARGET_SSE" +{ + ix86_expand_push (mode, operands[0]); + DONE; +}) + (define_expand "movmisalign" [(set (match_operand:MMXMODE 0 "nonimmediate_operand" "") (match_operand:MMXMODE 1 "nonimmediate_operand" ""))] diff --git a/gcc/config/i386/sse.md b/gcc/config/i386/sse.md index 68c48eab7770..d15664b43942 100644 --- a/gcc/config/i386/sse.md +++ b/gcc/config/i386/sse.md @@ -194,6 +194,14 @@ operands[2] = CONST0_RTX (DFmode); }) +(define_expand "push1" + [(match_operand:SSEMODE 0 "register_operand" "")] + "TARGET_SSE" +{ + ix86_expand_push (mode, operands[0]); + DONE; +}) + (define_expand "movmisalign" [(set (match_operand:SSEMODE 0 "nonimmediate_operand" "") (match_operand:SSEMODE 1 "nonimmediate_operand" ""))] diff --git a/gcc/testsuite/gcc.c-torture/execute/va-arg-25.x b/gcc/testsuite/gcc.c-torture/execute/va-arg-25.x new file mode 100644 index 000000000000..fe8d7f918f20 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/va-arg-25.x @@ -0,0 +1,12 @@ +# With -Os we default to -mpreferred-stack-boundary=2, which is not +# enough for proper operation with V4SImode when the architecture +# default enables SSE. Arguably setting -mpreferred-stack-boundary=2 +# under this condition is incorrect. Finding the correct set of +# options such that we don't exchange a FAIL for an XPASS is hard; +# simply force the stack boundary we need and forget about it for now. + +if { [istarget "i?86-*-*"] || [istarget "x86_64-*-*"] } { + set additional_flags "-mpreferred-stack-boundary=4" +} + +return 0