| - // MIR for `cast_pointer_eq` before GVN | |
| + // MIR for `cast_pointer_eq` after GVN | |
| fn cast_pointer_eq(_1: *mut u8, _2: *mut u32, _3: *mut u32, _4: *mut [u32]) -> () { | |
| debug p1 => _1; | |
| debug p2 => _2; | |
| debug p3 => _3; | |
| debug p4 => _4; | |
| let mut _0: (); | |
| let _5: *const u32; | |
| let mut _6: *mut u8; | |
| let mut _8: *const u32; | |
| let mut _9: *mut u32; | |
| let mut _11: *const u32; | |
| let mut _12: *mut u32; | |
| let mut _14: *mut [u32]; | |
| let mut _16: *const u32; | |
| let mut _17: *const u32; | |
| let mut _19: *const u32; | |
| let mut _20: *const u32; | |
| let mut _22: *const u32; | |
| let mut _23: *const u32; | |
| scope 1 { | |
| debug m1 => _5; | |
| let _7: *const u32; | |
| scope 2 { | |
| debug m2 => _7; | |
| let _10: *const u32; | |
| scope 3 { | |
| debug m3 => _10; | |
| let _13: *const u32; | |
| scope 4 { | |
| debug m4 => _13; | |
| let _15: bool; | |
| scope 5 { | |
| debug eq_different_thing => _15; | |
| let _18: bool; | |
| scope 6 { | |
| debug eq_optimize => _18; | |
| let _21: bool; | |
| scope 7 { | |
| debug eq_thin_fat => _21; | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } | |
| bb0: { | |
| StorageLive(_5); | |
| StorageLive(_6); | |
| _6 = copy _1; | |
| - _5 = move _6 as *const u32 (PtrToPtr); | |
| + _5 = copy _1 as *const u32 (PtrToPtr); | |
| StorageDead(_6); | |
| StorageLive(_7); | |
| - StorageLive(_8); | |
| + nop; | |
| StorageLive(_9); | |
| _9 = copy _2; | |
| - _8 = move _9 as *const u32 (PtrToPtr); | |
| + _8 = copy _2 as *const u32 (PtrToPtr); | |
| StorageDead(_9); | |
| - _7 = move _8 as *const u32 (PtrToPtr); | |
| - StorageDead(_8); | |
| + _7 = copy _8; | |
| + nop; | |
| StorageLive(_10); | |
| - StorageLive(_11); | |
| + nop; | |
| StorageLive(_12); | |
| _12 = copy _3; | |
| - _11 = move _12 as *const u32 (PtrToPtr); | |
| + _11 = copy _3 as *const u32 (PtrToPtr); | |
| StorageDead(_12); | |
| - _10 = move _11 as *const u32 (PtrToPtr); | |
| - StorageDead(_11); | |
| + _10 = copy _11; | |
| + nop; | |
| StorageLive(_13); | |
| StorageLive(_14); | |
| _14 = copy _4; | |
| - _13 = move _14 as *const u32 (PtrToPtr); | |
| + _13 = copy _4 as *const u32 (PtrToPtr); | |
| StorageDead(_14); | |
| StorageLive(_15); | |
| StorageLive(_16); | |
| _16 = copy _5; | |
| StorageLive(_17); | |
| - _17 = copy _7; | |
| - _15 = Eq(move _16, move _17); | |
| + _17 = copy _8; | |
| + _15 = Eq(copy _5, copy _8); | |
| StorageDead(_17); | |
| StorageDead(_16); | |
| StorageLive(_18); | |
| StorageLive(_19); | |
| - _19 = copy _7; | |
| + _19 = copy _8; | |
| StorageLive(_20); | |
| - _20 = copy _10; | |
| - _18 = Eq(move _19, move _20); | |
| + _20 = copy _11; | |
| + _18 = Eq(copy _2, copy _3); | |
| StorageDead(_20); | |
| StorageDead(_19); | |
| StorageLive(_21); | |
| StorageLive(_22); | |
| - _22 = copy _10; | |
| + _22 = copy _11; | |
| StorageLive(_23); | |
| _23 = copy _13; | |
| - _21 = Eq(move _22, move _23); | |
| + _21 = Eq(copy _11, copy _13); | |
| StorageDead(_23); | |
| StorageDead(_22); | |
| _0 = const (); | |
| StorageDead(_21); | |
| StorageDead(_18); | |
| StorageDead(_15); | |
| StorageDead(_13); | |
| StorageDead(_10); | |
| StorageDead(_7); | |
| StorageDead(_5); | |
| return; | |
| } | |
| } | |