mathieu/os-rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
os-rust/tests/mir-opt/instsimplify/casts.redundant.InstSimplify-after-simplifycfg.diff

34 lines
892 B
Diff
Raw Permalink Normal View History

Perform instsimplify before inline to eliminate some trivial calls
2024-07-27 14:36:17 +08:00
- // MIR for `redundant` before InstSimplify-after-simplifycfg
+ // MIR for `redundant` after InstSimplify-after-simplifycfg
Add an InstCombine for redundant casts
2023-02-19 15:50:00 -05:00
fn redundant(_1: *const &u8) -> *const &u8 {
Remove comments from mir-opt MIR dumps
2023-06-06 09:47:00 -04:00
debug x => _1;
let mut _0: *const &u8;
let mut _2: *const &u8;
let mut _3: *const &u8;
Never consider raw pointer casts to be trival HIR typeck tries to figure out which casts are trivial by doing them as coercions and seeing whether this works. Since HIR typeck is oblivious of lifetimes, this doesn't work for pointer casts that only change the lifetime of the pointee, which are, as borrowck will tell you, not trivial. This change makes it so that raw pointer casts are never considered trivial. This also incidentally fixes the "trivial cast" lint false positive on the same code. Unfortunately, "trivial cast" lints are now never emitted on raw pointer casts, even if they truly are trivial. This could be fixed by also doing the lint in borrowck for raw pointers specifically.
2023-07-02 17:50:24 +02:00
let mut _4: *const &u8;
Remove comments from mir-opt MIR dumps
2023-06-06 09:47:00 -04:00
scope 1 (inlined generic_cast::<&u8, &u8>) {
Never consider raw pointer casts to be trival HIR typeck tries to figure out which casts are trivial by doing them as coercions and seeing whether this works. Since HIR typeck is oblivious of lifetimes, this doesn't work for pointer casts that only change the lifetime of the pointee, which are, as borrowck will tell you, not trivial. This change makes it so that raw pointer casts are never considered trivial. This also incidentally fixes the "trivial cast" lint false positive on the same code. Unfortunately, "trivial cast" lints are now never emitted on raw pointer casts, even if they truly are trivial. This could be fixed by also doing the lint in borrowck for raw pointers specifically.
2023-07-02 17:50:24 +02:00
let mut _5: *const &u8;
Add an InstCombine for redundant casts
2023-02-19 15:50:00 -05:00
}
bb0: {
Remove comments from mir-opt MIR dumps
2023-06-06 09:47:00 -04:00
StorageLive(_2);
StorageLive(_3);
FileCheck casts.
2023-10-16 19:58:20 +00:00
StorageLive(_4);
Bless *all* the mir-opt tests
2024-08-18 14:26:34 -07:00
_4 = copy _1;
Never consider raw pointer casts to be trival HIR typeck tries to figure out which casts are trivial by doing them as coercions and seeing whether this works. Since HIR typeck is oblivious of lifetimes, this doesn't work for pointer casts that only change the lifetime of the pointee, which are, as borrowck will tell you, not trivial. This change makes it so that raw pointer casts are never considered trivial. This also incidentally fixes the "trivial cast" lint false positive on the same code. Unfortunately, "trivial cast" lints are now never emitted on raw pointer casts, even if they truly are trivial. This could be fixed by also doing the lint in borrowck for raw pointers specifically.
2023-07-02 17:50:24 +02:00
StorageLive(_5);
Bless *all* the mir-opt tests
2024-08-18 14:26:34 -07:00
_5 = copy _4;
Never consider raw pointer casts to be trival HIR typeck tries to figure out which casts are trivial by doing them as coercions and seeing whether this works. Since HIR typeck is oblivious of lifetimes, this doesn't work for pointer casts that only change the lifetime of the pointee, which are, as borrowck will tell you, not trivial. This change makes it so that raw pointer casts are never considered trivial. This also incidentally fixes the "trivial cast" lint false positive on the same code. Unfortunately, "trivial cast" lints are now never emitted on raw pointer casts, even if they truly are trivial. This could be fixed by also doing the lint in borrowck for raw pointers specifically.
2023-07-02 17:50:24 +02:00
- _3 = move _5 as *const &u8 (PtrToPtr);
+ _3 = move _5;
StorageDead(_5);
FileCheck casts.
2023-10-16 19:58:20 +00:00
StorageDead(_4);
Never consider raw pointer casts to be trival HIR typeck tries to figure out which casts are trivial by doing them as coercions and seeing whether this works. Since HIR typeck is oblivious of lifetimes, this doesn't work for pointer casts that only change the lifetime of the pointee, which are, as borrowck will tell you, not trivial. This change makes it so that raw pointer casts are never considered trivial. This also incidentally fixes the "trivial cast" lint false positive on the same code. Unfortunately, "trivial cast" lints are now never emitted on raw pointer casts, even if they truly are trivial. This could be fixed by also doing the lint in borrowck for raw pointers specifically.
2023-07-02 17:50:24 +02:00
- _2 = move _3 as *const &u8 (PtrToPtr);
+ _2 = move _3;
Bless *all* the mir-opt tests
2024-08-18 14:26:34 -07:00
_0 = copy _2;
Never consider raw pointer casts to be trival HIR typeck tries to figure out which casts are trivial by doing them as coercions and seeing whether this works. Since HIR typeck is oblivious of lifetimes, this doesn't work for pointer casts that only change the lifetime of the pointee, which are, as borrowck will tell you, not trivial. This change makes it so that raw pointer casts are never considered trivial. This also incidentally fixes the "trivial cast" lint false positive on the same code. Unfortunately, "trivial cast" lints are now never emitted on raw pointer casts, even if they truly are trivial. This could be fixed by also doing the lint in borrowck for raw pointers specifically.
2023-07-02 17:50:24 +02:00
StorageDead(_3);
Remove comments from mir-opt MIR dumps
2023-06-06 09:47:00 -04:00
StorageDead(_2);
return;
Add an InstCombine for redundant casts
2023-02-19 15:50:00 -05:00
}
}
Reference in a new issue Copy permalink