[InstCombine] Generalise ((x1 ^ y1) | (x2 ^ y2)) == 0 transform to more than two pairs of variables

[Kmeakin]

InstCombine currently recognises ((x1 ^ y1) | (x2 ^ y2)) == 0 as an idiom for x1 == y1 && x2 == y2, but this idiom detection does not work when more than 2 pairs of variables are being compared:

This function

bool xor2(uint64_t x1, uint64_t y1, uint64_t x2, uint64_t y2) {
    return ((x1 ^ y1) | (x2 ^ y2)) == 0;
}

is simplified to

define i1 @xor2(i64 %0, i64 %1, i64 %2, i64 %3) {
  %5 = icmp eq i64 %0, %1
  %6 = icmp eq i64 %2, %3
  %7 = and i1 %5, %6
  ret i1 %7
}

But these two functions are not:

bool xor3(uint64_t x1, uint64_t y1, uint64_t x2, uint64_t y2, uint64_t x3,
          uint64_t y3) {
    return ((x1 ^ y1) | (x2 ^ y2) | (x3 ^ y3)) == 0;
}

bool xor4(uint64_t x1, uint64_t y1, uint64_t x2, uint64_t y2, uint64_t x3,
          uint64_t y3, uint64_t x4, uint64_t y4) {
    return ((x1 ^ y1) | (x2 ^ y2) | (x3 ^ y3) | (x4 ^ y4)) == 0;
}

define i1 @xor3(i64 %0, i64 %1, i64 %2, i64 %3, i64 %4, i64 %5) {
  %7 = xor i64 %1, %0
  %8 = xor i64 %3, %2
  %9 = or i64 %8, %7
  %10 = xor i64 %5, %4
  %11 = or i64 %9, %10
  %12 = icmp eq i64 %11, 0
  ret i1 %12
}

define i1 @xor4(i64 %0, i64 %1, i64 %2, i64 %3, i64 %4, i64 %5, i64 %6, i64 %7) {
  %9 = xor i64 %1, %0
  %10 = xor i64 %3, %2
  %11 = or i64 %10, %9
  %12 = xor i64 %5, %4
  %13 = or i64 %11, %12
  %14 = xor i64 %7, %6
  %15 = or i64 %13, %14
  %16 = icmp eq i64 %15, 0
  ret i1 %16
}

godbolt

[kitaisreal]

Patch for the generalization: https://reviews.llvm.org/D154306.

[kitaisreal]

Closed in da822ce.