RISCV: Inline subword atomic ops
commitf797260adaf52bee0ec0e16190bbefbe1bfc3692
authorPatrick O'Neill <patrick@rivosinc.com>
Tue, 18 Apr 2023 21:33:13 +0000 (18 14:33 -0700)
committerPatrick O'Neill <patrick@rivosinc.com>
Wed, 26 Apr 2023 16:53:12 +0000 (26 09:53 -0700)
treea2b5e4152760193b283b16e4879fa62abd55f66c
parente02f68df385ba144857df2819906d59910146c2d
RISCV: Inline subword atomic ops

RISC-V has no support for subword atomic operations; code currently
generates libatomic library calls.

This patch changes the default behavior to inline subword atomic calls
(using the same logic as the existing library call).
Behavior can be specified using the -minline-atomics and
-mno-inline-atomics command line flags.

gcc/libgcc/config/riscv/atomic.c has the same logic implemented in asm.
This will need to stay for backwards compatibility and the
-mno-inline-atomics flag.

2023-04-18 Patrick O'Neill <patrick@rivosinc.com>

gcc/ChangeLog:
PR target/104338
* config/riscv/riscv-protos.h: Add helper function stubs.
* config/riscv/riscv.cc: Add helper functions for subword masking.
* config/riscv/riscv.opt: Add command-line flag.
* config/riscv/sync.md: Add masking logic and inline asm for fetch_and_op,
fetch_and_nand, CAS, and exchange ops.
* doc/invoke.texi: Add blurb regarding command-line flag.

libgcc/ChangeLog:
PR target/104338
* config/riscv/atomic.c: Add reference to duplicate logic.

gcc/testsuite/ChangeLog:
PR target/104338
* gcc.target/riscv/inline-atomics-1.c: New test.
* gcc.target/riscv/inline-atomics-2.c: New test.
* gcc.target/riscv/inline-atomics-3.c: New test.
* gcc.target/riscv/inline-atomics-4.c: New test.
* gcc.target/riscv/inline-atomics-5.c: New test.
* gcc.target/riscv/inline-atomics-6.c: New test.
* gcc.target/riscv/inline-atomics-7.c: New test.
* gcc.target/riscv/inline-atomics-8.c: New test.

Signed-off-by: Patrick O'Neill <patrick@rivosinc.com>
Signed-off-by: Palmer Dabbelt <palmer@rivosinc.com>
14 files changed:
gcc/config/riscv/riscv-protos.h
gcc/config/riscv/riscv.cc
gcc/config/riscv/riscv.opt
gcc/config/riscv/sync.md
gcc/doc/invoke.texi
gcc/testsuite/gcc.target/riscv/inline-atomics-1.c [new file with mode: 0644]
gcc/testsuite/gcc.target/riscv/inline-atomics-2.c [new file with mode: 0644]
gcc/testsuite/gcc.target/riscv/inline-atomics-3.c [new file with mode: 0644]
gcc/testsuite/gcc.target/riscv/inline-atomics-4.c [new file with mode: 0644]
gcc/testsuite/gcc.target/riscv/inline-atomics-5.c [new file with mode: 0644]
gcc/testsuite/gcc.target/riscv/inline-atomics-6.c [new file with mode: 0644]
gcc/testsuite/gcc.target/riscv/inline-atomics-7.c [new file with mode: 0644]
gcc/testsuite/gcc.target/riscv/inline-atomics-8.c [new file with mode: 0644]
libgcc/config/riscv/atomic.c