recognize 'and' of disjoint ranges

[rotateright]

Bugzilla Link	28238
Version	trunk
OS	All
CC	@manueljacob,@sanjoy

Extended Description

Spinning this off from bug 27869 (and may have a different solution than bug 28221):

int f(int i) {
  return (i == 0) & (i >> 31);
}

'i' can't be 0 and have a bit set, so this should return 0.

$ ./clang -O1 sneaky_icmp.c -S -o - -emit-llvm

define i32 @f(i32 %i) {
  %cmp = icmp eq i32 %i, 0
  %conv = zext i1 %cmp to i32
  %shr = ashr i32 %i, 31
  %and = and i32 %conv, %shr
  ret i32 %and
}

[rotateright]

This is different than what we started with in bug 27869. We don't actually have to have an icmp slt equivalent. Ie, this is '0' too:

int f(int i) {
  return (i == 0) & (i >> 1);
}

define i32 @f(i32 %i) {
  %cmp = icmp eq i32 %i, 0
  %conv = zext i1 %cmp to i32
  %shr = ashr i32 %i, 1
  %and = and i32 %conv, %shr
  ret i32 %and
}

[rotateright]

After reading this thread:
http://lists.llvm.org/pipermail/llvm-dev/2016-July/101837.html
...it might be better to handle this outside of InstSimplify.

[rotateright]

But on looking at CVP a bit closer, it seems to defer single basic block cases to InstCombine.

To make it even simpler, we don't handle this:

int foo(int i) {
  return (i == 0) & i;
}

GCC seems to have lost that optimization in v6.1; it worked in earlier revs. ICC doesn't have it either.