llvm-project

52b59b5b - [DropUnnecessaryAssumes] Make the ephemeral value check more precise (#160700)

[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.