Skip to content

Commit f5be42a

Browse files
ronliebronlieb
authored
Revert "Remove OpenACC tests (llvm#189)" (llvm#195)
This reverts commit b29b413.
1 parent 672bfad commit f5be42a

File tree

86 files changed

+12352
-3
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

86 files changed

+12352
-3
lines changed

‎flang/test/Lower/OpenACC/acc-atomic-capture.f90‎

Lines changed: 219 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,219 @@
1+
! RUN: %flang_fc1 -I nowhere -emit-hlfir -fopenacc %s -o - | FileCheck %s
2+
3+
! This test checks the lowering of atomic capture
4+
5+
program acc_atomic_capture_test
6+
integer :: x, y
7+
8+
!CHECK: %[[X:.*]] = fir.alloca i32 {bindc_name = "x", uniq_name = "_QFEx"}
9+
!CHECK: %[[X_DECL:.*]]:2 = hlfir.declare %0 {uniq_name = "_QFEx"} : (!fir.ref<i32>) -> (!fir.ref<i32>, !fir.ref<i32>)
10+
!CHECK: %[[Y:.*]] = fir.alloca i32 {bindc_name = "y", uniq_name = "_QFEy"}
11+
!CHECK: %[[Y_DECL:.*]]:2 = hlfir.declare %2 {uniq_name = "_QFEy"} : (!fir.ref<i32>) -> (!fir.ref<i32>, !fir.ref<i32>)
12+
!CHECK: %[[temp:.*]] = fir.load %[[X_DECL]]#0 : !fir.ref<i32>
13+
!CHECK: acc.atomic.capture {
14+
!CHECK: acc.atomic.read %[[X_DECL]]#1 = %[[Y_DECL]]#1 : !fir.ref<i32>
15+
!CHECK: acc.atomic.update %[[Y_DECL]]#1 : !fir.ref<i32> {
16+
!CHECK: ^bb0(%[[ARG:.*]]: i32):
17+
!CHECK: %[[result:.*]] = arith.addi %[[temp]], %[[ARG]] : i32
18+
!CHECK: acc.yield %[[result]] : i32
19+
!CHECK: }
20+
!CHECK: }
21+
22+
!$acc atomic capture
23+
x = y
24+
y = x + y
25+
!$acc end atomic
26+
27+
28+
!CHECK: %[[temp:.*]] = fir.load %[[X_DECL]]#0 : !fir.ref<i32>
29+
!CHECK: acc.atomic.capture {
30+
!CHECK: acc.atomic.update %[[Y_DECL]]#1 : !fir.ref<i32> {
31+
!CHECK: ^bb0(%[[ARG:.*]]: i32):
32+
!CHECK: %[[result:.*]] = arith.muli %[[temp]], %[[ARG]] : i32
33+
!CHECK: acc.yield %[[result]] : i32
34+
!CHECK: }
35+
!CHECK: acc.atomic.read %[[X_DECL]]#1 = %[[Y_DECL]]#1 : !fir.ref<i32>
36+
!CHECK: }
37+
38+
!$acc atomic capture
39+
y = x * y
40+
x = y
41+
!$acc end atomic
42+
43+
!CHECK: %[[constant_20:.*]] = arith.constant 20 : i32
44+
!CHECK: %[[constant_8:.*]] = arith.constant 8 : i32
45+
!CHECK: %[[temp:.*]] = fir.load %[[X_DECL]]#0 : !fir.ref<i32>
46+
!CHECK: %[[result:.*]] = arith.subi %[[constant_8]], %[[temp]] : i32
47+
!CHECK: %[[result_noreassoc:.*]] = hlfir.no_reassoc %[[result]] : i32
48+
!CHECK: %[[result:.*]] = arith.addi %[[constant_20]], %[[result_noreassoc]] : i32
49+
!CHECK: acc.atomic.capture {
50+
!CHECK: acc.atomic.read %[[X_DECL]]#1 = %[[Y_DECL]]#1 : !fir.ref<i32>
51+
!CHECK: acc.atomic.write %[[Y_DECL]]#1 = %[[result]] : !fir.ref<i32>, i32
52+
!CHECK: }
53+
54+
!$acc atomic capture
55+
x = y
56+
y = 2 * 10 + (8 - x)
57+
!$acc end atomic
58+
end program
59+
60+
61+
62+
subroutine pointers_in_atomic_capture()
63+
!CHECK: %[[A:.*]] = fir.alloca !fir.box<!fir.ptr<i32>> {bindc_name = "a", uniq_name = "_QFpointers_in_atomic_captureEa"}
64+
!CHECK: %[[A_DECL:.*]]:2 = hlfir.declare %[[A]] {fortran_attrs = #fir.var_attrs<pointer>, uniq_name = "_QFpointers_in_atomic_captureEa"} : (!fir.ref<!fir.box<!fir.ptr<i32>>>) -> (!fir.ref<!fir.box<!fir.ptr<i32>>>, !fir.ref<!fir.box<!fir.ptr<i32>>>)
65+
!CHECK: %[[B:.*]] = fir.alloca !fir.box<!fir.ptr<i32>> {bindc_name = "b", uniq_name = "_QFpointers_in_atomic_captureEb"}
66+
!CHECK: %[[B_DECL:.*]]:2 = hlfir.declare %[[B]] {fortran_attrs = #fir.var_attrs<pointer>, uniq_name = "_QFpointers_in_atomic_captureEb"} : (!fir.ref<!fir.box<!fir.ptr<i32>>>) -> (!fir.ref<!fir.box<!fir.ptr<i32>>>, !fir.ref<!fir.box<!fir.ptr<i32>>>)
67+
!CHECK: %[[C:.*]] = fir.alloca i32 {bindc_name = "c", fir.target, uniq_name = "_QFpointers_in_atomic_captureEc"}
68+
!CHECK: %[[C_DECL:.*]]:2 = hlfir.declare %[[C]] {fortran_attrs = #fir.var_attrs<target>, uniq_name = "_QFpointers_in_atomic_captureEc"} : (!fir.ref<i32>) -> (!fir.ref<i32>, !fir.ref<i32>)
69+
!CHECK: %[[D:.*]] = fir.alloca i32 {bindc_name = "d", fir.target, uniq_name = "_QFpointers_in_atomic_captureEd"}
70+
!CHECK: %[[D_DECL:.*]]:2 = hlfir.declare %[[D]] {fortran_attrs = #fir.var_attrs<target>, uniq_name = "_QFpointers_in_atomic_captureEd"} : (!fir.ref<i32>) -> (!fir.ref<i32>, !fir.ref<i32>)
71+
72+
!CHECK: %[[loaded_A:.*]] = fir.load %[[A_DECL]]#0 : !fir.ref<!fir.box<!fir.ptr<i32>>>
73+
!CHECK: %[[loaded_A_addr:.*]] = fir.box_addr %[[loaded_A]] : (!fir.box<!fir.ptr<i32>>) -> !fir.ptr<i32>
74+
!CHECK: %[[loaded_B:.*]] = fir.load %[[B_DECL]]#0 : !fir.ref<!fir.box<!fir.ptr<i32>>>
75+
!CHECK: %[[loaded_B_addr:.*]] = fir.box_addr %[[loaded_B]] : (!fir.box<!fir.ptr<i32>>) -> !fir.ptr<i32>
76+
!CHECK: %[[PRIVATE_LOADED_B:.*]] = fir.load %[[B_DECL]]#0 : !fir.ref<!fir.box<!fir.ptr<i32>>>
77+
!CHECK: %[[PRIVATE_LOADED_B_addr:.*]] = fir.box_addr %[[PRIVATE_LOADED_B]] : (!fir.box<!fir.ptr<i32>>) -> !fir.ptr<i32>
78+
!CHECK: %[[loaded_value:.*]] = fir.load %[[PRIVATE_LOADED_B_addr]] : !fir.ptr<i32>
79+
!CHECK: acc.atomic.capture {
80+
!CHECK: acc.atomic.update %[[loaded_A_addr]] : !fir.ptr<i32> {
81+
!CHECK: ^bb0(%[[ARG:.*]]: i32):
82+
!CHECK: %[[result:.*]] = arith.addi %[[ARG]], %[[loaded_value]] : i32
83+
!CHECK: acc.yield %[[result]] : i32
84+
!CHECK: }
85+
!CHECK: acc.atomic.read %[[loaded_B_addr]] = %[[loaded_A_addr]] : !fir.ptr<i32>, i32
86+
!CHECK: }
87+
integer, pointer :: a, b
88+
integer, target :: c, d
89+
a=>c
90+
b=>d
91+
92+
!$acc atomic capture
93+
a = a + b
94+
b = a
95+
!$acc end atomic
96+
end subroutine
97+
98+
99+
subroutine capture_with_convert_f32_to_i32()
100+
implicit none
101+
integer :: k, v, i
102+
103+
k = 1
104+
v = 0
105+
106+
!$acc atomic capture
107+
v = k
108+
k = (i + 1) * 3.14
109+
!$acc end atomic
110+
end subroutine
111+
112+
! CHECK-LABEL: func.func @_QPcapture_with_convert_f32_to_i32()
113+
! CHECK: %[[K:.*]] = fir.alloca i32 {bindc_name = "k", uniq_name = "_QFcapture_with_convert_f32_to_i32Ek"}
114+
! CHECK: %[[K_DECL:.*]]:2 = hlfir.declare %[[K]] {uniq_name = "_QFcapture_with_convert_f32_to_i32Ek"} : (!fir.ref<i32>) -> (!fir.ref<i32>, !fir.ref<i32>)
115+
! CHECK: %[[V:.*]] = fir.alloca i32 {bindc_name = "v", uniq_name = "_QFcapture_with_convert_f32_to_i32Ev"}
116+
! CHECK: %[[V_DECL:.*]]:2 = hlfir.declare %[[V]] {uniq_name = "_QFcapture_with_convert_f32_to_i32Ev"} : (!fir.ref<i32>) -> (!fir.ref<i32>, !fir.ref<i32>)
117+
! CHECK: %[[CST:.*]] = arith.constant 3.140000e+00 : f32
118+
! CHECK: %[[MUL:.*]] = arith.mulf %{{.*}}, %[[CST]] fastmath<contract> : f32
119+
! CHECK: %[[CONV:.*]] = fir.convert %[[MUL]] : (f32) -> i32
120+
! CHECK: acc.atomic.capture {
121+
! CHECK: acc.atomic.read %[[V_DECL]]#1 = %[[K_DECL]]#1 : !fir.ref<i32>, i32
122+
! CHECK: acc.atomic.write %[[K_DECL]]#1 = %[[CONV]] : !fir.ref<i32>, i32
123+
! CHECK: }
124+
125+
subroutine array_ref_in_atomic_capture1
126+
integer :: x(10), v
127+
!$acc atomic capture
128+
v = x(7)
129+
x(7) = x(7) + 1
130+
!$acc end atomic
131+
end subroutine array_ref_in_atomic_capture1
132+
! CHECK-LABEL: func.func @_QParray_ref_in_atomic_capture1() {
133+
! CHECK: %[[V:.*]] = fir.alloca i32 {bindc_name = "v", uniq_name = "_QFarray_ref_in_atomic_capture1Ev"}
134+
! CHECK: %[[V_DECL:.*]]:2 = hlfir.declare %[[V]] {uniq_name = "_QFarray_ref_in_atomic_capture1Ev"} : (!fir.ref<i32>) -> (!fir.ref<i32>, !fir.ref<i32>)
135+
! CHECK: %[[X:.*]] = fir.alloca !fir.array<10xi32> {bindc_name = "x", uniq_name = "_QFarray_ref_in_atomic_capture1Ex"}
136+
! CHECK: %[[X_DECL:.*]]:2 = hlfir.declare %[[X]](%{{.*}}) {uniq_name = "_QFarray_ref_in_atomic_capture1Ex"} : (!fir.ref<!fir.array<10xi32>>, !fir.shape<1>) -> (!fir.ref<!fir.array<10xi32>>, !fir.ref<!fir.array<10xi32>>)
137+
! CHECK: %[[X_REF:.*]] = hlfir.designate %[[X_DECL]]#0 (%{{.*}}) : (!fir.ref<!fir.array<10xi32>>, index) -> !fir.ref<i32>
138+
! CHECK: acc.atomic.capture {
139+
! CHECK: acc.atomic.read %[[V_DECL]]#1 = %[[X_REF]] : !fir.ref<i32>, i32
140+
! CHECK: acc.atomic.update %[[X_REF]] : !fir.ref<i32> {
141+
! CHECK: ^bb0(%[[VAL_7:.*]]: i32):
142+
! CHECK: %[[VAL_8:.*]] = arith.addi %[[VAL_7]], %{{.*}} : i32
143+
! CHECK: acc.yield %[[VAL_8]] : i32
144+
! CHECK: }
145+
! CHECK: }
146+
147+
subroutine array_ref_in_atomic_capture2
148+
integer :: x(10), v
149+
!$acc atomic capture
150+
x(7) = x(7) + 1
151+
v = x(7)
152+
!$acc end atomic
153+
end subroutine array_ref_in_atomic_capture2
154+
! CHECK-LABEL: func.func @_QParray_ref_in_atomic_capture2() {
155+
! CHECK: %[[V:.*]] = fir.alloca i32 {bindc_name = "v", uniq_name = "_QFarray_ref_in_atomic_capture2Ev"}
156+
! CHECK: %[[V_DECL:.*]]:2 = hlfir.declare %[[V]] {uniq_name = "_QFarray_ref_in_atomic_capture2Ev"} : (!fir.ref<i32>) -> (!fir.ref<i32>, !fir.ref<i32>)
157+
! CHECK: %[[X:.*]] = fir.alloca !fir.array<10xi32> {bindc_name = "x", uniq_name = "_QFarray_ref_in_atomic_capture2Ex"}
158+
! CHECK: %[[X_DECL:.*]]:2 = hlfir.declare %[[X]](%{{.*}}) {uniq_name = "_QFarray_ref_in_atomic_capture2Ex"} : (!fir.ref<!fir.array<10xi32>>, !fir.shape<1>) -> (!fir.ref<!fir.array<10xi32>>, !fir.ref<!fir.array<10xi32>>)
159+
! CHECK: %[[X_REF:.*]] = hlfir.designate %[[X_DECL]]#0 (%{{.*}}) : (!fir.ref<!fir.array<10xi32>>, index) -> !fir.ref<i32>
160+
! CHECK: acc.atomic.capture {
161+
! CHECK: acc.atomic.update %[[X_REF]] : !fir.ref<i32> {
162+
! CHECK: ^bb0(%[[VAL_7:.*]]: i32):
163+
! CHECK: %[[VAL_8:.*]] = arith.addi %[[VAL_7]], %{{.*}} : i32
164+
! CHECK: acc.yield %[[VAL_8]] : i32
165+
! CHECK: }
166+
! CHECK: acc.atomic.read %[[V_DECL]]#1 = %[[X_REF]] : !fir.ref<i32>, i32
167+
! CHECK: }
168+
169+
subroutine comp_ref_in_atomic_capture1
170+
type t1
171+
integer :: c
172+
end type t1
173+
integer :: v
174+
type(t1) :: x
175+
!$acc atomic capture
176+
v = x%c
177+
x%c = x%c + 1
178+
!$acc end atomic
179+
end subroutine comp_ref_in_atomic_capture1
180+
! CHECK-LABEL: func.func @_QPcomp_ref_in_atomic_capture1() {
181+
! CHECK: %[[V:.*]] = fir.alloca i32 {bindc_name = "v", uniq_name = "_QFcomp_ref_in_atomic_capture1Ev"}
182+
! CHECK: %[[V_DECL:.*]]:2 = hlfir.declare %[[V]] {uniq_name = "_QFcomp_ref_in_atomic_capture1Ev"} : (!fir.ref<i32>) -> (!fir.ref<i32>, !fir.ref<i32>)
183+
! CHECK: %[[X:.*]] = fir.alloca !fir.type<_QFcomp_ref_in_atomic_capture1Tt1{c:i32}> {bindc_name = "x", uniq_name = "_QFcomp_ref_in_atomic_capture1Ex"}
184+
! CHECK: %[[X_DECL:.*]]:2 = hlfir.declare %[[X]] {uniq_name = "_QFcomp_ref_in_atomic_capture1Ex"} : (!fir.ref<!fir.type<_QFcomp_ref_in_atomic_capture1Tt1{c:i32}>>) -> (!fir.ref<!fir.type<_QFcomp_ref_in_atomic_capture1Tt1{c:i32}>>, !fir.ref<!fir.type<_QFcomp_ref_in_atomic_capture1Tt1{c:i32}>>)
185+
! CHECK: %[[C:.*]] = hlfir.designate %[[X_DECL]]#0{"c"} : (!fir.ref<!fir.type<_QFcomp_ref_in_atomic_capture1Tt1{c:i32}>>) -> !fir.ref<i32>
186+
! CHECK: acc.atomic.capture {
187+
! CHECK: acc.atomic.read %[[V_DECL]]#1 = %[[C]] : !fir.ref<i32>, i32
188+
! CHECK: acc.atomic.update %[[C]] : !fir.ref<i32> {
189+
! CHECK: ^bb0(%[[VAL_5:.*]]: i32):
190+
! CHECK: %[[VAL_6:.*]] = arith.addi %[[VAL_5]], %{{.*}} : i32
191+
! CHECK: acc.yield %[[VAL_6]] : i32
192+
! CHECK: }
193+
! CHECK: }
194+
195+
subroutine comp_ref_in_atomic_capture2
196+
type t1
197+
integer :: c
198+
end type t1
199+
integer :: v
200+
type(t1) :: x
201+
!$acc atomic capture
202+
x%c = x%c + 1
203+
v = x%c
204+
!$acc end atomic
205+
end subroutine comp_ref_in_atomic_capture2
206+
! CHECK-LABEL: func.func @_QPcomp_ref_in_atomic_capture2() {
207+
! CHECK: %[[V:.*]] = fir.alloca i32 {bindc_name = "v", uniq_name = "_QFcomp_ref_in_atomic_capture2Ev"}
208+
! CHECK: %[[V_DECL:.*]]:2 = hlfir.declare %[[V]] {uniq_name = "_QFcomp_ref_in_atomic_capture2Ev"} : (!fir.ref<i32>) -> (!fir.ref<i32>, !fir.ref<i32>)
209+
! CHECK: %[[X:.*]] = fir.alloca !fir.type<_QFcomp_ref_in_atomic_capture2Tt1{c:i32}> {bindc_name = "x", uniq_name = "_QFcomp_ref_in_atomic_capture2Ex"}
210+
! CHECK: %[[X_DECL:.*]]:2 = hlfir.declare %[[X]] {uniq_name = "_QFcomp_ref_in_atomic_capture2Ex"} : (!fir.ref<!fir.type<_QFcomp_ref_in_atomic_capture2Tt1{c:i32}>>) -> (!fir.ref<!fir.type<_QFcomp_ref_in_atomic_capture2Tt1{c:i32}>>, !fir.ref<!fir.type<_QFcomp_ref_in_atomic_capture2Tt1{c:i32}>>)
211+
! CHECK: %[[C:.*]] = hlfir.designate %[[X_DECL]]#0{"c"} : (!fir.ref<!fir.type<_QFcomp_ref_in_atomic_capture2Tt1{c:i32}>>) -> !fir.ref<i32>
212+
! CHECK: acc.atomic.capture {
213+
! CHECK: acc.atomic.update %[[C]] : !fir.ref<i32> {
214+
! CHECK: ^bb0(%[[VAL_5:.*]]: i32):
215+
! CHECK: %[[VAL_6:.*]] = arith.addi %[[VAL_5]], %{{.*}} : i32
216+
! CHECK: acc.yield %[[VAL_6]] : i32
217+
! CHECK: }
218+
! CHECK: acc.atomic.read %[[V_DECL]]#1 = %[[C]] : !fir.ref<i32>, i32
219+
! CHECK: }

‎flang/test/Lower/OpenACC/acc-atomic-read.f90‎

Lines changed: 59 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,59 @@
1+
! RUN: bbc -fopenacc -emit-hlfir %s -o - | FileCheck %s
2+
3+
! This test checks the lowering of atomic read
4+
5+
program acc_atomic_test
6+
real g, h
7+
!$acc atomic read
8+
g = h
9+
end program acc_atomic_test
10+
11+
! CHECK: func @_QQmain() attributes {fir.bindc_name = "acc_atomic_test"} {
12+
! CHECK: %[[VAR_G:.*]] = fir.alloca f32 {bindc_name = "g", uniq_name = "_QFEg"}
13+
! CHECK: %[[G_DECL:.*]]:2 = hlfir.declare %[[VAR_G]] {uniq_name = "_QFEg"} : (!fir.ref<f32>) -> (!fir.ref<f32>, !fir.ref<f32>)
14+
! CHECK: %[[VAR_H:.*]] = fir.alloca f32 {bindc_name = "h", uniq_name = "_QFEh"}
15+
! CHECK: %[[H_DECL:.*]]:2 = hlfir.declare %[[VAR_H]] {uniq_name = "_QFEh"} : (!fir.ref<f32>) -> (!fir.ref<f32>, !fir.ref<f32>)
16+
! CHECK: acc.atomic.read %[[G_DECL]]#1 = %[[H_DECL]]#1 : !fir.ref<f32>, f32
17+
! CHECK: return
18+
! CHECK: }
19+
20+
! Test lowering atomic read for pointer variables.
21+
! Please notice to use %[[VAL_4]] and %[[VAL_1]] for operands of atomic
22+
! operation, instead of %[[VAL_3]] and %[[VAL_0]].
23+
24+
subroutine atomic_read_pointer()
25+
integer, pointer :: x, y
26+
27+
!$acc atomic read
28+
y = x
29+
30+
x = y
31+
end
32+
33+
! CHECK-LABEL: func.func @_QPatomic_read_pointer() {
34+
! CHECK: %[[X:.*]] = fir.alloca !fir.box<!fir.ptr<i32>> {bindc_name = "x", uniq_name = "_QFatomic_read_pointerEx"}
35+
! CHECK: %[[X_DECL:.*]]:2 = hlfir.declare %[[X]] {fortran_attrs = #fir.var_attrs<pointer>, uniq_name = "_QFatomic_read_pointerEx"} : (!fir.ref<!fir.box<!fir.ptr<i32>>>) -> (!fir.ref<!fir.box<!fir.ptr<i32>>>, !fir.ref<!fir.box<!fir.ptr<i32>>>)
36+
! CHECK: %[[Y:.*]] = fir.alloca !fir.box<!fir.ptr<i32>> {bindc_name = "y", uniq_name = "_QFatomic_read_pointerEy"}
37+
! CHECK: %[[Y_DECL:.*]]:2 = hlfir.declare %[[Y]] {fortran_attrs = #fir.var_attrs<pointer>, uniq_name = "_QFatomic_read_pointerEy"} : (!fir.ref<!fir.box<!fir.ptr<i32>>>) -> (!fir.ref<!fir.box<!fir.ptr<i32>>>, !fir.ref<!fir.box<!fir.ptr<i32>>>)
38+
! CHECK: %[[LOAD_X:.*]] = fir.load %[[X_DECL]]#0 : !fir.ref<!fir.box<!fir.ptr<i32>>>
39+
! CHECK: %[[BOX_ADDR_X:.*]] = fir.box_addr %[[LOAD_X]] : (!fir.box<!fir.ptr<i32>>) -> !fir.ptr<i32>
40+
! CHECK: %[[LOAD_Y:.*]] = fir.load %[[Y_DECL]]#0 : !fir.ref<!fir.box<!fir.ptr<i32>>>
41+
! CHECK: %[[BOX_ADDR_Y:.*]] = fir.box_addr %[[LOAD_Y]] : (!fir.box<!fir.ptr<i32>>) -> !fir.ptr<i32>
42+
! CHECK: acc.atomic.read %[[BOX_ADDR_Y]] = %[[BOX_ADDR_X]] : !fir.ptr<i32>, i32
43+
! CHECK: }
44+
45+
subroutine atomic_read_with_convert()
46+
integer(4) :: x
47+
integer(8) :: y
48+
49+
!$acc atomic read
50+
y = x
51+
end
52+
53+
! CHECK-LABEL: func.func @_QPatomic_read_with_convert() {
54+
! CHECK: %[[X:.*]] = fir.alloca i32 {bindc_name = "x", uniq_name = "_QFatomic_read_with_convertEx"}
55+
! CHECK: %[[X_DECL:.*]]:2 = hlfir.declare %[[X]] {uniq_name = "_QFatomic_read_with_convertEx"} : (!fir.ref<i32>) -> (!fir.ref<i32>, !fir.ref<i32>)
56+
! CHECK: %[[Y:.*]] = fir.alloca i64 {bindc_name = "y", uniq_name = "_QFatomic_read_with_convertEy"}
57+
! CHECK: %[[Y_DECL:.*]]:2 = hlfir.declare %[[Y]] {uniq_name = "_QFatomic_read_with_convertEy"} : (!fir.ref<i64>) -> (!fir.ref<i64>, !fir.ref<i64>)
58+
! CHECK: %[[CONV:.*]] = fir.convert %[[X_DECL]]#1 : (!fir.ref<i32>) -> !fir.ref<i64>
59+
! CHECK: acc.atomic.read %[[Y_DECL]]#1 = %[[CONV]] : !fir.ref<i64>, i32

0 commit comments

Comments
 (0)