1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
// Check that omp atomic compare handles signedness of integer comparisons
// correctly.
//
// At one time, a bug sometimes reversed the signedness.
// RUN: %libomptarget-compile-generic
// RUN: %libomptarget-run-generic | %fcheck-generic
// RUN: %libomptarget-compileopt-generic -fopenmp-version=51
// RUN: %libomptarget-run-generic | %fcheck-generic
// High parallelism increases our chances of detecting a lack of atomicity.
#define NUM_THREADS_TRY 256
#include <limits.h>
#include <omp.h>
#include <stdio.h>
int main() {
// CHECK: signed: num_threads=[[#NUM_THREADS:]]{{$}}
// CHECK-NEXT: signed: xs=[[#NUM_THREADS-1]]{{$}}
int xs = -1;
int numThreads;
#pragma omp target parallel for num_threads(NUM_THREADS_TRY) \
map(tofrom : xs, numThreads)
for (int i = 0; i < omp_get_num_threads(); ++i) {
#pragma omp atomic compare
if (xs < i) {
xs = i;
}
if (i == 0)
numThreads = omp_get_num_threads();
}
printf("signed: num_threads=%d\n", numThreads);
printf("signed: xs=%d\n", xs);
// CHECK-NEXT: unsigned: xu=0x0{{$}}
unsigned xu = UINT_MAX;
#pragma omp target parallel for num_threads(NUM_THREADS_TRY) map(tofrom : xu)
for (int i = 0; i < omp_get_num_threads(); ++i) {
#pragma omp atomic compare
if (xu > i) {
xu = i;
}
}
printf("unsigned: xu=0x%x\n", xu);
return 0;
}
|
