[llvm] [SDAG] Don't transfer !range metadata without noundef to SDAG (PR #95153)
Nikita Popov via llvm-commits
llvm-commits at lists.llvm.org
Wed Jun 12 08:44:47 PDT 2024
nikic wrote:
I don't agree here. It "exists" as in is still valid IR, but all the important producers have already been migrated, so I don't see a point in supporting it in an optimization *now*. If this were a matter of correctness, it would be a different matter of course.
> But when I started to change to attributes for noundef tests started to fail due to this was missing.
>
> So was thinking that this was a first step to have noundef and range return attribute support.
To be clear, what I would like to see is added support for the range + noundef attribute combination. It's the mix of attributes and metadata that I don't think we need/should support.
https://github.com/llvm/llvm-project/pull/95153
More information about the llvm-commits
mailing list