davide requested changes to this revision. davide added a comment. This revision now requires changes to proceed. Please add a test exercising this codepath (you can take inspiration from the ones in GVN or LV) https://reviews.llvm.org/D35608