[llvm] [IR] Fix vector.splice verifier scaling by vscale for fixed length vectors (PR #170807)

[Nikita Popov via llvm-commits]

https://github.com/nikic approved this pull request.

LGTM, but the vscale handling also looks wrong to me. Shouldn't it be using the maximum value instead of the minimum, to detect the cases that are "definitely out of range" rather than "maybe out of range"?

https://github.com/llvm/llvm-project/pull/170807