From 419fe3fb5ff156da82b0c217c9d245598b27b1af Mon Sep 17 00:00:00 2001 From: meissner Date: Tue, 15 Oct 2019 23:51:52 +0000 Subject: Change predicate name git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/ibm/pcrel-trunk@277024 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog.meissner | 3 +- gcc/config/rs6000/predicates.md | 7 ++++ gcc/config/rs6000/rs6000.md | 78 +++++++++++++++++++++++++++++++++++++---- 3 files changed, 80 insertions(+), 8 deletions(-) (limited to 'gcc') diff --git a/gcc/ChangeLog.meissner b/gcc/ChangeLog.meissner index 288cbdceed9..0f1d7dd4ad6 100644 --- a/gcc/ChangeLog.meissner +++ b/gcc/ChangeLog.meissner @@ -1,7 +1,6 @@ 2019-10-15 Michael Meissner - * config/rs6000/predicates.md (prefixed_mem_operand): New - predicate. + * config/rs6000/predicates.md (prefixed_memory): New predicate. * config/rs6000/rs6000.md (stack_protect_setdi): Deal with either address being a prefixed load/store. (stack_protect_testdi): Deal with either address being a prefixed diff --git a/gcc/config/rs6000/predicates.md b/gcc/config/rs6000/predicates.md index 5ef505bb1c4..0b74e78a3af 100644 --- a/gcc/config/rs6000/predicates.md +++ b/gcc/config/rs6000/predicates.md @@ -1815,3 +1815,10 @@ (define_predicate "pcrel_local_or_external_address" (ior (match_operand 0 "pcrel_local_address") (match_operand 0 "pcrel_external_address"))) + +;; Return true if the operand is a memory address that uses a prefixed address. +(define_predicate "prefixed_memory" + (match_code "mem") +{ + return address_is_prefixed (XEXP (op, 0), mode, NON_PREFIXED_DEFAULT); +}) diff --git a/gcc/config/rs6000/rs6000.md b/gcc/config/rs6000/rs6000.md index c39c46836dc..cf4439d4ccf 100644 --- a/gcc/config/rs6000/rs6000.md +++ b/gcc/config/rs6000/rs6000.md @@ -11552,14 +11552,43 @@ [(set_attr "type" "three") (set_attr "length" "12")]) +;; We can't use the prefixed attribute here because there are two memory +;; instructions. We can't split the insn due to the fact that this operation +;; needs to be done in one piece. (define_insn "stack_protect_setdi" [(set (match_operand:DI 0 "memory_operand" "=Y") (unspec:DI [(match_operand:DI 1 "memory_operand" "Y")] UNSPEC_SP_SET)) (set (match_scratch:DI 2 "=&r") (const_int 0))] "TARGET_64BIT" - "ld%U1%X1 %2,%1\;std%U0%X0 %2,%0\;li %2,0" +{ + if (prefixed_memory (operands[1], DImode)) + output_asm_insn ("pld %2,%1", operands); + else + output_asm_insn ("ld%U1%X1 %2,%1", operands); + + if (prefixed_memory (operands[0], DImode)) + output_asm_insn ("pstd %2,%0", operands); + else + output_asm_insn ("std%U0%X0 %2,%0", operands); + + return "li %2,0"; +} [(set_attr "type" "three") - (set_attr "length" "12")]) + + ;; Back to back prefixed memory instructions take 20 bytes (8 bytes for each + ;; prefixed instruction + 4 bytes for the possible NOP). Add in 4 bytes for + ;; the LI 0 at the end. + (set_attr "prefixed" "no") + (set (attr "length") + (cond [(and (match_operand 0 "prefixed_memory") + (match_operand 1 "prefixed_memory")) + (const_string "24") + + (ior (match_operand 0 "prefixed_memory") + (match_operand 1 "prefixed_memory")) + (const_string "20")] + + (const_string "12")))]) (define_expand "stack_protect_test" [(match_operand 0 "memory_operand") @@ -11598,6 +11627,9 @@ lwz%U1%X1 %3,%1\;lwz%U2%X2 %4,%2\;cmplw %0,%3,%4\;li %3,0\;li %4,0" [(set_attr "length" "16,20")]) +;; We can't use the prefixed attribute here because there are two memory +;; instructions. We can't split the insn due to the fact that this operation +;; needs to be done in one piece. (define_insn "stack_protect_testdi" [(set (match_operand:CCEQ 0 "cc_reg_operand" "=x,?y") (unspec:CCEQ [(match_operand:DI 1 "memory_operand" "Y,Y") @@ -11606,10 +11638,44 @@ (set (match_scratch:DI 4 "=r,r") (const_int 0)) (clobber (match_scratch:DI 3 "=&r,&r"))] "TARGET_64BIT" - "@ - ld%U1%X1 %3,%1\;ld%U2%X2 %4,%2\;xor. %3,%3,%4\;li %4,0 - ld%U1%X1 %3,%1\;ld%U2%X2 %4,%2\;cmpld %0,%3,%4\;li %3,0\;li %4,0" - [(set_attr "length" "16,20")]) +{ + if (prefixed_memory (operands[1], DImode)) + output_asm_insn ("pld %3,%1", operands); + else + output_asm_insn ("ld%U1%X1 %3,%1", operands); + + if (prefixed_memory (operands[2], DImode)) + output_asm_insn ("pld %4,%2", operands); + else + output_asm_insn ("ld%U2%X2 %4,%2", operands); + + if (which_alternative == 0) + output_asm_insn ("xor. %3,%3,%4", operands); + else + output_asm_insn ("cmpld %0,%3,%4\;li %3,0", operands); + + return "li %4,0"; +} + ;; Back to back prefixed memory instructions take 20 bytes (8 bytes for each + ;; prefixed instruction + 4 bytes for the possible NOP). Add in either 4 or + ;; 8 bytes to do the test. + [(set_attr "prefixed" "no") + (set (attr "length") + (cond [(and (match_operand 1 "prefixed_memory") + (match_operand 2 "prefixed_memory")) + (if_then_else (eq_attr "alternative" "0") + (const_string "28") + (const_string "32")) + + (ior (match_operand 1 "prefixed_memory") + (match_operand 2 "prefixed_memory")) + (if_then_else (eq_attr "alternative" "0") + (const_string "20") + (const_string "24"))] + + (if_then_else (eq_attr "alternative" "0") + (const_string "16") + (const_string "20"))))]) ;; Here are the actual compare insns. -- cgit v1.2.3