https://github.com/nikic requested changes to this pull request. For vectors, the width of KnownBits should be the same as the width in the range metadata: Both are element-wise. https://github.com/llvm/llvm-project/pull/128908