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

Andrew Litteken via All-commits all-commits at lists.llvm.org
Mon Mar 20 07:53:37 PDT 2023

  Branch: refs/heads/main
  Home:   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

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.

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

More information about the All-commits mailing list