Author: Adam Smith
Date: 2026-08-28T10:40:10-05:00
New Revision: d32409f2f384f4248675769431794c54d6fd1b9b

URL: 
https://github.com/llvm/llvm-project/commit/d32409f2f384f4248675769431794c54d6fd1b9b
DIFF: 
https://github.com/llvm/llvm-project/commit/d32409f2f384f4248675769431794c54d6fd1b9b.diff

LOG: [CIR] Drop call-conv-lowering opt-out from OpenACC declare tests (#219057)

The six OpenACC declare tests opted out of CallConvLowering because the
pass did not handle parameters of an empty or tag class.
CallConvLowering handles them now, so they can run the pass and pin what
it produces.

Assisted-by: Cursor / claude-opus-5

Added: 
    

Modified: 
    clang/test/CIR/CodeGenOpenACC/declare-copy.cpp
    clang/test/CIR/CodeGenOpenACC/declare-copyin.cpp
    clang/test/CIR/CodeGenOpenACC/declare-copyout.cpp
    clang/test/CIR/CodeGenOpenACC/declare-create.cpp
    clang/test/CIR/CodeGenOpenACC/declare-deviceresident.cpp
    clang/test/CIR/CodeGenOpenACC/declare-present.cpp

Removed: 
    


################################################################################
diff  --git a/clang/test/CIR/CodeGenOpenACC/declare-copy.cpp 
b/clang/test/CIR/CodeGenOpenACC/declare-copy.cpp
index 2af67028e829d..0d3d15075444c 100644
--- a/clang/test/CIR/CodeGenOpenACC/declare-copy.cpp
+++ b/clang/test/CIR/CodeGenOpenACC/declare-copy.cpp
@@ -1,6 +1,4 @@
-// TODO(cir): drop -fno-clangir-call-conv-lowering once CallConvLowering
-// supports parameters of an empty or tag class.
-// RUN: %clang_cc1 -fopenacc -Wno-openacc-self-if-potential-conflict -emit-cir 
-fclangir -fno-clangir-call-conv-lowering %s -o - | FileCheck %s
+// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -fopenacc 
-Wno-openacc-self-if-potential-conflict -emit-cir -fclangir %s -o - | FileCheck 
%s
 
 struct HasSideEffects {
   HasSideEffects();
@@ -13,9 +11,8 @@ struct Struct {
   static const int StaticMemInt;
 
   void MemFunc1(HasSideEffects ArgHSE, int ArgInt, HasSideEffects *ArgHSEPtr) {
-    // CHECK: cir.func {{.*}}MemFunc1{{.*}}(%{{.*}}: 
!cir.ptr<!rec_Struct>{{.*}}, %[[ARG_HSE:.*]]: !rec_HasSideEffects{{.*}}, 
%[[ARG_INT:.*]]: !s32i {{.*}}, %[[ARG_HSE_PTR:.*]]: 
!cir.ptr<!rec_HasSideEffects>{{.*}})
+    // CHECK: cir.func {{.*}}MemFunc1{{.*}}(%{{.*}}: 
!cir.ptr<!rec_Struct>{{.*}}, %[[ARG_HSE:.*]]: !cir.ptr<!rec_HasSideEffects> 
{llvm.align = 1 : i64, llvm.byref = !rec_HasSideEffects{{.*}}, %[[ARG_INT:.*]]: 
!s32i {{.*}}, %[[ARG_HSE_PTR:.*]]: !cir.ptr<!rec_HasSideEffects>{{.*}})
     // CHECK-NEXT: cir.alloca "this"
-    // CHECK-NEXT: %[[ARG_HSE_ALLOCA:.*]] = cir.alloca "ArgHSE" {{.*}} : 
!cir.ptr<!rec_HasSideEffects>
     // CHECK-NEXT: %[[ARG_INT_ALLOCA:.*]] = cir.alloca "ArgInt" {{.*}} : 
!cir.ptr<!s32i>
     // CHECK-NEXT: %[[ARG_HSE_PTR_ALLOCA:.*]] = cir.alloca "ArgHSEPtr" {{.*}} 
: !cir.ptr<!cir.ptr<!rec_HasSideEffects>>
     // CHECK-NEXT: %[[LOC_HSE_ALLOCA:.*]] = cir.alloca "LocalHSE" {{.*}} : 
!cir.ptr<!rec_HasSideEffects>
@@ -24,7 +21,6 @@ struct Struct {
     // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.store
-    // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.load
 
     HasSideEffects LocalHSE;
@@ -33,7 +29,7 @@ struct Struct {
     int LocalInt;
 
 #pragma acc declare copy(always:ArgHSE, ArgInt, LocalHSE, LocalInt, 
ArgHSEPtr[1:1], LocalHSEArr[1:1])
-    // CHECK: %[[ARG_HSE_COPYIN:.*]] = acc.copyin varPtr(%[[ARG_HSE_ALLOCA]] : 
!cir.ptr<!rec_HasSideEffects>) dataClause(acc_copy) name("ArgHSE") <modifiers = 
"always"> -> !cir.ptr<!rec_HasSideEffects>
+    // CHECK: %[[ARG_HSE_COPYIN:.*]] = acc.copyin varPtr(%[[ARG_HSE]] : 
!cir.ptr<!rec_HasSideEffects>) dataClause(acc_copy) name("ArgHSE") <modifiers = 
"always"> -> !cir.ptr<!rec_HasSideEffects>
     // CHECK-NEXT: %[[ARG_INT_COPYIN:.*]] = acc.copyin 
varPtr(%[[ARG_INT_ALLOCA]] : !cir.ptr<!s32i>) dataClause(acc_copy) 
name("ArgInt") <modifiers = "always"> -> !cir.ptr<!s32i>
     // CHECK-NEXT: %[[LOC_HSE_COPYIN:.*]] = acc.copyin 
varPtr(%[[LOC_HSE_ALLOCA]] : !cir.ptr<!rec_HasSideEffects>) 
dataClause(acc_copy) name("LocalHSE") <modifiers = "always"> -> 
!cir.ptr<!rec_HasSideEffects>
     // CHECK-NEXT: %[[LOC_INT_COPYIN:.*]] = acc.copyin 
varPtr(%[[LOC_INT_ALLOCA]] : !cir.ptr<!s32i>) dataClause(acc_copy) 
name("LocalInt") <modifiers = "always"> -> !cir.ptr<!s32i>
@@ -59,7 +55,7 @@ struct Struct {
     // CHECK-NEXT:   cir.yield
     // CHECK-NEXT: } cleanup normal {
     // CHECK-NEXT:   acc.declare_exit token(%[[ENTER]]) 
dataOperands(%[[ARG_HSE_COPYIN]], %[[ARG_INT_COPYIN]], %[[LOC_HSE_COPYIN]], 
%[[LOC_INT_COPYIN]], %[[ARG_HSE_PTR_COPYIN]], %[[LOC_HSE_ARR_COPYIN]] : 
!cir.ptr<!rec_HasSideEffects>, !cir.ptr<!s32i>, !cir.ptr<!rec_HasSideEffects>, 
!cir.ptr<!s32i>, !cir.ptr<!cir.ptr<!rec_HasSideEffects>>, 
!cir.ptr<!cir.array<!rec_HasSideEffects x 5>>)
-    // CHECK-NEXT: acc.copyout accPtr(%[[ARG_HSE_COPYIN]] : 
!cir.ptr<!rec_HasSideEffects>) to varPtr(%[[ARG_HSE_ALLOCA]] : 
!cir.ptr<!rec_HasSideEffects>) dataClause(acc_copy) name("ArgHSE") <modifiers = 
"always">
+    // CHECK-NEXT: acc.copyout accPtr(%[[ARG_HSE_COPYIN]] : 
!cir.ptr<!rec_HasSideEffects>) to varPtr(%[[ARG_HSE]] : 
!cir.ptr<!rec_HasSideEffects>) dataClause(acc_copy) name("ArgHSE") <modifiers = 
"always">
     // CHECK-NEXT: acc.copyout accPtr(%[[ARG_INT_COPYIN]] : !cir.ptr<!s32i>) 
to varPtr(%[[ARG_INT_ALLOCA]] : !cir.ptr<!s32i>) dataClause(acc_copy) 
name("ArgInt") <modifiers = "always">
     // CHECK-NEXT: acc.copyout accPtr(%[[LOC_HSE_COPYIN]] : 
!cir.ptr<!rec_HasSideEffects>) to varPtr(%[[LOC_HSE_ALLOCA]] : 
!cir.ptr<!rec_HasSideEffects>) dataClause(acc_copy) name("LocalHSE") <modifiers 
= "always">
     // CHECK-NEXT: acc.copyout accPtr(%[[LOC_INT_COPYIN]] : !cir.ptr<!s32i>) 
to varPtr(%[[LOC_INT_ALLOCA]] : !cir.ptr<!s32i>) dataClause(acc_copy) 
name("LocalInt") <modifiers = "always">
@@ -77,9 +73,8 @@ void use() {
 }
 
 void Struct::MemFunc2(HasSideEffects ArgHSE, int ArgInt, HasSideEffects 
*ArgHSEPtr) {
-    // CHECK: cir.func {{.*}}MemFunc2{{.*}}(%{{.*}}: 
!cir.ptr<!rec_Struct>{{.*}}, %[[ARG_HSE:.*]]: !rec_HasSideEffects{{.*}}, 
%[[ARG_INT:.*]]: !s32i {{.*}}, %[[ARG_HSE_PTR:.*]]: 
!cir.ptr<!rec_HasSideEffects>{{.*}})
+    // CHECK: cir.func {{.*}}MemFunc2{{.*}}(%{{.*}}: 
!cir.ptr<!rec_Struct>{{.*}}, %[[ARG_HSE:.*]]: !cir.ptr<!rec_HasSideEffects> 
{llvm.align = 1 : i64, llvm.byref = !rec_HasSideEffects{{.*}}, %[[ARG_INT:.*]]: 
!s32i {{.*}}, %[[ARG_HSE_PTR:.*]]: !cir.ptr<!rec_HasSideEffects>{{.*}})
     // CHECK-NEXT: cir.alloca "this"
-    // CHECK-NEXT: %[[ARG_HSE_ALLOCA:.*]] = cir.alloca "ArgHSE" {{.*}} : 
!cir.ptr<!rec_HasSideEffects>
     // CHECK-NEXT: %[[ARG_INT_ALLOCA:.*]] = cir.alloca "ArgInt" {{.*}} : 
!cir.ptr<!s32i>
     // CHECK-NEXT: %[[ARG_HSE_PTR_ALLOCA:.*]] = cir.alloca "ArgHSEPtr" {{.*}} 
: !cir.ptr<!cir.ptr<!rec_HasSideEffects>>
     // CHECK-NEXT: %[[LOC_HSE_ALLOCA:.*]] = cir.alloca "LocalHSE" {{.*}} : 
