joker-eph wrote: > , I'm more thinking that running a value bounds analysis in -canonicalize is a bit dubious, Thanks for clarifying, I don't know the cost of it, but I agree it's edgy to bring a complex analysis there. https://github.com/llvm/llvm-project/pull/129270