-
Notifications
You must be signed in to change notification settings - Fork 12.9k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add LLVM15-specific codegen test for
try
/?
s that now optimize away
These still generated a bunch of code back in Rust 1.63 (<https://rust.godbolt.org/z/z31P8h6rz>), but with LLVM 15 merged they no longer do 🎉
- Loading branch information
Showing
1 changed file
with
54 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,54 @@ | ||
// min-llvm-version: 15.0 | ||
// compile-flags: -O -Z merge-functions=disabled --edition=2021 | ||
// only-x86_64 | ||
|
||
#![crate_type = "lib"] | ||
#![feature(try_blocks)] | ||
|
||
// These are now NOPs in LLVM 15, presumably thanks to nikic's change mentioned in | ||
// <https://github.com/rust-lang/rust/issues/85133#issuecomment-1072168354>. | ||
// Unfortunately, as of 2022-08-17 they're not yet nops for `u64`s nor `Option`. | ||
|
||
use std::ops::ControlFlow::{self, Continue, Break}; | ||
|
||
// CHECK-LABEL: @result_nop_match_32 | ||
#[no_mangle] | ||
pub fn result_nop_match_32(x: Result<i32, u32>) -> Result<i32, u32> { | ||
// CHECK: start | ||
// CHECK-NEXT: ret i64 %0 | ||
match x { | ||
Ok(x) => Ok(x), | ||
Err(x) => Err(x), | ||
} | ||
} | ||
|
||
// CHECK-LABEL: @result_nop_traits_32 | ||
#[no_mangle] | ||
pub fn result_nop_traits_32(x: Result<i32, u32>) -> Result<i32, u32> { | ||
// CHECK: start | ||
// CHECK-NEXT: ret i64 %0 | ||
try { | ||
x? | ||
} | ||
} | ||
|
||
// CHECK-LABEL: @control_flow_nop_match_32 | ||
#[no_mangle] | ||
pub fn control_flow_nop_match_32(x: ControlFlow<i32, u32>) -> ControlFlow<i32, u32> { | ||
// CHECK: start | ||
// CHECK-NEXT: ret i64 %0 | ||
match x { | ||
Continue(x) => Continue(x), | ||
Break(x) => Break(x), | ||
} | ||
} | ||
|
||
// CHECK-LABEL: @control_flow_nop_traits_32 | ||
#[no_mangle] | ||
pub fn control_flow_nop_traits_32(x: ControlFlow<i32, u32>) -> ControlFlow<i32, u32> { | ||
// CHECK: start | ||
// CHECK-NEXT: ret i64 %0 | ||
try { | ||
x? | ||
} | ||
} |