!cir.ptr<!rec_HasSideEffects>
@@ -88,7 +83,6 @@ void Struct::MemFunc2(HasSideEffects ArgHSE, int ArgInt, 
HasSideEffects *ArgHSEP
     // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.store
-    // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.load
     HasSideEffects LocalHSE;
     // CHECK-NEXT: cir.call{{.*}} : (!cir.ptr<!rec_HasSideEffects>{{.*}}) -> ()
@@ -98,7 +92,7 @@ void Struct::MemFunc2(HasSideEffects ArgHSE, int ArgInt, 
HasSideEffects *ArgHSEP
     // CHECK: }
     int LocalInt;
 #pragma acc declare copy(alwaysin:ArgHSE, ArgInt, ArgHSEPtr[1:1])
-    // CHECK: %[[ARG_HSE_COPYIN:.*]] = acc.copyin varPtr(%[[ARG_HSE_ALLOCA]] : 
!cir.ptr<!rec_HasSideEffects>) dataClause(acc_copy) name("ArgHSE") <modifiers = 
alwaysin> -> !cir.ptr<!rec_HasSideEffects>
+    // CHECK: %[[ARG_HSE_COPYIN:.*]] = acc.copyin varPtr(%[[ARG_HSE]] : 
!cir.ptr<!rec_HasSideEffects>) dataClause(acc_copy) name("ArgHSE") <modifiers = 
alwaysin> -> !cir.ptr<!rec_HasSideEffects>
     // CHECK-NEXT: %[[ARG_INT_COPYIN:.*]] = acc.copyin 
varPtr(%[[ARG_INT_ALLOCA]] : !cir.ptr<!s32i>) dataClause(acc_copy) 
name("ArgInt") <modifiers = alwaysin> -> !cir.ptr<!s32i>
     // CHECK-NEXT: %[[ONE:.*]] = cir.const #cir.int<1> : !s32i
     // CHECK-NEXT: %[[LB:.*]] = cir.builtin_int_cast %[[ONE]] : !s32i -> si32
@@ -138,7 +132,7 @@ void Struct::MemFunc2(HasSideEffects ArgHSE, int ArgInt, 
HasSideEffects *ArgHSEP
 
     // CHECK-NEXT: } cleanup normal {
     // CHECK-NEXT:   acc.declare_exit token(%[[ENTER1]]) 
dataOperands(%[[ARG_HSE_COPYIN]], %[[ARG_INT_COPYIN]], %[[ARG_HSE_PTR_COPYIN]] 
: !cir.ptr<!rec_HasSideEffects>, !cir.ptr<!s32i>, 
!cir.ptr<!cir.ptr<!rec_HasSideEffects>>)
-    // CHECK-NEXT: acc.copyout accPtr(%[[ARG_HSE_COPYIN]] : 
!cir.ptr<!rec_HasSideEffects>) to varPtr(%[[ARG_HSE_ALLOCA]] : 
!cir.ptr<!rec_HasSideEffects>) dataClause(acc_copy) name("ArgHSE") <modifiers = 
alwaysin>
+    // CHECK-NEXT: acc.copyout accPtr(%[[ARG_HSE_COPYIN]] : 
!cir.ptr<!rec_HasSideEffects>) to varPtr(%[[ARG_HSE]] : 
!cir.ptr<!rec_HasSideEffects>) dataClause(acc_copy) name("ArgHSE") <modifiers = 
alwaysin>
     // CHECK-NEXT: acc.copyout accPtr(%[[ARG_INT_COPYIN]] : !cir.ptr<!s32i>) 
to varPtr(%[[ARG_INT_ALLOCA]] : !cir.ptr<!s32i>) dataClause(acc_copy) 
name("ArgInt") <modifiers = alwaysin>
     // CHECK-NEXT: acc.copyout accPtr(%[[ARG_HSE_PTR_COPYIN]] : 
!cir.ptr<!cir.ptr<!rec_HasSideEffects>>) bounds(%[[BOUND1]]) to 
varPtr(%[[ARG_HSE_PTR_ALLOCA]] : !cir.ptr<!cir.ptr<!rec_HasSideEffects>>) 
dataClause(acc_copy) name("ArgHSEPtr[1:1]") <modifiers = alwaysin>
     // CHECK-NEXT:   cir.yield
@@ -148,8 +142,7 @@ void Struct::MemFunc2(HasSideEffects ArgHSE, int ArgInt, 
HasSideEffects *ArgHSEP
 extern "C" void do_thing();
 
 extern "C" void NormalFunc(HasSideEffects ArgHSE, int ArgInt, HasSideEffects 
*ArgHSEPtr) {
-    // CHECK: cir.func {{.*}}NormalFunc(%[[ARG_HSE:.*]]: 
!rec_HasSideEffects{{.*}}, %[[ARG_INT:.*]]: !s32i {{.*}}, %[[ARG_HSE_PTR:.*]]: 
!cir.ptr<!rec_HasSideEffects>{{.*}})
-    // CHECK-NEXT: %[[ARG_HSE_ALLOCA:.*]] = cir.alloca "ArgHSE" {{.*}} : 
!cir.ptr<!rec_HasSideEffects>
+    // CHECK: cir.func {{.*}}NormalFunc(%[[ARG_HSE:.*]]: 
!cir.ptr<!rec_HasSideEffects> {llvm.align = 1 : i64, llvm.byref = 
!rec_HasSideEffects{{.*}}, %[[ARG_INT:.*]]: !s32i {{.*}}, %[[ARG_HSE_PTR:.*]]: 
!cir.ptr<!rec_HasSideEffects>{{.*}})
     // CHECK-NEXT: %[[ARG_INT_ALLOCA:.*]] = cir.alloca "ArgInt" {{.*}} : 
!cir.ptr<!s32i>
     // CHECK-NEXT: %[[ARG_HSE_PTR_ALLOCA:.*]] = cir.alloca "ArgHSEPtr" {{.*}} 
: !cir.ptr<!cir.ptr<!rec_HasSideEffects>>
     // CHECK-NEXT: %[[LOC_HSE_ALLOCA:.*]] = cir.alloca "LocalHSE" {{.*}} : 
!cir.ptr<!rec_HasSideEffects>
@@ -157,7 +150,6 @@ extern "C" void NormalFunc(HasSideEffects ArgHSE, int 
ArgInt, HasSideEffects *Ar
     // CHECK-NEXT: %[[LOC_INT_ALLOCA:.*]] = cir.alloca "LocalInt" {{.*}} : 
!cir.ptr<!s32i>
     // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.store
-    // CHECK-NEXT: cir.store
     HasSideEffects LocalHSE;
     // CHECK-NEXT: cir.call{{.*}} : (!cir.ptr<!rec_HasSideEffects>{{.*}}) -> ()
     HasSideEffects LocalHSEArr[5];
@@ -166,7 +158,7 @@ extern "C" void NormalFunc(HasSideEffects ArgHSE, int 
ArgInt, HasSideEffects *Ar
     // CHECK: }
     int LocalInt;
 #pragma acc declare copy(capture:ArgHSE, ArgInt, ArgHSEPtr[1:1])
-    // CHECK: %[[ARG_HSE_COPYIN:.*]] = acc.copyin varPtr(%[[ARG_HSE_ALLOCA]] : 
!cir.ptr<!rec_HasSideEffects>) dataClause(acc_copy) name("ArgHSE") <modifiers = 
capture> -> !cir.ptr<!rec_HasSideEffects>
+    // CHECK: %[[ARG_HSE_COPYIN:.*]] = acc.copyin varPtr(%[[ARG_HSE]] : 
!cir.ptr<!rec_HasSideEffects>) dataClause(acc_copy) name("ArgHSE") <modifiers = 
capture> -> !cir.ptr<!rec_HasSideEffects>
     // CHECK-NEXT: %[[ARG_INT_COPYIN:.*]] = acc.copyin 
varPtr(%[[ARG_INT_ALLOCA]] : !cir.ptr<!s32i>) dataClause(acc_copy) 
name("ArgInt") <modifiers = capture> -> !cir.ptr<!s32i>
     // CHECK-NEXT: %[[ONE:.*]] = cir.const #cir.int<1> : !s32i
     // CHECK-NEXT: %[[LB:.*]] = cir.builtin_int_cast %[[ONE]] : !s32i -> si32
@@ -214,7 +206,7 @@ extern "C" void NormalFunc(HasSideEffects ArgHSE, int 
ArgInt, HasSideEffects *Ar
     // CHECK-NEXT: cir.yield
     // CHECK-NEXT: cleanup normal {
     // CHECK-NEXT:   acc.declare_exit token(%[[ENTER1]]) 
dataOperands(%[[ARG_HSE_COPYIN]], %[[ARG_INT_COPYIN]], %[[ARG_HSE_PTR_COPYIN]] 
: !cir.ptr<!rec_HasSideEffects>, !cir.ptr<!s32i>, 
!cir.ptr<!cir.ptr<!rec_HasSideEffects>>)
-    // CHECK-NEXT: acc.copyout accPtr(%[[ARG_HSE_COPYIN]] : 
!cir.ptr<!rec_HasSideEffects>) to varPtr(%[[ARG_HSE_ALLOCA]] : 
!cir.ptr<!rec_HasSideEffects>) dataClause(acc_copy) name("ArgHSE") <modifiers = 
capture>
+    // CHECK-NEXT: acc.copyout accPtr(%[[ARG_HSE_COPYIN]] : 
!cir.ptr<!rec_HasSideEffects>) to varPtr(%[[ARG_HSE]] : 
!cir.ptr<!rec_HasSideEffects>) dataClause(acc_copy) name("ArgHSE") <modifiers = 
capture>
     // CHECK-NEXT: acc.copyout accPtr(%[[ARG_INT_COPYIN]] : !cir.ptr<!s32i>) 
to varPtr(%[[ARG_INT_ALLOCA]] : !cir.ptr<!s32i>) dataClause(acc_copy) 
name("ArgInt") <modifiers = capture>
     // CHECK-NEXT: acc.copyout accPtr(%[[ARG_HSE_PTR_COPYIN]] : 
!cir.ptr<!cir.ptr<!rec_HasSideEffects>>) bounds(%[[BOUND1]]) to 
varPtr(%[[ARG_HSE_PTR_ALLOCA]] : !cir.ptr<!cir.ptr<!rec_HasSideEffects>>) 
dataClause(acc_copy) name("ArgHSEPtr[1:1]") <modifiers = capture>
     // CHECK-NEXT:   cir.yield

