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

FileCheck inherit_overflow.

Browse Source
This commit is contained in:
Camille GILLOT 2023-12-02 20:31:27 +00:00
parent 6086dd6766
commit 218d8ccf43
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,11 +1,14 @@
// skip-filecheck
// EMIT_MIR_FOR_EACH_PANIC_STRATEGY // EMIT_MIR_FOR_EACH_PANIC_STRATEGY
// unit-test: ConstProp // unit-test: ConstProp
// compile-flags: -Zmir-enable-passes=+Inline // compile-flags: -Zmir-enable-passes=+Inline
// After inlining, this will contain a `CheckedBinaryOp`.
// Propagating the overflow is ok as codegen will just skip emitting the panic.
// EMIT_MIR inherit_overflow.main.ConstProp.diff // EMIT_MIR inherit_overflow.main.ConstProp.diff
fn main() { fn main() {
// After inlining, this will contain a `CheckedBinaryOp`. // CHECK-LABEL: fn main(
// Propagating the overflow is ok as codegen will just skip emitting the panic. // CHECK: {{_.*}} = const (0_u8, true);
// CHECK: assert(!const true,
// CHECK: {{_.*}} = const 0_u8;
let _ = <u8 as std::ops::Add>::add(255, 1); let _ = <u8 as std::ops::Add>::add(255, 1);
} }