81 lines
2.4 KiB
Rust
81 lines
2.4 KiB
Rust
|
//@ test-mir-pass: SingleUseConsts
|
||
|
|
//@ compile-flags: -C debuginfo=full
|
||
|
|
// EMIT_MIR_FOR_EACH_PANIC_STRATEGY
|
||
|
|
|
||
|
|
trait MyTrait {
|
||
|
|
const ASSOC_BOOL: bool;
|
||
|
|
const ASSOC_INT: i32;
|
||
|
|
}
|
||
|
|
|
||
|
|
// EMIT_MIR single_use_consts.if_const.SingleUseConsts.diff
|
||
|
|
fn if_const<T: MyTrait>() -> i32 {
|
||
|
|
// CHECK-LABEL: fn if_const(
|
||
|
|
// CHECK: switchInt(const <T as MyTrait>::ASSOC_BOOL)
|
||
|
|
if T::ASSOC_BOOL { 7 } else { 42 }
|
||
|
|
}
|
||
|
|
|
||
|
|
// EMIT_MIR single_use_consts.match_const.SingleUseConsts.diff
|
||
|
|
fn match_const<T: MyTrait>() -> &'static str {
|
||
|
|
// CHECK-LABEL: fn match_const(
|
||
|
|
// CHECK: switchInt(const <T as MyTrait>::ASSOC_INT)
|
||
|
|
match T::ASSOC_INT {
|
||
|
|
7 => "hello",
|
||
|
|
42 => "towel",
|
||
|
|
_ => "world",
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
// EMIT_MIR single_use_consts.if_const_debug.SingleUseConsts.diff
|
||
|
|
fn if_const_debug<T: MyTrait>() -> i32 {
|
||
|
|
// CHECK-LABEL: fn if_const_debug(
|
||
|
|
// CHECK: my_bool => const <T as MyTrait>::ASSOC_BOOL;
|
||
|
|
// FIXME: `if` forces a temporary (unlike `match`), so the const isn't direct
|
||
|
|
// CHECK: _3 = const <T as MyTrait>::ASSOC_BOOL;
|
||
|
|
// CHECK: switchInt(move _3)
|
||
|
|
let my_bool = T::ASSOC_BOOL;
|
||
|
|
do_whatever();
|
||
|
|
if my_bool { 7 } else { 42 }
|
||
|
|
}
|
||
|
|
|
||
|
|
// EMIT_MIR single_use_consts.match_const_debug.SingleUseConsts.diff
|
||
|
|
fn match_const_debug<T: MyTrait>() -> &'static str {
|
||
|
|
// CHECK-LABEL: fn match_const_debug(
|
||
|
|
// CHECK: my_int => const <T as MyTrait>::ASSOC_INT;
|
||
|
|
// CHECK: switchInt(const <T as MyTrait>::ASSOC_INT)
|
||
|
|
let my_int = T::ASSOC_INT;
|
||
|
|
do_whatever();
|
||
|
|
match my_int {
|
||
|
|
7 => "hello",
|
||
|
|
42 => "towel",
|
||
|
|
_ => "world",
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
// EMIT_MIR single_use_consts.never_used_debug.SingleUseConsts.diff
|
||
|
|
#[allow(unused_variables)]
|
||
|
|
fn never_used_debug<T: MyTrait>() {
|
||
|
|
// CHECK-LABEL: fn never_used_debug(
|
||
|
|
// CHECK: my_int => const <T as MyTrait>::ASSOC_INT;
|
||
|
|
// CHECK-NOT: ASSOC_INT
|
||
|
|
// CHECK: nop
|
||
|
|
// CHECK-NOT: ASSOC_INT
|
||
|
|
let my_int = T::ASSOC_INT;
|
||
|
|
}
|
||
|
|
|
||
|
|
// EMIT_MIR single_use_consts.assign_const_to_return.SingleUseConsts.diff
|
||
|
|
fn assign_const_to_return<T: MyTrait>() -> bool {
|
||
|
|
// CHECK-LABEL: fn assign_const_to_return(
|
||
|
|
// CHECK: _0 = const <T as MyTrait>::ASSOC_BOOL;
|
||
|
|
T::ASSOC_BOOL
|
||
|
|
}
|
||
|
|
|
||
|
|
// EMIT_MIR single_use_consts.keep_parameter.SingleUseConsts.diff
|
||
|
|
fn keep_parameter<T: MyTrait>(mut other: i32) {
|
||
|
|
// CHECK-LABEL: fn keep_parameter(
|
||
|
|
// CHECK: _1 = const <T as MyTrait>::ASSOC_INT;
|
||
|
|
// CHECK: _0 = const ();
|
||
|
|
other = T::ASSOC_INT;
|
||
|
|
}
|
||
|
|
|
||
|
|
fn do_whatever() {}
|