krzysz00 wrote: (I'm also approving because, last I checked, all the places that look for `!range` in the LLVM frontend , like ValueTracking, know to look for the attribute as well) https://github.com/llvm/llvm-project/pull/94853