[PATCH] D155063: [RISCV] Simplify operand logic in vmerge combine. NFCI

[Philip Reames via Phabricator via llvm-commits]

reames added a comment.

After staring at this for a while last night and not quite being able to convince myself of the correctness, I went through and split out pieces one at a time this morning - mostly as an exercise in establishing all the intermediate lemmas and justifying it to myself.  I think I've landed all the major pieces of this.  Can you do one last rebase to see if I missed anything you consider important?

p.s. Thank you for posting it.  I definitely agree that the overall result is a lot cleaner.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D155063/new/

https://reviews.llvm.org/D155063