diff options
author | ktietz <ktietz@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-06-05 17:03:52 +0000 |
---|---|---|
committer | ktietz <ktietz@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-06-05 17:03:52 +0000 |
commit | 7a66cc6b26e5b3cbd119604dd9f3718ebe89b49c (patch) | |
tree | 0a4caf522966a51664bdbb066ce92052b22edeab /gcc/config/i386/i386.md | |
parent | f581c1e294d060d4b3eb12a68df21158f283a213 (diff) | |
download | gcc-7a66cc6b26e5b3cbd119604dd9f3718ebe89b49c.tar.gz |
2014-06-05 Kai Tietz <ktietz@redhat.com>
Richard Henderson <rth@redhat.com>
PR target/46219
* config/i386/predicates.md (memory_nox32_operand): Add memory_operand
checking for !TARGET_X32.
* config/i386/i386.md (UNSPEC_PEEPSIB): New unspec constant.
(sibcall_intern): New define_insn, plus required peepholes.
(sibcall_pop_intern): Likewise.
(sibcall_value_intern): Likewise.
(sibcall_value_pop_intern): Likewise.
2014-06-05 Kai Tietz <ktietz@redhat.com>
PR target/46219
* gcc.target/i386/sibcall-4.c: Remove xfail.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211283 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/config/i386/i386.md')
-rw-r--r-- | gcc/config/i386/i386.md | 192 |
1 files changed, 192 insertions, 0 deletions
diff --git a/gcc/config/i386/i386.md b/gcc/config/i386/i386.md index f7716a82381..d08f47ee5d9 100644 --- a/gcc/config/i386/i386.md +++ b/gcc/config/i386/i386.md @@ -111,6 +111,7 @@ UNSPEC_LEA_ADDR UNSPEC_XBEGIN_ABORT UNSPEC_STOS + UNSPEC_PEEPSIB ;; For SSE/MMX support: UNSPEC_FIX_NOTRUNC @@ -11382,6 +11383,53 @@ "* return ix86_output_call_insn (insn, operands[0]);" [(set_attr "type" "call")]) +(define_insn "*sibcall_intern" + [(call (unspec [(mem:QI (match_operand:W 0 "memory_nox32_operand"))] + UNSPEC_PEEPSIB) + (match_operand 1))] + "" + "* return ix86_output_call_insn (insn, operands[0]);" + [(set_attr "type" "call")]) + +(define_peephole2 + [(set (match_operand:DI 0 "register_operand") + (match_operand:DI 1 "memory_nox32_operand")) + (call (mem:QI (match_dup 0)) + (match_operand 3))] + "TARGET_64BIT && SIBLING_CALL_P (peep2_next_insn (1))" + [(call (unspec [(mem:QI (match_dup 1))] UNSPEC_PEEPSIB) + (match_dup 3))]) + +(define_peephole2 + [(set (match_operand:DI 0 "register_operand") + (match_operand:DI 1 "memory_nox32_operand")) + (unspec_volatile [(const_int 0)] UNSPECV_BLOCKAGE) + (call (mem:QI (match_dup 0)) + (match_operand 3))] + "TARGET_64BIT && SIBLING_CALL_P (peep2_next_insn (2))" + [(unspec_volatile [(const_int 0)] UNSPECV_BLOCKAGE) + (call (unspec [(mem:QI (match_dup 1))] UNSPEC_PEEPSIB) + (match_dup 3))]) + +(define_peephole2 + [(set (match_operand:SI 0 "register_operand") + (match_operand:SI 1 "memory_nox32_operand")) + (call (mem:QI (match_dup 0)) + (match_operand 3))] + "!TARGET_64BIT && SIBLING_CALL_P (peep2_next_insn (1))" + [(call (unspec [(mem:QI (match_dup 1))] UNSPEC_PEEPSIB) + (match_dup 3))]) + +(define_peephole2 + [(set (match_operand:SI 0 "register_operand") + (match_operand:SI 1 "memory_nox32_operand")) + (unspec_volatile [(const_int 0)] UNSPECV_BLOCKAGE) + (call (mem:QI (match_dup 0)) + (match_operand 3))] + "!TARGET_64BIT && SIBLING_CALL_P (peep2_next_insn (2))" + [(unspec_volatile [(const_int 0)] UNSPECV_BLOCKAGE) + (call (unspec [(mem:QI (match_dup 1))] UNSPEC_PEEPSIB) (match_dup 3))]) + (define_expand "call_pop" [(parallel [(call (match_operand:QI 0) (match_operand:SI 1)) @@ -11415,6 +11463,43 @@ "* return ix86_output_call_insn (insn, operands[0]);" [(set_attr "type" "call")]) +(define_insn "*sibcall_pop_intern" + [(call (unspec [(mem:QI (match_operand:SI 0 "memory_nox32_operand"))] + UNSPEC_PEEPSIB) + (match_operand 1)) + (set (reg:SI SP_REG) + (plus:SI (reg:SI SP_REG) + (match_operand:SI 2 "immediate_operand" "i")))] + "!TARGET_64BIT" + "* return ix86_output_call_insn (insn, operands[0]);" + [(set_attr "type" "call")]) + +(define_peephole2 + [(set (match_operand:SI 0 "register_operand") + (match_operand:SI 1 "memory_nox32_operand")) + (parallel [(call (mem:QI (match_dup 0)) + (match_operand 3)) + (set (reg:SI SP_REG) + (match_operand 4))])] + "!TARGET_64BIT && SIBLING_CALL_P (peep2_next_insn (1))" + [(parallel [(call (unspec [(mem:QI (match_dup 1))] UNSPEC_PEEPSIB) + (match_dup 3)) + (set (reg:SI SP_REG) (match_dup 4))])]) + +(define_peephole2 + [(set (match_operand:SI 0 "register_operand") + (match_operand:SI 1 "memory_nox32_operand")) + (unspec_volatile [(const_int 0)] UNSPECV_BLOCKAGE) + (parallel [(call (mem:QI (match_dup 0)) + (match_operand 3)) + (set (reg:SI SP_REG) + (match_operand 4))])] + "!TARGET_64BIT && SIBLING_CALL_P (peep2_next_insn (2))" + [(unspec_volatile [(const_int 0)] UNSPECV_BLOCKAGE) + (parallel [(call (unspec [(mem:QI (match_dup 1))] UNSPEC_PEEPSIB) + (match_dup 3)) + (set (reg:SI SP_REG) (match_dup 4))])]) + ;; Call subroutine, returning value in operand 0 (define_expand "call_value" @@ -11457,6 +11542,63 @@ "* return ix86_output_call_insn (insn, operands[1]);" [(set_attr "type" "callv")]) +(define_insn "*sibcall_value_intern" + [(set (match_operand 0) + (call (unspec [(mem:QI (match_operand:W 1 "memory_nox32_operand"))] + UNSPEC_PEEPSIB) + (match_operand 2)))] + "" + "* return ix86_output_call_insn (insn, operands[1]);" + [(set_attr "type" "callv")]) + +(define_peephole2 + [(set (match_operand:DI 0 "register_operand") + (match_operand:DI 1 "memory_nox32_operand")) + (set (match_operand 2) + (call (mem:QI (match_dup 0)) + (match_operand 3)))] + "TARGET_64BIT && SIBLING_CALL_P (peep2_next_insn (1))" + [(set (match_dup 2) + (call (unspec [(mem:QI (match_dup 1))] UNSPEC_PEEPSIB) + (match_dup 3)))]) + +(define_peephole2 + [(set (match_operand:DI 0 "register_operand") + (match_operand:DI 1 "memory_nox32_operand")) + (unspec_volatile [(const_int 0)] UNSPECV_BLOCKAGE) + (set (match_operand 2) + (call (mem:QI (match_dup 0)) + (match_operand 3)))] + "TARGET_64BIT && SIBLING_CALL_P (peep2_next_insn (2))" + [(unspec_volatile [(const_int 0)] UNSPECV_BLOCKAGE) + (set (match_dup 2) + (call (unspec [(mem:QI (match_dup 1))] UNSPEC_PEEPSIB) + (match_dup 3)))]) + +(define_peephole2 + [(set (match_operand:SI 0 "register_operand") + (match_operand:SI 1 "memory_nox32_operand")) + (set (match_operand 2) + (call (mem:QI (match_dup 0)) + (match_operand 3)))] + "!TARGET_64BIT && SIBLING_CALL_P (peep2_next_insn (1))" + [(set (match_dup 2) + (call (unspec [(mem:QI (match_dup 1))] UNSPEC_PEEPSIB) + (match_dup 3)))]) + +(define_peephole2 + [(set (match_operand:SI 0 "register_operand") + (match_operand:SI 1 "memory_nox32_operand")) + (unspec_volatile [(const_int 0)] UNSPECV_BLOCKAGE) + (set (match_operand 2) + (call (mem:QI (match_dup 0)) + (match_operand 3)))] + "!TARGET_64BIT && SIBLING_CALL_P (peep2_next_insn (2))" + [(unspec_volatile [(const_int 0)] UNSPECV_BLOCKAGE) + (set (match_dup 2) + (call (unspec [(mem:QI (match_dup 1))] UNSPEC_PEEPSIB) + (match_dup 3)))]) + (define_insn "*call_value_rex64_ms_sysv" [(match_parallel 3 "call_rex64_ms_sysv_operation" [(set (match_operand 0) @@ -11503,6 +11645,56 @@ "* return ix86_output_call_insn (insn, operands[1]);" [(set_attr "type" "callv")]) +(define_insn "*sibcall_value_pop_intern" + [(set (match_operand 0) + (call (unspec [(mem:QI (match_operand:SI 1 "memory_nox32_operand"))] + UNSPEC_PEEPSIB) + (match_operand 2))) + (set (reg:SI SP_REG) + (plus:SI (reg:SI SP_REG) + (match_operand:SI 3 "immediate_operand" "i")))] + "!TARGET_64BIT" + "* return ix86_output_call_insn (insn, operands[1]);" + [(set_attr "type" "callv")]) + +(define_peephole2 + [(set (match_operand:SI 0 "register_operand") + (match_operand:SI 1 "memory_nox32_operand")) + (parallel [(set (match_operand 2) + (call (mem:QI (match_dup 0)) + (match_operand 3))) + (set (reg:SI SP_REG) + (plus:SI (reg:SI SP_REG) + (match_operand:SI 4 "immediate_operand")))] + )] + "!TARGET_64BIT && SIBLING_CALL_P (peep2_next_insn (1))" + [(parallel [(set (match_dup 2) + (call (unspec [(mem:QI (match_dup 1))] UNSPEC_PEEPSIB) + (match_dup 3))) + (set (reg:SI SP_REG) + (plus:SI (reg:SI SP_REG) + (match_dup 4)))])]) + +(define_peephole2 + [(set (match_operand:SI 0 "register_operand") + (match_operand:SI 1 "memory_nox32_operand")) + (unspec_volatile [(const_int 0)] UNSPECV_BLOCKAGE) + (parallel [(set (match_operand 2) + (call (mem:QI (match_dup 0)) + (match_operand 3))) + (set (reg:SI SP_REG) + (plus:SI (reg:SI SP_REG) + (match_operand:SI 4 "immediate_operand")))] + )] + "!TARGET_64BIT && SIBLING_CALL_P (peep2_next_insn (1))" + [(unspec_volatile [(const_int 0)] UNSPECV_BLOCKAGE) + (parallel [(set (match_dup 2) + (call (unspec [(mem:QI (match_dup 1))] UNSPEC_PEEPSIB) + (match_dup 3))) + (set (reg:SI SP_REG) + (plus:SI (reg:SI SP_REG) + (match_dup 4)))])]) + ;; Call subroutine returning any type. (define_expand "untyped_call" |