[NFC][InstCombine] Fine-tune 'check for [no] signed truncation' tests
authorRoman Lebedev <lebedev.ri@gmail.com>
Mon, 16 Jul 2018 20:10:46 +0000 (20:10 +0000)
committerRoman Lebedev <lebedev.ri@gmail.com>
Mon, 16 Jul 2018 20:10:46 +0000 (20:10 +0000)
commit5da636fb90f170c9549efdb34a83e286056f1147
tree2f6a45baaa60470faef00c194a5c4d5d50c1d60f
parentc52f01d1d7783a8ab8cf70de8d530b3d4aa97822
[NFC][InstCombine] Fine-tune 'check for [no] signed truncation' tests

We are using i8 for these tests, and shifting by 4,
which is exactly the half of i8.

But as it is seen from the proofs https://rise4fun.com/Alive/mgu
KeptBits = bitwidth(%x) - MaskedBits,
so with using shifts by 4, we are not really testing that
we actually properly handle the other cases with shifts not by half...

llvm-svn: 337208
llvm/test/Transforms/InstCombine/canonicalize-lack-of-signed-truncation-check.ll
llvm/test/Transforms/InstCombine/canonicalize-signed-truncation-check.ll