[llvm] [LVI] Generalize mask not equal conditions handling (PR #92946)

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Wed May 22 10:31:11 PDT 2024


https://github.com/nikic requested changes to this pull request.

I'm pretty sure this is wrong. You can only simply invert the range if it is an *exact* one.

If you take a satisfying range for pred, then the inverse is an allowed range for !pred, not a satisfying range.

https://github.com/llvm/llvm-project/pull/92946


More information about the llvm-commits mailing list