https://github.com/banach-space commented: LG, thanks! It would be good to document somewhere the semantics of `vector.extract` and `vector.insert` when one of the indices is poison. That wasn't obvious to me. https://github.com/llvm/llvm-project/pull/123488