diff  --git a/clang/test/CIR/CodeGenOpenACC/declare-copyin.cpp 
b/clang/test/CIR/CodeGenOpenACC/declare-copyin.cpp
index b5c8bc90e56d7..fcd71a40bd6ca 100644
--- a/clang/test/CIR/CodeGenOpenACC/declare-copyin.cpp
+++ b/clang/test/CIR/CodeGenOpenACC/declare-copyin.cpp
@@ -1,6 +1,4 @@
-// TODO(cir): drop -fno-clangir-call-conv-lowering once CallConvLowering
-// supports parameters of an empty or tag class.
-// RUN: %clang_cc1 -fopenacc -Wno-openacc-self-if-potential-conflict -emit-cir 
-fclangir -fno-clangir-call-conv-lowering %s -o - | FileCheck %s
+// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -fopenacc 
-Wno-openacc-self-if-potential-conflict -emit-cir -fclangir %s -o - | FileCheck 
%s
 
 struct HasSideEffects {
   HasSideEffects();
@@ -261,9 +259,8 @@ struct Struct {
 // CHECK-NEXT: }
 
   void MemFunc1(HasSideEffects ArgHSE, int ArgInt, HasSideEffects *ArgHSEPtr) {
-    // CHECK: cir.func {{.*}}MemFunc1{{.*}}(%{{.*}}: 
!cir.ptr<!rec_Struct>{{.*}}, %[[ARG_HSE:.*]]: !rec_HasSideEffects{{.*}}, 
%[[ARG_INT:.*]]: !s32i {{.*}}, %[[ARG_HSE_PTR:.*]]: 
!cir.ptr<!rec_HasSideEffects>{{.*}})
+    // CHECK: cir.func {{.*}}MemFunc1{{.*}}(%{{.*}}: 
!cir.ptr<!rec_Struct>{{.*}}, %[[ARG_HSE:.*]]: !cir.ptr<!rec_HasSideEffects> 
{llvm.align = 1 : i64, llvm.byref = !rec_HasSideEffects{{.*}}, %[[ARG_INT:.*]]: 
!s32i {{.*}}, %[[ARG_HSE_PTR:.*]]: !cir.ptr<!rec_HasSideEffects>{{.*}})
     // CHECK-NEXT: cir.alloca{{.*}}"this"
-    // CHECK-NEXT: %[[ARG_HSE_ALLOCA:.*]] = cir.alloca "ArgHSE" {{.*}} : 
!cir.ptr<!rec_HasSideEffects>
     // CHECK-NEXT: %[[ARG_INT_ALLOCA:.*]] = cir.alloca "ArgInt" {{.*}} : 
!cir.ptr<!s32i>
     // CHECK-NEXT: %[[ARG_HSE_PTR_ALLOCA:.*]] = cir.alloca "ArgHSEPtr" {{.*}} 
: !cir.ptr<!cir.ptr<!rec_HasSideEffects>>
     // CHECK-NEXT: %[[LOC_HSE_ALLOCA:.*]] = cir.alloca "LocalHSE" {{.*}} : 
!cir.ptr<!rec_HasSideEffects>
@@ -272,7 +269,6 @@ struct Struct {
     // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.store
-    // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.load
 
     HasSideEffects LocalHSE;
@@ -281,7 +277,7 @@ struct Struct {
     int LocalInt;
 
 #pragma acc declare copyin(always:ArgHSE, ArgInt, LocalHSE, LocalInt, 
ArgHSEPtr[1:1], LocalHSEArr[1:1])
-    // CHECK: %[[ARG_HSE_COPYIN:.*]] = acc.copyin varPtr(%[[ARG_HSE_ALLOCA]] : 
!cir.ptr<!rec_HasSideEffects>) name("ArgHSE") <modifiers = "always"> -> 
!cir.ptr<!rec_HasSideEffects>
+    // CHECK: %[[ARG_HSE_COPYIN:.*]] = acc.copyin varPtr(%[[ARG_HSE]] : 
!cir.ptr<!rec_HasSideEffects>) name("ArgHSE") <modifiers = "always"> -> 
!cir.ptr<!rec_HasSideEffects>
     // CHECK-NEXT: %[[ARG_INT_COPYIN:.*]] = acc.copyin 
varPtr(%[[ARG_INT_ALLOCA]] : !cir.ptr<!s32i>)  name("ArgInt") <modifiers = 
"always"> -> !cir.ptr<!s32i>
     // CHECK-NEXT: %[[LOC_HSE_COPYIN:.*]] = acc.copyin 
varPtr(%[[LOC_HSE_ALLOCA]] : !cir.ptr<!rec_HasSideEffects>)  name("LocalHSE") 
<modifiers = "always"> -> !cir.ptr<!rec_HasSideEffects>
     // CHECK-NEXT: %[[LOC_INT_COPYIN:.*]] = acc.copyin 
varPtr(%[[LOC_INT_ALLOCA]] : !cir.ptr<!s32i>)  name("LocalInt") <modifiers = 
"always"> -> !cir.ptr<!s32i>
@@ -325,9 +321,8 @@ void use() {
 }
 
 void Struct::MemFunc2(HasSideEffects ArgHSE, int ArgInt, HasSideEffects 
*ArgHSEPtr) {
-    // CHECK: cir.func {{.*}}MemFunc2{{.*}}(%{{.*}}: 
!cir.ptr<!rec_Struct>{{.*}}, %[[ARG_HSE:.*]]: !rec_HasSideEffects{{.*}}, 
%[[ARG_INT:.*]]: !s32i {{.*}}, %[[ARG_HSE_PTR:.*]]: 
!cir.ptr<!rec_HasSideEffects>{{.*}})
+    // CHECK: cir.func {{.*}}MemFunc2{{.*}}(%{{.*}}: 
!cir.ptr<!rec_Struct>{{.*}}, %[[ARG_HSE:.*]]: !cir.ptr<!rec_HasSideEffects> 
{llvm.align = 1 : i64, llvm.byref = !rec_HasSideEffects{{.*}}, %[[ARG_INT:.*]]: 
!s32i {{.*}}, %[[ARG_HSE_PTR:.*]]: !cir.ptr<!rec_HasSideEffects>{{.*}})
     // CHECK-NEXT: cir.alloca{{.*}}"this"
-    // CHECK-NEXT: %[[ARG_HSE_ALLOCA:.*]] = cir.alloca "ArgHSE" {{.*}} : 
!cir.ptr<!rec_HasSideEffects>
     // CHECK-NEXT: %[[ARG_INT_ALLOCA:.*]] = cir.alloca "ArgInt" {{.*}} : 
!cir.ptr<!s32i>
     // CHECK-NEXT: %[[ARG_HSE_PTR_ALLOCA:.*]] = cir.alloca "ArgHSEPtr" {{.*}} 
: !cir.ptr<!cir.ptr<!rec_HasSideEffects>>
     // CHECK-NEXT: %[[LOC_HSE_ALLOCA:.*]] = cir.alloca "LocalHSE" {{.*}} : 
!cir.ptr<!rec_HasSideEffects>
@@ -336,7 +331,6 @@ void Struct::MemFunc2(HasSideEffects ArgHSE, int ArgInt, 
HasSideEffects *ArgHSEP
     // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.store
-    // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.load
     HasSideEffects LocalHSE;
     // CHECK-NEXT: cir.call{{.*}} : (!cir.ptr<!rec_HasSideEffects>{{.*}}) -> ()
@@ -346,7 +340,7 @@ void Struct::MemFunc2(HasSideEffects ArgHSE, int ArgInt, 
HasSideEffects *ArgHSEP
     // CHECK: }
     int LocalInt;
 #pragma acc declare copyin(alwaysin:ArgHSE, ArgInt, ArgHSEPtr[1:1])
-    // CHECK: %[[ARG_HSE_COPYIN:.*]] = acc.copyin varPtr(%[[ARG_HSE_ALLOCA]] : 
!cir.ptr<!rec_HasSideEffects>) name("ArgHSE") <modifiers = alwaysin> -> 
!cir.ptr<!rec_HasSideEffects>
+    // CHECK: %[[ARG_HSE_COPYIN:.*]] = acc.copyin varPtr(%[[ARG_HSE]] : 
!cir.ptr<!rec_HasSideEffects>) name("ArgHSE") <modifiers = alwaysin> -> 
!cir.ptr<!rec_HasSideEffects>
     // CHECK-NEXT: %[[ARG_INT_COPYIN:.*]] = acc.copyin 
varPtr(%[[ARG_INT_ALLOCA]] : !cir.ptr<!s32i>) name("ArgInt") <modifiers = 
alwaysin> -> !cir.ptr<!s32i>
     // CHECK-NEXT: %[[ONE:.*]] = cir.const #cir.int<1> : !s32i
     // CHECK-NEXT: %[[LB:.*]] = cir.builtin_int_cast %[[ONE]] : !s32i -> si32
@@ -396,8 +390,7 @@ void Struct::MemFunc2(HasSideEffects ArgHSE, int ArgInt, 
HasSideEffects *ArgHSEP
 extern "C" void do_thing();
 
 extern "C" void NormalFunc(HasSideEffects ArgHSE, int ArgInt, HasSideEffects 
*ArgHSEPtr) {
-    // CHECK: cir.func {{.*}}NormalFunc(%[[ARG_HSE:.*]]: 
!rec_HasSideEffects{{.*}}, %[[ARG_INT:.*]]: !s32i {{.*}}, %[[ARG_HSE_PTR:.*]]: 
!cir.ptr<!rec_HasSideEffects>{{.*}})
-    // CHECK-NEXT: %[[ARG_HSE_ALLOCA:.*]] = cir.alloca "ArgHSE" {{.*}} : 
!cir.ptr<!rec_HasSideEffects>
+    // CHECK: cir.func {{.*}}NormalFunc(%[[ARG_HSE:.*]]: 
!cir.ptr<!rec_HasSideEffects> {llvm.align = 1 : i64, llvm.byref = 
!rec_HasSideEffects{{.*}}, %[[ARG_INT:.*]]: !s32i {{.*}}, %[[ARG_HSE_PTR:.*]]: 
!cir.ptr<!rec_HasSideEffects>{{.*}})
     // CHECK-NEXT: %[[ARG_INT_ALLOCA:.*]] = cir.alloca "ArgInt" {{.*}} : 
!cir.ptr<!s32i>
     // CHECK-NEXT: %[[ARG_HSE_PTR_ALLOCA:.*]] = cir.alloca "ArgHSEPtr" {{.*}} 
: !cir.ptr<!cir.ptr<!rec_HasSideEffects>>
     // CHECK-NEXT: %[[LOC_HSE_ALLOCA:.*]] = cir.alloca "LocalHSE" {{.*}} : 
!cir.ptr<!rec_HasSideEffects>
@@ -405,7 +398,6 @@ extern "C" void NormalFunc(HasSideEffects ArgHSE, int 
ArgInt, HasSideEffects *Ar
     // CHECK-NEXT: %[[LOC_INT_ALLOCA:.*]] = cir.alloca "LocalInt" {{.*}} : 
!cir.ptr<!s32i>
     // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.store
-    // CHECK-NEXT: cir.store
     HasSideEffects LocalHSE;
     // CHECK-NEXT: cir.call{{.*}} : (!cir.ptr<!rec_HasSideEffects>{{.*}}) -> ()
     HasSideEffects LocalHSEArr[5];
@@ -414,7 +406,7 @@ extern "C" void NormalFunc(HasSideEffects ArgHSE, int 
ArgInt, HasSideEffects *Ar
     // CHECK: }
     int LocalInt;
 #pragma acc declare copyin(always:ArgHSE, ArgInt, ArgHSEPtr[1:1])
-    // CHECK: %[[ARG_HSE_COPYIN:.*]] = acc.copyin varPtr(%[[ARG_HSE_ALLOCA]] : 
!cir.ptr<!rec_HasSideEffects>) name("ArgHSE") <modifiers = "always"> -> 
!cir.ptr<!rec_HasSideEffects>
+    // CHECK: %[[ARG_HSE_COPYIN:.*]] = acc.copyin varPtr(%[[ARG_HSE]] : 
!cir.ptr<!rec_HasSideEffects>) name("ArgHSE") <modifiers = "always"> -> 
!cir.ptr<!rec_HasSideEffects>
     // CHECK-NEXT: %[[ARG_INT_COPYIN:.*]] = acc.copyin 
varPtr(%[[ARG_INT_ALLOCA]] : !cir.ptr<!s32i>) name("ArgInt") <modifiers = 
"always"> -> !cir.ptr<!s32i>
     // CHECK-NEXT: %[[ONE:.*]] = cir.const #cir.int<1> : !s32i
     // CHECK-NEXT: %[[LB:.*]] = cir.builtin_int_cast %[[ONE]] : !s32i -> si32

diff  --git a/clang/test/CIR/CodeGenOpenACC/declare-copyout.cpp 
b/clang/test/CIR/CodeGenOpenACC/declare-copyout.cpp
index 09399cb65dc48..1a63cd9ade376 100644
--- a/clang/test/CIR/CodeGenOpenACC/declare-copyout.cpp
+++ b/clang/test/CIR/CodeGenOpenACC/declare-copyout.cpp
@@ -1,6 +1,4 @@
-// TODO(cir): drop -fno-clangir-call-conv-lowering once CallConvLowering
-// supports parameters of an empty or tag class.
-// RUN: %clang_cc1 -fopenacc -Wno-openacc-self-if-potential-conflict -emit-cir 
-fclangir -fno-clangir-call-conv-lowering %s -o - | FileCheck %s
+// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -fopenacc 
-Wno-openacc-self-if-potential-conflict -emit-cir -fclangir %s -o - | FileCheck 
%s
 
 struct HasSideEffects {
   HasSideEffects();
@@ -13,9 +11,8 @@ struct Struct {
   static const int StaticMemInt;
 
   void MemFunc1(HasSideEffects ArgHSE, int ArgInt, HasSideEffects *ArgHSEPtr) {
-    // CHECK: cir.func {{.*}}MemFunc1{{.*}}(%{{.*}}: 
!cir.ptr<!rec_Struct>{{.*}}, %[[ARG_HSE:.*]]: !rec_HasSideEffects{{.*}}, 
%[[ARG_INT:.*]]: !s32i {{.*}}, %[[ARG_HSE_PTR:.*]]: 
!cir.ptr<!rec_HasSideEffects>{{.*}})
+    // CHECK: cir.func {{.*}}MemFunc1{{.*}}(%{{.*}}: 
!cir.ptr<!rec_Struct>{{.*}}, %[[ARG_HSE:.*]]: !cir.ptr<!rec_HasSideEffects> 
{llvm.align = 1 : i64, llvm.byref = !rec_HasSideEffects{{.*}}, %[[ARG_INT:.*]]: 
!s32i {{.*}}, %[[ARG_HSE_PTR:.*]]: !cir.ptr<!rec_HasSideEffects>{{.*}})
     // CHECK-NEXT: cir.alloca{{.*}}"this"
-    // CHECK-NEXT: %[[ARG_HSE_ALLOCA:.*]] = cir.alloca "ArgHSE" {{.*}} : 
!cir.ptr<!rec_HasSideEffects>
     // CHECK-NEXT: %[[ARG_INT_ALLOCA:.*]] = cir.alloca "ArgInt" {{.*}} : 
!cir.ptr<!s32i>
     // CHECK-NEXT: %[[ARG_HSE_PTR_ALLOCA:.*]] = cir.alloca "ArgHSEPtr" {{.*}} 
: !cir.ptr<!cir.ptr<!rec_HasSideEffects>>
     // CHECK-NEXT: %[[LOC_HSE_ALLOCA:.*]] = cir.alloca "LocalHSE" {{.*}} : 
!cir.ptr<!rec_HasSideEffects>
@@ -24,7 +21,6 @@ struct Struct {
     // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.store
-    // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.load
 
     HasSideEffects LocalHSE;
@@ -33,7 +29,7 @@ struct Struct {
     int LocalInt;
 
 #pragma acc declare copyout(always:ArgHSE, ArgInt, LocalHSE, LocalInt, 
ArgHSEPtr[1:1], LocalHSEArr[1:1])
-    // CHECK: %[[ARG_HSE_CREATE:.*]] = acc.create varPtr(%[[ARG_HSE_ALLOCA]] : 
!cir.ptr<!rec_HasSideEffects>) dataClause(acc_copyout) name("ArgHSE") 
<modifiers = "always"> -> !cir.ptr<!rec_HasSideEffects>
+    // CHECK: %[[ARG_HSE_CREATE:.*]] = acc.create varPtr(%[[ARG_HSE]] : 
!cir.ptr<!rec_HasSideEffects>) dataClause(acc_copyout) name("ArgHSE") 
<modifiers = "always"> -> !cir.ptr<!rec_HasSideEffects>
     // CHECK-NEXT: %[[ARG_INT_CREATE:.*]] = acc.create 
varPtr(%[[ARG_INT_ALLOCA]] : !cir.ptr<!s32i>) dataClause(acc_copyout) 
name("ArgInt") <modifiers = "always"> -> !cir.ptr<!s32i>
     // CHECK-NEXT: %[[LOC_HSE_CREATE:.*]] = acc.create 
varPtr(%[[LOC_HSE_ALLOCA]] : !cir.ptr<!rec_HasSideEffects>) 
dataClause(acc_copyout) name("LocalHSE") <modifiers = "always"> -> 
!cir.ptr<!rec_HasSideEffects>
     // CHECK-NEXT: %[[LOC_INT_CREATE:.*]] = acc.create 
varPtr(%[[LOC_INT_ALLOCA]] : !cir.ptr<!s32i>) dataClause(acc_copyout) 
name("LocalInt") <modifiers = "always"> -> !cir.ptr<!s32i>
@@ -59,7 +55,7 @@ struct Struct {
     // CHECK-NEXT:   cir.yield
     // CHECK-NEXT: } cleanup normal {
     // CHECK-NEXT:   acc.declare_exit token(%[[ENTER]]) 
dataOperands(%[[ARG_HSE_CREATE]], %[[ARG_INT_CREATE]], %[[LOC_HSE_CREATE]], 
%[[LOC_INT_CREATE]], %[[ARG_HSE_PTR_CREATE]], %[[LOC_HSE_ARR_CREATE]] : 
!cir.ptr<!rec_HasSideEffects>, !cir.ptr<!s32i>, !cir.ptr<!rec_HasSideEffects>, 
!cir.ptr<!s32i>, !cir.ptr<!cir.ptr<!rec_HasSideEffects>>, 
!cir.ptr<!cir.array<!rec_HasSideEffects x 5>>)
-    // CHECK-NEXT: acc.copyout accPtr(%[[ARG_HSE_CREATE]] : 
!cir.ptr<!rec_HasSideEffects>) to varPtr(%[[ARG_HSE_ALLOCA]] : 
!cir.ptr<!rec_HasSideEffects>) name("ArgHSE") <modifiers = "always">
+    // CHECK-NEXT: acc.copyout accPtr(%[[ARG_HSE_CREATE]] : 
!cir.ptr<!rec_HasSideEffects>) to varPtr(%[[ARG_HSE]] : 
!cir.ptr<!rec_HasSideEffects>) name("ArgHSE") <modifiers = "always">
     // CHECK-NEXT: acc.copyout accPtr(%[[ARG_INT_CREATE]] : !cir.ptr<!s32i>) 
to varPtr(%[[ARG_INT_ALLOCA]] : !cir.ptr<!s32i>) name("ArgInt") <modifiers = 
"always">
     // CHECK-NEXT: acc.copyout accPtr(%[[LOC_HSE_CREATE]] : 
!cir.ptr<!rec_HasSideEffects>) to varPtr(%[[LOC_HSE_ALLOCA]] : 
!cir.ptr<!rec_HasSideEffects>) name("LocalHSE") <modifiers = "always">
     // CHECK-NEXT: acc.copyout accPtr(%[[LOC_INT_CREATE]] : !cir.ptr<!s32i>) 
to varPtr(%[[LOC_INT_ALLOCA]] : !cir.ptr<!s32i>) name("LocalInt") <modifiers = 
"always">
@@ -77,9 +73,8 @@ void use() {
 }
 
 void Struct::MemFunc2(HasSideEffects ArgHSE, int ArgInt, HasSideEffects 
*ArgHSEPtr) {
-    // CHECK: cir.func {{.*}}MemFunc2{{.*}}(%{{.*}}: 
!cir.ptr<!rec_Struct>{{.*}}, %[[ARG_HSE:.*]]: !rec_HasSideEffects{{.*}}, 
%[[ARG_INT:.*]]: !s32i {{.*}}, %[[ARG_HSE_PTR:.*]]: 
!cir.ptr<!rec_HasSideEffects>{{.*}})
+    // CHECK: cir.func {{.*}}MemFunc2{{.*}}(%{{.*}}: 
!cir.ptr<!rec_Struct>{{.*}}, %[[ARG_HSE:.*]]: !cir.ptr<!rec_HasSideEffects> 
{llvm.align = 1 : i64, llvm.byref = !rec_HasSideEffects{{.*}}, %[[ARG_INT:.*]]: 
!s32i {{.*}}, %[[ARG_HSE_PTR:.*]]: !cir.ptr<!rec_HasSideEffects>{{.*}})
     // CHECK-NEXT: cir.alloca{{.*}}"this"
-    // CHECK-NEXT: %[[ARG_HSE_ALLOCA:.*]] = cir.alloca "ArgHSE" {{.*}} : 
!cir.ptr<!rec_HasSideEffects>
     // CHECK-NEXT: %[[ARG_INT_ALLOCA:.*]] = cir.alloca "ArgInt" {{.*}} : 
!cir.ptr<!s32i>
     // CHECK-NEXT: %[[ARG_HSE_PTR_ALLOCA:.*]] = cir.alloca "ArgHSEPtr" {{.*}} 
: !cir.ptr<!cir.ptr<!rec_HasSideEffects>>
     // CHECK-NEXT: %[[LOC_HSE_ALLOCA:.*]] = cir.alloca "LocalHSE" {{.*}} : 
!cir.ptr<!rec_HasSideEffects>
@@ -88,7 +83,6 @@ void Struct::MemFunc2(HasSideEffects ArgHSE, int ArgInt, 
HasSideEffects *ArgHSEP
     // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.store
-    // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.load
     HasSideEffects LocalHSE;
     // CHECK-NEXT: cir.call{{.*}} : (!cir.ptr<!rec_HasSideEffects>{{.*}}) -> ()
@@ -98,7 +92,7 @@ void Struct::MemFunc2(HasSideEffects ArgHSE, int ArgInt, 
HasSideEffects *ArgHSEP
     // CHECK: }
     int LocalInt;
 #pragma acc declare copyout(alwaysout:ArgHSE, ArgInt, ArgHSEPtr[1:1])
-    // CHECK: %[[ARG_HSE_CREATE:.*]] = acc.create varPtr(%[[ARG_HSE_ALLOCA]] : 
!cir.ptr<!rec_HasSideEffects>) dataClause(acc_copyout) name("ArgHSE") 
<modifiers = alwaysout> -> !cir.ptr<!rec_HasSideEffects>
+    // CHECK: %[[ARG_HSE_CREATE:.*]] = acc.create varPtr(%[[ARG_HSE]] : 
!cir.ptr<!rec_HasSideEffects>) dataClause(acc_copyout) name("ArgHSE") 
<modifiers = alwaysout> -> !cir.ptr<!rec_HasSideEffects>
     // CHECK-NEXT: %[[ARG_INT_CREATE:.*]] = acc.create 
varPtr(%[[ARG_INT_ALLOCA]] : !cir.ptr<!s32i>) dataClause(acc_copyout) 
name("ArgInt") <modifiers = alwaysout> -> !cir.ptr<!s32i>
     // CHECK-NEXT: %[[ONE:.*]] = cir.const #cir.int<1> : !s32i
     // CHECK-NEXT: %[[LB:.*]] = cir.builtin_int_cast %[[ONE]] : !s32i -> si32
@@ -138,7 +132,7 @@ void Struct::MemFunc2(HasSideEffects ArgHSE, int ArgInt, 
HasSideEffects *ArgHSEP
 
     // CHECK-NEXT: cleanup normal {
     // CHECK-NEXT:   acc.declare_exit token(%[[ENTER1]]) 
dataOperands(%[[ARG_HSE_CREATE]], %[[ARG_INT_CREATE]], %[[ARG_HSE_PTR_CREATE]] 
: !cir.ptr<!rec_HasSideEffects>, !cir.ptr<!s32i>, 
!cir.ptr<!cir.ptr<!rec_HasSideEffects>>)
-    // CHECK-NEXT: acc.copyout accPtr(%[[ARG_HSE_CREATE]] : 
!cir.ptr<!rec_HasSideEffects>) to varPtr(%[[ARG_HSE_ALLOCA]] : 
!cir.ptr<!rec_HasSideEffects>) name("ArgHSE") <modifiers = alwaysout>
+    // CHECK-NEXT: acc.copyout accPtr(%[[ARG_HSE_CREATE]] : 
!cir.ptr<!rec_HasSideEffects>) to varPtr(%[[ARG_HSE]] : 
!cir.ptr<!rec_HasSideEffects>) name("ArgHSE") <modifiers = alwaysout>
     // CHECK-NEXT: acc.copyout accPtr(%[[ARG_INT_CREATE]] : !cir.ptr<!s32i>) 
