about summary refs log tree commit diff
path: root/compiler/rustc_builtin_macros/src/log_syntax.rs
diff options
context:
space:
mode:
authorJacob Pratt <jacob@jhpratt.dev>2025-08-21 01:12:18 -0400
committerGitHub <noreply@github.com>2025-08-21 01:12:18 -0400
commit03aa3b8489144e306adddc29217fbf8359404620 (patch)
tree83bb11f8beee865473764d0f0dc64ca1797a9c77 /compiler/rustc_builtin_macros/src/log_syntax.rs
parent62582eb78ed097cfaee941faef36c2de4a41ca41 (diff)
parentee7627ee409b1f2a3ebbf6c868adbc0d75a1f43b (diff)
downloadrust-03aa3b8489144e306adddc29217fbf8359404620.tar.gz
rust-03aa3b8489144e306adddc29217fbf8359404620.zip
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.
Diffstat (limited to 'compiler/rustc_builtin_macros/src/log_syntax.rs')
0 files changed, 0 insertions, 0 deletions