rust/tests/mir-opt/const_prop/checked_add.rs

// EMIT_MIR_FOR_EACH_PANIC_STRATEGY
// unit-test: ConstProp
// compile-flags: -C overflow-checks=on

// EMIT_MIR checked_add.main.ConstProp.diff
fn main() {
    // CHECK-LABEL: fn main(
    // CHECK: debug x => [[x:_.*]];
    // CHECK: assert(!const false,
    // CHECK: [[x]] = const 2_u32;
    let x: u32 = 1 + 1;
}
properly mark tests that require panic=abort 2023-06-08 07:18:34 +00:00			`// EMIT_MIR_FOR_EACH_PANIC_STRATEGY`
make some const prop tests unit-test 2022-07-26 17:04:27 +00:00			`// unit-test: ConstProp`
Add some tests for constant propagation The results aren't ideal but they represent the current state. 2019-05-04 01:58:16 +00:00			`// compile-flags: -C overflow-checks=on`

add crate name to mir dumps 2020-07-27 19:22:43 +00:00			`// EMIT_MIR checked_add.main.ConstProp.diff`
Add some tests for constant propagation The results aren't ideal but they represent the current state. 2019-05-04 01:58:16 +00:00			`fn main() {`
FileCheck checked_add. 2023-12-02 20:18:55 +00:00			`// CHECK-LABEL: fn main(`
			`// CHECK: debug x => [[x:_.*]];`
			`// CHECK: assert(!const false,`
			`// CHECK: [[x]] = const 2_u32;`
Add some tests for constant propagation The results aren't ideal but they represent the current state. 2019-05-04 01:58:16 +00:00			`let x: u32 = 1 + 1;`
			`}`