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

[Anna Thomas via Phabricator via llvm-commits]

anna marked an inline comment as done.
anna added a comment.

While working on the actual fix for this, I realized the test comments for assumes need to be updated. 
Specifically, the semantics for  `assume` according to langref:

  The intrinsic allows the optimizer to assume that the provided condition is always true whenever the control flow reaches the intrinsic call. 

So, we *can* fold the assume and uses after the assume. What we cannot fold are uses *before* the assume.


https://reviews.llvm.org/D33279