git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@139263
91177308-0d34-0410-b5e6-
96231b3b80d8
probably best to do this in the code generator.
//===---------------------------------------------------------------------===//
+
+unsigned foo(unsigned x, unsigned y) { return (x & y) == 0 || x == 0; }
+should fold to (x & y) == 0.
+
+//===---------------------------------------------------------------------===//
+
+unsigned foo(unsigned x, unsigned y) { return x > y && x != 0; }
+should fold to x > y.
+
+//===---------------------------------------------------------------------===//