diff options
| author | Patrick-6 <pamu99@gmx.ch> | 2025-03-14 09:58:46 +0100 |
|---|---|---|
| committer | Patrick-6 <pamu99@gmx.ch> | 2025-09-12 17:37:25 +0200 |
| commit | a70d78a55286a85cf5e06958929f5a6071fa1c67 (patch) | |
| tree | 5c2c6067543016097fa1c4fa7def5bb18693f129 /compiler/rustc_codegen_llvm/src | |
| parent | 25b2a7d6b249c5592fe84b4482e63ca67044b73d (diff) | |
| download | rust-a70d78a55286a85cf5e06958929f5a6071fa1c67.tar.gz rust-a70d78a55286a85cf5e06958929f5a6071fa1c67.zip | |
Implement more features for GenMC mode
- Handling Compare-Exchange operations.
- Limitation: Compare-Exchange currently ignores possibility of spurious failures.
- Limitation: Compare-Exchange failure memory ordering is ignored.
- Upgrade compare-exchange success ordering to avoid reporting non-existent bugs.
- Add warnings for GenMC mode for unsupported features.
- Add a lot of tests, including translation of GenMC litmus tests and Loom tests.
- Cleanup
Diffstat (limited to 'compiler/rustc_codegen_llvm/src')
0 files changed, 0 insertions, 0 deletions