mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

FileCheck switch_int.

Browse Source
This commit is contained in:
Camille GILLOT 2023-12-02 21:06:48 +00:00
parent 19767eb7a6
commit a12027e128
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
tests/mir-opt/const_prop/switch_int.rs
View File

@ -1,13 +1,20 @@
// skip-filecheck
// unit-test: ConstProp // unit-test: ConstProp
// compile-flags: -Zmir-enable-passes=+SimplifyConstCondition-after-const-prop // compile-flags: -Zmir-enable-passes=+SimplifyConstCondition-after-const-prop
// EMIT_MIR_FOR_EACH_PANIC_STRATEGY // EMIT_MIR_FOR_EACH_PANIC_STRATEGY
#[inline(never)] #[inline(never)]
fn foo(_: i32) { } fn foo(_: i32) { }
// EMIT_MIR switch_int.main.ConstProp.diff // EMIT_MIR switch_int.main.ConstProp.diff
// EMIT_MIR switch_int.main.SimplifyConstCondition-after-const-prop.diff // EMIT_MIR switch_int.main.SimplifyConstCondition-after-const-prop.diff
fn main() { fn main() {
// CHECK-LABEL: fn main(
// CHECK: bb0: {
// CHECK-NOT: switchInt(
// CHECK: goto -> [[bb:bb.*]];
// CHECK: [[bb]]: {
// CHECK-NOT: _0 = foo(const -1_i32)
// CHECK: _0 = foo(const 0_i32)
match 1 { match 1 {
1 => foo(0), 1 => foo(0),
_ => foo(-1), _ => foo(-1),