https://github.com/lhutton1 requested changes to this pull request. I would consider an out of bound index to be undefined behaviour which would suggest something going wrong with the way a model is constructed / calculates indices for gather/scatter https://github.com/llvm/llvm-project/pull/213242