mirror of
https://github.com/rust-lang/rust.git
synced 2025-10-31 04:57:19 +00:00
72800d3b89
Except for `simd-intrinsic/`, which has a lot of files containing multiple types like `u8x64` which really are better when hand-formatted. There is a surprising amount of two-space indenting in this directory. Non-trivial changes: - `rustfmt::skip` needed in `debug-column.rs` to preserve meaning of the test. - `rustfmt::skip` used in a few places where hand-formatting read more nicely: `enum/enum-match.rs` - Line number adjustments needed for the expected output of `debug-column.rs` and `coroutine-debug.rs`.
124 lines
3.3 KiB
Rust
124 lines
3.3 KiB
Rust
//@ compile-flags: -O -Z merge-functions=disabled --edition=2021
|
|
//@ only-x86_64
|
|
|
|
#![crate_type = "lib"]
|
|
#![feature(try_blocks)]
|
|
|
|
use std::ops::ControlFlow::{self, Break, Continue};
|
|
use std::ptr::NonNull;
|
|
|
|
// CHECK-LABEL: @option_nop_match_32
|
|
#[no_mangle]
|
|
pub fn option_nop_match_32(x: Option<u32>) -> Option<u32> {
|
|
// CHECK: start:
|
|
// CHECK-NEXT: insertvalue { i32, i32 }
|
|
// CHECK-NEXT: insertvalue { i32, i32 }
|
|
// CHECK-NEXT: ret { i32, i32 }
|
|
match x {
|
|
Some(x) => Some(x),
|
|
None => None,
|
|
}
|
|
}
|
|
|
|
// CHECK-LABEL: @option_nop_traits_32
|
|
#[no_mangle]
|
|
pub fn option_nop_traits_32(x: Option<u32>) -> Option<u32> {
|
|
// CHECK: start:
|
|
// CHECK-NEXT: insertvalue { i32, i32 }
|
|
// CHECK-NEXT: insertvalue { i32, i32 }
|
|
// CHECK-NEXT: ret { i32, i32 }
|
|
try { x? }
|
|
}
|
|
|
|
// 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: insertvalue { i32, i32 }
|
|
// CHECK-NEXT: insertvalue { i32, i32 }
|
|
// CHECK-NEXT: ret { i32, i32 }
|
|
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: insertvalue { i32, i32 }
|
|
// CHECK-NEXT: insertvalue { i32, i32 }
|
|
// CHECK-NEXT: ret { i32, i32 }
|
|
try { x? }
|
|
}
|
|
|
|
// CHECK-LABEL: @result_nop_match_64
|
|
#[no_mangle]
|
|
pub fn result_nop_match_64(x: Result<i64, u64>) -> Result<i64, u64> {
|
|
// CHECK: start:
|
|
// CHECK-NEXT: insertvalue { i64, i64 }
|
|
// CHECK-NEXT: insertvalue { i64, i64 }
|
|
// CHECK-NEXT: ret { i64, i64 }
|
|
match x {
|
|
Ok(x) => Ok(x),
|
|
Err(x) => Err(x),
|
|
}
|
|
}
|
|
|
|
// CHECK-LABEL: @result_nop_traits_64
|
|
#[no_mangle]
|
|
pub fn result_nop_traits_64(x: Result<i64, u64>) -> Result<i64, u64> {
|
|
// CHECK: start:
|
|
// CHECK-NEXT: insertvalue { i64, i64 }
|
|
// CHECK-NEXT: insertvalue { i64, i64 }
|
|
// CHECK-NEXT: ret { i64, i64 }
|
|
try { x? }
|
|
}
|
|
|
|
// CHECK-LABEL: @result_nop_match_ptr
|
|
#[no_mangle]
|
|
pub fn result_nop_match_ptr(x: Result<usize, Box<()>>) -> Result<usize, Box<()>> {
|
|
// CHECK: start:
|
|
// CHECK-NEXT: insertvalue { i{{[0-9]+}}, ptr }
|
|
// CHECK-NEXT: insertvalue { i{{[0-9]+}}, ptr }
|
|
// CHECK-NEXT: ret
|
|
match x {
|
|
Ok(x) => Ok(x),
|
|
Err(x) => Err(x),
|
|
}
|
|
}
|
|
|
|
// CHECK-LABEL: @result_nop_traits_ptr
|
|
#[no_mangle]
|
|
pub fn result_nop_traits_ptr(x: Result<u64, NonNull<()>>) -> Result<u64, NonNull<()>> {
|
|
// CHECK: start:
|
|
// CHECK-NEXT: insertvalue { i{{[0-9]+}}, ptr }
|
|
// CHECK-NEXT: insertvalue { i{{[0-9]+}}, ptr }
|
|
// CHECK-NEXT: ret
|
|
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: insertvalue { i32, i32 }
|
|
// CHECK-NEXT: insertvalue { i32, i32 }
|
|
// CHECK-NEXT: ret { i32, i32 }
|
|
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: insertvalue { i32, i32 }
|
|
// CHECK-NEXT: insertvalue { i32, i32 }
|
|
// CHECK-NEXT: ret { i32, i32 }
|
|
try { x? }
|
|
}
|