tree eee267d100ded0738832dd2939eeda7703b31568
parent 545f001d1b9a7b58a68d75e70bfc36c841de8999
author Huihui Zhang <huihuiz@quicinc.com> 1561421350 +0000
committer Huihui Zhang <huihuiz@quicinc.com> 1561421350 +0000

[InstCombine] Fold  icmp eq/ne (and %x, C), 0 iff (-C) is power of two -> %x u</u>= (-C)  earlier.

Summary:
To generate simplified IR, make sure fold
  (X & ~C) ==/!= 0 --> X u</u>= C+1

is scheduled before fold
  ((X << Y) & C) == 0 -> (X & (C >> Y)) == 0.

https://rise4fun.com/Alive/7ZN

Reviewers: lebedev.ri, efriedma, spatel, craig.topper

Reviewed By: lebedev.ri

Subscribers: hiraditya, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D63505

llvm-svn: 364255