projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c73df56) | patch
[NFC][CVP] Add tests for possible sdiv->udiv where operands are not non-negative
authorRoman Lebedev <lebedev.ri@gmail.com>
Sat, 18 Jul 2020 14:30:42 +0000 (17:30 +0300)
committerRoman Lebedev <lebedev.ri@gmail.com>
Sat, 18 Jul 2020 14:59:31 +0000 (17:59 +0300)
commit7b16fd8a2514287765cdcdb09b9059d5d9a2933a
treefb0b892526c54be44e561cc6cc1f0253702b0000tree | snapshot
parentc73df5696696327a15af2f05b30923cd66361ddccommit | diff
[NFC][CVP] Add tests for possible sdiv->udiv where operands are not non-negative

Currently that fold requires both operands to be non-negative,
but the only real requirement for the fold is that we must know
the domains of the operands.
llvm/test/Transforms/CorrelatedValuePropagation/sdiv.ll diff | blob | history
Domain: System / Toolchain;