projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7aafd10) | patch
[LVI] Handle mask not equal zero conditions
authorNikita Popov <nikita.ppv@gmail.com>
Sat, 1 May 2021 20:54:51 +0000 (22:54 +0200)
committerNikita Popov <nikita.ppv@gmail.com>
Sat, 1 May 2021 21:08:49 +0000 (23:08 +0200)
commitdb9d00c5e7b02b5fe77cb8f3c7c40405c5f1222a
tree5f4a275073c90a10125f4f2889c64668a8afffcbtree | snapshot
parent7aafd104bfb8b2f676d9cb56dc176118260e5114commit | diff
[LVI] Handle mask not equal zero conditions

If V & Mask != 0, we know that at least one of the bits in Mask
must be set, so the value must be >= the lowest bit in Mask.
llvm/lib/Analysis/LazyValueInfo.cpp diff | blob | history
llvm/test/Transforms/CorrelatedValuePropagation/icmp.ll diff | blob | history
Domain: System / Toolchain;