233 lines · cpp
1// RUN: %clang_cc1 -fopenacc -Wno-openacc-self-if-potential-conflict -emit-cir -fclangir %s -o - | FileCheck %s2 3struct HasSideEffects {4 HasSideEffects();5 ~HasSideEffects();6};7 8HasSideEffects GlobalHSE1;9HasSideEffects GlobalHSEArr[5];10int GlobalInt1;11 12#pragma acc declare link(GlobalHSE1, GlobalInt1, GlobalHSEArr[1:1])13// CHECK: acc.global_ctor @GlobalHSE1_acc_ctor {14// CHECK-NEXT: %[[GET_GLOBAL:.*]] = cir.get_global @GlobalHSE1 : !cir.ptr<!rec_HasSideEffects>15// CHECK-NEXT: %[[CREATE:.*]] = acc.declare_link varPtr(%[[GET_GLOBAL]] : !cir.ptr<!rec_HasSideEffects>) -> !cir.ptr<!rec_HasSideEffects> {name = "GlobalHSE1"}16// CHECK-NEXT: acc.declare_enter dataOperands(%[[CREATE]] : !cir.ptr<!rec_HasSideEffects>)17// CHECK-NEXT: acc.terminator18// CHECK-NEXT: }19// CHECK-NOT: acc.global_dtor20//21// CHECK: acc.global_ctor @GlobalInt1_acc_ctor {22// CHECK-NEXT: %[[GET_GLOBAL:.*]] = cir.get_global @GlobalInt1 : !cir.ptr<!s32i>23// CHECK-NEXT: %[[CREATE:.*]] = acc.declare_link varPtr(%[[GET_GLOBAL]] : !cir.ptr<!s32i>) -> !cir.ptr<!s32i> {name = "GlobalInt1"}24// CHECK-NEXT: acc.declare_enter dataOperands(%[[CREATE]] : !cir.ptr<!s32i>)25// CHECK-NEXT: acc.terminator26// CHECK-NEXT: }27//28// CHECK: acc.global_ctor @GlobalHSEArr_acc_ctor {29// CHECK-NEXT: %[[LB:.*]] = cir.const #cir.int<1> : !s32i30// CHECK-NEXT: %[[LB_CAST:.*]] = builtin.unrealized_conversion_cast %[[LB]]31// CHECK-NEXT: %[[UB:.*]] = cir.const #cir.int<1> : !s32i32// CHECK-NEXT: %[[UB_CAST:.*]] = builtin.unrealized_conversion_cast %[[UB]]33// CHECK-NEXT: %[[IDX:.*]] = arith.constant 0 : i6434// CHECK-NEXT: %[[STRIDE:.*]] = arith.constant 1 : i6435// CHECK-NEXT: %[[BOUNDS:.*]] = acc.bounds lowerbound(%[[LB_CAST]] : si32) extent(%[[UB_CAST]] : si32) stride(%[[STRIDE]] : i64) startIdx(%[[IDX]] : i64)36// CHECK-NEXT: %[[GET_GLOBAL:.*]] = cir.get_global @GlobalHSEArr : !cir.ptr<!cir.array<!rec_HasSideEffects x 5>>37// CHECK-NEXT: %[[CREATE:.*]] = acc.declare_link varPtr(%[[GET_GLOBAL]] : !cir.ptr<!cir.array<!rec_HasSideEffects x 5>>) bounds(%[[BOUNDS]]) -> !cir.ptr<!cir.array<!rec_HasSideEffects x 5>> {name = "GlobalHSEArr[1:1]"}38// CHECK-NEXT: acc.declare_enter dataOperands(%[[CREATE]] : !cir.ptr<!cir.array<!rec_HasSideEffects x 5>>)39// CHECK-NEXT: acc.terminator40// CHECK-NEXT: }41 42namespace NS {43 44HasSideEffects NSHSE1;45HasSideEffects NSHSEArr[5];46int NSInt1;47 48#pragma acc declare link(NSHSE1, NSInt1, NSHSEArr[1:1])49// CHECK: acc.global_ctor @{{.*}}NSHSE1{{.*}}_acc_ctor {50// CHECK-NEXT: %[[GET_GLOBAL:.*]] = cir.get_global @{{.*}}NSHSE1{{.*}} : !cir.ptr<!rec_HasSideEffects>51// CHECK-NEXT: %[[CREATE:.*]] = acc.declare_link varPtr(%[[GET_GLOBAL]] : !cir.ptr<!rec_HasSideEffects>) -> !cir.ptr<!rec_HasSideEffects> {name = "NSHSE1"}52// CHECK-NEXT: acc.declare_enter dataOperands(%[[CREATE]] : !cir.ptr<!rec_HasSideEffects>)53// CHECK-NEXT: acc.terminator54// CHECK-NEXT: }55//56// CHECK: acc.global_ctor @{{.*}}NSInt1{{.*}}_acc_ctor {57// CHECK-NEXT: %[[GET_GLOBAL:.*]] = cir.get_global @{{.*}}NSInt1{{.*}} : !cir.ptr<!s32i>58// CHECK-NEXT: %[[CREATE:.*]] = acc.declare_link varPtr(%[[GET_GLOBAL]] : !cir.ptr<!s32i>) -> !cir.ptr<!s32i> {name = "NSInt1"}59// CHECK-NEXT: acc.declare_enter dataOperands(%[[CREATE]] : !cir.ptr<!s32i>)60// CHECK-NEXT: acc.terminator61// CHECK-NEXT: }62//63// CHECK: acc.global_ctor @{{.*}}NSHSEArr{{.*}}_acc_ctor {64// CHECK-NEXT: %[[LB:.*]] = cir.const #cir.int<1> : !s32i65// CHECK-NEXT: %[[LB_CAST:.*]] = builtin.unrealized_conversion_cast %[[LB]]66// CHECK-NEXT: %[[UB:.*]] = cir.const #cir.int<1> : !s32i67// CHECK-NEXT: %[[UB_CAST:.*]] = builtin.unrealized_conversion_cast %[[UB]]68// CHECK-NEXT: %[[IDX:.*]] = arith.constant 0 : i6469// CHECK-NEXT: %[[STRIDE:.*]] = arith.constant 1 : i6470// CHECK-NEXT: %[[BOUNDS:.*]] = acc.bounds lowerbound(%[[LB_CAST]] : si32) extent(%[[UB_CAST]] : si32) stride(%[[STRIDE]] : i64) startIdx(%[[IDX]] : i64)71// CHECK-NEXT: %[[GET_GLOBAL:.*]] = cir.get_global @{{.*}}NSHSEArr{{.*}} : !cir.ptr<!cir.array<!rec_HasSideEffects x 5>>72// CHECK-NEXT: %[[CREATE:.*]] = acc.declare_link varPtr(%[[GET_GLOBAL]] : !cir.ptr<!cir.array<!rec_HasSideEffects x 5>>) bounds(%[[BOUNDS]]) -> !cir.ptr<!cir.array<!rec_HasSideEffects x 5>> {name = "NSHSEArr[1:1]"}73// CHECK-NEXT: acc.declare_enter dataOperands(%[[CREATE]] : !cir.ptr<!cir.array<!rec_HasSideEffects x 5>>)74// CHECK-NEXT: acc.terminator75// CHECK-NEXT: }76 77} // namespace NS78 79namespace {80 81HasSideEffects AnonNSHSE1;82HasSideEffects AnonNSHSEArr[5];83int AnonNSInt1;84 85#pragma acc declare link(AnonNSHSE1, AnonNSInt1, AnonNSHSEArr[1:1])86// CHECK: acc.global_ctor @{{.*}}AnonNSHSE1{{.*}}_acc_ctor {87// CHECK-NEXT: %[[GET_GLOBAL:.*]] = cir.get_global @{{.*}}AnonNSHSE1{{.*}} : !cir.ptr<!rec_HasSideEffects>88// CHECK-NEXT: %[[CREATE:.*]] = acc.declare_link varPtr(%[[GET_GLOBAL]] : !cir.ptr<!rec_HasSideEffects>) -> !cir.ptr<!rec_HasSideEffects> {name = "AnonNSHSE1"}89// CHECK-NEXT: acc.declare_enter dataOperands(%[[CREATE]] : !cir.ptr<!rec_HasSideEffects>)90// CHECK-NEXT: acc.terminator91// CHECK-NEXT: }92//93// CHECK: acc.global_ctor @{{.*}}AnonNSInt1{{.*}}_acc_ctor {94// CHECK-NEXT: %[[GET_GLOBAL:.*]] = cir.get_global @{{.*}}AnonNSInt1{{.*}} : !cir.ptr<!s32i>95// CHECK-NEXT: %[[CREATE:.*]] = acc.declare_link varPtr(%[[GET_GLOBAL]] : !cir.ptr<!s32i>) -> !cir.ptr<!s32i> {name = "AnonNSInt1"}96// CHECK-NEXT: acc.declare_enter dataOperands(%[[CREATE]] : !cir.ptr<!s32i>)97// CHECK-NEXT: acc.terminator98// CHECK-NEXT: }99//100// CHECK: acc.global_ctor @{{.*}}AnonNSHSEArr{{.*}}_acc_ctor {101// CHECK-NEXT: %[[LB:.*]] = cir.const #cir.int<1> : !s32i102// CHECK-NEXT: %[[LB_CAST:.*]] = builtin.unrealized_conversion_cast %[[LB]]103// CHECK-NEXT: %[[UB:.*]] = cir.const #cir.int<1> : !s32i104// CHECK-NEXT: %[[UB_CAST:.*]] = builtin.unrealized_conversion_cast %[[UB]]105// CHECK-NEXT: %[[IDX:.*]] = arith.constant 0 : i64106// CHECK-NEXT: %[[STRIDE:.*]] = arith.constant 1 : i64107// CHECK-NEXT: %[[BOUNDS:.*]] = acc.bounds lowerbound(%[[LB_CAST]] : si32) extent(%[[UB_CAST]] : si32) stride(%[[STRIDE]] : i64) startIdx(%[[IDX]] : i64)108// CHECK-NEXT: %[[GET_GLOBAL:.*]] = cir.get_global @{{.*}}AnonNSHSEArr{{.*}} : !cir.ptr<!cir.array<!rec_HasSideEffects x 5>>109// CHECK-NEXT: %[[CREATE:.*]] = acc.declare_link varPtr(%[[GET_GLOBAL]] : !cir.ptr<!cir.array<!rec_HasSideEffects x 5>>) bounds(%[[BOUNDS]]) -> !cir.ptr<!cir.array<!rec_HasSideEffects x 5>> {name = "AnonNSHSEArr[1:1]"}110// CHECK-NEXT: acc.declare_enter dataOperands(%[[CREATE]] : !cir.ptr<!cir.array<!rec_HasSideEffects x 5>>)111// CHECK-NEXT: acc.terminator112// CHECK-NEXT: }113 114} // namespace NS115 116 117struct Struct {118 119 void MemFunc1() {120 // CHECK: cir.func {{.*}}MemFunc1{{.*}}({{.*}}) {121 // CHECK-NEXT: cir.alloca{{.*}}["this"122 // CHECK-NEXT: cir.store123 // CHECK-NEXT: cir.load124 extern HasSideEffects LocalHSE;125 extern HasSideEffects LocalHSEArr[5];126 extern int LocalInt;127#pragma acc declare link(LocalHSE, LocalInt, LocalHSEArr[1:1])128 129 // CHECK-NEXT: %[[GET_LOCAL_HSE:.*]] = cir.get_global @LocalHSE : !cir.ptr<!rec_HasSideEffects>130 // CHECK-NEXT: %[[HSE_LINK:.*]] = acc.declare_link varPtr(%[[GET_LOCAL_HSE]] : !cir.ptr<!rec_HasSideEffects>) -> !cir.ptr<!rec_HasSideEffects> {name = "LocalHSE"}131 //132 // CHECK-NEXT: %[[GET_LOCAL_INT:.*]] = cir.get_global @LocalInt : !cir.ptr<!s32i>133 // CHECK-NEXT: %[[INT_LINK:.*]] = acc.declare_link varPtr(%[[GET_LOCAL_INT]] : !cir.ptr<!s32i>) -> !cir.ptr<!s32i> {name = "LocalInt"}134 //135 // CHECK-NEXT: %[[ONE:.*]] = cir.const #cir.int<1> : !s32i136 // CHECK-NEXT: %[[LB:.*]] = builtin.unrealized_conversion_cast %[[ONE]] : !s32i to si32137 // CHECK-NEXT: %[[ONE:.*]] = cir.const #cir.int<1> : !s32i138 // CHECK-NEXT: %[[UB:.*]] = builtin.unrealized_conversion_cast %[[ONE]] : !s32i to si32139 // CHECK-NEXT: %[[ZERO:.*]] = arith.constant 0 : i64140 // CHECK-NEXT: %[[ONE:.*]] = arith.constant 1 : i64141 // CHECK-NEXT: %[[BOUNDS:.*]] = acc.bounds lowerbound(%[[LB]] : si32) extent(%[[UB]] : si32) stride(%[[ONE]] : i64) startIdx(%[[ZERO]] : i64)142 // CHECK-NEXT: %[[GET_LOCAL_ARR:.*]] = cir.get_global @LocalHSEArr : !cir.ptr<!cir.array<!rec_HasSideEffects x 5>>143 // CHECK-NEXT: %[[ARR_LINK:.*]] = acc.declare_link varPtr(%[[GET_LOCAL_ARR]] : !cir.ptr<!cir.array<!rec_HasSideEffects x 5>>) bounds(%[[BOUNDS]]) -> !cir.ptr<!cir.array<!rec_HasSideEffects x 5>> {name = "LocalHSEArr[1:1]"}144 //145 // CHECK-NEXT: %[[ENTER:.*]] = acc.declare_enter dataOperands(%[[HSE_LINK]], %[[INT_LINK]], %[[ARR_LINK]] : !cir.ptr<!rec_HasSideEffects>, !cir.ptr<!s32i>, !cir.ptr<!cir.array<!rec_HasSideEffects x 5>>)146 //147 // CHECK-NEXT: acc.declare_exit token(%[[ENTER]])148 }149 150 void MemFunc2();151};152void use() {153 Struct s;154 s.MemFunc1();155}156 157void Struct::MemFunc2() {158 // CHECK: cir.func {{.*}}MemFunc2{{.*}}({{.*}}) {159 // CHECK-NEXT: cir.alloca{{.*}}["this"160 // CHECK-NEXT: cir.store161 // CHECK-NEXT: cir.load162 extern HasSideEffects LocalHSE2;163 extern HasSideEffects LocalHSEArr2[5];164 extern int LocalInt2;165 166#pragma acc declare link(LocalHSE2, LocalInt2, LocalHSEArr2[1:1])167 // CHECK-NEXT: %[[GET_LOCAL_HSE:.*]] = cir.get_global @LocalHSE2 : !cir.ptr<!rec_HasSideEffects>168 // CHECK-NEXT: %[[HSE_LINK:.*]] = acc.declare_link varPtr(%[[GET_LOCAL_HSE]] : !cir.ptr<!rec_HasSideEffects>) -> !cir.ptr<!rec_HasSideEffects> {name = "LocalHSE2"}169 //170 // CHECK-NEXT: %[[GET_LOCAL_INT:.*]] = cir.get_global @LocalInt2 : !cir.ptr<!s32i>171 // CHECK-NEXT: %[[INT_LINK:.*]] = acc.declare_link varPtr(%[[GET_LOCAL_INT]] : !cir.ptr<!s32i>) -> !cir.ptr<!s32i> {name = "LocalInt2"}172 //173 // CHECK-NEXT: %[[ONE:.*]] = cir.const #cir.int<1> : !s32i174 // CHECK-NEXT: %[[LB:.*]] = builtin.unrealized_conversion_cast %[[ONE]] : !s32i to si32175 // CHECK-NEXT: %[[ONE:.*]] = cir.const #cir.int<1> : !s32i176 // CHECK-NEXT: %[[UB:.*]] = builtin.unrealized_conversion_cast %[[ONE]] : !s32i to si32177 // CHECK-NEXT: %[[ZERO:.*]] = arith.constant 0 : i64178 // CHECK-NEXT: %[[ONE:.*]] = arith.constant 1 : i64179 // CHECK-NEXT: %[[BOUNDS:.*]] = acc.bounds lowerbound(%[[LB]] : si32) extent(%[[UB]] : si32) stride(%[[ONE]] : i64) startIdx(%[[ZERO]] : i64)180 // CHECK-NEXT: %[[GET_LOCAL_ARR:.*]] = cir.get_global @LocalHSEArr2 : !cir.ptr<!cir.array<!rec_HasSideEffects x 5>>181 // CHECK-NEXT: %[[ARR_LINK:.*]] = acc.declare_link varPtr(%[[GET_LOCAL_ARR]] : !cir.ptr<!cir.array<!rec_HasSideEffects x 5>>) bounds(%[[BOUNDS]]) -> !cir.ptr<!cir.array<!rec_HasSideEffects x 5>> {name = "LocalHSEArr2[1:1]"}182 //183 // CHECK-NEXT: %[[ENTER:.*]] = acc.declare_enter dataOperands(%[[HSE_LINK]], %[[INT_LINK]], %[[ARR_LINK]] : !cir.ptr<!rec_HasSideEffects>, !cir.ptr<!s32i>, !cir.ptr<!cir.array<!rec_HasSideEffects x 5>>)184 //185 // CHECK-NEXT: acc.declare_exit token(%[[ENTER]])186}187 188extern "C" void do_thing();189 190void NormalFunc() {191 // CHECK: cir.func {{.*}}NormalFunc{{.*}}()192 extern HasSideEffects LocalHSE3;193 extern HasSideEffects LocalHSEArr3[5];194 extern int LocalInt3;195 // CHECK-NEXT: cir.scope196 {197 extern HasSideEffects InnerHSE;198#pragma acc declare link(LocalHSE3, LocalInt3, LocalHSEArr3[1:1], InnerHSE)199 // CHECK-NEXT: %[[GET_LOCAL_HSE:.*]] = cir.get_global @LocalHSE3 : !cir.ptr<!rec_HasSideEffects>200 // CHECK-NEXT: %[[HSE_LINK:.*]] = acc.declare_link varPtr(%[[GET_LOCAL_HSE]] : !cir.ptr<!rec_HasSideEffects>) -> !cir.ptr<!rec_HasSideEffects> {name = "LocalHSE3"}201 //202 // CHECK-NEXT: %[[GET_LOCAL_INT:.*]] = cir.get_global @LocalInt3 : !cir.ptr<!s32i>203 // CHECK-NEXT: %[[INT_LINK:.*]] = acc.declare_link varPtr(%[[GET_LOCAL_INT]] : !cir.ptr<!s32i>) -> !cir.ptr<!s32i> {name = "LocalInt3"}204 //205 // CHECK-NEXT: %[[ONE:.*]] = cir.const #cir.int<1> : !s32i206 // CHECK-NEXT: %[[LB:.*]] = builtin.unrealized_conversion_cast %[[ONE]] : !s32i to si32207 // CHECK-NEXT: %[[ONE:.*]] = cir.const #cir.int<1> : !s32i208 // CHECK-NEXT: %[[UB:.*]] = builtin.unrealized_conversion_cast %[[ONE]] : !s32i to si32209 // CHECK-NEXT: %[[ZERO:.*]] = arith.constant 0 : i64210 // CHECK-NEXT: %[[ONE:.*]] = arith.constant 1 : i64211 // CHECK-NEXT: %[[BOUNDS:.*]] = acc.bounds lowerbound(%[[LB]] : si32) extent(%[[UB]] : si32) stride(%[[ONE]] : i64) startIdx(%[[ZERO]] : i64)212 // CHECK-NEXT: %[[GET_LOCAL_ARR:.*]] = cir.get_global @LocalHSEArr3 : !cir.ptr<!cir.array<!rec_HasSideEffects x 5>>213 // CHECK-NEXT: %[[ARR_LINK:.*]] = acc.declare_link varPtr(%[[GET_LOCAL_ARR]] : !cir.ptr<!cir.array<!rec_HasSideEffects x 5>>) bounds(%[[BOUNDS]]) -> !cir.ptr<!cir.array<!rec_HasSideEffects x 5>> {name = "LocalHSEArr3[1:1]"}214 //215 // CHECK-NEXT: %[[GET_LOCAL_HSE:.*]] = cir.get_global @InnerHSE : !cir.ptr<!rec_HasSideEffects>216 // CHECK-NEXT: %[[INNERHSE_LINK:.*]] = acc.declare_link varPtr(%[[GET_LOCAL_HSE]] : !cir.ptr<!rec_HasSideEffects>) -> !cir.ptr<!rec_HasSideEffects> {name = "InnerHSE"}217 //218 // CHECK-NEXT: %[[ENTER:.*]] = acc.declare_enter dataOperands(%[[HSE_LINK]], %[[INT_LINK]], %[[ARR_LINK]], %[[INNERHSE_LINK]] : !cir.ptr<!rec_HasSideEffects>, !cir.ptr<!s32i>, !cir.ptr<!cir.array<!rec_HasSideEffects x 5>>, !cir.ptr<!rec_HasSideEffects>)219 //220 // CHECK221 222 do_thing();223 // CHECK-NEXT: cir.call @do_thing224 225 // CHECK-NEXT: acc.declare_exit token(%[[ENTER]])226 }227 // CHECK-NEXT: }228 229 do_thing();230 // CHECK-NEXT: cir.call @do_thing231}232 233