https://github.com/gysit commented: Thanks for addressing the comments. Generally LGTM, but I think would make sense to add a verifier that ensures the inbounds flag never shows up on its own. https://github.com/llvm/llvm-project/pull/137272