[PATCH] D47683: [PM/LoopUnswitch] Teach the new unswitch to handle nontrivial unswitching of switches.

[Fedor Sergeev via Phabricator via llvm-commits]

fedor.sergeev added a comment.

Not sure where to put this into... but I ran an experiment by adding -passes=loop(unswitch) to the LoopUnswitch tests and here is the result
with the build of all the three dependent fixes:
Failing Tests (11):

    LLVM :: Transforms/LoopUnswitch/2011-11-18-TwoSwitches.ll
    LLVM :: Transforms/LoopUnswitch/basictest.ll
    LLVM :: Transforms/LoopUnswitch/copy-metadata.ll
    LLVM :: Transforms/LoopUnswitch/elseif-non-exponential-behavior.ll
    LLVM :: Transforms/LoopUnswitch/guards.ll
    LLVM :: Transforms/LoopUnswitch/infinite-loop.ll
    LLVM :: Transforms/LoopUnswitch/msan.ll
    LLVM :: Transforms/LoopUnswitch/simplify-with-nonvalness.ll
    LLVM :: Transforms/LoopUnswitch/trivial-unswitch.ll
    LLVM :: Transforms/LoopUnswitch/unswitch-equality-undef.ll
    LLVM :: Transforms/LoopUnswitch/unswitch-select.ll
  
  Expected Passes    : 30
  Unsupported Tests  : 1
  Unexpected Failures: 11

------------

Some tests involve selects and guards, which I gather are not yet supported, some involve multiple unswitches over the same loop etc.
IMO it makes sense to go through these results and see if there are any surprises there.
I can submit a diff (and/or log of the run) if needed.


Repository:
  rL LLVM

https://reviews.llvm.org/D47683