[InstCombine] New opportunities for FoldAndOfICmp and FoldXorOfICmp
authorEhsan Amiri <amehsan@ca.ibm.com>
Thu, 15 Dec 2016 12:25:13 +0000 (12:25 +0000)
committerEhsan Amiri <amehsan@ca.ibm.com>
Thu, 15 Dec 2016 12:25:13 +0000 (12:25 +0000)
commit795b0671c5fd3c064f9502d388e5f40a196b9d56
tree3919e2c326458cea442b821277c0034fe1764270
parent3da2619b6f2827de20b2a727e06455fb4ee9c3fc
[InstCombine] New opportunities for FoldAndOfICmp and FoldXorOfICmp

A number of new patterns for simplifying and/xor of icmp:

(icmp ne %x, 0) ^ (icmp ne %y, 0) => icmp ne %x, %y if the following is true:
1- (%x = and %a, %mask) and (%y = and %b, %mask)
2- %mask is a power of 2.

(icmp eq %x, 0) & (icmp ne %y, 0) => icmp ult %x, %y if the following is true:
1- (%x = and %a, %mask1) and (%y = and %b, %mask2)
2- Let %t be the smallest power of 2 where %mask1 & %t != 0. Then for any
   %s that is a power of 2 and %s & %mask2 != 0, we must have %s <= %t.
For example if %mask1 = 24 and %mask2 = 16, setting %s = 16 and %t = 8
violates condition (2) above. So this optimization cannot be applied.

llvm-svn: 289813
llvm/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp
llvm/lib/Transforms/InstCombine/InstCombineInternal.h
llvm/test/Transforms/InstCombine/and-or-icmps.ll