diff options
author | Nikita Popov <npopov@redhat.com> | 2023-05-15 15:41:16 +0200 |
---|---|---|
committer | Nikita Popov <npopov@redhat.com> | 2023-05-15 16:48:57 +0200 |
commit | 0f1fb626b3314386d3885f328cae36b830a04901 (patch) | |
tree | 9cb25b315211fcc1903c453b3a59a0b8de33cea9 /openmp | |
parent | ba9eaf59a8a3bb0713956da3bfb3492669971a62 (diff) | |
download | llvm-0f1fb626b3314386d3885f328cae36b830a04901.tar.gz |
[KnownBitsTest] Align with ConstantRange test infrastructure (NFC)
Align the way we perform exhaustive tests for KnownBits with what
we do for ConstantRange. Test each case separately by specifying
a function on KnownBits and one on APInts. Additionally, specify
a callback that determines which cases are supposed to be optimal,
rather than only correct. Unlike the ConstantRange case there is
a well-defined, unique notion of optimality for KnownBits.
If a failure occurs, print out the inputs, computed result and
exact result. Adjust the printing function to produce the output
in a format that is meaningful for KnownBits, i.e. print the
actual known bits, using ? to signify unknowns and ! to signify
conflicts.
Diffstat (limited to 'openmp')
0 files changed, 0 insertions, 0 deletions