There is currently no optimization that use the range attribute from “assume operand bundles”.
I can try to add it but maybe will be a while, I’m still working on adding handling for all the places that use the range metadata.
Also do not know how easy it is to add from what I found almost only value tracking have used “assume operand bundles” before and do not know if that is enough for the optimization that you want.