https://github.com/nikic approved this pull request. LGTM We should probably reconsider the semantics of these shufflevector queries, they are a big footgun, and I don't think the relaxed semantics are actually useful. https://github.com/llvm/llvm-project/pull/205747