tests/mir-opt/instsimplify/casts.roundtrip.InstSimplify.diff


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

- // MIR for `roundtrip` before InstSimplify
+ // MIR for `roundtrip` after InstSimplify
  
  fn roundtrip(_1: *const u8) -> *const u8 {
      debug x => _1;
      let mut _0: *const u8;
      let mut _2: *const u8;
      let mut _3: *mut u8;
      let mut _4: *const u8;
  
      bb0: {
          StorageLive(_2);
          StorageLive(_3);
          StorageLive(_4);
          _4 = _1;
          _3 = move _4 as *mut u8 (PtrToPtr);
          _2 = move _3 as *const u8 (PointerCoercion(MutToConstPointer));
          StorageDead(_4);
          StorageDead(_3);
-         _0 = move _2 as *const u8 (PtrToPtr);
+         _0 = move _2;
          StorageDead(_2);
          return;
      }
  }