From 2b8427ca54e818cc874316719378d1803838513a Mon Sep 17 00:00:00 2001 From: Oleg Endo Date: Sun, 1 Feb 2015 11:12:47 +0000 Subject: [PATCH] re PR target/64851 ([SH] Add atomic not) gcc/ PR target/64851 * config/sh/sync.md (atomic_fetch_notsi_hard, atomic_fetch_not_hard, atomic_fetch_not_soft_gusa, atomic_fetch_not_soft_tcb, atomic_fetch_not_soft_imask, atomic_not_fetchsi_hard, atomic_not_fetch_hard, atomic_not_fetch_soft_gusa, atomic_not_fetch_soft_tcb, atomic_not_fetch_soft_imask): New insns. gcc/testsuite/ PR target/64851 * gcc.target/sh/pr64851-0.h: New * gcc.target/sh/pr64851-1.c: New * gcc.target/sh/pr64851-2.c: New * gcc.target/sh/pr64851-3.c: New * gcc.target/sh/pr64851-4.c: New From-SVN: r220317 --- gcc/ChangeLog | 12 +- gcc/config/sh/sync.md | 226 ++++++++++++++++++++++++ gcc/testsuite/ChangeLog | 11 +- gcc/testsuite/gcc.target/sh/pr64851-0.h | 21 +++ gcc/testsuite/gcc.target/sh/pr64851-1.c | 6 + gcc/testsuite/gcc.target/sh/pr64851-2.c | 6 + gcc/testsuite/gcc.target/sh/pr64851-3.c | 6 + gcc/testsuite/gcc.target/sh/pr64851-4.c | 6 + 8 files changed, 292 insertions(+), 2 deletions(-) create mode 100644 gcc/testsuite/gcc.target/sh/pr64851-0.h create mode 100644 gcc/testsuite/gcc.target/sh/pr64851-1.c create mode 100644 gcc/testsuite/gcc.target/sh/pr64851-2.c create mode 100644 gcc/testsuite/gcc.target/sh/pr64851-3.c create mode 100644 gcc/testsuite/gcc.target/sh/pr64851-4.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 504c741b3be..dca250c0ec7 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,13 @@ +2015-02-01 Oleg Endo + + PR target/64851 + * config/sh/sync.md (atomic_fetch_notsi_hard, + atomic_fetch_not_hard, atomic_fetch_not_soft_gusa, + atomic_fetch_not_soft_tcb, atomic_fetch_not_soft_imask, + atomic_not_fetchsi_hard, atomic_not_fetch_hard, + atomic_not_fetch_soft_gusa, atomic_not_fetch_soft_tcb, + atomic_not_fetch_soft_imask): New insns. + 2015-02-01 Maxim Kuvyrkov * haifa-sched.c (INSN_RFS_DEBUG_ORIG_ORDER): New access macro. @@ -32,7 +42,7 @@ 2015-01-31 Uros Bizjak - PR target/64882 + PR target/64882 * config/i386/predicates.md (address_no_seg_operand): Reject non-CONST_INT_P operands in invalid mode. diff --git a/gcc/config/sh/sync.md b/gcc/config/sh/sync.md index b3ff70ce171..089a6283a47 100644 --- a/gcc/config/sh/sync.md +++ b/gcc/config/sh/sync.md @@ -673,6 +673,25 @@ } [(set_attr "length" "10")]) +;; Combine pattern for xor (val, -1) / nand (val, -1). +(define_insn "atomic_fetch_notsi_hard" + [(set (match_operand:SI 0 "arith_reg_dest" "=&r") + (mem:SI (match_operand:SI 1 "arith_reg_operand" "r"))) + (set (mem:SI (match_dup 1)) + (unspec:SI [(not:SI (mem:SI (match_dup 1)))] UNSPEC_ATOMIC)) + (set (reg:SI T_REG) (const_int 1)) + (clobber (reg:SI R0_REG))] + "TARGET_ATOMIC_HARD_LLCS + || (TARGET_SH4A && TARGET_ATOMIC_ANY && !TARGET_ATOMIC_STRICT)" +{ + return "\r0: movli.l @%1,r0" "\n" + " mov r0,%0" "\n" + " not r0,r0" "\n" + " movco.l r0,@%1" "\n" + " bf 0b"; +} + [(set_attr "length" "10")]) + (define_insn "atomic_fetch__hard" [(set (match_operand:QIHI 0 "arith_reg_dest" "=&r") (mem:QIHI (match_operand:SI 1 "arith_reg_operand" "r"))) @@ -705,6 +724,34 @@ } [(set_attr "length" "28")]) +;; Combine pattern for xor (val, -1) / nand (val, -1). +(define_insn "atomic_fetch_not_hard" + [(set (match_operand:QIHI 0 "arith_reg_dest" "=&r") + (mem:QIHI (match_operand:SI 1 "arith_reg_operand" "r"))) + (set (mem:QIHI (match_dup 1)) + (unspec:QIHI [(not:QIHI (mem:QIHI (match_dup 1)))] UNSPEC_ATOMIC)) + (set (reg:SI T_REG) (const_int 1)) + (clobber (reg:SI R0_REG)) + (clobber (match_scratch:SI 2 "=&r")) + (clobber (match_scratch:SI 3 "=1"))] + "TARGET_ATOMIC_HARD_LLCS" +{ + return "\r mov #-4,%2" "\n" + " and %1,%2" "\n" + " xor %2,%1" "\n" + " add r15,%1" "\n" + " add #-4,%1" "\n" + "0: movli.l @%2,r0" "\n" + " mov.l r0,@-r15" "\n" + " mov. @%1,%0" "\n" + " not %0,r0" "\n" + " mov. r0,@%1" "\n" + " mov.l @r15+,r0" "\n" + " movco.l r0,@%2" "\n" + " bf 0b"; +} + [(set_attr "length" "26")]) + (define_insn "atomic_fetch__soft_gusa" [(set (match_operand:QIHISI 0 "arith_reg_dest" "=&u") (mem:QIHISI (match_operand:SI 1 "arith_reg_operand" "u"))) @@ -732,6 +779,28 @@ } [(set_attr "length" "18")]) +;; Combine pattern for xor (val, -1) / nand (val, -1). +(define_insn "atomic_fetch_not_soft_gusa" + [(set (match_operand:QIHISI 0 "arith_reg_dest" "=&u") + (mem:QIHISI (match_operand:SI 1 "arith_reg_operand" "u"))) + (set (mem:QIHISI (match_dup 1)) + (unspec:QIHISI [(not:QIHISI (mem:QIHISI (match_dup 1)))] UNSPEC_ATOMIC)) + (clobber (match_scratch:QIHISI 2 "=&u")) + (clobber (reg:SI R0_REG)) + (clobber (reg:SI R1_REG))] + "TARGET_ATOMIC_SOFT_GUSA" +{ + return "\r mova 1f,r0" "\n" + " mov r15,r1" "\n" + " .align 2" "\n" + " mov #(0f-1f),r15" "\n" + "0: mov. @%1,%0" "\n" + " not %0,%2" "\n" + " mov. %2,@%1" "\n" + "1: mov r1,r15"; +} + [(set_attr "length" "16")]) + (define_insn "atomic_fetch__soft_tcb" [(set (match_operand:QIHISI 0 "arith_reg_dest" "=&r") (mem:QIHISI (match_operand:SI 1 "arith_reg_operand" "r"))) @@ -760,6 +829,30 @@ } [(set_attr "length" "20")]) +;; Combine pattern for xor (val, -1) / nand (val, -1). +(define_insn "atomic_fetch_not_soft_tcb" + [(set (match_operand:QIHISI 0 "arith_reg_dest" "=&r") + (mem:QIHISI (match_operand:SI 1 "arith_reg_operand" "r"))) + (set (mem:QIHISI (match_dup 1)) + (unspec:QIHISI [(not:QIHISI (mem:QIHISI (match_dup 1)))] UNSPEC_ATOMIC)) + (use (match_operand:SI 2 "gbr_displacement")) + (clobber (reg:SI R0_REG)) + (clobber (reg:SI R1_REG))] + "TARGET_ATOMIC_SOFT_TCB" +{ + return "\r mova 1f,r0" "\n" + " .align 2" "\n" + " mov #(0f-1f),r1" "\n" + " mov.l r0,@(%O2,gbr)" "\n" + "0: mov. @%1,r0" "\n" + " mov r0,%0" "\n" + " not r0,r0" "\n" + " mov. r0,@%1" "\n" + "1: mov #0,r0" "\n" + " mov.l r0,@(%O2,gbr)"; +} + [(set_attr "length" "20")]) + (define_insn "atomic_fetch__soft_imask" [(set (match_operand:QIHISI 0 "arith_reg_dest" "=&r") (mem:QIHISI (match_operand:SI 1 "arith_reg_operand" "r"))) @@ -786,6 +879,28 @@ } [(set_attr "length" "18")]) +;; Combine pattern for xor (val, -1) / nand (val, -1). +(define_insn "atomic_fetch_not_soft_imask" + [(set (match_operand:QIHISI 0 "arith_reg_dest" "=&r") + (mem:QIHISI (match_operand:SI 1 "arith_reg_operand" "r"))) + (set (mem:QIHISI (match_dup 1)) + (unspec:QIHISI [(not:QIHISI (mem:QIHISI (match_dup 1)))] UNSPEC_ATOMIC)) + (clobber (reg:SI R0_REG)) + (clobber (match_scratch:QIHISI 2 "=&r"))] + "TARGET_ATOMIC_SOFT_IMASK" +{ + return "\r stc sr,r0" "\n" + " mov r0,%2" "\n" + " or #0xF0,r0" "\n" + " ldc r0,sr" "\n" + " mov. @%1,r0" "\n" + " mov r0,%0" "\n" + " not r0,r0" "\n" + " mov. r0,@%1" "\n" + " ldc %2,sr"; +} + [(set_attr "length" "18")]) + (define_expand "atomic_fetch_nand" [(set (match_operand:QIHISI 0 "arith_reg_dest") (match_operand:QIHISI 1 "memory_operand")) @@ -1028,6 +1143,23 @@ } [(set_attr "length" "8")]) +;; Combine pattern for xor (val, -1) / nand (val, -1). +(define_insn "atomic_not_fetchsi_hard" + [(set (match_operand:SI 0 "arith_reg_dest" "=&z") + (not:SI (mem:SI (match_operand:SI 1 "arith_reg_operand" "r")))) + (set (mem:SI (match_dup 1)) + (unspec:SI [(not:SI (mem:SI (match_dup 1)))] UNSPEC_ATOMIC)) + (set (reg:SI T_REG) (const_int 1))] + "TARGET_ATOMIC_HARD_LLCS + || (TARGET_SH4A && TARGET_ATOMIC_ANY && !TARGET_ATOMIC_STRICT)" +{ + return "\r0: movli.l @%1,%0" "\n" + " not %0,%0" "\n" + " movco.l %0,@%1" "\n" + " bf 0b"; +} + [(set_attr "length" "8")]) + (define_insn "atomic__fetch_hard" [(set (match_operand:QIHI 0 "arith_reg_dest" "=&r") (FETCHOP:QIHI @@ -1061,6 +1193,35 @@ } [(set_attr "length" "28")]) +;; Combine pattern for xor (val, -1) / nand (val, -1). +(define_insn "atomic_not_fetch_hard" + [(set (match_operand:QIHI 0 "arith_reg_dest" "=&r") + (not:QIHI (mem:QIHI (match_operand:SI 1 "arith_reg_operand" "r")))) + (set (mem:QIHI (match_dup 1)) + (unspec:QIHI [(not:QIHI (mem:QIHI (match_dup 1)))] UNSPEC_ATOMIC)) + (set (reg:SI T_REG) (const_int 1)) + (clobber (reg:SI R0_REG)) + (clobber (match_scratch:SI 2 "=&r")) + (clobber (match_scratch:SI 3 "=1"))] + "TARGET_ATOMIC_HARD_LLCS" +{ + return "\r mov #-4,%2" "\n" + " and %1,%2" "\n" + " xor %2,%1" "\n" + " add r15,%1" "\n" + " add #-4,%1" "\n" + "0: movli.l @%2,r0" "\n" + " mov.l r0,@-r15" "\n" + " mov. @%1,r0" "\n" + " not r0,r0" "\n" + " mov. r0,@%1" "\n" + " mov r0,%0" "\n" + " mov.l @r15+,r0" "\n" + " movco.l r0,@%2" "\n" + " bf 0b"; +} + [(set_attr "length" "28")]) + (define_insn "atomic__fetch_soft_gusa" [(set (match_operand:QIHISI 0 "arith_reg_dest" "=&u") (FETCHOP:QIHISI @@ -1086,6 +1247,27 @@ } [(set_attr "length" "16")]) +;; Combine pattern for xor (val, -1) / nand (val, -1). +(define_insn "atomic_not_fetch_soft_gusa" + [(set (match_operand:QIHISI 0 "arith_reg_dest" "=&u") + (not:QIHISI (mem:QIHISI (match_operand:SI 1 "arith_reg_operand" "u")))) + (set (mem:QIHISI (match_dup 1)) + (unspec:QIHISI [(not:QIHISI (mem:QIHISI (match_dup 1)))] UNSPEC_ATOMIC)) + (clobber (reg:SI R0_REG)) + (clobber (reg:SI R1_REG))] + "TARGET_ATOMIC_SOFT_GUSA" +{ + return "\r mova 1f,r0" "\n" + " mov r15,r1" "\n" + " .align 2" "\n" + " mov #(0f-1f),r15" "\n" + "0: mov. @%1,%0" "\n" + " not %0,%0" "\n" + " mov. %0,@%1" "\n" + "1: mov r1,r15"; +} + [(set_attr "length" "16")]) + (define_insn "atomic__fetch_soft_tcb" [(set (match_operand:QIHISI 0 "arith_reg_dest" "=&r") (FETCHOP:QIHISI @@ -1114,6 +1296,30 @@ } [(set_attr "length" "20")]) +;; Combine pattern for xor (val, -1) / nand (val, -1). +(define_insn "atomic_not_fetch_soft_tcb" + [(set (match_operand:QIHISI 0 "arith_reg_dest" "=&r") + (not:QIHISI (mem:QIHISI (match_operand:SI 1 "arith_reg_operand" "r")))) + (set (mem:QIHISI (match_dup 1)) + (unspec:QIHISI [(not:QIHISI (mem:QIHISI (match_dup 1)))] UNSPEC_ATOMIC)) + (clobber (reg:SI R0_REG)) + (clobber (reg:SI R1_REG)) + (use (match_operand:SI 2 "gbr_displacement"))] + "TARGET_ATOMIC_SOFT_TCB" +{ + return "\r mova 1f,r0" "\n" + " mov #(0f-1f),r1" "\n" + " .align 2" "\n" + " mov.l r0,@(%O2,gbr)" "\n" + "0: mov. @%1,r0" "\n" + " not r0,r0" "\n" + " mov. r0,@%1" "\n" + "1: mov r0,%0" "\n" + " mov #0,r0" "\n" + " mov.l r0,@(%O2,gbr)"; +} + [(set_attr "length" "20")]) + (define_insn "atomic__fetch_soft_imask" [(set (match_operand:QIHISI 0 "arith_reg_dest" "=&z") (FETCHOP:QIHISI @@ -1138,6 +1344,26 @@ } [(set_attr "length" "16")]) +;; Combine pattern for xor (val, -1) / nand (val, -1). +(define_insn "atomic_not_fetch_soft_imask" + [(set (match_operand:QIHISI 0 "arith_reg_dest" "=&z") + (not:QIHISI (mem:QIHISI (match_operand:SI 1 "arith_reg_operand" "r")))) + (set (mem:QIHISI (match_dup 1)) + (unspec:QIHISI [(not:QIHISI (mem:QIHISI (match_dup 1)))] UNSPEC_ATOMIC)) + (clobber (match_scratch:SI 2 "=&r"))] + "TARGET_ATOMIC_SOFT_IMASK" +{ + return "\r stc sr,%0" "\n" + " mov %0,%2" "\n" + " or #0xF0,%0" "\n" + " ldc %0,sr" "\n" + " mov. @%1,%0" "\n" + " not %0,%0" "\n" + " mov. %0,@%1" "\n" + " ldc %2,sr"; +} + [(set_attr "length" "16")]) + (define_expand "atomic_nand_fetch" [(set (match_operand:QIHISI 0 "arith_reg_dest") (not:QIHISI (and:QIHISI diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 54dc5438043..3d552515f35 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,6 +1,15 @@ +2015-02-01 Oleg Endo + + PR target/64851 + * gcc.target/sh/pr64851-0.h: New + * gcc.target/sh/pr64851-1.c: New + * gcc.target/sh/pr64851-2.c: New + * gcc.target/sh/pr64851-3.c: New + * gcc.target/sh/pr64851-4.c: New + 2015-01-31 Uros Bizjak - PR target/64882 + PR target/64882 * gcc.dg/torture/pr64882.c: New test. 2015-01-31 David Edelsohn diff --git a/gcc/testsuite/gcc.target/sh/pr64851-0.h b/gcc/testsuite/gcc.target/sh/pr64851-0.h new file mode 100644 index 00000000000..5d2d9014063 --- /dev/null +++ b/gcc/testsuite/gcc.target/sh/pr64851-0.h @@ -0,0 +1,21 @@ +/* Check that atomic not ops are generated. */ + +#define emitfuncs(name)\ + void test_ ## name ## _0 (char* mem)\ + {\ + name (mem, -1, __ATOMIC_ACQ_REL);\ + }\ + void test_ ## name ## _1 (short* mem)\ + {\ + name (mem, -1, __ATOMIC_ACQ_REL);\ + }\ + void test_ ## name ##_2 (int* mem)\ + {\ + name (mem, -1, __ATOMIC_ACQ_REL);\ + }\ + +emitfuncs (__atomic_xor_fetch) +emitfuncs (__atomic_fetch_xor) + +emitfuncs (__atomic_nand_fetch) +emitfuncs (__atomic_fetch_nand) diff --git a/gcc/testsuite/gcc.target/sh/pr64851-1.c b/gcc/testsuite/gcc.target/sh/pr64851-1.c new file mode 100644 index 00000000000..26e9b2a6f97 --- /dev/null +++ b/gcc/testsuite/gcc.target/sh/pr64851-1.c @@ -0,0 +1,6 @@ +/* Check that atomic not ops are generated. */ +/* { dg-do compile { target { atomic_model_soft_gusa_available } } } */ +/* { dg-options "-O2 -matomic-model=soft-gusa,strict" } */ +/* { dg-final { scan-assembler-times "not\t" 12 } } */ + +#include "pr64851-0.h" diff --git a/gcc/testsuite/gcc.target/sh/pr64851-2.c b/gcc/testsuite/gcc.target/sh/pr64851-2.c new file mode 100644 index 00000000000..44358a57017 --- /dev/null +++ b/gcc/testsuite/gcc.target/sh/pr64851-2.c @@ -0,0 +1,6 @@ +/* Check that atomic not ops are generated. */ +/* { dg-do compile { target { atomic_model_soft_tcb_available } } } */ +/* { dg-options "-O2 -matomic-model=soft-tcb,gbr-offset=0,strict" } */ +/* { dg-final { scan-assembler-times "not\t" 12 } } */ + +#include "pr64851-0.h" diff --git a/gcc/testsuite/gcc.target/sh/pr64851-3.c b/gcc/testsuite/gcc.target/sh/pr64851-3.c new file mode 100644 index 00000000000..a12fd339bfa --- /dev/null +++ b/gcc/testsuite/gcc.target/sh/pr64851-3.c @@ -0,0 +1,6 @@ +/* Check that atomic not ops are generated. */ +/* { dg-do compile { target { atomic_model_soft_imask_available } } } */ +/* { dg-options "-O2 -matomic-model=soft-imask,strict -mno-usermode" } */ +/* { dg-final { scan-assembler-times "not\t" 12 } } */ + +#include "pr64851-0.h" diff --git a/gcc/testsuite/gcc.target/sh/pr64851-4.c b/gcc/testsuite/gcc.target/sh/pr64851-4.c new file mode 100644 index 00000000000..4c802e2e795 --- /dev/null +++ b/gcc/testsuite/gcc.target/sh/pr64851-4.c @@ -0,0 +1,6 @@ +/* Check that atomic not ops are generated. */ +/* { dg-do compile { target { atomic_model_hard_llcs_available } } } */ +/* { dg-options "-O2 -matomic-model=hard-llcs,strict" } */ +/* { dg-final { scan-assembler-times "not\t" 12 } } */ + +#include "pr64851-0.h" -- 2.30.2