[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)
commit0290a77aa8609a99ba613efef40ec1626aec362d
tree1b5198c32d9867b09676ec6eb896f98fa8fc33f6
parent40fa52b1749a6286331e993177043fc51812f8a1
[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

llvm-svn: 361707
llvm/lib/Transforms/Utils/SimplifyCFG.cpp
llvm/test/Analysis/ValueTracking/select-pattern.ll
llvm/test/Transforms/CallSiteSplitting/split-loop.ll
llvm/test/Transforms/LoopVectorize/if-pred-stores.ll
llvm/test/Transforms/SimplifyCFG/PR30210.ll
llvm/test/Transforms/SimplifyCFG/UnreachableEliminate.ll
llvm/test/Transforms/SimplifyCFG/unreachable_assume.ll