[Bug middle-end/113439] New: [OpenMP] Add more collapse testcases mixing precisions, in particular (unsigned) int vs. _BigInt

[Bug middle-end/113439] New: [OpenMP] Add more collapse testcases mixing precisions, in particular (unsigned) int vs. _BigInt

[burnus at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113439

            Bug ID: 113439
           Summary: [OpenMP] Add more collapse testcases mixing
                    precisions, in particular (unsigned) int vs. _BigInt
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Keywords: openmp
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: burnus at gcc dot gnu.org
  Target Milestone: ---

Follow up to PR113409 and its testcase testsuite/libgomp.c/bitint-1.c

This is only about adding a testcase.

OpenMP states:

"The iterations of some number of outer associated loops can be collapsed into
one larger logical iteration space that is the collapsed iteration space. The
particular integer type used to compute the iteration count for the collapsed
loop is implementation defined, but its bit precision must be at least that of
the widest type that the implementation would use for the iteration count of
each loop if it was the only associated loop."

Thus, when collapsing two loops with an 'int' and 'long' loop variable, the
iteration-count variable must be (at least) long.

It would be good to ensure that this works fine also when mixing
  (signed/unsigned) int, long, long long, int128_t
with 
  _BigInt

in either order (int, _BigInt and _BigInt, int).