projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c8b2688) | patch
Add a verifyAnalysis to LoopInfo, LoopSimplify, and LCSSA form that verify
authorDan Gohman <gohman@apple.com>
Thu, 3 Sep 2009 16:31:42 +0000 (16:31 +0000)
committerDan Gohman <gohman@apple.com>
Thu, 3 Sep 2009 16:31:42 +0000 (16:31 +0000)
commit8fc5ad33691b2a0672a7487da1f56b6f7f675a1b
tree61eab90d9619850507fb5d69501817b1629d3201tree | snapshot
parentc8b26880fd667238d56c64c3c73ea3fc4ed35111commit | diff
Add a verifyAnalysis to LoopInfo, LoopSimplify, and LCSSA form that verify
that these passes are properly preserved.

Fix several transformation passes that claimed to preserve LoopSimplify
form but weren't.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@80926 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/Analysis/LoopInfo.h diff | blob | history
include/llvm/Transforms/Utils/BasicBlockUtils.h diff | blob | history
lib/Analysis/LoopInfo.cpp diff | blob | history
lib/Transforms/Scalar/LICM.cpp diff | blob | history
lib/Transforms/Scalar/LoopStrengthReduce.cpp diff | blob | history
lib/Transforms/Scalar/LoopUnswitch.cpp diff | blob | history
lib/Transforms/Utils/BasicBlockUtils.cpp diff | blob | history
lib/Transforms/Utils/BreakCriticalEdges.cpp diff | blob | history
lib/Transforms/Utils/LCSSA.cpp diff | blob | history
lib/Transforms/Utils/LoopSimplify.cpp diff | blob | history
C/C++ LLVM-based compilers that forbids OOTA behaviors