[PATCH] D33279: [JumpThreading] Dont RAUW condition incorrectly

[Anna Thomas via Phabricator via llvm-commits]

anna created this revision.

We have a bug when RAUWing the condition if experimental.guard or assumes is a use of that
condition. This is because LazyValueInfo may have used the guards/assumes to identify the
value of the condition. We cannot use circular logic and apply the value back to
the guard/assume and change
the behaviour of the guard/assume.
For now, disable RAUW for conditions and fix the logic as a next
step: https://reviews.llvm.org/D33257


https://reviews.llvm.org/D33279

Files:
  lib/Transforms/Scalar/JumpThreading.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: D33279.99299.patch
Type: text/x-patch
Size: 6265 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170517/39f7d651/attachment.bin>