diff options
author | Roman Lebedev <lebedev.ri@gmail.com> | 2019-09-25 19:06:40 +0000 |
---|---|---|
committer | Roman Lebedev <lebedev.ri@gmail.com> | 2019-09-25 19:06:40 +0000 |
commit | 23646952e278594e0adeba461af34e3a2ba594ab (patch) | |
tree | e0d96cadcc861bf5db763cfc764267dda7d6ab10 /libcxx/test/std/utilities/tuple/tuple.tuple/tuple.elem | |
parent | dfda7d2d90df4034cb9d28f178dbbef93a57abe0 (diff) | |
download | bcm5719-llvm-23646952e278594e0adeba461af34e3a2ba594ab.tar.gz bcm5719-llvm-23646952e278594e0adeba461af34e3a2ba594ab.zip |
[InstCombine] Fold (A - B) u>=/u< A --> B u>/u<= A iff B != 0
https://rise4fun.com/Alive/KtL
This also shows that the fold added in D67412 / r372257
was too specific, and the new fold allows those test cases
to be handled more generically, therefore i delete now-dead code.
This is yet again motivated by
D67122 "[UBSan][clang][compiler-rt] Applying non-zero offset to nullptr is undefined behaviour"
llvm-svn: 372912
Diffstat (limited to 'libcxx/test/std/utilities/tuple/tuple.tuple/tuple.elem')
0 files changed, 0 insertions, 0 deletions