to varPtr(%[[ARG_INT_ALLOCA]] : !cir.ptr<!s32i>) name("ArgInt") <modifiers = 
alwaysout>
     // CHECK-NEXT: acc.copyout accPtr(%[[ARG_HSE_PTR_CREATE]] : 
!cir.ptr<!cir.ptr<!rec_HasSideEffects>>) bounds(%[[BOUND1]]) to 
varPtr(%[[ARG_HSE_PTR_ALLOCA]] : !cir.ptr<!cir.ptr<!rec_HasSideEffects>>) 
name("ArgHSEPtr[1:1]") <modifiers = alwaysout>
     // CHECK-NEXT:   cir.yield
@@ -148,8 +142,7 @@ void Struct::MemFunc2(HasSideEffects ArgHSE, int ArgInt, 
HasSideEffects *ArgHSEP
 extern "C" void do_thing();
 
 extern "C" void NormalFunc(HasSideEffects ArgHSE, int ArgInt, HasSideEffects 
*ArgHSEPtr) {
-    // CHECK: cir.func {{.*}}NormalFunc(%[[ARG_HSE:.*]]: 
!rec_HasSideEffects{{.*}}, %[[ARG_INT:.*]]: !s32i {{.*}}, %[[ARG_HSE_PTR:.*]]: 
!cir.ptr<!rec_HasSideEffects>{{.*}})
-    // CHECK-NEXT: %[[ARG_HSE_ALLOCA:.*]] = cir.alloca "ArgHSE" {{.*}} : 
!cir.ptr<!rec_HasSideEffects>
+    // CHECK: cir.func {{.*}}NormalFunc(%[[ARG_HSE:.*]]: 
!cir.ptr<!rec_HasSideEffects> {llvm.align = 1 : i64, llvm.byref = 
!rec_HasSideEffects{{.*}}, %[[ARG_INT:.*]]: !s32i {{.*}}, %[[ARG_HSE_PTR:.*]]: 
!cir.ptr<!rec_HasSideEffects>{{.*}})
     // CHECK-NEXT: %[[ARG_INT_ALLOCA:.*]] = cir.alloca "ArgInt" {{.*}} : 
!cir.ptr<!s32i>
     // CHECK-NEXT: %[[ARG_HSE_PTR_ALLOCA:.*]] = cir.alloca "ArgHSEPtr" {{.*}} 
: !cir.ptr<!cir.ptr<!rec_HasSideEffects>>
     // CHECK-NEXT: %[[LOC_HSE_ALLOCA:.*]] = cir.alloca "LocalHSE" {{.*}} : 
!cir.ptr<!rec_HasSideEffects>
@@ -157,7 +150,6 @@ extern "C" void NormalFunc(HasSideEffects ArgHSE, int 
ArgInt, HasSideEffects *Ar
     // CHECK-NEXT: %[[LOC_INT_ALLOCA:.*]] = cir.alloca "LocalInt" {{.*}} : 
!cir.ptr<!s32i>
     // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.store
-    // CHECK-NEXT: cir.store
     HasSideEffects LocalHSE;
     // CHECK-NEXT: cir.call{{.*}} : (!cir.ptr<!rec_HasSideEffects>{{.*}}) -> ()
     HasSideEffects LocalHSEArr[5];
@@ -166,7 +158,7 @@ extern "C" void NormalFunc(HasSideEffects ArgHSE, int 
ArgInt, HasSideEffects *Ar
     // CHECK: }
     int LocalInt;
 #pragma acc declare copyout(always:ArgHSE, ArgInt, ArgHSEPtr[1:1])
-    // CHECK: %[[ARG_HSE_CREATE:.*]] = acc.create varPtr(%[[ARG_HSE_ALLOCA]] : 
!cir.ptr<!rec_HasSideEffects>) dataClause(acc_copyout) name("ArgHSE") 
<modifiers = "always"> -> !cir.ptr<!rec_HasSideEffects>
+    // CHECK: %[[ARG_HSE_CREATE:.*]] = acc.create varPtr(%[[ARG_HSE]] : 
!cir.ptr<!rec_HasSideEffects>) dataClause(acc_copyout) name("ArgHSE") 
<modifiers = "always"> -> !cir.ptr<!rec_HasSideEffects>
     // CHECK-NEXT: %[[ARG_INT_CREATE:.*]] = acc.create 
varPtr(%[[ARG_INT_ALLOCA]] : !cir.ptr<!s32i>) dataClause(acc_copyout) 
name("ArgInt") <modifiers = "always"> -> !cir.ptr<!s32i>
     // CHECK-NEXT: %[[ONE:.*]] = cir.const #cir.int<1> : !s32i
     // CHECK-NEXT: %[[LB:.*]] = cir.builtin_int_cast %[[ONE]] : !s32i -> si32
@@ -216,7 +208,7 @@ extern "C" void NormalFunc(HasSideEffects ArgHSE, int 
ArgInt, HasSideEffects *Ar
     // CHECK-NEXT: } cleanup normal {
     // CHECK-NEXT:   acc.declare_exit token(%[[ENTER1]]) 
dataOperands(%[[ARG_HSE_CREATE]], %[[ARG_INT_CREATE]], %[[ARG_HSE_PTR_CREATE]] 
: !cir.ptr<!rec_HasSideEffects>, !cir.ptr<!s32i>, 
!cir.ptr<!cir.ptr<!rec_HasSideEffects>>)
 
-    // CHECK-NEXT: acc.copyout accPtr(%[[ARG_HSE_CREATE]] : 
!cir.ptr<!rec_HasSideEffects>) to varPtr(%[[ARG_HSE_ALLOCA]] : 
!cir.ptr<!rec_HasSideEffects>) name("ArgHSE") <modifiers = "always">
+    // CHECK-NEXT: acc.copyout accPtr(%[[ARG_HSE_CREATE]] : 
!cir.ptr<!rec_HasSideEffects>) to varPtr(%[[ARG_HSE]] : 
!cir.ptr<!rec_HasSideEffects>) name("ArgHSE") <modifiers = "always">
     // CHECK-NEXT: acc.copyout accPtr(%[[ARG_INT_CREATE]] : !cir.ptr<!s32i>) 
