From 86dbcb53907037dcc3fabb635956aec2c384b4e9 Mon Sep 17 00:00:00 2001 From: Camille GILLOT Date: Sat, 11 Feb 2023 08:59:19 +0000 Subject: Add codegen test. --- tests/codegen/inherit_overflow.rs | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 tests/codegen/inherit_overflow.rs (limited to 'tests/codegen') diff --git a/tests/codegen/inherit_overflow.rs b/tests/codegen/inherit_overflow.rs new file mode 100644 index 00000000000..d938dadb9c7 --- /dev/null +++ b/tests/codegen/inherit_overflow.rs @@ -0,0 +1,14 @@ +// compile-flags: -Zmir-enable-passes=+Inline,+ConstProp --crate-type lib +// revisions: ASSERT NOASSERT +//[ASSERT] compile-flags: -Coverflow-checks=on +//[NOASSERT] compile-flags: -Coverflow-checks=off + +// CHECK-LABEL: define{{.*}} @assertion +// ASSERT: tail call void @_ZN4core9panicking5panic17h +// NOASSERT: ret i8 0 +#[no_mangle] +pub fn assertion() -> u8 { + // Optimized MIR will replace this `CheckedBinaryOp` by `const (0, true)`. + // Verify that codegen does or does not emit the panic. + ::add(255, 1) +} -- cgit 1.4.1-3-g733a5 From c107e0e9454555505475758893a88829cdde03f6 Mon Sep 17 00:00:00 2001 From: Camille GILLOT Date: Wed, 15 Feb 2023 18:43:15 +0000 Subject: Fix codegen test. --- tests/codegen/inherit_overflow.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tests/codegen') diff --git a/tests/codegen/inherit_overflow.rs b/tests/codegen/inherit_overflow.rs index d938dadb9c7..0b0b890b2c9 100644 --- a/tests/codegen/inherit_overflow.rs +++ b/tests/codegen/inherit_overflow.rs @@ -4,7 +4,7 @@ //[NOASSERT] compile-flags: -Coverflow-checks=off // CHECK-LABEL: define{{.*}} @assertion -// ASSERT: tail call void @_ZN4core9panicking5panic17h +// ASSERT: call void @_ZN4core9panicking5panic17h // NOASSERT: ret i8 0 #[no_mangle] pub fn assertion() -> u8 { -- cgit 1.4.1-3-g733a5