Enable the new LoopInfo algorithm by default.
authorAndrew Trick <atrick@apple.com>
Tue, 26 Jun 2012 04:11:38 +0000 (04:11 +0000)
committerAndrew Trick <atrick@apple.com>
Tue, 26 Jun 2012 04:11:38 +0000 (04:11 +0000)
commitc9b1e25493b393013b28e5d457f2fb2845a4dd9f
treec1193bd83841e829e703beeb00c1fe6415de5f05
parent5ac3f96c0e4a1f6b8253aabf74fe30b0439e9bdf
Enable the new LoopInfo algorithm by default.

The primary advantage is that loop optimizations will be applied in a
stable order. This helps debugging and unit test creation. It is also
a better overall implementation without pathologically bad performance
on deep functions.

On large functions (llvm-stress --size=200000 | opt -loops)
Before: 0.1263s
After:  0.0225s

On deep functions (after tweaking llvm-stress, thanks Nadav):
Before: 0.2281s
After:  0.0227s

See r158790 for more comments.

The loop tree is now consistently generated in forward order, but loop
passes are applied in reverse order over the program. If we have a
loop optimization that prefers forward order, that can easily be
achieved by adding a different type of LoopPassManager.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159183 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/Analysis/LoopInfo.h
include/llvm/Analysis/LoopInfoImpl.h
lib/Analysis/LoopInfo.cpp
lib/Analysis/LoopPass.cpp
lib/CodeGen/MachineLoopInfo.cpp
test/CodeGen/X86/multiple-loop-post-inc.ll
test/Transforms/LCSSA/unused-phis.ll
test/Transforms/LoopUnswitch/2011-11-18-SimpleSwitch.ll
test/Transforms/LoopUnswitch/2011-11-18-TwoSwitches-Threshold.ll
test/Transforms/LoopUnswitch/2011-11-18-TwoSwitches.ll