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).
