<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/86749>86749</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            [OpenMP] a newly added loop collapse test fails the correctness check
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          vadikp-intel
      </td>
    </tr>
</table>

<pre>
    openmp/runtime/test/worksharing/for/collapse_many_int.c currently fails (has been marked for expected failure)

the check tests to see if OpenMP executed iterations of the  following loop match its scalar execution 
  for (i = iLB; i <= iUB; i += iStep) 
    for (j = i * jA1 + jA0; j <= i * jB1 + jB0; j += jStep)                   
      for (k = j * kA1 + kA0; k <= j * kB1 + kB0; k += kStep)

when built with -DVERBOSE and run it will produce the following output:
| Trying iLB=-2; iUB=3; jA0=-7; jA1=-1; jB0=5; jB1=0; kA0=-13; kA1=-2; kB0=37; kB1=-1; iStep=1; jStep=4; kStep=2;
| OpenMP FAILURE: Openmp processed fewer iterations: 540 vs 542
| OpenMP FAILURE: (0 5 31) not processed
| OpenMP FAILURE: (1 4 33) not processed

apparently, for the case above OpenMP may be missing iterations: i=0; j=5; k=31 and i=1; j=4; k=33

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyEVNGuozYQ_RrnZZQrsOGSPPCQXC5Spa222u32dWXMJDgYG9nmZvP3lW2SbFW1mwfiYXzOmTk2w52TZ41Yk_JIymbDFz8YW3_wXo7zVmqPatOZ_labGfU0E9raRXs5IaGtR-cJba_Gjm7gVuozoe3JWEJbYZTis8PvE9e371L7FwFisRa1Vzc4cakcELobuIMOUcPE7Yg9nIwF_DGj8CHgUi0WCd2TrCHZIT39gCAGFCMEeQfegEMEeYLPM-rf_wD8gWIJeOnRci-NdmBOEHBwMkqZq9RnUMbMMHEvBpDegRNccbtipdGQxCBWROhOAmENyE9Hwo4QgrcYf7vH9Bjjrx5nQvcP9AN_SXgg9ACXQx4AcDlkAX15sKXscc0e79nEfblz__v3VHvojVHvEhnHVW9MeuNdb82ueuPxnk1646r3s_fXATV0i1QertIPsG3-ev9y_Pz1HbjuwS4aZMgoBbM1_SIwuv403Sx-XjxhKx2p3uBPewuZ6GyzpdHO4GrDYveh5GZbpXUe1nlch2KbMi3D61R72p2zFOQPxthbw6q0ftKk82JN4lyDIu5agwB_FrvesPbw26dvX94JO8Q30xzaFehcuLR4RfvT1QubyiKDDwdlQf-PitBdBiWwPByyNv5J-gtUDgUw9l-o-OTzzNO3R-hbvCPxM-IOgXfmA-_EE79BhzBJ5-Kp_KMNeff5cvd-DK7m8fDlw8aHhSHJkv6mr1m_Z3u-wTqv8rzYvxYl3Qz1K-s61ovqxKpKZFXJRN7t890uY3nOctFtZE0zWmSMvlJWZCV96asd7woq-ky8Ft1JkCLDiUv1otTH9GLseSOdW7DevVbFfqN4h8rF4UapxivEJKE0zDpbB8y2W86OFJmSzrsni5dexamYrCFlAxw0XtUNeN9jnybIfc7FYbTOtWitsRaF1-hcmlabxap68H4OVhLaEtqepR-W7kWYidA26K5_29maC4owWmO1jtA2dvN3AAAA__8G-aym">