source: CIVL/examples/translation/cuda/test.cvl@ 764d472

#include "civlc.h"
#include "stdio.h"

int main ( void ) {
        int numThreads = 2;
        $gbarrier _g = $gbarrier_create($here, numThreads);
        float cache[numThreads];

        for (int i = 0; i < numThreads; i++)
                cache[i] = i + 1;

        void f(int tid) {
                $barrier _b = $barrier_create($here, _g, tid);

                int i = numThreads / 2;
                int cacheIndex = tid;

                while (i != 0) {
                        if (cacheIndex < i)
                                cache[cacheIndex] += cache[cacheIndex + i];
                        $barrier_call(_b);
                        i /= 2;
                }
                $barrier_destroy(_b);
        }

        $proc thread[numThreads];
        for (int i = 0; i < numThreads; i++)
                thread[i] = $spawn f(i);
        for (int i = 0; i < numThreads; i++)
                $wait(thread[i]);

        int answer = cache[0];
        int total = numThreads * (numThreads + 1) / 2;
        printf("answer = %d, total = %d\n", answer, total);

        $assert(answer == total);

        $gbarrier_destroy(_g);

        return 0;
}