https://github.com/krzysz00 approved this pull request. You might want a separate file with a few tests where the index bitwidth is 64, but, that aside, approved https://github.com/llvm/llvm-project/pull/122293