nikic wrote: > This avoids the need to have special handling at every use site. > Unfortunately this means we unnecessarily emit AssertZext in the DAG (where > we already directly understand the range of the intrinsic), andt we regress > in undefined cases as we don't fold out asserts on undef.
This is not a "real" regression though, right? As in, we'd already get that behavior for the IR clang actually generates (with range attributes on the call-sites): https://llvm.godbolt.org/z/GWcs9837a It's just that the codegen tests weren't actually specifying the attribute that clang produces? https://github.com/llvm/llvm-project/pull/136196 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
