[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