diff options
author | Roman Lebedev <lebedev.ri@gmail.com> | 2018-08-08 13:31:19 +0000 |
---|---|---|
committer | Roman Lebedev <lebedev.ri@gmail.com> | 2018-08-08 13:31:19 +0000 |
commit | a677651a5a91a6d7ddfb5d168d92c9e7b7ff9755 (patch) | |
tree | 0205a6df42ea0fb4923fff7bce7388d6b5761ad9 /clang/docs/analyzer | |
parent | f8c394f0f5d7be43a4d9ab1d384da9112de57cb2 (diff) | |
download | bcm5719-llvm-a677651a5a91a6d7ddfb5d168d92c9e7b7ff9755.tar.gz bcm5719-llvm-a677651a5a91a6d7ddfb5d168d92c9e7b7ff9755.zip |
[InstCombine] De Morgan: sink 'not' into 'xor' (PR38446)
Summary:
https://rise4fun.com/Alive/IT3
Comes up in the [most ugliest] `signed int` -> `signed char` case of
`-fsanitize=implicit-conversion` (https://reviews.llvm.org/D50250)
Previously, we were stuck with `not`: {F6867736}
But now we are able to completely get rid of it: {F6867737}
(FIXME: why are we loosing the metadata? that seems wrong/strange.)
Here, we only want to do that it we will be able to completely
get rid of that 'not'.
Reviewers: spatel, craig.topper
Reviewed By: spatel
Subscribers: vsk, erichkeane, llvm-commits
Differential Revision: https://reviews.llvm.org/D50301
llvm-svn: 339243
Diffstat (limited to 'clang/docs/analyzer')
0 files changed, 0 insertions, 0 deletions