diff options
| author | Tsukasa OI <floss_rust@irq.a4lg.com> | 2025-08-19 01:37:35 +0000 |
|---|---|---|
| committer | Tsukasa OI <floss_rust@irq.a4lg.com> | 2025-08-19 01:38:27 +0000 |
| commit | ee7627ee409b1f2a3ebbf6c868adbc0d75a1f43b (patch) | |
| tree | 7f297a31cf107f1ea96ac82195aba27eaf69eb1d /library/std_detect/src/detect/mod.rs | |
| parent | 9eb4a2652031ed5ba97c29ef21c79db1645f7883 (diff) | |
| download | rust-ee7627ee409b1f2a3ebbf6c868adbc0d75a1f43b.tar.gz rust-ee7627ee409b1f2a3ebbf6c868adbc0d75a1f43b.zip | |
std_detect: RISC-V: implement implication to "C"
Just like we implemented relatively complex rules to imply other extensions **from** "C" (and some others), this commit implements implication **to** the "C" extension from others, complying the following text in the ISA Manual (although there's no direct imply/depend references). > The C extension is the superset of the following extensions: > > - Zca > - Zcf if F is specified (RV32 only) > - Zcd if D is specified This is formally verified so that no other extension combinations (*not* in this implementation) can (currently) imply the "C" extension.
Diffstat (limited to 'library/std_detect/src/detect/mod.rs')
0 files changed, 0 insertions, 0 deletions