Codegen support for 128-bit atomicrmw (and|or|xchg).
- store atomic -> swpp
- atomicrmw xchg -> swpp
- atomicrmw and -> ldclrp
- atomicrmw or -> ldsetp
Details
Details
- Reviewers
lenary stuij pratlucas - Commits
- rGf1f583347d00: [AArch64] Codegen for FEAT_LSE128
Diff Detail
Diff Detail
- Repository
- rG LLVM Github Monorepo
| Time | Test | |
|---|---|---|
| 60,060 ms | x64 debian > cfi-standalone-lld-thinlto-x86_64.cross-dso/icall::dlopen.cpp Script:
--
: 'RUN: at line 1'; /var/lib/buildkite-agent/builds/llvm-project/build/./bin/clang -m64 -fuse-ld=lld -flto=thin -fsanitize=cfi --driver-mode=g++ -fsanitize-cfi-cross-dso -fvisibility=default -DSHARED_LIB /var/lib/buildkite-agent/builds/llvm-project/compiler-rt/test/cfi/cross-dso/icall/dlopen.cpp -fPIC -shared -o /var/lib/buildkite-agent/builds/llvm-project/build/projects/compiler-rt/test/cfi/Standalone-lld-thinlto-x86_64/cross-dso/icall/Output/dlopen.cpp.tmp1-so.so
| |
| 60,100 ms | x64 debian > cfi-standalone-lld-x86_64.cross-dso/icall::dlopen.cpp Script:
--
: 'RUN: at line 1'; /var/lib/buildkite-agent/builds/llvm-project/build/./bin/clang -m64 -fuse-ld=lld -flto -fsanitize=cfi --driver-mode=g++ -fsanitize-cfi-cross-dso -fvisibility=default -DSHARED_LIB /var/lib/buildkite-agent/builds/llvm-project/compiler-rt/test/cfi/cross-dso/icall/dlopen.cpp -fPIC -shared -o /var/lib/buildkite-agent/builds/llvm-project/build/projects/compiler-rt/test/cfi/Standalone-lld-x86_64/cross-dso/icall/Output/dlopen.cpp.tmp1-so.so
| |
| 60,210 ms | x64 debian > libFuzzer.libFuzzer::cross_over_uniform_dist.test Script:
--
: 'RUN: at line 2'; /var/lib/buildkite-agent/builds/llvm-project/build/./bin/clang --driver-mode=g++ -O2 -gline-tables-only -fsanitize=address,fuzzer -I/var/lib/buildkite-agent/builds/llvm-project/compiler-rt/lib/fuzzer -m64 /var/lib/buildkite-agent/builds/llvm-project/compiler-rt/test/fuzzer/KeepSeedTest.cpp -o /var/lib/buildkite-agent/builds/llvm-project/build/projects/compiler-rt/test/fuzzer/X86_64DefaultLinuxConfig/Output/cross_over_uniform_dist.test.tmp-CrossOverUniformDistTest
| |
| 60,040 ms | x64 debian > libFuzzer.libFuzzer::extra-counters.test Script:
--
: 'RUN: at line 3'; /var/lib/buildkite-agent/builds/llvm-project/build/./bin/clang --driver-mode=g++ -O2 -gline-tables-only -fsanitize=address,fuzzer -I/var/lib/buildkite-agent/builds/llvm-project/compiler-rt/lib/fuzzer -m64 /var/lib/buildkite-agent/builds/llvm-project/compiler-rt/test/fuzzer/TableLookupTest.cpp -o /var/lib/buildkite-agent/builds/llvm-project/build/projects/compiler-rt/test/fuzzer/X86_64DefaultLinuxConfig/Output/extra-counters.test.tmp-TableLookupTest
| |
| 8,920 ms | x64 debian > libFuzzer.libFuzzer::fork-ubsan.test Script:
--
: 'RUN: at line 3'; /var/lib/buildkite-agent/builds/llvm-project/build/./bin/clang --driver-mode=g++ -O2 -gline-tables-only -fsanitize=address,fuzzer -I/var/lib/buildkite-agent/builds/llvm-project/compiler-rt/lib/fuzzer -m64 /var/lib/buildkite-agent/builds/llvm-project/compiler-rt/test/fuzzer/IntegerOverflowTest.cpp -o /var/lib/buildkite-agent/builds/llvm-project/build/projects/compiler-rt/test/fuzzer/X86_64DefaultLinuxConfig/Output/fork-ubsan.test.tmp-IntegerOverflowTest -fsanitize=signed-integer-overflow -fno-sanitize-recover=signed-integer-overflow
| |
| View Full Test Results (8 Failed) |
Event Timeline
| llvm/lib/Target/AArch64/AArch64ISelLowering.cpp | ||
|---|---|---|
| 21997 | I am also confused about this assert message. | |
| 22176 | The message here doesn't correspond to the case? | |
| llvm/test/CodeGen/AArch64/Atomics/aarch64-atomic-store-lse128.ll | ||
| 119 | I thought we tested O0 because of globalisel, but here both O0 and O1 are updated, despite not having changed globalisel. Why? | |
| llvm/lib/Target/AArch64/AArch64ISelLowering.cpp | ||
|---|---|---|
| 21997 | See ReplaceATOMIC_LOAD_128Results which has more explanation. It will convert ATOMIC_LOAD_AND to 2x XOR + LDCLRP (determined by this function, getAtomicLoad128Opcode). This is in contrast to other sizes, which convert ATOMIC_LOAD_AND to ATOMIC_LOAD_CLR earlier, because i128 is not legal. The assert is checking that no ATOMIC_LOAD_CLR made it through, because for 128 we should see only ATOMIC_LOAD_AND here. | |
| 22176 | This assert is also checking that no 128-bit ATOMIC_LOAD_CLR appeared, which would indicate that ATOMIC_LOAD_AND was not lowered directly to a MachineInstr. | |
| llvm/test/CodeGen/AArch64/Atomics/aarch64-atomic-store-lse128.ll | ||
| 119 | GlobalISel does not support quite a lot of the atomics, so it is falling back to SelectionDAG. This is also the reason so many of the tests have identical output for O0 and O1. The idea with using optimisation levels rather than forcing -global-isel is that what we care about at the end of the day is the actual output, rather than how complete GlobalISel is. | |
| llvm/lib/Target/AArch64/AArch64ISelLowering.cpp | ||
|---|---|---|
| 21997 | Ok, I see, and yet I worry I'd forget this again looking directly at the assert message, which never mentions _CLR (the link between _AND and _CLR seems implicit to me) | |
| 22176 | I think it might be clearer if the assert message said "ATOMIC_LOAD_CLR should be legal" maybe? | |
| llvm/test/CodeGen/AArch64/Atomics/aarch64-atomic-store-lse128.ll | ||
| 119 | Right, ok. This does seem like something we could improve, but it's fine to happen later. | |
Comment Actions
Right now, GlobalISel falls back to SelectionDAG for many atomics, including those above (the -O0 case is the globalisel case, but it has fallen back). I think GlobalISel work for these atomics can come in a later patch, to be honest.
Comment Actions
No, FEAT_LSE128 only implies FEAT_LSE, not FEAT_LSE2.
In that case, can you add a few tests to show what happens on targets that have both lse2 and lse128? I assume lse2 "wins", but it would be nice to make that explicit.