HomePhabricator

[Attributor][NFC] Precommit tests exposing a conceptual simplification problem

Authored by jdoerfert on Tue, Jul 20, 9:00 PM.

Description

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

Details

Committed
jdoerfertWed, Jul 21, 8:51 PM
Parents
rGc4b1fe05dd62: [OpenMP][FIX] Use name + type checks not only name checks for calls
Branches
Unknown
Tags
Unknown