[Attributor][NFC] Precommit tests exposing a conceptual simplification problem
authorJohannes Doerfert <johannes@jdoerfert.de>
Wed, 21 Jul 2021 04:00:32 +0000 (23:00 -0500)
committerJohannes Doerfert <johannes@jdoerfert.de>
Thu, 22 Jul 2021 03:51:05 +0000 (22:51 -0500)
commitd6d0f913c188dbb1dd9070a93c49171ac8b86ebc
tree78c048067a215bfbaee01fa1148d1cb7e79fd3ea
parentc4b1fe05dd62c81077a14750de0b6ae3366747e2
[Attributor][NFC] Precommit tests exposing a conceptual simplification problem

Value simplification works under the implicit assumption that two SSA
values (`llvm::Value`) that are pointer equal are also equal at runtime.
This is mostly true except for values that are instantiated multiple
times. These test cases expose the problems we currently have when it
comes to recursion and multiple instances of values.
llvm/test/Transforms/Attributor/value-simplify-instances.ll [new file with mode: 0644]