https://github.com/vitalybuka requested changes to this pull request. the code LGTM, but llvm-project/llvm/test/Instrumentation/BoundsChecking/ test is needed Maybe just extend llvm-project/llvm/test/Instrumentation/BoundsChecking/simple.ll https://github.com/llvm/llvm-project/pull/65972