hfinkel added a comment. In http://reviews.llvm.org/D20653#440281, @dberlin wrote: > Can we just make assume use the same machinery we are now using for control > flow dependencies rather than continued a special case it everywhere Do you mean for convergent? http://reviews.llvm.org/D20653