[all-commits] [llvm/llvm-project] 0c4bbd: [IRSim] Make sure the first instruction of a block...

[Andrew Litteken via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 0c4bbd293e6676cf7c45b95ad0890e0c1e423c3d
      https://github.com/llvm/llvm-project/commit/0c4bbd293e6676cf7c45b95ad0890e0c1e423c3d
  Author: Andrew Litteken <andrew.litteken at gmail.com>
  Date:   2022-03-13 (Sun, 13 Mar 2022)

  Changed paths:
    M llvm/lib/Analysis/IRSimilarityIdentifier.cpp
    M llvm/test/Transforms/IROutliner/outlining-basic-branches.ll
    A llvm/test/Transforms/IROutliner/outlining-first-instruction.ll
    M llvm/test/Transforms/IROutliner/outlining-no-return-functions.ll
    M llvm/test/Transforms/IROutliner/phi-nodes-simple.ll
    M llvm/unittests/Analysis/IRSimilarityIdentifierTest.cpp

  Log Message:
  -----------
  [IRSim] Make sure the first instruction of a block doesn't get missed if it is the first valid instruction in Module.

If an instruction is first legal instruction in the module, and is the only legal instruction in its basic block, it will be ignored by the outliner due to a length check inherited from the older version of the outliner that was restricted to outlining within a single basic block. This removes that check, and updates any tests that broke because of it.

Reviewer: paquette

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