diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2024-08-29 16:21:47 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-08-29 16:21:47 +0200 |
| commit | d5c40d03dc0c31ac099992d1692003a130f4073d (patch) | |
| tree | 0734a59b51d6c5bb40bcba16c8a7bff89dcd1104 /compiler/rustc_session/src | |
| parent | 4b08b2e400faaa5c4120658989a097fcf0ff2028 (diff) | |
| parent | 9589eb95d2872337e932c8b5dc26bdb5cb3dc15b (diff) | |
| download | rust-d5c40d03dc0c31ac099992d1692003a130f4073d.tar.gz rust-d5c40d03dc0c31ac099992d1692003a130f4073d.zip | |
Rollup merge of #128970 - DianQK:lint-llvm-ir, r=nikic
Add `-Zlint-llvm-ir` This flag is similar to `-Zverify-llvm-ir` and allows us to lint the generated IR. r? compiler
Diffstat (limited to 'compiler/rustc_session/src')
| -rw-r--r-- | compiler/rustc_session/src/options.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/rustc_session/src/options.rs b/compiler/rustc_session/src/options.rs index ab1e4488a9f..4492ad09357 100644 --- a/compiler/rustc_session/src/options.rs +++ b/compiler/rustc_session/src/options.rs @@ -1811,6 +1811,8 @@ options! { "link the `.rlink` file generated by `-Z no-link` (default: no)"), linker_features: LinkerFeaturesCli = (LinkerFeaturesCli::default(), parse_linker_features, [UNTRACKED], "a comma-separated list of linker features to enable (+) or disable (-): `lld`"), + lint_llvm_ir: bool = (false, parse_bool, [TRACKED], + "lint LLVM IR (default: no)"), lint_mir: bool = (false, parse_bool, [UNTRACKED], "lint MIR before and after each transformation"), llvm_module_flag: Vec<(String, u32, String)> = (Vec::new(), parse_llvm_module_flag, [TRACKED], |