[ConstantRange] Support checking optimality for subset of inputs (NFC)
authorNikita Popov <nikita.ppv@gmail.com>
Fri, 15 Oct 2021 20:44:52 +0000 (22:44 +0200)
committerNikita Popov <nikita.ppv@gmail.com>
Fri, 15 Oct 2021 20:48:07 +0000 (22:48 +0200)
commit9eb8040a28b90c3d7ec8f2cae593f1b3509ce2de
tree53369c38b7ca1101bbd4567b6deae63e8a46a79c
parent53fc5100e07ac078782ffb4e8e2b627c3cc8d046
[ConstantRange] Support checking optimality for subset of inputs (NFC)

We always want to check correctness, but for some operations we
can only guarantee optimality for a subset of inputs. Accept an
additional predicate that determines whether optimality for a
given pair of ranges should be checked.
llvm/unittests/IR/ConstantRangeTest.cpp