https://github.com/vzakhari commented: I do not have any comments on top of what Jean's already said. Sebastian, can you please point to the definition/implementation of LLVM's `llvm.array.bounds` metadata? https://github.com/llvm/llvm-project/pull/178811