[PATCH] D45066: [Polly] [ScopInfo] Remove bail out condition in buildMinMaxAccess()

[SAHIL GIRISH YERAWAR via Phabricator via llvm-commits]

cs15btech11044 added a comment.

List of failing regression tests:

  Failing Tests (13):
      Polly :: Isl/Ast/aliasing_parametric_simple_2.ll
      Polly :: Isl/CodeGen/OpenMP/recomputed-srem.ll
      Polly :: Isl/CodeGen/alias-check-multi-dim.ll
      Polly :: Isl/CodeGen/aliasing_parametric_simple_2.ll
      Polly :: Isl/CodeGen/exprModDiv.ll
      Polly :: Isl/CodeGen/scev_expansion_in_nonaffine.ll
      Polly :: Isl/CodeGen/test-invalid-operands-for-select-2.ll
      Polly :: Isl/CodeGen/test-invalid-operands-for-select.ll
      Polly :: ScopInfo/aliasing_many_parameters_not_all_involved.ll
      Polly :: ScopInfo/invariant_load_zext_parameter-2.ll
      Polly :: ScopInfo/long-compile-time-alias-analysis.ll
      Polly :: ScopInfo/run-time-check-many-array-disjuncts.ll
      Polly :: ScopInfo/run-time-check-many-parameters.ll
  
    Expected Passes    : 1030
    Expected Failures  : 13
    Unsupported Tests  : 73
    Unexpected Failures: 13

Each of these test cases fail at one single point:

  assert(MaxPMA.dim(isl::dim::out) && "Assumed at least one output dimension");

in ScopInfo.cpp:2345


Repository:
  rPLO Polly

https://reviews.llvm.org/D45066