Dualisation modified so that global arrays are not dualised, and group-shared

arrays are turned into 2D maps with first index type bool.  Thread 1 always
indexes into "true", while threads 2 indexes into "samegroup" (a formula which
is true iff threads 1 and 2 are in the same group).  Thus if the threads are in
different groups they operate on different shared arrays, but if they are in the
same group they operate on the same shared array.  This paves the way for
implementing support for barrier invariants.

0 files changed, 0 insertions, 0 deletions