dberlin accepted this revision. dberlin added a comment. This revision is now accepted and ready to land. This looks right, but can you give an explicit paper reference in the comments of deleteedge? https://reviews.llvm.org/D35342