diff options
| author | Patrick-6 <pamu99@gmx.ch> | 2025-03-14 09:58:46 +0100 |
|---|---|---|
| committer | Patrick-6 <pamu99@gmx.ch> | 2025-09-07 23:51:17 +0200 |
| commit | 61af5da8dfc9f5fd6e2d36f8316f7bf5884f5388 (patch) | |
| tree | 3ce5ae7c87a1f4cf3681b5ab6f6aff2102c9c156 /compiler/rustc_codegen_llvm/src/errors.rs | |
| parent | 0dcc21b1249dc6ada6ec69e38074123eeaca72d8 (diff) | |
| download | rust-61af5da8dfc9f5fd6e2d36f8316f7bf5884f5388.tar.gz rust-61af5da8dfc9f5fd6e2d36f8316f7bf5884f5388.zip | |
Implement more features for GenMC mode
- Support for atomic fences. - Support for atomic read-modify-write (RMW). - Add tests using RMW and fences. - Add options: - to disable weak memory effects in GenMC mode. - to print GenMC execution graphs. - to print GenMC output message. - Fix GenMC full rebuild issue and run configure step when commit changes. - Do cleanup. Co-authored-by: Ralf Jung <post@ralfj.de>
Diffstat (limited to 'compiler/rustc_codegen_llvm/src/errors.rs')
0 files changed, 0 insertions, 0 deletions