[flang-commits] [flang] [flang][cuda] Allow constant actual argument for device dummy (PR #121845)
via flang-commits
flang-commits at lists.llvm.org
Mon Jan 6 14:02:25 PST 2025
llvmbot wrote:
<!--LLVM PR SUMMARY COMMENT-->
@llvm/pr-subscribers-flang-semantics
Author: Valentin Clement (バレンタイン クレメン) (clementval)
<details>
<summary>Changes</summary>
The reference compiler allows this use case. Note that writing to this variable would result in CUDA error.
---
Full diff: https://github.com/llvm/llvm-project/pull/121845.diff
2 Files Affected:
- (modified) flang/lib/Common/Fortran.cpp (+2-1)
- (modified) flang/test/Semantics/cuf10.cuf (+7)
``````````diff
diff --git a/flang/lib/Common/Fortran.cpp b/flang/lib/Common/Fortran.cpp
index 367a51f884e8a5..eec83419f9eb2b 100644
--- a/flang/lib/Common/Fortran.cpp
+++ b/flang/lib/Common/Fortran.cpp
@@ -136,7 +136,8 @@ bool AreCompatibleCUDADataAttrs(std::optional<CUDADataAttr> x,
if (*x == CUDADataAttr::Device) {
if ((y &&
(*y == CUDADataAttr::Managed || *y == CUDADataAttr::Unified ||
- *y == CUDADataAttr::Shared)) ||
+ *y == CUDADataAttr::Shared ||
+ *y == CUDADataAttr::Constant)) ||
(!y && (isCudaUnified || isCudaManaged))) {
if (y && *y == CUDADataAttr::Shared && warning) {
*warning = "SHARED attribute ignored"s;
diff --git a/flang/test/Semantics/cuf10.cuf b/flang/test/Semantics/cuf10.cuf
index 047503b3cca4ea..24b596b1fa55db 100644
--- a/flang/test/Semantics/cuf10.cuf
+++ b/flang/test/Semantics/cuf10.cuf
@@ -2,6 +2,7 @@
module m
real, device :: a(4,8)
real, managed, allocatable :: b(:,:)
+ integer, constant :: x = 1
contains
attributes(global) subroutine kernel(a,b,c,n,m)
integer, value :: n
@@ -23,4 +24,10 @@ module m
call devsub(c,4) ! not checked in OpenACC construct
end do
end
+ attributes(global) subroutine sub1(x)
+ integer :: x
+ end
+ subroutine sub2()
+ call sub1<<<1,1>>>(x) ! actual constant to device dummy
+ end
end
``````````
</details>
https://github.com/llvm/llvm-project/pull/121845
More information about the flang-commits
mailing list