<div dir="ltr">On second thought, I don't have a workaround. I had been relying on EarlyCSE + GVN to combine %channels and %channels4, which I would then replace with the constant 3. If I run my optimization before these passes then I have no way of knowing %channels4 can be replaced with the constant 3.</div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Jun 10, 2016 at 11:42 AM, Josh Klontz <span dir="ltr"><<a href="mailto:josh.klontz@gmail.com" target="_blank">josh.klontz@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">As of llvm 3.8, the early CSE pass seems to remove llvm.assume intrinsics. Is this the expected behavior?<div><br></div><div>I've attached as small-ish example of this happening in my production code.<div><br></div><div>    $ opt -early-cse before-early-cse.ll -S > after-early-cse.ll</div><div><br></div><div>Note the use of the assume intrinsic indicating that the loaded value %channels equals 3. In a later pass I replace the load instruction with the constant value. This approach worked in llvm 3.7. I can solve the issue by moving my pass before early CSE if need be.</div><div><br></div><div>v/r,</div><div>Josh</div>







</div></div>
</blockquote></div><br></div>