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

FileCheck duplicate_switch_targets.

Browse Source
This commit is contained in:
Camille GILLOT 2023-10-16 19:39:34 +00:00
parent f856247cc9
commit 386fff34f7
2 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

0
tests/mir-opt/instsimplify_duplicate_switch_targets.assert_zero.InstSimplify.diff → tests/mir-opt/instsimplify/duplicate_switch_targets.assert_zero.InstSimplify.diff
View File

9
tests/mir-opt/instsimplify_duplicate_switch_targets.rs → tests/mir-opt/instsimplify/duplicate_switch_targets.rs
View File

@ -1,14 +1,15 @@
// skip-filecheck // unit-test: InstSimplify
#![feature(custom_mir, core_intrinsics)] #![feature(custom_mir, core_intrinsics)]
#![crate_type = "lib"] #![crate_type = "lib"]
use std::intrinsics::mir::*; use std::intrinsics::mir::*;
// unit-test: InstSimplify // EMIT_MIR duplicate_switch_targets.assert_zero.InstSimplify.diff
// EMIT_MIR instsimplify_duplicate_switch_targets.assert_zero.InstSimplify.diff
#[custom_mir(dialect = "runtime", phase = "post-cleanup")] #[custom_mir(dialect = "runtime", phase = "post-cleanup")]
pub unsafe fn assert_zero(x: u8) -> u8 { pub unsafe fn assert_zero(x: u8) -> u8 {
// CHECK-LABEL: fn assert_zero(
// CHECK: switchInt({{.*}}) -> [0: {{bb.*}}, otherwise: {{bb.*}}]
mir!( mir!(
{ {
match x { match x {