[all-commits] [llvm/llvm-project] 47f528: [IRSim] Ensure that assignment accurately reduces ...

[Andrew Litteken via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 47f528217ed82121882bcf2722c743360237c409
      https://github.com/llvm/llvm-project/commit/47f528217ed82121882bcf2722c743360237c409
  Author: Andrew Litteken <andrew.litteken at gmail.com>
  Date:   2023-03-20 (Mon, 20 Mar 2023)

  Changed paths:
    M llvm/include/llvm/Analysis/IRSimilarityIdentifier.h
    M llvm/lib/Analysis/IRSimilarityIdentifier.cpp
    A llvm/test/Transforms/IROutliner/outlining-larger-size-commutative.ll

  Log Message:
  -----------
  [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