farzonl wrote: @efriedma-quic are you happy with the constraint intrinsic side of things? Also @topperc thank you for the lgtm, could you also click the aprove button? https://github.com/llvm/llvm-project/pull/96222