lukel97 wrote: > Hm, interesting innovation, but I think it could lead to confusion due to the existing design of PatternMatch? It's not an innovation, its copied over from `m_Value(Value *&V, const Pattern &P)` in PatternMatch.h https://github.com/llvm/llvm-project/pull/213219