Tweaking LLVM to exploit Assume(x)

This post started off as a comment over on Embedded in Academia.  After posting it there, I realized it might be interesting to other folks.  I think this may be the most I’ve ever said publicly about this particular side project. A while back, I took a look at improving LLVM’s ability to handle assumes. …

Continue reading ‘Tweaking LLVM to exploit Assume(x)’ »