[PATCH] D71673: [InstCombine] Improve infinite loop detection

[Mindong Chen via Phabricator via llvm-commits]

mdchen added a comment.

@kuhar  @lebedev.ri I'm lucky to have a test case which requires exactly 1001 times iteration thus aborts. And would it be better just break out rather than report a fatal error?

Test case(only stucks in our customized pipeline, paste it here in case it helps):

  int a, g;
  union b {
    long c;
  } f;
  long d, h;
  short *e;
  static short j();
  void k() {
    union b i;
    j(0, i);
  }
  short j(int l, union b m) {
    d = 0;
    for (; d <= 24; d = d + 2)
      if (m.c) {
        h = 0;
        for (; h < 59; h++) {
          *e = l > g ^ f.c;
          g = a < 0 ?: a;
        }
      }
  }
  int main() {}


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D71673/new/

https://reviews.llvm.org/D71673