Add a parameter to ConstantFoldTerminator() that callers can use to ask it to also...
authorFrits van Bommel <fvbommel@gmail.com>
Sun, 22 May 2011 16:24:18 +0000 (16:24 +0000)
committerFrits van Bommel <fvbommel@gmail.com>
Sun, 22 May 2011 16:24:18 +0000 (16:24 +0000)
commit5649ba70fb39f2fda4791d255ae8bb373071874f
tree304070a251ebb6a6f0d5369ca76818a110e3265f
parent8480aba5ec7438570cd090abcf3f6f52dd15352e
Add a parameter to ConstantFoldTerminator() that callers can use to ask it to also clean up the condition of any conditional terminator it folds to be unconditional, if that turns the condition into dead code. This just means it calls RecursivelyDeleteTriviallyDeadInstructions() in strategic spots. It defaults to the old behavior.

I also changed -simplifycfg, -jump-threading and -codegenprepare to use this to produce slightly better code without any extra cleanup passes (AFAICT this was the only place in -simplifycfg where now-dead conditions of replaced terminators weren't being cleaned up). The only other user of this function is -sccp, but I didn't read that thoroughly enough to figure out whether it might be holding pointers to instructions that could be deleted by this.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@131855 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/Transforms/Utils/Local.h
lib/Transforms/Scalar/CodeGenPrepare.cpp
lib/Transforms/Scalar/JumpThreading.cpp
lib/Transforms/Scalar/SimplifyCFGPass.cpp
lib/Transforms/Utils/Local.cpp
lib/Transforms/Utils/SimplifyCFG.cpp
test/Transforms/SimplifyCFG/dce-cond-after-folding-terminator.ll [new file with mode: 0644]