diff options
| author | Andrew Litteken <andrew.litteken@gmail.com> | 2022-12-12 23:51:11 -0600 |
|---|---|---|
| committer | Andrew Litteken <andrew.litteken@gmail.com> | 2023-03-20 09:40:16 -0500 |
| commit | 47f528217ed82121882bcf2722c743360237c409 (patch) | |
| tree | 71678b884e5e8f6bec605f4027602d50c30502de /llvm/lib/Transforms/Utils/LoopUtils.cpp | |
| parent | 21cd04c46fe0a2bee224899f56518a09bce5306e (diff) | |
| download | llvm-47f528217ed82121882bcf2722c743360237c409.zip llvm-47f528217ed82121882bcf2722c743360237c409.tar.gz llvm-47f528217ed82121882bcf2722c743360237c409.tar.bz2 | |
[IRSim] Ensure that assignment accurately reduces potential mapping between different candidates
Previous:
When we do not make decisions about commutative operands, we can end up in a situation where two values have two potential canonical numbers between two regions. This ensures that an ordering is decided after the initial structure between two regions is determined.
Current:
Previously the outliner only checked that assignment to a value matched what was already known, this patch makes sure that it matches what has already been found, and creates a mapping between the two values where it is a one-to-one mapping.
Reviewer: paquette
Differential Revision: https://reviews.llvm.org/D139336
Diffstat (limited to 'llvm/lib/Transforms/Utils/LoopUtils.cpp')
0 files changed, 0 insertions, 0 deletions