diff options
| author | Florian Hahn <flo@fhahn.com> | 2021-08-26 13:56:58 +0100 |
|---|---|---|
| committer | Florian Hahn <flo@fhahn.com> | 2021-08-26 16:41:40 +0100 |
| commit | 0bcfd4cbac66e6216022f51feb38236dc07e333f (patch) | |
| tree | 692dbae560a5207d927bd63ed696c5c43a889e98 /llvm/lib/Bitcode/Writer/BitcodeWriter.cpp | |
| parent | 55bdb14026ca21a2b773f749a01bf7e6f3fa7c0b (diff) | |
| download | llvm-0bcfd4cbac66e6216022f51feb38236dc07e333f.zip llvm-0bcfd4cbac66e6216022f51feb38236dc07e333f.tar.gz llvm-0bcfd4cbac66e6216022f51feb38236dc07e333f.tar.bz2 | |
[ConstraintElimination] Rewrite tests to reduce verification complexity.
This patch reduces the bitwidth of types certain tests operate and gets
rid of a number of @use(i1) calls and xor's the conditions together
instead, which eliminates all timeouts when verifying the tests.
See https://github.com/AliveToolkit/alive2/issues/744 for more details.
Diffstat (limited to 'llvm/lib/Bitcode/Writer/BitcodeWriter.cpp')
0 files changed, 0 insertions, 0 deletions