Jacob Pratt 03aa3b8489

Rollup merge of #145415 - a4lg:riscv-implication-to-c, r=Amanieu ...

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.

Note: this is a `std_detect` change and not main target feature handling.

2025-08-21 01:12:18 -04:00

..

detect

Rollup merge of #145415 - a4lg:riscv-implication-to-c, r=Amanieu

2025-08-21 01:12:18 -04:00

lib.rs

library: Migrate from cfg_if to cfg_select

2025-08-16 05:28:31 -07:00