[OpenACC] Implement 'reduction' for combined constructs.

Once again, this is a clause on a combined construct that does almost
exactly what the loop/compute construct version does, only with some sl

[OpenACC] Implement 'reduction' for combined constructs.

Once again, this is a clause on a combined construct that does almost
exactly what the loop/compute construct version does, only with some sl
ightly different evaluation rules/sema rules as it doesn't have to
consider the parent, just the 'combined' construct. The two sets of
rules for reduction on loop and compute are fine together, so this
ensures they are all enforced for this too.

The 'gangs' 'num_gangs' 'reduction' diagnostic (Dim>1) had to be applied
to num_gangs as well, as it previously wasn't permissible to get in this
situation, but we now can.

show more ...

[OpenACC] 'vector' clause implementation for combined constructs

Similar to 'worker', the 'vector' clause has some rules that needed to
be applied on its argument legality that for combined construc

[OpenACC] 'vector' clause implementation for combined constructs

Similar to 'worker', the 'vector' clause has some rules that needed to
be applied on its argument legality that for combined constructs need to
look at the current construct, not the 'effective' parent construct.
Additionally, it has some interaction with `vector_length` that needed
to be encoded as well. This patch implements it.

show more ...

[OpenACC] Implement 'worker' clause for combined constructs

This is very similar to 'gang', except with fewer restrictions, and only an
interaction with 'num_workers', plus disallowing 'gang' and 'w

[OpenACC] Implement 'worker' clause for combined constructs

This is very similar to 'gang', except with fewer restrictions, and only an
interaction with 'num_workers', plus disallowing 'gang' and 'worker' in
its associated statement. This patch implements this, the same as how
'gang' implemented it.

show more ...

[OpenACC] Implement 'gang' clause for Combined Constructs

This one is a bit complicated, as it has some interesting interactions,
as 'gang' Sema is required to look at its containing compute constru

[OpenACC] Implement 'gang' clause for Combined Constructs

This one is a bit complicated, as it has some interesting interactions,
as 'gang' Sema is required to look at its containing compute construct.
Except in the case of a combined construct, they are the same. This
resulted in a large refactor of the checking code for CheckGangExpr,
plus some additional work on the diagnostics for its interaction with
'num_gangs' and 'vector'/'worker'.

show more ...

[OpenACC] Enable 3 more clauses for combined constructs.

'num_gangs', 'num_workers', and 'vector_length' are similar to
eachother, and are all the same implementation as for compute
constructs, so t

[OpenACC] Enable 3 more clauses for combined constructs.

'num_gangs', 'num_workers', and 'vector_length' are similar to
eachother, and are all the same implementation as for compute
constructs, so this patch just enables them and adds the necessary
testing to ensure they work correctly. These will get more complicated
when they get combined with 'gang', 'worker', 'vector' and 'reduction',
but those restrictions will be implemented when those clauses are
enabled.

show more ...

[OpenACC] Implement 'tile' for combined constructs

Like collapse, this clause has only mild changes that need to be made.
Most of the associated work for the RAII container was already done
previous

[OpenACC] Implement 'tile' for combined constructs

Like collapse, this clause has only mild changes that need to be made.
Most of the associated work for the RAII container was already done
previously, so this is mostly just updating the diagnostics to properly
emit the right construct.

show more ...

[OpenACC] Implement 'collapse' for combined constructs.

Most of the restrictions on 'collapse' involve the contents of the loop,
so this extends enforcement of all of that to all combined construct

[OpenACC] Implement 'collapse' for combined constructs.

Most of the restrictions on 'collapse' involve the contents of the loop,
so this extends enforcement of all of that to all combined construct
loops, and alters the diagnostics to better reflect the construct it is
associated with.

show more ...

[OpenACC] Enable copy/create clauses for combined constructs

This is the last set of 'no op' changes, and are all incredibly similar,
so they are being done together. They work the exact same for c

[OpenACC] Enable copy/create clauses for combined constructs

This is the last set of 'no op' changes, and are all incredibly similar,
so they are being done together. They work the exact same for combined
constructs as they do for compute constructs, so this adds tests and
enables them.

show more ...

[OpenACC] Expose 'no_create' clause in combined constructs

Once again, not much work besides ensuring they are supposed to work the
same.

[OpenACC] Enable 'attach' clause for combined constructs

Once again, this clause has the same implementation for compute
constructs as combined, so this adds the tests and enables it.

[OpenACC] Enable 'wait' for combined constructs

Once again a situation where the combined and compute do the exact same
thing as far as Sema/AST/etc is concerned, so this patch adds tests and
enable

[OpenACC] Enable 'wait' for combined constructs

Once again a situation where the combined and compute do the exact same
thing as far as Sema/AST/etc is concerned, so this patch adds tests and
enables it.

show more ...

[OpenACC] enable 'deviceptr' for combined constructs.

This is another clause whose implementation is identical for combined
constructs as with compute constructs, so this adds tests and enables
it.

[OpenACC] Implement 'present' for combined constructs.

This is another clause where the parsing does all the required
enforcement besides the construct it appertains to, so this patch
removes the re

[OpenACC] Implement 'present' for combined constructs.

This is another clause where the parsing does all the required
enforcement besides the construct it appertains to, so this patch
removes the restriction and adds sufficient test coverage for combined
constructs.

show more ...

[OpenACC] enable 'async' clause for combined constructs

No additional work required over what we did for other constructs, so
this is just adding the tests and enabling the clauses.

[OpenACC] Implement private/firstprivate for combined constructs

This is another pair of clauses where the work is already done from
previous constructs, so this just has to allow them and include t

[OpenACC] Implement private/firstprivate for combined constructs

This is another pair of clauses where the work is already done from
previous constructs, so this just has to allow them and include tests
for them. This patch adds testing, does a few little cleanup bits on the
clause checking, and enables these.

show more ...

[OpenACC] Implement 'default' clause for Combined Constructs

This clause takes one of two fixed values, and can apply to all three of
the combined constructs. Tests/etc are all exactly like the comp

[OpenACC] Implement 'default' clause for Combined Constructs

This clause takes one of two fixed values, and can apply to all three of
the combined constructs. Tests/etc are all exactly like the compute
constructs, so committing them all here.

show more ...

[OpenACC] Fix ast-print test that failed due to copy/paste error

[OpenACC] 'if' and 'self' clause implementation for Combined Constructs

These two are identical to how they work for compute constructs, so this
patch enables them and ensures there is sufficient te

[OpenACC] 'if' and 'self' clause implementation for Combined Constructs

These two are identical to how they work for compute constructs, so this
patch enables them and ensures there is sufficient testing.

show more ...

[OpenACC] implement 'device_type' for combined constructs

This clause is pretty small/doesn't do much semantic-analysis-wise, , other than
have two spellings and disallow certain clauses after it. H

[OpenACC] implement 'device_type' for combined constructs

This clause is pretty small/doesn't do much semantic-analysis-wise, , other than
have two spellings and disallow certain clauses after it. However, as
most of those aren't implemented yet, the diagnostic is left as a TODO.

show more ...

[OpenACC] Add ast-print test for combined constructs