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
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
|
! RUN: %flang_fc1 -fopenmp -fopenmp-version=50 -fdebug-dump-parse-tree %s 2>&1 | FileCheck %s
! Ensure that requires atomic_default_mem_order is used to update atomic
! operations with no explicit memory order set.
program requires
implicit none
!$omp requires atomic_default_mem_order(seq_cst)
integer :: i, j
! ----------------------------------------------------------------------------
! READ
! ----------------------------------------------------------------------------
! CHECK-LABEL: OpenMPAtomicConstruct -> OmpAtomicRead
! CHECK: OmpMemoryOrderClause -> OmpClause -> SeqCst
!$omp atomic read
i = j
! CHECK-LABEL: OpenMPAtomicConstruct -> OmpAtomicRead
! CHECK-NOT: OmpMemoryOrderClause -> OmpClause -> SeqCst
! CHECK: OmpMemoryOrderClause -> OmpClause -> Relaxed
!$omp atomic relaxed read
i = j
! CHECK-LABEL: OpenMPAtomicConstruct -> OmpAtomicRead
! CHECK-NOT: OmpMemoryOrderClause -> OmpClause -> SeqCst
! CHECK: OmpMemoryOrderClause -> OmpClause -> Relaxed
!$omp atomic read relaxed
i = j
! ----------------------------------------------------------------------------
! WRITE
! ----------------------------------------------------------------------------
! CHECK-LABEL: OpenMPAtomicConstruct -> OmpAtomicWrite
! CHECK: OmpMemoryOrderClause -> OmpClause -> SeqCst
!$omp atomic write
i = j
! CHECK-LABEL: OpenMPAtomicConstruct -> OmpAtomicWrite
! CHECK-NOT: OmpMemoryOrderClause -> OmpClause -> SeqCst
! CHECK: OmpMemoryOrderClause -> OmpClause -> Relaxed
!$omp atomic relaxed write
i = j
! CHECK-LABEL: OpenMPAtomicConstruct -> OmpAtomicWrite
! CHECK-NOT: OmpMemoryOrderClause -> OmpClause -> SeqCst
! CHECK: OmpMemoryOrderClause -> OmpClause -> Relaxed
!$omp atomic write relaxed
i = j
! ----------------------------------------------------------------------------
! UPDATE
! ----------------------------------------------------------------------------
! CHECK-LABEL: OpenMPAtomicConstruct -> OmpAtomicUpdate
! CHECK: OmpMemoryOrderClause -> OmpClause -> SeqCst
!$omp atomic update
i = i + j
! CHECK-LABEL: OpenMPAtomicConstruct -> OmpAtomicUpdate
! CHECK-NOT: OmpMemoryOrderClause -> OmpClause -> SeqCst
! CHECK: OmpMemoryOrderClause -> OmpClause -> Relaxed
!$omp atomic relaxed update
i = i + j
! CHECK-LABEL: OpenMPAtomicConstruct -> OmpAtomicUpdate
! CHECK-NOT: OmpMemoryOrderClause -> OmpClause -> SeqCst
! CHECK: OmpMemoryOrderClause -> OmpClause -> Relaxed
!$omp atomic update relaxed
i = i + j
! CHECK-LABEL: OpenMPAtomicConstruct -> OmpAtomic
! CHECK: OmpMemoryOrderClause -> OmpClause -> SeqCst
!$omp atomic
i = i + j
! CHECK-LABEL: OpenMPAtomicConstruct -> OmpAtomic
! CHECK-NOT: OmpMemoryOrderClause -> OmpClause -> SeqCst
! CHECK: OmpMemoryOrderClause -> OmpClause -> Relaxed
!$omp atomic relaxed
i = i + j
! ----------------------------------------------------------------------------
! CAPTURE
! ----------------------------------------------------------------------------
! CHECK-LABEL: OpenMPAtomicConstruct -> OmpAtomicCapture
! CHECK: OmpMemoryOrderClause -> OmpClause -> SeqCst
!$omp atomic capture
i = j
j = j + 1
!$omp end atomic
! CHECK-LABEL: OpenMPAtomicConstruct -> OmpAtomicCapture
! CHECK-NOT: OmpMemoryOrderClause -> OmpClause -> SeqCst
! CHECK: OmpMemoryOrderClause -> OmpClause -> Relaxed
!$omp atomic relaxed capture
i = j
j = j + 1
!$omp end atomic
! CHECK-LABEL: OpenMPAtomicConstruct -> OmpAtomicCapture
! CHECK-NOT: OmpMemoryOrderClause -> OmpClause -> SeqCst
! CHECK: OmpMemoryOrderClause -> OmpClause -> Relaxed
!$omp atomic capture relaxed
i = j
j = j + 1
!$omp end atomic
end program requires
|
