]>
Commit | Line | Data |
---|---|---|
5099ac24 FG |
1 | - // MIR for `main` before ConstProp |
2 | + // MIR for `main` after ConstProp | |
3 | ||
4 | fn main() -> () { | |
5 | let mut _0: (); // return place in scope 0 at $DIR/invalid_constant.rs:15:11: 15:11 | |
ee023bcb FG |
6 | let _1: main::InvalidChar; // in scope 0 at $DIR/invalid_constant.rs:21:9: 21:22 |
7 | let mut _3: main::InvalidTag; // in scope 0 at $DIR/invalid_constant.rs:28:25: 28:46 | |
8 | let mut _5: main::NoVariants; // in scope 0 at $DIR/invalid_constant.rs:35:35: 35:56 | |
5099ac24 | 9 | scope 1 { |
ee023bcb FG |
10 | debug _invalid_char => _1; // in scope 1 at $DIR/invalid_constant.rs:21:9: 21:22 |
11 | let _2: [main::InvalidTag; 1]; // in scope 1 at $DIR/invalid_constant.rs:28:9: 28:21 | |
12 | scope 2 { | |
13 | debug _invalid_tag => _2; // in scope 2 at $DIR/invalid_constant.rs:28:9: 28:21 | |
14 | let _4: [main::NoVariants; 1]; // in scope 2 at $DIR/invalid_constant.rs:35:9: 35:31 | |
15 | scope 3 { | |
16 | debug _enum_without_variants => _4; // in scope 3 at $DIR/invalid_constant.rs:35:9: 35:31 | |
17 | let _6: main::Str<"���">; // in scope 3 at $DIR/invalid_constant.rs:39:9: 39:22 | |
18 | scope 4 { | |
19 | debug _non_utf8_str => _6; // in scope 4 at $DIR/invalid_constant.rs:39:9: 39:22 | |
20 | } | |
21 | } | |
5099ac24 FG |
22 | } |
23 | } | |
24 | ||
25 | bb0: { | |
ee023bcb FG |
26 | StorageLive(_1); // scope 0 at $DIR/invalid_constant.rs:21:9: 21:22 |
27 | - _1 = const { InvalidChar { int: 0x110001 } }; // scope 0 at $DIR/invalid_constant.rs:21:25: 21:64 | |
28 | + _1 = const InvalidChar { int: 1114113_u32, chr: {transmute(0x00110001): char} }; // scope 0 at $DIR/invalid_constant.rs:21:25: 21:64 | |
5099ac24 | 29 | // mir::Constant |
ee023bcb FG |
30 | // + span: $DIR/invalid_constant.rs:21:25: 21:64 |
31 | - // + literal: Const { ty: InvalidChar, val: Unevaluated(main::{constant#0}, [main::InvalidChar], None) } | |
32 | + // + literal: Const { ty: InvalidChar, val: Value(Scalar(0x00110001)) } | |
33 | StorageLive(_2); // scope 1 at $DIR/invalid_constant.rs:28:9: 28:21 | |
34 | StorageLive(_3); // scope 1 at $DIR/invalid_constant.rs:28:25: 28:46 | |
35 | (_3.0: u32) = const 4_u32; // scope 1 at $DIR/invalid_constant.rs:28:25: 28:46 | |
36 | - _2 = [move _3]; // scope 1 at $DIR/invalid_constant.rs:28:24: 28:47 | |
37 | + _2 = [const InvalidTag { int: 4_u32, e: Scalar(0x00000004): E }]; // scope 1 at $DIR/invalid_constant.rs:28:24: 28:47 | |
5099ac24 | 38 | + // mir::Constant |
ee023bcb FG |
39 | + // + span: $DIR/invalid_constant.rs:28:24: 28:47 |
40 | + // + literal: Const { ty: InvalidTag, val: Value(Scalar(0x00000004)) } | |
41 | StorageDead(_3); // scope 1 at $DIR/invalid_constant.rs:28:46: 28:47 | |
42 | StorageLive(_4); // scope 2 at $DIR/invalid_constant.rs:35:9: 35:31 | |
43 | StorageLive(_5); // scope 2 at $DIR/invalid_constant.rs:35:35: 35:56 | |
44 | (_5.0: u32) = const 0_u32; // scope 2 at $DIR/invalid_constant.rs:35:35: 35:56 | |
45 | - _4 = [move _5]; // scope 2 at $DIR/invalid_constant.rs:35:34: 35:57 | |
46 | + _4 = [const NoVariants { int: 0_u32, empty: Scalar(<ZST>): Empty }]; // scope 2 at $DIR/invalid_constant.rs:35:34: 35:57 | |
5099ac24 | 47 | + // mir::Constant |
ee023bcb FG |
48 | + // + span: $DIR/invalid_constant.rs:35:34: 35:57 |
49 | + // + literal: Const { ty: NoVariants, val: Value(Scalar(0x00000000)) } | |
50 | StorageDead(_5); // scope 2 at $DIR/invalid_constant.rs:35:56: 35:57 | |
51 | StorageLive(_6); // scope 3 at $DIR/invalid_constant.rs:39:9: 39:22 | |
52 | nop; // scope 0 at $DIR/invalid_constant.rs:15:11: 42:2 | |
53 | StorageDead(_6); // scope 3 at $DIR/invalid_constant.rs:42:1: 42:2 | |
54 | StorageDead(_4); // scope 2 at $DIR/invalid_constant.rs:42:1: 42:2 | |
55 | StorageDead(_2); // scope 1 at $DIR/invalid_constant.rs:42:1: 42:2 | |
56 | StorageDead(_1); // scope 0 at $DIR/invalid_constant.rs:42:1: 42:2 | |
57 | return; // scope 0 at $DIR/invalid_constant.rs:42:2: 42:2 | |
5099ac24 FG |
58 | } |
59 | } | |
60 |