[PATCH] D33257: [JumpThreading] Dont RAUW condition if guards in block

[Anna Thomas via Phabricator via llvm-commits]

anna updated this revision to Diff 99448.
anna added a comment.

Replace uses of condition safely. The updated algorithm follows suggestion from Sanjoy: 
starts from the end of basic block where the condition is defined and stops 
when we reach a statement that may trap. 
Added testcases in assumes and guards to show which cases we currently capture and which we do not.
Rebased over https://reviews.llvm.org/D33279.


https://reviews.llvm.org/D33257

Files:
  include/llvm/Transforms/Utils/Local.h
  lib/Transforms/Scalar/JumpThreading.cpp
  lib/Transforms/Utils/Local.cpp
  test/Transforms/JumpThreading/assume.ll
  test/Transforms/JumpThreading/fold-not-thread.ll
  test/Transforms/JumpThreading/guards.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D33257.99448.patch
Type: text/x-patch
Size: 14933 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170518/1e2685bd/attachment.bin>