to varPtr(%[[ARG_INT_ALLOCA]] : !cir.ptr<!s32i>) name("ArgInt") <modifiers = 
"always">
     // CHECK-NEXT: acc.copyout accPtr(%[[ARG_HSE_PTR_CREATE]] : 
!cir.ptr<!cir.ptr<!rec_HasSideEffects>>) bounds(%[[BOUND1]]) to 
varPtr(%[[ARG_HSE_PTR_ALLOCA]] : !cir.ptr<!cir.ptr<!rec_HasSideEffects>>) 
name("ArgHSEPtr[1:1]") <modifiers = "always">
 }

diff  --git a/clang/test/CIR/CodeGenOpenACC/declare-create.cpp 
b/clang/test/CIR/CodeGenOpenACC/declare-create.cpp
index d0a6ace2fe4bf..8475d20253231 100644
--- a/clang/test/CIR/CodeGenOpenACC/declare-create.cpp
+++ b/clang/test/CIR/CodeGenOpenACC/declare-create.cpp
@@ -1,6 +1,4 @@
-// TODO(cir): drop -fno-clangir-call-conv-lowering once CallConvLowering
-// supports parameters of an empty or tag class.
-// RUN: %clang_cc1 -fopenacc -Wno-openacc-self-if-potential-conflict -emit-cir 
-fclangir -fno-clangir-call-conv-lowering %s -o - | FileCheck %s
+// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -fopenacc 
-Wno-openacc-self-if-potential-conflict -emit-cir -fclangir %s -o - | FileCheck 
%s
 
 struct HasSideEffects {
   HasSideEffects();
@@ -262,9 +260,8 @@ struct Struct {
 // CHECK-NEXT: }
 
   void MemFunc1(HasSideEffects ArgHSE, int ArgInt, HasSideEffects *ArgHSEPtr) {
-    // CHECK: cir.func {{.*}}MemFunc1{{.*}}(%{{.*}}: 
!cir.ptr<!rec_Struct>{{.*}}, %[[ARG_HSE:.*]]: !rec_HasSideEffects{{.*}}, 
%[[ARG_INT:.*]]: !s32i {{.*}}, %[[ARG_HSE_PTR:.*]]: 
!cir.ptr<!rec_HasSideEffects>{{.*}})
+    // CHECK: cir.func {{.*}}MemFunc1{{.*}}(%{{.*}}: 
!cir.ptr<!rec_Struct>{{.*}}, %[[ARG_HSE:.*]]: !cir.ptr<!rec_HasSideEffects> 
{llvm.align = 1 : i64, llvm.byref = !rec_HasSideEffects{{.*}}, %[[ARG_INT:.*]]: 
!s32i {{.*}}, %[[ARG_HSE_PTR:.*]]: !cir.ptr<!rec_HasSideEffects>{{.*}})
     // CHECK-NEXT: cir.alloca{{.*}}"this"
-    // CHECK-NEXT: %[[ARG_HSE_ALLOCA:.*]] = cir.alloca "ArgHSE" {{.*}} : 
!cir.ptr<!rec_HasSideEffects>
     // CHECK-NEXT: %[[ARG_INT_ALLOCA:.*]] = cir.alloca "ArgInt" {{.*}} : 
!cir.ptr<!s32i>
     // CHECK-NEXT: %[[ARG_HSE_PTR_ALLOCA:.*]] = cir.alloca "ArgHSEPtr" {{.*}} 
: !cir.ptr<!cir.ptr<!rec_HasSideEffects>>
     // CHECK-NEXT: %[[LOC_HSE_ALLOCA:.*]] = cir.alloca "LocalHSE" {{.*}} : 
!cir.ptr<!rec_HasSideEffects>
@@ -273,7 +270,6 @@ struct Struct {
     // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.store
-    // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.load
 
     HasSideEffects LocalHSE;
@@ -282,7 +278,7 @@ struct Struct {
     int LocalInt;
 
 #pragma acc declare create(zero:ArgHSE, ArgInt, LocalHSE, LocalInt, 
ArgHSEPtr[1:1], LocalHSEArr[1:1])
-    // CHECK: %[[ARG_HSE_CREATE:.*]] = acc.create varPtr(%[[ARG_HSE_ALLOCA]] : 
!cir.ptr<!rec_HasSideEffects>) name("ArgHSE") <modifiers = zero> -> 
!cir.ptr<!rec_HasSideEffects>
+    // CHECK: %[[ARG_HSE_CREATE:.*]] = acc.create varPtr(%[[ARG_HSE]] : 
!cir.ptr<!rec_HasSideEffects>) name("ArgHSE") <modifiers = zero> -> 
!cir.ptr<!rec_HasSideEffects>
     // CHECK-NEXT: %[[ARG_INT_CREATE:.*]] = acc.create 
varPtr(%[[ARG_INT_ALLOCA]] : !cir.ptr<!s32i>) name("ArgInt") <modifiers = zero> 
-> !cir.ptr<!s32i>
     // CHECK-NEXT: %[[LOC_HSE_CREATE:.*]] = acc.create 
varPtr(%[[LOC_HSE_ALLOCA]] : !cir.ptr<!rec_HasSideEffects>) name("LocalHSE") 
<modifiers = zero> -> !cir.ptr<!rec_HasSideEffects>
     // CHECK-NEXT: %[[LOC_INT_CREATE:.*]] = acc.create 
varPtr(%[[LOC_INT_ALLOCA]] : !cir.ptr<!s32i>) name("LocalInt") <modifiers = 
zero> -> !cir.ptr<!s32i>
@@ -326,9 +322,8 @@ void use() {
 }
 
 void Struct::MemFunc2(HasSideEffects ArgHSE, int ArgInt, HasSideEffects 
*ArgHSEPtr) {
-    // CHECK: cir.func {{.*}}MemFunc2{{.*}}(%{{.*}}: 
!cir.ptr<!rec_Struct>{{.*}}, %[[ARG_HSE:.*]]: !rec_HasSideEffects{{.*}}, 
%[[ARG_INT:.*]]: !s32i {{.*}}, %[[ARG_HSE_PTR:.*]]: 
!cir.ptr<!rec_HasSideEffects>{{.*}})
+    // CHECK: cir.func {{.*}}MemFunc2{{.*}}(%{{.*}}: 
!cir.ptr<!rec_Struct>{{.*}}, %[[ARG_HSE:.*]]: !cir.ptr<!rec_HasSideEffects> 
{llvm.align = 1 : i64, llvm.byref = !rec_HasSideEffects{{.*}}, %[[ARG_INT:.*]]: 
!s32i {{.*}}, %[[ARG_HSE_PTR:.*]]: !cir.ptr<!rec_HasSideEffects>{{.*}})
     // CHECK-NEXT: cir.alloca{{.*}}"this"
-    // CHECK-NEXT: %[[ARG_HSE_ALLOCA:.*]] = cir.alloca "ArgHSE" {{.*}} : 
!cir.ptr<!rec_HasSideEffects>
     // CHECK-NEXT: %[[ARG_INT_ALLOCA:.*]] = cir.alloca "ArgInt" {{.*}} : 
!cir.ptr<!s32i>
     // CHECK-NEXT: %[[ARG_HSE_PTR_ALLOCA:.*]] = cir.alloca "ArgHSEPtr" {{.*}} 
: !cir.ptr<!cir.ptr<!rec_HasSideEffects>>
     // CHECK-NEXT: %[[LOC_HSE_ALLOCA:.*]] = cir.alloca "LocalHSE" {{.*}} : 
!cir.ptr<!rec_HasSideEffects>
@@ -337,7 +332,6 @@ void Struct::MemFunc2(HasSideEffects ArgHSE, int ArgInt, 
HasSideEffects *ArgHSEP
     // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.store
-    // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.load
     HasSideEffects LocalHSE;
     // CHECK-NEXT: cir.call{{.*}} : (!cir.ptr<!rec_HasSideEffects>{{.*}}) -> ()
@@ -347,7 +341,7 @@ void Struct::MemFunc2(HasSideEffects ArgHSE, int ArgInt, 
HasSideEffects *ArgHSEP
     // CHECK: }
     int LocalInt;
 #pragma acc declare create(zero:ArgHSE, ArgInt, ArgHSEPtr[1:1])
-    // CHECK: %[[ARG_HSE_CREATE:.*]] = acc.create varPtr(%[[ARG_HSE_ALLOCA]] : 
!cir.ptr<!rec_HasSideEffects>) name("ArgHSE") <modifiers = zero> -> 
!cir.ptr<!rec_HasSideEffects>
+    // CHECK: %[[ARG_HSE_CREATE:.*]] = acc.create varPtr(%[[ARG_HSE]] : 
!cir.ptr<!rec_HasSideEffects>) name("ArgHSE") <modifiers = zero> -> 
!cir.ptr<!rec_HasSideEffects>
     // CHECK-NEXT: %[[ARG_INT_CREATE:.*]] = acc.create 
varPtr(%[[ARG_INT_ALLOCA]] : !cir.ptr<!s32i>) name("ArgInt") <modifiers = zero> 
-> !cir.ptr<!s32i>
     // CHECK-NEXT: %[[ONE:.*]] = cir.const #cir.int<1> : !s32i
     // CHECK-NEXT: %[[LB:.*]] = cir.builtin_int_cast %[[ONE]] : !s32i -> si32
@@ -397,8 +391,7 @@ void Struct::MemFunc2(HasSideEffects ArgHSE, int ArgInt, 
HasSideEffects *ArgHSEP
 extern "C" void do_thing();
 
 extern "C" void NormalFunc(HasSideEffects ArgHSE, int ArgInt, HasSideEffects 
*ArgHSEPtr) {
-    // CHECK: cir.func {{.*}}NormalFunc(%[[ARG_HSE:.*]]: 
!rec_HasSideEffects{{.*}}, %[[ARG_INT:.*]]: !s32i {{.*}}, %[[ARG_HSE_PTR:.*]]: 
!cir.ptr<!rec_HasSideEffects>{{.*}})
-    // CHECK-NEXT: %[[ARG_HSE_ALLOCA:.*]] = cir.alloca "ArgHSE" {{.*}} : 
!cir.ptr<!rec_HasSideEffects>
+    // CHECK: cir.func {{.*}}NormalFunc(%[[ARG_HSE:.*]]: 
!cir.ptr<!rec_HasSideEffects> {llvm.align = 1 : i64, llvm.byref = 
!rec_HasSideEffects{{.*}}, %[[ARG_INT:.*]]: !s32i {{.*}}, %[[ARG_HSE_PTR:.*]]: 
!cir.ptr<!rec_HasSideEffects>{{.*}})
     // CHECK-NEXT: %[[ARG_INT_ALLOCA:.*]] = cir.alloca "ArgInt" {{.*}} : 
!cir.ptr<!s32i>
     // CHECK-NEXT: %[[ARG_HSE_PTR_ALLOCA:.*]] = cir.alloca "ArgHSEPtr" {{.*}} 
: !cir.ptr<!cir.ptr<!rec_HasSideEffects>>
     // CHECK-NEXT: %[[LOC_HSE_ALLOCA:.*]] = cir.alloca "LocalHSE" {{.*}} : 
!cir.ptr<!rec_HasSideEffects>
@@ -406,7 +399,6 @@ extern "C" void NormalFunc(HasSideEffects ArgHSE, int 
ArgInt, HasSideEffects *Ar
     // CHECK-NEXT: %[[LOC_INT_ALLOCA:.*]] = cir.alloca "LocalInt" {{.*}} : 
!cir.ptr<!s32i>
     // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.store
-    // CHECK-NEXT: cir.store
     HasSideEffects LocalHSE;
     // CHECK-NEXT: cir.call{{.*}} : (!cir.ptr<!rec_HasSideEffects>{{.*}}) -> ()
     HasSideEffects LocalHSEArr[5];
@@ -415,7 +407,7 @@ extern "C" void NormalFunc(HasSideEffects ArgHSE, int 
ArgInt, HasSideEffects *Ar
     // CHECK: }
     int LocalInt;
 #pragma acc declare create(zero:ArgHSE, ArgInt, ArgHSEPtr[1:1])
-    // CHECK: %[[ARG_HSE_CREATE:.*]] = acc.create varPtr(%[[ARG_HSE_ALLOCA]] : 
!cir.ptr<!rec_HasSideEffects>) name("ArgHSE") <modifiers = zero> -> 
!cir.ptr<!rec_HasSideEffects>
+    // CHECK: %[[ARG_HSE_CREATE:.*]] = acc.create varPtr(%[[ARG_HSE]] : 
!cir.ptr<!rec_HasSideEffects>) name("ArgHSE") <modifiers = zero> -> 
!cir.ptr<!rec_HasSideEffects>
     // CHECK-NEXT: %[[ARG_INT_CREATE:.*]] = acc.create 
varPtr(%[[ARG_INT_ALLOCA]] : !cir.ptr<!s32i>) name("ArgInt") <modifiers = zero> 
-> !cir.ptr<!s32i>
     // CHECK-NEXT: %[[ONE:.*]] = cir.const #cir.int<1> : !s32i
     // CHECK-NEXT: %[[LB:.*]] = cir.builtin_int_cast %[[ONE]] : !s32i -> si32

diff  --git a/clang/test/CIR/CodeGenOpenACC/declare-deviceresident.cpp 
b/clang/test/CIR/CodeGenOpenACC/declare-deviceresident.cpp
index c39aa269feff6..a9252cbaf3bff 100644
--- a/clang/test/CIR/CodeGenOpenACC/declare-deviceresident.cpp
+++ b/clang/test/CIR/CodeGenOpenACC/declare-deviceresident.cpp
@@ -1,6 +1,4 @@
-// TODO(cir): drop -fno-clangir-call-conv-lowering once CallConvLowering
-// supports parameters of an empty or tag class.
-// RUN: %clang_cc1 -fopenacc -Wno-openacc-self-if-potential-conflict -emit-cir 
-fclangir -fno-clangir-call-conv-lowering %s -o - | FileCheck %s
+// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -fopenacc 
-Wno-openacc-self-if-potential-conflict -emit-cir -fclangir %s -o - | FileCheck 
%s
 
 struct HasSideEffects {
   HasSideEffects();
@@ -261,9 +259,8 @@ struct Struct {
 // CHECK-NEXT: }
 
   void MemFunc1(HasSideEffects ArgHSE, int ArgInt, HasSideEffects *ArgHSEPtr) {
-    // CHECK: cir.func {{.*}}MemFunc1{{.*}}(%{{.*}}: 
!cir.ptr<!rec_Struct>{{.*}}, %[[ARG_HSE:.*]]: !rec_HasSideEffects{{.*}}, 
%[[ARG_INT:.*]]: !s32i {{.*}}, %[[ARG_HSE_PTR:.*]]: 
!cir.ptr<!rec_HasSideEffects>{{.*}})
+    // CHECK: cir.func {{.*}}MemFunc1{{.*}}(%{{.*}}: 
!cir.ptr<!rec_Struct>{{.*}}, %[[ARG_HSE:.*]]: !cir.ptr<!rec_HasSideEffects> 
{llvm.align = 1 : i64, llvm.byref = !rec_HasSideEffects{{.*}}, %[[ARG_INT:.*]]: 
!s32i {{.*}}, %[[ARG_HSE_PTR:.*]]: !cir.ptr<!rec_HasSideEffects>{{.*}})
     // CHECK-NEXT: cir.alloca{{.*}}"this"
-    // CHECK-NEXT: %[[ARG_HSE_ALLOCA:.*]] = cir.alloca "ArgHSE" {{.*}} : 
!cir.ptr<!rec_HasSideEffects>
     // CHECK-NEXT: %[[ARG_INT_ALLOCA:.*]] = cir.alloca "ArgInt" {{.*}} : 
!cir.ptr<!s32i>
     // CHECK-NEXT: %[[ARG_HSE_PTR_ALLOCA:.*]] = cir.alloca "ArgHSEPtr" {{.*}} 
: !cir.ptr<!cir.ptr<!rec_HasSideEffects>>
     // CHECK-NEXT: %[[LOC_HSE_ALLOCA:.*]] = cir.alloca "LocalHSE" {{.*}} : 
!cir.ptr<!rec_HasSideEffects>
@@ -272,7 +269,6 @@ struct Struct {
     // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.store
-    // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.load
 
     HasSideEffects LocalHSE;
@@ -281,7 +277,7 @@ struct Struct {
     int LocalInt;
 
 #pragma acc declare device_resident(ArgHSE, ArgInt, LocalHSE, LocalInt, 
ArgHSEPtr[1:1], LocalHSEArr[1:1])
-    // CHECK: %[[ARG_HSE_DEV_RES:.*]] = acc.declare_device_resident 
varPtr(%[[ARG_HSE_ALLOCA]] : !cir.ptr<!rec_HasSideEffects>) name("ArgHSE") -> 
!cir.ptr<!rec_HasSideEffects>
+    // CHECK: %[[ARG_HSE_DEV_RES:.*]] = acc.declare_device_resident 
varPtr(%[[ARG_HSE]] : !cir.ptr<!rec_HasSideEffects>) name("ArgHSE") -> 
!cir.ptr<!rec_HasSideEffects>
     // CHECK-NEXT: %[[ARG_INT_DEV_RES:.*]] = acc.declare_device_resident 
varPtr(%[[ARG_INT_ALLOCA]] : !cir.ptr<!s32i>) name("ArgInt") -> !cir.ptr<!s32i>
     // CHECK-NEXT: %[[LOC_HSE_DEV_RES:.*]] = acc.declare_device_resident 
varPtr(%[[LOC_HSE_ALLOCA]] : !cir.ptr<!rec_HasSideEffects>) name("LocalHSE") -> 
!cir.ptr<!rec_HasSideEffects>
     // CHECK-NEXT: %[[LOC_INT_DEV_RES:.*]] = acc.declare_device_resident 
varPtr(%[[LOC_INT_ALLOCA]] : !cir.ptr<!s32i>) name("LocalInt") -> 
!cir.ptr<!s32i>
@@ -325,9 +321,8 @@ void use() {
 }
 
 void Struct::MemFunc2(HasSideEffects ArgHSE, int ArgInt, HasSideEffects 
*ArgHSEPtr) {
-    // CHECK: cir.func {{.*}}MemFunc2{{.*}}(%{{.*}}: 
!cir.ptr<!rec_Struct>{{.*}}, %[[ARG_HSE:.*]]: !rec_HasSideEffects{{.*}}, 
%[[ARG_INT:.*]]: !s32i {{.*}}, %[[ARG_HSE_PTR:.*]]: 
!cir.ptr<!rec_HasSideEffects>{{.*}})
+    // CHECK: cir.func {{.*}}MemFunc2{{.*}}(%{{.*}}: 
!cir.ptr<!rec_Struct>{{.*}}, %[[ARG_HSE:.*]]: !cir.ptr<!rec_HasSideEffects> 
{llvm.align = 1 : i64, llvm.byref = !rec_HasSideEffects{{.*}}, %[[ARG_INT:.*]]: 
!s32i {{.*}}, %[[ARG_HSE_PTR:.*]]: !cir.ptr<!rec_HasSideEffects>{{.*}})
     // CHECK-NEXT: cir.alloca{{.*}}"this"
-    // CHECK-NEXT: %[[ARG_HSE_ALLOCA:.*]] = cir.alloca "ArgHSE" {{.*}} : 
!cir.ptr<!rec_HasSideEffects>
     // CHECK-NEXT: %[[ARG_INT_ALLOCA:.*]] = cir.alloca "ArgInt" {{.*}} : 
!cir.ptr<!s32i>
     // CHECK-NEXT: %[[ARG_HSE_PTR_ALLOCA:.*]] = cir.alloca "ArgHSEPtr" {{.*}} 
: !cir.ptr<!cir.ptr<!rec_HasSideEffects>>
     // CHECK-NEXT: %[[LOC_HSE_ALLOCA:.*]] = cir.alloca "LocalHSE" {{.*}} : 
!cir.ptr<!rec_HasSideEffects>
@@ -336,7 +331,6 @@ void Struct::MemFunc2(HasSideEffects ArgHSE, int ArgInt, 
HasSideEffects *ArgHSEP
     // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.store
-    // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.load
     HasSideEffects LocalHSE;
     // CHECK-NEXT: cir.call{{.*}} : (!cir.ptr<!rec_HasSideEffects>{{.*}}) -> ()
@@ -346,7 +340,7 @@ void Struct::MemFunc2(HasSideEffects ArgHSE, int ArgInt, 
HasSideEffects *ArgHSEP
     // CHECK: }
     int LocalInt;
 #pragma acc declare device_resident(ArgHSE, ArgInt, ArgHSEPtr[1:1])
-    // CHECK: %[[ARG_HSE_DEV_RES:.*]] = acc.declare_device_resident 
varPtr(%[[ARG_HSE_ALLOCA]] : !cir.ptr<!rec_HasSideEffects>) name("ArgHSE") -> 
!cir.ptr<!rec_HasSideEffects>
+    // CHECK: %[[ARG_HSE_DEV_RES:.*]] = acc.declare_device_resident 
varPtr(%[[ARG_HSE]] : !cir.ptr<!rec_HasSideEffects>) name("ArgHSE") -> 
!cir.ptr<!rec_HasSideEffects>
     // CHECK-NEXT: %[[ARG_INT_DEV_RES:.*]] = acc.declare_device_resident 
varPtr(%[[ARG_INT_ALLOCA]] : !cir.ptr<!s32i>) name("ArgInt") -> !cir.ptr<!s32i>
     // CHECK-NEXT: %[[ONE:.*]] = cir.const #cir.int<1> : !s32i
     // CHECK-NEXT: %[[LB:.*]] = cir.builtin_int_cast %[[ONE]] : !s32i -> si32
@@ -396,8 +390,7 @@ void Struct::MemFunc2(HasSideEffects ArgHSE, int ArgInt, 
HasSideEffects *ArgHSEP
 extern "C" void do_thing();
 
 extern "C" void NormalFunc(HasSideEffects ArgHSE, int ArgInt, HasSideEffects 
*ArgHSEPtr) {
-    // CHECK: cir.func {{.*}}NormalFunc(%[[ARG_HSE:.*]]: 
!rec_HasSideEffects{{.*}}, %[[ARG_INT:.*]]: !s32i {{.*}}, %[[ARG_HSE_PTR:.*]]: 
!cir.ptr<!rec_HasSideEffects>{{.*}})
-    // CHECK-NEXT: %[[ARG_HSE_ALLOCA:.*]] = cir.alloca "ArgHSE" {{.*}} : 
!cir.ptr<!rec_HasSideEffects>
+    // CHECK: cir.func {{.*}}NormalFunc(%[[ARG_HSE:.*]]: 
!cir.ptr<!rec_HasSideEffects> {llvm.align = 1 : i64, llvm.byref = 
!rec_HasSideEffects{{.*}}, %[[ARG_INT:.*]]: !s32i {{.*}}, %[[ARG_HSE_PTR:.*]]: 
!cir.ptr<!rec_HasSideEffects>{{.*}})
     // CHECK-NEXT: %[[ARG_INT_ALLOCA:.*]] = cir.alloca "ArgInt" {{.*}} : 
!cir.ptr<!s32i>
     // CHECK-NEXT: %[[ARG_HSE_PTR_ALLOCA:.*]] = cir.alloca "ArgHSEPtr" {{.*}} 
: !cir.ptr<!cir.ptr<!rec_HasSideEffects>>
     // CHECK-NEXT: %[[LOC_HSE_ALLOCA:.*]] = cir.alloca "LocalHSE" {{.*}} : 
!cir.ptr<!rec_HasSideEffects>
@@ -405,7 +398,6 @@ extern "C" void NormalFunc(HasSideEffects ArgHSE, int 
ArgInt, HasSideEffects *Ar
     // CHECK-NEXT: %[[LOC_INT_ALLOCA:.*]] = cir.alloca "LocalInt" {{.*}} : 
!cir.ptr<!s32i>
     // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.store
-    // CHECK-NEXT: cir.store
     HasSideEffects LocalHSE;
     // CHECK-NEXT: cir.call{{.*}} : (!cir.ptr<!rec_HasSideEffects>{{.*}}) -> ()
     HasSideEffects LocalHSEArr[5];
@@ -414,7 +406,7 @@ extern "C" void NormalFunc(HasSideEffects ArgHSE, int 
ArgInt, HasSideEffects *Ar
     // CHECK: }
     int LocalInt;
 #pragma acc declare device_resident(ArgHSE, ArgInt, ArgHSEPtr[1:1])
-    // CHECK: %[[ARG_HSE_DEV_RES:.*]] = acc.declare_device_resident 
varPtr(%[[ARG_HSE_ALLOCA]] : !cir.ptr<!rec_HasSideEffects>) name("ArgHSE") -> 
!cir.ptr<!rec_HasSideEffects>
+    // CHECK: %[[ARG_HSE_DEV_RES:.*]] = acc.declare_device_resident 
varPtr(%[[ARG_HSE]] : !cir.ptr<!rec_HasSideEffects>) name("ArgHSE") -> 
!cir.ptr<!rec_HasSideEffects>
     // CHECK-NEXT: %[[ARG_INT_DEV_RES:.*]] = acc.declare_device_resident 
varPtr(%[[ARG_INT_ALLOCA]] : !cir.ptr<!s32i>) name("ArgInt") -> !cir.ptr<!s32i>
     // CHECK-NEXT: %[[ONE:.*]] = cir.const #cir.int<1> : !s32i
     // CHECK-NEXT: %[[LB:.*]] = cir.builtin_int_cast %[[ONE]] : !s32i -> si32

diff  --git a/clang/test/CIR/CodeGenOpenACC/declare-present.cpp 
b/clang/test/CIR/CodeGenOpenACC/declare-present.cpp
index 37c29f8ce4357..4722caa5507c6 100644
--- a/clang/test/CIR/CodeGenOpenACC/declare-present.cpp
+++ b/clang/test/CIR/CodeGenOpenACC/declare-present.cpp
@@ -1,7 +1,5 @@
-// TODO(cir): drop -fno-clangir-call-conv-lowering once CallConvLowering
-// supports parameters of an empty or tag class.
-// RUN: %clang_cc1 -fopenacc -Wno-openacc-self-if-potential-conflict -emit-cir 
-fclangir -fno-clangir-call-conv-lowering %s -o %t.cir 
-// RUN: %clang_cc1 -fopenacc -Wno-openacc-self-if-potential-conflict -emit-cir 
-fclangir -fno-clangir-call-conv-lowering %s -o - | FileCheck %s
+// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -fopenacc 
-Wno-openacc-self-if-potential-conflict -emit-cir -fclangir %s -o %t.cir
+// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -fopenacc 
-Wno-openacc-self-if-potential-conflict -emit-cir -fclangir %s -o - | FileCheck 
%s
 
 struct HasSideEffects {
   HasSideEffects();
@@ -14,9 +12,8 @@ struct Struct {
   static const int StaticMemInt;
 
   void MemFunc1(HasSideEffects ArgHSE, int ArgInt, HasSideEffects *ArgHSEPtr) {
-    // CHECK: cir.func {{.*}}MemFunc1{{.*}}(%{{.*}}: 
!cir.ptr<!rec_Struct>{{.*}}, %[[ARG_HSE:.*]]: !rec_HasSideEffects{{.*}}, 
%[[ARG_INT:.*]]: !s32i {{.*}}, %[[ARG_HSE_PTR:.*]]: 
!cir.ptr<!rec_HasSideEffects>{{.*}})
+    // CHECK: cir.func {{.*}}MemFunc1{{.*}}(%{{.*}}: 
!cir.ptr<!rec_Struct>{{.*}}, %[[ARG_HSE:.*]]: !cir.ptr<!rec_HasSideEffects> 
{llvm.align = 1 : i64, llvm.byref = !rec_HasSideEffects{{.*}}, %[[ARG_INT:.*]]: 
!s32i {{.*}}, %[[ARG_HSE_PTR:.*]]: !cir.ptr<!rec_HasSideEffects>{{.*}})
     // CHECK-NEXT: cir.alloca "this"
-    // CHECK-NEXT: %[[ARG_HSE_ALLOCA:.*]] = cir.alloca "ArgHSE" {{.*}} : 
!cir.ptr<!rec_HasSideEffects>
     // CHECK-NEXT: %[[ARG_INT_ALLOCA:.*]] = cir.alloca "ArgInt" {{.*}} : 
!cir.ptr<!s32i>
     // CHECK-NEXT: %[[ARG_HSE_PTR_ALLOCA:.*]] = cir.alloca "ArgHSEPtr" {{.*}} 
: !cir.ptr<!cir.ptr<!rec_HasSideEffects>>
     // CHECK-NEXT: %[[LOC_HSE_ALLOCA:.*]] = cir.alloca "LocalHSE" {{.*}} : 
!cir.ptr<!rec_HasSideEffects>
@@ -25,7 +22,6 @@ struct Struct {
     // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.store
-    // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.load
 
     HasSideEffects LocalHSE;
@@ -34,7 +30,7 @@ struct Struct {
     int LocalInt;
 
 #pragma acc declare present(ArgHSE, ArgInt, LocalHSE, LocalInt, 
ArgHSEPtr[1:1], LocalHSEArr[1:1])
-    // CHECK: %[[ARG_HSE_PRESENT:.*]] = acc.present varPtr(%[[ARG_HSE_ALLOCA]] 
: !cir.ptr<!rec_HasSideEffects>) name("ArgHSE") -> !cir.ptr<!rec_HasSideEffects>
+    // CHECK: %[[ARG_HSE_PRESENT:.*]] = acc.present varPtr(%[[ARG_HSE]] : 
!cir.ptr<!rec_HasSideEffects>) name("ArgHSE") -> !cir.ptr<!rec_HasSideEffects>
     // CHECK-NEXT: %[[ARG_INT_PRESENT:.*]] = acc.present 
varPtr(%[[ARG_INT_ALLOCA]] : !cir.ptr<!s32i>) name("ArgInt") -> !cir.ptr<!s32i>
     // CHECK-NEXT: %[[LOC_HSE_PRESENT:.*]] = acc.present 
varPtr(%[[LOC_HSE_ALLOCA]] : !cir.ptr<!rec_HasSideEffects>) name("LocalHSE") -> 
!cir.ptr<!rec_HasSideEffects>
     // CHECK-NEXT: %[[LOC_INT_PRESENT:.*]] = acc.present 
varPtr(%[[LOC_INT_ALLOCA]] : !cir.ptr<!s32i>) name("LocalInt") -> 
!cir.ptr<!s32i>
@@ -78,9 +74,8 @@ void use() {
 }
 
 void Struct::MemFunc2(HasSideEffects ArgHSE, int ArgInt, HasSideEffects 
*ArgHSEPtr) {
-    // CHECK: cir.func {{.*}}MemFunc2{{.*}}(%{{.*}}: 
!cir.ptr<!rec_Struct>{{.*}}, %[[ARG_HSE:.*]]: !rec_HasSideEffects{{.*}}, 
%[[ARG_INT:.*]]: !s32i {{.*}}, %[[ARG_HSE_PTR:.*]]: 
!cir.ptr<!rec_HasSideEffects>{{.*}})
+    // CHECK: cir.func {{.*}}MemFunc2{{.*}}(%{{.*}}: 
!cir.ptr<!rec_Struct>{{.*}}, %[[ARG_HSE:.*]]: !cir.ptr<!rec_HasSideEffects> 
{llvm.align = 1 : i64, llvm.byref = !rec_HasSideEffects{{.*}}, %[[ARG_INT:.*]]: 
!s32i {{.*}}, %[[ARG_HSE_PTR:.*]]: !cir.ptr<!rec_HasSideEffects>{{.*}})
 // CHECK-NEXT: cir.alloca{{.*}}"this"
-    // CHECK-NEXT: %[[ARG_HSE_ALLOCA:.*]] = cir.alloca "ArgHSE" {{.*}} : 
!cir.ptr<!rec_HasSideEffects>
     // CHECK-NEXT: %[[ARG_INT_ALLOCA:.*]] = cir.alloca "ArgInt" {{.*}} : 
!cir.ptr<!s32i>
     // CHECK-NEXT: %[[ARG_HSE_PTR_ALLOCA:.*]] = cir.alloca "ArgHSEPtr" {{.*}} 
: !cir.ptr<!cir.ptr<!rec_HasSideEffects>>
     // CHECK-NEXT: %[[LOC_HSE_ALLOCA:.*]] = cir.alloca "LocalHSE" {{.*}} : 
!cir.ptr<!rec_HasSideEffects>
@@ -89,7 +84,6 @@ void Struct::MemFunc2(HasSideEffects ArgHSE, int ArgInt, 
HasSideEffects *ArgHSEP
     // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.store
-    // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.load
     HasSideEffects LocalHSE;
     // CHECK-NEXT: cir.call{{.*}} : (!cir.ptr<!rec_HasSideEffects>{{.*}}) -> ()
@@ -99,7 +93,7 @@ void Struct::MemFunc2(HasSideEffects ArgHSE, int ArgInt, 
HasSideEffects *ArgHSEP
     // CHECK: }
     int LocalInt;
 #pragma acc declare present(ArgHSE, ArgInt, ArgHSEPtr[1:1])
-    // CHECK: %[[ARG_HSE_PRESENT:.*]] = acc.present varPtr(%[[ARG_HSE_ALLOCA]] 
: !cir.ptr<!rec_HasSideEffects>) name("ArgHSE") -> !cir.ptr<!rec_HasSideEffects>
+    // CHECK: %[[ARG_HSE_PRESENT:.*]] = acc.present varPtr(%[[ARG_HSE]] : 
!cir.ptr<!rec_HasSideEffects>) name("ArgHSE") -> !cir.ptr<!rec_HasSideEffects>
     // CHECK-NEXT: %[[ARG_INT_PRESENT:.*]] = acc.present 
varPtr(%[[ARG_INT_ALLOCA]] : !cir.ptr<!s32i>) name("ArgInt") -> !cir.ptr<!s32i>
     // CHECK-NEXT: %[[ONE:.*]] = cir.const #cir.int<1> : !s32i
     // CHECK-NEXT: %[[LB:.*]] = cir.builtin_int_cast %[[ONE]] : !s32i -> si32
@@ -149,8 +143,7 @@ void Struct::MemFunc2(HasSideEffects ArgHSE, int ArgInt, 
HasSideEffects *ArgHSEP
 extern "C" void do_thing();
 
 extern "C" void NormalFunc(HasSideEffects ArgHSE, int ArgInt, HasSideEffects 
*ArgHSEPtr) {
-    // CHECK: cir.func {{.*}}NormalFunc(%[[ARG_HSE:.*]]: 
!rec_HasSideEffects{{.*}}, %[[ARG_INT:.*]]: !s32i {{.*}}, %[[ARG_HSE_PTR:.*]]: 
!cir.ptr<!rec_HasSideEffects>{{.*}})
-    // CHECK-NEXT: %[[ARG_HSE_ALLOCA:.*]] = cir.alloca "ArgHSE" {{.*}} : 
!cir.ptr<!rec_HasSideEffects>
+    // CHECK: cir.func {{.*}}NormalFunc(%[[ARG_HSE:.*]]: 
!cir.ptr<!rec_HasSideEffects> {llvm.align = 1 : i64, llvm.byref = 
!rec_HasSideEffects{{.*}}, %[[ARG_INT:.*]]: !s32i {{.*}}, %[[ARG_HSE_PTR:.*]]: 
!cir.ptr<!rec_HasSideEffects>{{.*}})
     // CHECK-NEXT: %[[ARG_INT_ALLOCA:.*]] = cir.alloca "ArgInt" {{.*}} : 
!cir.ptr<!s32i>
     // CHECK-NEXT: %[[ARG_HSE_PTR_ALLOCA:.*]] = cir.alloca "ArgHSEPtr" {{.*}} 
: !cir.ptr<!cir.ptr<!rec_HasSideEffects>>
     // CHECK-NEXT: %[[LOC_HSE_ALLOCA:.*]] = cir.alloca "LocalHSE" {{.*}} : 
!cir.ptr<!rec_HasSideEffects>
@@ -158,7 +151,6 @@ extern "C" void NormalFunc(HasSideEffects ArgHSE, int 
ArgInt, HasSideEffects *Ar
     // CHECK-NEXT: %[[LOC_INT_ALLOCA:.*]] = cir.alloca "LocalInt" {{.*}} : 
!cir.ptr<!s32i>
     // CHECK-NEXT: cir.store
     // CHECK-NEXT: cir.store
-    // CHECK-NEXT: cir.store
     HasSideEffects LocalHSE;
     // CHECK-NEXT: cir.call{{.*}} : (!cir.ptr<!rec_HasSideEffects>{{.*}}) -> ()
     HasSideEffects LocalHSEArr[5];
@@ -167,7 +159,7 @@ extern "C" void NormalFunc(HasSideEffects ArgHSE, int 
ArgInt, HasSideEffects *Ar
     // CHECK: }
     int LocalInt;
 #pragma acc declare present(ArgHSE, ArgInt, ArgHSEPtr[1:1])
-    // CHECK: %[[ARG_HSE_PRESENT:.*]] = acc.present varPtr(%[[ARG_HSE_ALLOCA]] 
: !cir.ptr<!rec_HasSideEffects>) name("ArgHSE") -> !cir.ptr<!rec_HasSideEffects>
+    // CHECK: %[[ARG_HSE_PRESENT:.*]] = acc.present varPtr(%[[ARG_HSE]] : 
!cir.ptr<!rec_HasSideEffects>) name("ArgHSE") -> !cir.ptr<!rec_HasSideEffects>
     // CHECK-NEXT: %[[ARG_INT_PRESENT:.*]] = acc.present 
varPtr(%[[ARG_INT_ALLOCA]] : !cir.ptr<!s32i>) name("ArgInt") -> !cir.ptr<!s32i>
     // CHECK-NEXT: %[[ONE:.*]] = cir.const #cir.int<1> : !s32i
     // CHECK-NEXT: %[[LB:.*]] = cir.builtin_int_cast %[[ONE]] : !s32i -> si32


        
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to