Sanjoy Das f206bf2145 [JumpThreading] Thread through guards ... Summary: This patch allows JumpThreading also thread through guards. Virtually, guard(cond) is equivalent to the following construction: if (cond) { do something } else {deoptimize} Yet it is not explicitly converted into IFs before lowering. This patch enables early threading through guards in simple cases. Currently it covers the following situation: if (cond1) { // code A } else { // code B } // code C guard(cond2) // code D If there is implication cond1 => cond2 or !cond1 => cond2, we can transform this construction into the following: if (cond1) { // code A // code C } else { // code B // code C guard(cond2) } // code D Thus, removing the guard from one of execution branches. Patch by Max Kazantsev! Reviewers: reames, apilipenko, igor-laevsky, anna, sanjoy Reviewed By: sanjoy Subscribers: llvm-commits Differential Revision: https://reviews.llvm.org/D29620 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@294617 91177308-0d34-0410-b5e6-96231b3b80d8		2017-02-09 19:40:22 +00:00
..
IPO	IR: New representation for CFI and virtual call optimization pass metadata.	2016-06-24 21:21:32 +00:00
Scalar	[PM] Defend against getting slightly wrong template arguments passed	2017-02-07 03:34:08 +00:00
Utils	[JumpThreading] Thread through guards	2017-02-09 19:40:22 +00:00
CMakeLists.txt	[PM] Separate the LoopAnalysisManager from the LoopPassManager and move	2017-01-11 09:43:56 +00:00