andjo403 wrote: I also started to add support for range attribute here but to do that I think that I need to change the result to a `std::optional<ConstantRange>` but that snowballed to a lot of changes. https://github.com/llvm/llvm-project/pull/95153