]> granicus.if.org Git - llvm/commit
[SimplifyCFG] Added condition assumption for unreachable blocks
authorDavid Bolvansky <david.bolvansky@gmail.com>
Sat, 25 May 2019 22:34:27 +0000 (22:34 +0000)
committerDavid Bolvansky <david.bolvansky@gmail.com>
Sat, 25 May 2019 22:34:27 +0000 (22:34 +0000)
commit92ce94fff3978cb5f48d14f2e0ac4fe0035ea7c5
treea9d144cca4b9898f92e0b9d30b705a30e97264e6
parenta9e06432b7e9e0e6bc9e6c2f8614ee672e2001b4
[SimplifyCFG] Added condition assumption for unreachable blocks

Summary: PR41688

Reviewers: spatel, efriedma, craig.topper, hfinkel, reames

Reviewed By: hfinkel

Subscribers: javed.absar, dmgreen, fhahn, hfinkel, reames, nikic, lebedev.ri, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D61409

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@361707 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/Utils/SimplifyCFG.cpp
test/Analysis/ValueTracking/select-pattern.ll
test/Transforms/CallSiteSplitting/split-loop.ll
test/Transforms/LoopVectorize/if-pred-stores.ll
test/Transforms/SimplifyCFG/PR30210.ll
test/Transforms/SimplifyCFG/UnreachableEliminate.ll
test/Transforms/SimplifyCFG/unreachable_assume.ll