summaryrefslogtreecommitdiffstats
path: root/tests/mir-opt/const_prop/invalid_constant.main.ConstProp.diff
blob: 10e978a683acc70ffad9c5b242a0707b5298fc20 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
- // MIR for `main` before ConstProp
+ // MIR for `main` after ConstProp
  
  fn main() -> () {
      let mut _0: ();
      let _1: char;
      let mut _2: main::InvalidChar;
      let mut _4: E;
      let mut _5: main::InvalidTag;
      let mut _7: Empty;
      let mut _8: main::NoVariants;
      scope 1 {
          debug _invalid_char => _1;
          let _3: [E; 1];
          scope 3 {
              debug _invalid_tag => _3;
              let _6: [Empty; 1];
              scope 5 {
                  debug _enum_without_variants => const [ZeroSized: Empty];
                  let _9: main::Str<"���">;
                  scope 7 {
                      debug _non_utf8_str => const Str::<"���">;
                  }
              }
              scope 6 {
              }
          }
          scope 4 {
          }
      }
      scope 2 {
      }
  
      bb0: {
          StorageLive(_1);
          StorageLive(_2);
          _2 = InvalidChar { int: const 1114113_u32 };
-         _1 = (_2.1: char);
+         _1 = const {transmute(0x00110001): char};
          StorageDead(_2);
          StorageLive(_3);
          StorageLive(_4);
          StorageLive(_5);
          _5 = InvalidTag { int: const 4_u32 };
-         _4 = (_5.1: E);
-         _3 = [move _4];
+         _4 = const Scalar(0x00000004): E;
+         _3 = [const Scalar(0x00000004): E];
          StorageDead(_4);
          StorageDead(_5);
          nop;
          nop;
          StorageLive(_8);
          _8 = NoVariants { int: const 0_u32 };
          nop;
          nop;
          nop;
          StorageDead(_8);
          nop;
          nop;
          nop;
          nop;
          StorageDead(_3);
          StorageDead(_1);
          return;
      }
  }