diff options
| author | Nikita Popov <npopov@redhat.com> | 2025-09-29 09:08:15 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-09-29 09:08:15 +0200 |
| commit | 52b59b5bc07ae3a05b7643119dc6b34099108bda (patch) | |
| tree | 8dae214d8aa0e8dc2271cb31528323909fb9ec2c /llvm/tools/llvm-diff/lib | |
| parent | b3fe1b6db39e42e73131b483f4401f4bf3b05444 (diff) | |
| download | llvm-52b59b5bc07ae3a05b7643119dc6b34099108bda.zip llvm-52b59b5bc07ae3a05b7643119dc6b34099108bda.tar.gz llvm-52b59b5bc07ae3a05b7643119dc6b34099108bda.tar.bz2 | |
[DropUnnecessaryAssumes] Make the ephemeral value check more precise (#160700)
The initial implementation used a very crude check where a value was
considered ephemeral if it has only one use. This is insufficient if
there are multiple assumes acting on the same value, or in more complex
cases like cyclic phis.
Generalize this to a more typical ephemeral value check, i.e. make sure
that all transitive users are in assumes, while stopping at
side-effecting instructions.
Diffstat (limited to 'llvm/tools/llvm-diff/lib')
0 files changed, 0 insertions, 0 deletions