[LoopUnswitch] Code refactoring to separate trivial loop unswitch and non-trivial...
authorChen Li <meloli87@gmail.com>
Wed, 22 Jul 2015 05:26:29 +0000 (05:26 +0000)
committerChen Li <meloli87@gmail.com>
Wed, 22 Jul 2015 05:26:29 +0000 (05:26 +0000)
commit5015f9766b3c51a6551b9d013349b777ebdaef4c
treecaa4ff173bbced1991b853debc0980c717ccb3a0
parent9764983070bcd6c5268af5af0960a3a70cddeacd
[LoopUnswitch] Code refactoring to separate trivial loop unswitch and non-trivial loop unswitch in processCurrentLoop()

Summary: The current code in LoopUnswtich::processCurrentLoop() mixes trivial loop unswitch and non-trivial loop unswitch together. It goes over all basic blocks in the loop and checks if a condition is trivial or non-trivial unswitch condition. However, trivial unswitch condition can only occur in the loop header basic block (where it controls whether or not the loop does something at all). This refactoring separate trivial loop unswitch and non-trivial loop unswitch. Before going over all basic blocks in the loop, it checks if the loop header contains a trivial unswitch condition. If so, unswitch it. Otherwise, go over all blocks like before but don't check trivial condition any more since they are not possible to be in the other blocks. This code has no functionality change.

Reviewers: meheff, reames, broune

Subscribers: llvm-commits

Differential Revision: http://reviews.llvm.org/D11276

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@242873 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/Scalar/LoopUnswitch.cpp
test/Transforms/LoopUnswitch/LIV-loop-condtion.ll [new file with mode: 0644]