[all-commits] [llvm/llvm-project] e8f4e4: [IRSim][IROutliner] Add support for outlining PHIN...

[Andrew Litteken via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: e8f4e41b6bf4627eb075eb7cad88246af5d6777e
      https://github.com/llvm/llvm-project/commit/e8f4e41b6bf4627eb075eb7cad88246af5d6777e
  Author: Andrew Litteken <andrew.litteken at gmail.com>
  Date:   2022-01-25 (Tue, 25 Jan 2022)

  Changed paths:
    M llvm/include/llvm/Analysis/IRSimilarityIdentifier.h
    M llvm/include/llvm/Transforms/IPO/IROutliner.h
    M llvm/lib/Analysis/IRSimilarityIdentifier.cpp
    M llvm/lib/Transforms/IPO/IROutliner.cpp
    A llvm/test/Transforms/IROutliner/included-phi-nodes-begin.ll
    A llvm/test/Transforms/IROutliner/included-phi-nodes-end.ll
    A llvm/test/Transforms/IROutliner/must-capture-all-phi-nodes-begin.ll
    A llvm/test/Transforms/IROutliner/must-capture-all-phi-nodes-end.ll
    M llvm/test/Transforms/IROutliner/outlining-branches-phi-nodes.ll
    M llvm/test/Transforms/IROutliner/outlining-exits-to-phi-node.ll
    A llvm/test/Transforms/IROutliner/phi-nodes-non-constant.ll
    A llvm/test/Transforms/IROutliner/phi-nodes-simple.ll
    M llvm/test/Transforms/IROutliner/region-inputs-in-phi-nodes.ll
    M llvm/unittests/Analysis/IRSimilarityIdentifierTest.cpp

  Log Message:
  -----------
  [IRSim][IROutliner] Add support for outlining PHINodes with the rest of the region.

We use the same similarity scheme we used for branch instructions for phi nodes, and allow them to be outlined. There is not a lot of special handling needed for these phi nodes when outlining, as they simply act as outputs. The code extractor does not currently allow for non entry blocks within the extracted region to have predecessors, so there are not conflicts to handle with respect to predecessors no longer contained in the function.

Recommit of 515eec3553b02533e9a88ee84bc245d5415163da

Reviewers: paquette

Differential Revision: https://reviews.llvm.org/D106997