738 lines · plain
1! Test lowering of pointer components2! RUN: bbc -emit-fir -hlfir=false %s -o - | FileCheck %s3 4module pcomp5 implicit none6 type t7 real :: x8 integer :: i9 end type10 interface11 subroutine takes_real_scalar(x)12 real :: x13 end subroutine14 subroutine takes_char_scalar(x)15 character(*) :: x16 end subroutine17 subroutine takes_derived_scalar(x)18 import t19 type(t) :: x20 end subroutine21 subroutine takes_real_array(x)22 real :: x(:)23 end subroutine24 subroutine takes_char_array(x)25 character(*) :: x(:)26 end subroutine27 subroutine takes_derived_array(x)28 import t29 type(t) :: x(:)30 end subroutine31 subroutine takes_real_scalar_pointer(x)32 real, pointer :: x33 end subroutine34 subroutine takes_real_array_pointer(x)35 real, pointer :: x(:)36 end subroutine37 subroutine takes_logical(x)38 logical :: x39 end subroutine40 end interface41 42 type real_p043 real, pointer :: p44 end type45 type real_p146 real, pointer :: p(:)47 end type48 type cst_char_p049 character(10), pointer :: p50 end type51 type cst_char_p152 character(10), pointer :: p(:)53 end type54 type def_char_p055 character(:), pointer :: p56 end type57 type def_char_p158 character(:), pointer :: p(:)59 end type60 type derived_p061 type(t), pointer :: p62 end type63 type derived_p164 type(t), pointer :: p(:)65 end type66 67 real, target :: real_target, real_array_target(100)68 character(10), target :: char_target, char_array_target(100)69 70contains71 72! -----------------------------------------------------------------------------73! Test pointer component references74! -----------------------------------------------------------------------------75 76! CHECK-LABEL: func @_QMpcompPref_scalar_real_p(77! CHECK-SAME: %[[arg0:.*]]: !fir.ref<!fir.type<_QMpcompTreal_p0{p:!fir.box<!fir.ptr<f32>>}>>{{.*}}, %[[arg1:.*]]: !fir.ref<!fir.type<_QMpcompTreal_p1{p:!fir.box<!fir.ptr<!fir.array<?xf32>>>}>>{{.*}}, %[[arg2:.*]]: !fir.ref<!fir.array<100x!fir.type<_QMpcompTreal_p0{p:!fir.box<!fir.ptr<f32>>}>>>{{.*}}, %[[arg3:.*]]: !fir.ref<!fir.array<100x!fir.type<_QMpcompTreal_p1{p:!fir.box<!fir.ptr<!fir.array<?xf32>>>}>>>{{.*}}) {78subroutine ref_scalar_real_p(p0_0, p1_0, p0_1, p1_1)79 type(real_p0) :: p0_0, p0_1(100)80 type(real_p1) :: p1_0, p1_1(100)81 82 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[arg0]], p : (!fir.ref<!fir.type<_QMpcompTreal_p0{p:!fir.box<!fir.ptr<f32>>}>>) -> !fir.ref<!fir.box<!fir.ptr<f32>>>83 ! CHECK: %[[load:.*]] = fir.load %[[coor]] : !fir.ref<!fir.box<!fir.ptr<f32>>>84 ! CHECK: %[[addr:.*]] = fir.box_addr %[[load]] : (!fir.box<!fir.ptr<f32>>) -> !fir.ptr<f32>85 ! CHECK: %[[cast:.*]] = fir.convert %[[addr]] : (!fir.ptr<f32>) -> !fir.ref<f32>86 ! CHECK: fir.call @_QPtakes_real_scalar(%[[cast]]) {{.*}}: (!fir.ref<f32>) -> ()87 call takes_real_scalar(p0_0%p)88 89 ! CHECK: %[[p0_1_coor:.*]] = fir.coordinate_of %[[arg2]], %{{.*}} : (!fir.ref<!fir.array<100x!fir.type<_QMpcompTreal_p0{p:!fir.box<!fir.ptr<f32>>}>>>, i64) -> !fir.ref<!fir.type<_QMpcompTreal_p0{p:!fir.box<!fir.ptr<f32>>}>>90 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[p0_1_coor]], p : (!fir.ref<!fir.type<_QMpcompTreal_p0{p:!fir.box<!fir.ptr<f32>>}>>) -> !fir.ref<!fir.box<!fir.ptr<f32>>>91 ! CHECK: %[[load:.*]] = fir.load %[[coor]] : !fir.ref<!fir.box<!fir.ptr<f32>>>92 ! CHECK: %[[addr:.*]] = fir.box_addr %[[load]] : (!fir.box<!fir.ptr<f32>>) -> !fir.ptr<f32>93 ! CHECK: %[[cast:.*]] = fir.convert %[[addr]] : (!fir.ptr<f32>) -> !fir.ref<f32>94 ! CHECK: fir.call @_QPtakes_real_scalar(%[[cast]]) {{.*}}: (!fir.ref<f32>) -> ()95 call takes_real_scalar(p0_1(5)%p)96 97 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[arg1]], p : (!fir.ref<!fir.type<_QMpcompTreal_p1{p:!fir.box<!fir.ptr<!fir.array<?xf32>>>}>>) -> !fir.ref<!fir.box<!fir.ptr<!fir.array<?xf32>>>>98 ! CHECK: %[[load:.*]] = fir.load %[[coor]] : !fir.ref<!fir.box<!fir.ptr<!fir.array<?xf32>>>>99 ! CHECK: %[[dims:.*]]:3 = fir.box_dims %[[load]], %c0{{.*}} : (!fir.box<!fir.ptr<!fir.array<?xf32>>>, index) -> (index, index, index)100 ! CHECK: %[[lb:.*]] = fir.convert %[[dims]]#0 : (index) -> i64101 ! CHECK: %[[index:.*]] = arith.subi %c7{{.*}}, %[[lb]] : i64102 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[load]], %[[index]] : (!fir.box<!fir.ptr<!fir.array<?xf32>>>, i64) -> !fir.ref<f32>103 ! CHECK: fir.call @_QPtakes_real_scalar(%[[coor]]) {{.*}}: (!fir.ref<f32>) -> ()104 call takes_real_scalar(p1_0%p(7))105 106 ! CHECK: %[[p1_1_coor:.*]] = fir.coordinate_of %[[arg3]], %{{.*}} : (!fir.ref<!fir.array<100x!fir.type<_QMpcompTreal_p1{p:!fir.box<!fir.ptr<!fir.array<?xf32>>>}>>>, i64) -> !fir.ref<!fir.type<_QMpcompTreal_p1{p:!fir.box<!fir.ptr<!fir.array<?xf32>>>}>>107 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[p1_1_coor]], p : (!fir.ref<!fir.type<_QMpcompTreal_p1{p:!fir.box<!fir.ptr<!fir.array<?xf32>>>}>>) -> !fir.ref<!fir.box<!fir.ptr<!fir.array<?xf32>>>>108 ! CHECK: %[[load:.*]] = fir.load %[[coor]] : !fir.ref<!fir.box<!fir.ptr<!fir.array<?xf32>>>>109 ! CHECK: %[[dims:.*]]:3 = fir.box_dims %[[load]], %c0{{.*}} : (!fir.box<!fir.ptr<!fir.array<?xf32>>>, index) -> (index, index, index)110 ! CHECK: %[[lb:.*]] = fir.convert %[[dims]]#0 : (index) -> i64111 ! CHECK: %[[index:.*]] = arith.subi %c7{{.*}}, %[[lb]] : i64112 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[load]], %[[index]] : (!fir.box<!fir.ptr<!fir.array<?xf32>>>, i64) -> !fir.ref<f32>113 ! CHECK: fir.call @_QPtakes_real_scalar(%[[coor]]) {{.*}}: (!fir.ref<f32>) -> ()114 call takes_real_scalar(p1_1(5)%p(7))115end subroutine116 117! CHECK-LABEL: func @_QMpcompPref_array_real_p(118! CHECK-SAME: %[[VAL_0:.*]]: !fir.ref<!fir.type<_QMpcompTreal_p1{p:!fir.box<!fir.ptr<!fir.array<?xf32>>>}>>{{.*}}, %[[VAL_1:.*]]: !fir.ref<!fir.array<100x!fir.type<_QMpcompTreal_p1{p:!fir.box<!fir.ptr<!fir.array<?xf32>>>}>>>{{.*}}) {119! CHECK: %[[VAL_3:.*]] = fir.coordinate_of %[[VAL_0]], p : (!fir.ref<!fir.type<_QMpcompTreal_p1{p:!fir.box<!fir.ptr<!fir.array<?xf32>>>}>>) -> !fir.ref<!fir.box<!fir.ptr<!fir.array<?xf32>>>>120! CHECK: %[[VAL_4:.*]] = fir.load %[[VAL_3]] : !fir.ref<!fir.box<!fir.ptr<!fir.array<?xf32>>>>121! CHECK: %[[VAL_5:.*]] = arith.constant 0 : index122! CHECK: %[[VAL_6:.*]]:3 = fir.box_dims %[[VAL_4]], %[[VAL_5]] : (!fir.box<!fir.ptr<!fir.array<?xf32>>>, index) -> (index, index, index)123! CHECK: %[[VAL_7:.*]] = arith.constant 20 : i64124! CHECK: %[[VAL_8:.*]] = fir.convert %[[VAL_7]] : (i64) -> index125! CHECK: %[[VAL_9:.*]] = arith.constant 2 : i64126! CHECK: %[[VAL_10:.*]] = fir.convert %[[VAL_9]] : (i64) -> index127! CHECK: %[[VAL_11:.*]] = arith.constant 50 : i64128! CHECK: %[[VAL_12:.*]] = fir.convert %[[VAL_11]] : (i64) -> index129! CHECK: %[[VAL_13:.*]] = fir.shift %[[VAL_6]]#0 : (index) -> !fir.shift<1>130! CHECK: %[[VAL_14:.*]] = fir.slice %[[VAL_8]], %[[VAL_12]], %[[VAL_10]] : (index, index, index) -> !fir.slice<1>131! CHECK: %[[VAL_15:.*]] = fir.rebox %[[VAL_4]](%[[VAL_13]]) {{\[}}%[[VAL_14]]] : (!fir.box<!fir.ptr<!fir.array<?xf32>>>, !fir.shift<1>, !fir.slice<1>) -> !fir.box<!fir.array<16xf32>>132! CHECK: %[[VAL_15_NEW:.*]] = fir.convert %[[VAL_15]] : (!fir.box<!fir.array<16xf32>>) -> !fir.box<!fir.array<?xf32>>133! CHECK: fir.call @_QPtakes_real_array(%[[VAL_15_NEW]]) {{.*}}: (!fir.box<!fir.array<?xf32>>) -> ()134! CHECK: %[[VAL_16:.*]] = arith.constant 5 : i64135! CHECK: %[[VAL_17:.*]] = arith.constant 1 : i64136! CHECK: %[[VAL_18:.*]] = arith.subi %[[VAL_16]], %[[VAL_17]] : i64137! CHECK: %[[VAL_19:.*]] = fir.coordinate_of %[[VAL_1]], %[[VAL_18]] : (!fir.ref<!fir.array<100x!fir.type<_QMpcompTreal_p1{p:!fir.box<!fir.ptr<!fir.array<?xf32>>>}>>>, i64) -> !fir.ref<!fir.type<_QMpcompTreal_p1{p:!fir.box<!fir.ptr<!fir.array<?xf32>>>}>>138! CHECK: %[[VAL_21:.*]] = fir.coordinate_of %[[VAL_19]], p : (!fir.ref<!fir.type<_QMpcompTreal_p1{p:!fir.box<!fir.ptr<!fir.array<?xf32>>>}>>) -> !fir.ref<!fir.box<!fir.ptr<!fir.array<?xf32>>>>139! CHECK: %[[VAL_22:.*]] = fir.load %[[VAL_21]] : !fir.ref<!fir.box<!fir.ptr<!fir.array<?xf32>>>>140! CHECK: %[[VAL_23:.*]] = arith.constant 0 : index141! CHECK: %[[VAL_24:.*]]:3 = fir.box_dims %[[VAL_22]], %[[VAL_23]] : (!fir.box<!fir.ptr<!fir.array<?xf32>>>, index) -> (index, index, index)142! CHECK: %[[VAL_25:.*]] = arith.constant 20 : i64143! CHECK: %[[VAL_26:.*]] = fir.convert %[[VAL_25]] : (i64) -> index144! CHECK: %[[VAL_27:.*]] = arith.constant 2 : i64145! CHECK: %[[VAL_28:.*]] = fir.convert %[[VAL_27]] : (i64) -> index146! CHECK: %[[VAL_29:.*]] = arith.constant 50 : i64147! CHECK: %[[VAL_30:.*]] = fir.convert %[[VAL_29]] : (i64) -> index148! CHECK: %[[VAL_31:.*]] = fir.shift %[[VAL_24]]#0 : (index) -> !fir.shift<1>149! CHECK: %[[VAL_32:.*]] = fir.slice %[[VAL_26]], %[[VAL_30]], %[[VAL_28]] : (index, index, index) -> !fir.slice<1>150! CHECK: %[[VAL_33:.*]] = fir.rebox %[[VAL_22]](%[[VAL_31]]) {{\[}}%[[VAL_32]]] : (!fir.box<!fir.ptr<!fir.array<?xf32>>>, !fir.shift<1>, !fir.slice<1>) -> !fir.box<!fir.array<16xf32>>151! CHECK: %[[VAL_33_NEW:.*]] = fir.convert %[[VAL_33]] : (!fir.box<!fir.array<16xf32>>) -> !fir.box<!fir.array<?xf32>>152! CHECK: fir.call @_QPtakes_real_array(%[[VAL_33_NEW]]) {{.*}}: (!fir.box<!fir.array<?xf32>>) -> ()153! CHECK: return154! CHECK: }155 156 157subroutine ref_array_real_p(p1_0, p1_1)158 type(real_p1) :: p1_0, p1_1(100)159 call takes_real_array(p1_0%p(20:50:2))160 call takes_real_array(p1_1(5)%p(20:50:2))161end subroutine162 163! CHECK-LABEL: func @_QMpcompPassign_scalar_real164! CHECK-SAME: (%[[p0_0:.*]]: {{.*}}, %[[p1_0:.*]]: {{.*}}, %[[p0_1:.*]]: {{.*}}, %[[p1_1:.*]]: {{.*}})165subroutine assign_scalar_real_p(p0_0, p1_0, p0_1, p1_1)166 type(real_p0) :: p0_0, p0_1(100)167 type(real_p1) :: p1_0, p1_1(100)168 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[p0_0]], p169 ! CHECK: %[[box:.*]] = fir.load %[[coor]]170 ! CHECK: %[[addr:.*]] = fir.box_addr %[[box]]171 ! CHECK: fir.store {{.*}} to %[[addr]]172 p0_0%p = 1.173 174 ! CHECK: %[[coor0:.*]] = fir.coordinate_of %[[p0_1]], %{{.*}}175 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[coor0]], p176 ! CHECK: %[[box:.*]] = fir.load %[[coor]]177 ! CHECK: %[[addr:.*]] = fir.box_addr %[[box]]178 ! CHECK: fir.store {{.*}} to %[[addr]]179 p0_1(5)%p = 2.180 181 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[p1_0]], p182 ! CHECK: %[[box:.*]] = fir.load %[[coor]]183 ! CHECK: %[[addr:.*]] = fir.coordinate_of %[[box]], {{.*}}184 ! CHECK: fir.store {{.*}} to %[[addr]]185 p1_0%p(7) = 3.186 187 ! CHECK: %[[coor0:.*]] = fir.coordinate_of %[[p1_1]], %{{.*}}188 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[coor0]], p189 ! CHECK: %[[box:.*]] = fir.load %[[coor]]190 ! CHECK: %[[addr:.*]] = fir.coordinate_of %[[box]], {{.*}}191 ! CHECK: fir.store {{.*}} to %[[addr]]192 p1_1(5)%p(7) = 4.193end subroutine194 195! CHECK-LABEL: func @_QMpcompPref_scalar_cst_char_p196! CHECK-SAME: (%[[p0_0:.*]]: {{.*}}, %[[p1_0:.*]]: {{.*}}, %[[p0_1:.*]]: {{.*}}, %[[p1_1:.*]]: {{.*}})197subroutine ref_scalar_cst_char_p(p0_0, p1_0, p0_1, p1_1)198 type(cst_char_p0) :: p0_0, p0_1(100)199 type(cst_char_p1) :: p1_0, p1_1(100)200 201 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[p0_0]], p202 ! CHECK: %[[box:.*]] = fir.load %[[coor]]203 ! CHECK: %[[addr:.*]] = fir.box_addr %[[box]]204 ! CHECK: %[[boxchar:.*]] = fir.emboxchar %[[addr]], %c10{{.*}}205 ! CHECK: fir.call @_QPtakes_char_scalar(%[[boxchar]])206 call takes_char_scalar(p0_0%p)207 208 ! CHECK-DAG: %[[coor0:.*]] = fir.coordinate_of %[[p0_1]], %{{.*}}209 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[coor0]], p210 ! CHECK: %[[box:.*]] = fir.load %[[coor]]211 ! CHECK: %[[addr:.*]] = fir.box_addr %[[box]]212 ! CHECK: %[[boxchar:.*]] = fir.emboxchar %[[addr]], %c10{{.*}}213 ! CHECK: fir.call @_QPtakes_char_scalar(%[[boxchar]])214 call takes_char_scalar(p0_1(5)%p)215 216 217 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[p1_0]], p218 ! CHECK: %[[box:.*]] = fir.load %[[coor]]219 ! CHECK: %[[dims:.*]]:3 = fir.box_dims %[[box]], %c0{{.*}}220 ! CHECK: %[[lb:.*]] = fir.convert %[[dims]]#0 : (index) -> i64221 ! CHECK: %[[index:.*]] = arith.subi %c7{{.*}}, %[[lb]]222 ! CHECK: %[[addr:.*]] = fir.coordinate_of %[[box]], %[[index]]223 ! CHECK: %[[boxchar:.*]] = fir.emboxchar %[[addr]], %c10{{.*}}224 ! CHECK: fir.call @_QPtakes_char_scalar(%[[boxchar]])225 call takes_char_scalar(p1_0%p(7))226 227 228 ! CHECK-DAG: %[[coor0:.*]] = fir.coordinate_of %[[p1_1]], %{{.*}}229 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[coor0]], p230 ! CHECK: %[[box:.*]] = fir.load %[[coor]]231 ! CHECK: %[[dims:.*]]:3 = fir.box_dims %[[box]], %c0{{.*}}232 ! CHECK: %[[lb:.*]] = fir.convert %[[dims]]#0 : (index) -> i64233 ! CHECK: %[[index:.*]] = arith.subi %c7{{.*}}, %[[lb]]234 ! CHECK: %[[addr:.*]] = fir.coordinate_of %[[box]], %[[index]]235 ! CHECK: %[[boxchar:.*]] = fir.emboxchar %[[addr]], %c10{{.*}}236 ! CHECK: fir.call @_QPtakes_char_scalar(%[[boxchar]])237 call takes_char_scalar(p1_1(5)%p(7))238 239end subroutine240 241! CHECK-LABEL: func @_QMpcompPref_scalar_def_char_p242! CHECK-SAME: (%[[p0_0:.*]]: {{.*}}, %[[p1_0:.*]]: {{.*}}, %[[p0_1:.*]]: {{.*}}, %[[p1_1:.*]]: {{.*}})243subroutine ref_scalar_def_char_p(p0_0, p1_0, p0_1, p1_1)244 type(def_char_p0) :: p0_0, p0_1(100)245 type(def_char_p1) :: p1_0, p1_1(100)246 247 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[p0_0]], p248 ! CHECK: %[[box:.*]] = fir.load %[[coor]]249 ! CHECK-DAG: %[[len:.*]] = fir.box_elesize %[[box]]250 ! CHECK-DAG: %[[addr:.*]] = fir.box_addr %[[box]]251 ! CHECK: %[[boxchar:.*]] = fir.emboxchar %[[addr]], %[[len]]252 ! CHECK: fir.call @_QPtakes_char_scalar(%[[boxchar]])253 call takes_char_scalar(p0_0%p)254 255 ! CHECK-DAG: %[[coor0:.*]] = fir.coordinate_of %[[p0_1]], %{{.*}}256 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[coor0]], p257 ! CHECK: %[[box:.*]] = fir.load %[[coor]]258 ! CHECK-DAG: %[[len:.*]] = fir.box_elesize %[[box]]259 ! CHECK-DAG: %[[addr:.*]] = fir.box_addr %[[box]]260 ! CHECK: %[[boxchar:.*]] = fir.emboxchar %[[addr]], %[[len]]261 ! CHECK: fir.call @_QPtakes_char_scalar(%[[boxchar]])262 call takes_char_scalar(p0_1(5)%p)263 264 265 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[p1_0]], p266 ! CHECK: %[[box:.*]] = fir.load %[[coor]]267 ! CHECK-DAG: %[[len:.*]] = fir.box_elesize %[[box]]268 ! CHECK-DAG: %[[dims:.*]]:3 = fir.box_dims %[[box]], %c0{{.*}}269 ! CHECK-DAG: %[[lb:.*]] = fir.convert %[[dims]]#0 : (index) -> i64270 ! CHECK-DAG: %[[index:.*]] = arith.subi %c7{{.*}}, %[[lb]]271 ! CHECK-DAG: %[[addr:.*]] = fir.coordinate_of %[[box]], %[[index]]272 ! CHECK: %[[boxchar:.*]] = fir.emboxchar %[[addr]], %[[len]]273 ! CHECK: fir.call @_QPtakes_char_scalar(%[[boxchar]])274 call takes_char_scalar(p1_0%p(7))275 276 277 ! CHECK-DAG: %[[coor0:.*]] = fir.coordinate_of %[[p1_1]], %{{.*}}278 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[coor0]], p279 ! CHECK: %[[box:.*]] = fir.load %[[coor]]280 ! CHECK-DAG: %[[len:.*]] = fir.box_elesize %[[box]]281 ! CHECK-DAG: %[[dims:.*]]:3 = fir.box_dims %[[box]], %c0{{.*}}282 ! CHECK-DAG: %[[lb:.*]] = fir.convert %[[dims]]#0 : (index) -> i64283 ! CHECK-DAG: %[[index:.*]] = arith.subi %c7{{.*}}, %[[lb]]284 ! CHECK-DAG: %[[addr:.*]] = fir.coordinate_of %[[box]], %[[index]]285 ! CHECK: %[[boxchar:.*]] = fir.emboxchar %[[addr]], %[[len]]286 ! CHECK: fir.call @_QPtakes_char_scalar(%[[boxchar]])287 call takes_char_scalar(p1_1(5)%p(7))288 289end subroutine290 291! CHECK-LABEL: func @_QMpcompPref_scalar_derived292! CHECK-SAME: (%[[p0_0:.*]]: {{.*}}, %[[p1_0:.*]]: {{.*}}, %[[p0_1:.*]]: {{.*}}, %[[p1_1:.*]]: {{.*}})293subroutine ref_scalar_derived(p0_0, p1_0, p0_1, p1_1)294 type(derived_p0) :: p0_0, p0_1(100)295 type(derived_p1) :: p1_0, p1_1(100)296 297 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[p0_0]], p298 ! CHECK: %[[box:.*]] = fir.load %[[coor]]299 ! CHECK: %[[addr:.*]] = fir.coordinate_of %[[box]], x300 ! CHECK: fir.call @_QPtakes_real_scalar(%[[addr]])301 call takes_real_scalar(p0_0%p%x)302 303 ! CHECK-DAG: %[[coor0:.*]] = fir.coordinate_of %[[p0_1]], %{{.*}}304 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[coor0]], p305 ! CHECK: %[[box:.*]] = fir.load %[[coor]]306 ! CHECK: %[[addr:.*]] = fir.coordinate_of %[[box]], x307 ! CHECK: fir.call @_QPtakes_real_scalar(%[[addr]])308 call takes_real_scalar(p0_1(5)%p%x)309 310 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[p1_0]], p311 ! CHECK: %[[box:.*]] = fir.load %[[coor]]312 ! CHECK: %[[dims:.*]]:3 = fir.box_dims %[[box]], %c0{{.*}}313 ! CHECK: %[[lb:.*]] = fir.convert %[[dims]]#0 : (index) -> i64314 ! CHECK: %[[index:.*]] = arith.subi %c7{{.*}}, %[[lb]]315 ! CHECK: %[[elem:.*]] = fir.coordinate_of %[[box]], %[[index]]316 ! CHECK: %[[addr:.*]] = fir.coordinate_of %[[elem]], x317 ! CHECK: fir.call @_QPtakes_real_scalar(%[[addr]])318 call takes_real_scalar(p1_0%p(7)%x)319 320 ! CHECK-DAG: %[[coor0:.*]] = fir.coordinate_of %[[p1_1]], %{{.*}}321 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[coor0]], p322 ! CHECK: %[[box:.*]] = fir.load %[[coor]]323 ! CHECK: %[[dims:.*]]:3 = fir.box_dims %[[box]], %c0{{.*}}324 ! CHECK: %[[lb:.*]] = fir.convert %[[dims]]#0 : (index) -> i64325 ! CHECK: %[[index:.*]] = arith.subi %c7{{.*}}, %[[lb]]326 ! CHECK: %[[elem:.*]] = fir.coordinate_of %[[box]], %[[index]]327 ! CHECK: %[[addr:.*]] = fir.coordinate_of %[[elem]], x328 ! CHECK: fir.call @_QPtakes_real_scalar(%[[addr]])329 call takes_real_scalar(p1_1(5)%p(7)%x)330 331end subroutine332 333! -----------------------------------------------------------------------------334! Test passing pointer component references as pointers335! -----------------------------------------------------------------------------336 337! CHECK-LABEL: func @_QMpcompPpass_real_p338! CHECK-SAME: (%[[p0_0:.*]]: {{.*}}, %[[p1_0:.*]]: {{.*}}, %[[p0_1:.*]]: {{.*}}, %[[p1_1:.*]]: {{.*}})339subroutine pass_real_p(p0_0, p1_0, p0_1, p1_1)340 type(real_p0) :: p0_0, p0_1(100)341 type(real_p1) :: p1_0, p1_1(100)342 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[p0_0]], p343 ! CHECK: fir.call @_QPtakes_real_scalar_pointer(%[[coor]])344 call takes_real_scalar_pointer(p0_0%p)345 346 ! CHECK-DAG: %[[coor0:.*]] = fir.coordinate_of %[[p0_1]], %{{.*}}347 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[coor0]], p348 ! CHECK: fir.call @_QPtakes_real_scalar_pointer(%[[coor]])349 call takes_real_scalar_pointer(p0_1(5)%p)350 351 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[p1_0]], p352 ! CHECK: fir.call @_QPtakes_real_array_pointer(%[[coor]])353 call takes_real_array_pointer(p1_0%p)354 355 ! CHECK-DAG: %[[coor0:.*]] = fir.coordinate_of %[[p1_1]], %{{.*}}356 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[coor0]], p357 ! CHECK: fir.call @_QPtakes_real_array_pointer(%[[coor]])358 call takes_real_array_pointer(p1_1(5)%p)359end subroutine360 361! -----------------------------------------------------------------------------362! Test usage in intrinsics where pointer aspect matters363! -----------------------------------------------------------------------------364 365! CHECK-LABEL: func @_QMpcompPassociated_p366! CHECK-SAME: (%[[p0_0:.*]]: {{.*}}, %[[p1_0:.*]]: {{.*}}, %[[p0_1:.*]]: {{.*}}, %[[p1_1:.*]]: {{.*}})367subroutine associated_p(p0_0, p1_0, p0_1, p1_1)368 type(real_p0) :: p0_0, p0_1(100)369 type(def_char_p1) :: p1_0, p1_1(100)370 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[p0_0]], p371 ! CHECK: %[[box:.*]] = fir.load %[[coor]]372 ! CHECK: fir.box_addr %[[box]]373 call takes_logical(associated(p0_0%p))374 375 ! CHECK-DAG: %[[coor0:.*]] = fir.coordinate_of %[[p0_1]], %{{.*}}376 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[coor0]], p377 ! CHECK: %[[box:.*]] = fir.load %[[coor]]378 ! CHECK: fir.box_addr %[[box]]379 call takes_logical(associated(p0_1(5)%p))380 381 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[p1_0]], p382 ! CHECK: %[[box:.*]] = fir.load %[[coor]]383 ! CHECK: fir.box_addr %[[box]]384 call takes_logical(associated(p1_0%p))385 386 ! CHECK-DAG: %[[coor0:.*]] = fir.coordinate_of %[[p1_1]], %{{.*}}387 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[coor0]], p388 ! CHECK: %[[box:.*]] = fir.load %[[coor]]389 ! CHECK: fir.box_addr %[[box]]390 call takes_logical(associated(p1_1(5)%p))391end subroutine392 393! -----------------------------------------------------------------------------394! Test pointer assignment of components395! -----------------------------------------------------------------------------396 397! CHECK-LABEL: func @_QMpcompPpassoc_real398! CHECK-SAME: (%[[p0_0:.*]]: {{.*}}, %[[p1_0:.*]]: {{.*}}, %[[p0_1:.*]]: {{.*}}, %[[p1_1:.*]]: {{.*}})399subroutine passoc_real(p0_0, p1_0, p0_1, p1_1)400 type(real_p0) :: p0_0, p0_1(100)401 type(real_p1) :: p1_0, p1_1(100)402 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[p0_0]], p403 ! CHECK: fir.store {{.*}} to %[[coor]]404 p0_0%p => real_target405 406 ! CHECK-DAG: %[[coor0:.*]] = fir.coordinate_of %[[p0_1]], %{{.*}}407 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[coor0]], p408 ! CHECK: fir.store {{.*}} to %[[coor]]409 p0_1(5)%p => real_target410 411 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[p1_0]], p412 ! CHECK: fir.store {{.*}} to %[[coor]]413 p1_0%p => real_array_target414 415 ! CHECK-DAG: %[[coor0:.*]] = fir.coordinate_of %[[p1_1]], %{{.*}}416 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[coor0]], p417 ! CHECK: fir.store {{.*}} to %[[coor]]418 p1_1(5)%p => real_array_target419end subroutine420 421! CHECK-LABEL: func @_QMpcompPpassoc_char422! CHECK-SAME: (%[[p0_0:.*]]: {{.*}}, %[[p1_0:.*]]: {{.*}}, %[[p0_1:.*]]: {{.*}}, %[[p1_1:.*]]: {{.*}})423subroutine passoc_char(p0_0, p1_0, p0_1, p1_1)424 type(cst_char_p0) :: p0_0, p0_1(100)425 type(def_char_p1) :: p1_0, p1_1(100)426 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[p0_0]], p427 ! CHECK: fir.store {{.*}} to %[[coor]]428 p0_0%p => char_target429 430 ! CHECK-DAG: %[[coor0:.*]] = fir.coordinate_of %[[p0_1]], %{{.*}}431 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[coor0]], p432 ! CHECK: fir.store {{.*}} to %[[coor]]433 p0_1(5)%p => char_target434 435 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[p1_0]], p436 ! CHECK: fir.store {{.*}} to %[[coor]]437 p1_0%p => char_array_target438 439 ! CHECK-DAG: %[[coor0:.*]] = fir.coordinate_of %[[p1_1]], %{{.*}}440 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[coor0]], p441 ! CHECK: fir.store {{.*}} to %[[coor]]442 p1_1(5)%p => char_array_target443end subroutine444 445! -----------------------------------------------------------------------------446! Test nullify of components447! -----------------------------------------------------------------------------448 449! CHECK-LABEL: func @_QMpcompPnullify_test450! CHECK-SAME: (%[[p0_0:.*]]: {{.*}}, %[[p1_0:.*]]: {{.*}}, %[[p0_1:.*]]: {{.*}}, %[[p1_1:.*]]: {{.*}})451subroutine nullify_test(p0_0, p1_0, p0_1, p1_1)452 type(real_p0) :: p0_0, p0_1(100)453 type(def_char_p1) :: p1_0, p1_1(100)454 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[p0_0]], p455 ! CHECK: fir.store {{.*}} to %[[coor]]456 nullify(p0_0%p)457 458 ! CHECK-DAG: %[[coor0:.*]] = fir.coordinate_of %[[p0_1]], %{{.*}}459 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[coor0]], p460 ! CHECK: fir.store {{.*}} to %[[coor]]461 nullify(p0_1(5)%p)462 463 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[p1_0]], p464 ! CHECK: fir.store {{.*}} to %[[coor]]465 nullify(p1_0%p)466 467 ! CHECK-DAG: %[[coor0:.*]] = fir.coordinate_of %[[p1_1]], %{{.*}}468 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[coor0]], p469 ! CHECK: fir.store {{.*}} to %[[coor]]470 nullify(p1_1(5)%p)471end subroutine472 473! -----------------------------------------------------------------------------474! Test allocation475! -----------------------------------------------------------------------------476 477! CHECK-LABEL: func @_QMpcompPallocate_real478! CHECK-SAME: (%[[p0_0:.*]]: {{.*}}, %[[p1_0:.*]]: {{.*}}, %[[p0_1:.*]]: {{.*}}, %[[p1_1:.*]]: {{.*}})479subroutine allocate_real(p0_0, p1_0, p0_1, p1_1)480 type(real_p0) :: p0_0, p0_1(100)481 type(real_p1) :: p1_0, p1_1(100)482 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[p0_0]], p483 ! CHECK: fir.store {{.*}} to %[[coor]]484 allocate(p0_0%p)485 486 ! CHECK-DAG: %[[coor0:.*]] = fir.coordinate_of %[[p0_1]], %{{.*}}487 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[coor0]], p488 ! CHECK: fir.store {{.*}} to %[[coor]]489 allocate(p0_1(5)%p)490 491 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[p1_0]], p492 ! CHECK: fir.store {{.*}} to %[[coor]]493 allocate(p1_0%p(100))494 495 ! CHECK-DAG: %[[coor0:.*]] = fir.coordinate_of %[[p1_1]], %{{.*}}496 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[coor0]], p497 ! CHECK: fir.store {{.*}} to %[[coor]]498 allocate(p1_1(5)%p(100))499end subroutine500 501! CHECK-LABEL: func @_QMpcompPallocate_cst_char502! CHECK-SAME: (%[[p0_0:.*]]: {{.*}}, %[[p1_0:.*]]: {{.*}}, %[[p0_1:.*]]: {{.*}}, %[[p1_1:.*]]: {{.*}})503subroutine allocate_cst_char(p0_0, p1_0, p0_1, p1_1)504 type(cst_char_p0) :: p0_0, p0_1(100)505 type(cst_char_p1) :: p1_0, p1_1(100)506 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[p0_0]], p507 ! CHECK: fir.store {{.*}} to %[[coor]]508 allocate(p0_0%p)509 510 ! CHECK-DAG: %[[coor0:.*]] = fir.coordinate_of %[[p0_1]], %{{.*}}511 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[coor0]], p512 ! CHECK: fir.store {{.*}} to %[[coor]]513 allocate(p0_1(5)%p)514 515 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[p1_0]], p516 ! CHECK: fir.store {{.*}} to %[[coor]]517 allocate(p1_0%p(100))518 519 ! CHECK-DAG: %[[coor0:.*]] = fir.coordinate_of %[[p1_1]], %{{.*}}520 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[coor0]], p521 ! CHECK: fir.store {{.*}} to %[[coor]]522 allocate(p1_1(5)%p(100))523end subroutine524 525! CHECK-LABEL: func @_QMpcompPallocate_def_char526! CHECK-SAME: (%[[p0_0:.*]]: {{.*}}, %[[p1_0:.*]]: {{.*}}, %[[p0_1:.*]]: {{.*}}, %[[p1_1:.*]]: {{.*}})527subroutine allocate_def_char(p0_0, p1_0, p0_1, p1_1)528 type(def_char_p0) :: p0_0, p0_1(100)529 type(def_char_p1) :: p1_0, p1_1(100)530 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[p0_0]], p531 ! CHECK: fir.store {{.*}} to %[[coor]]532 allocate(character(18)::p0_0%p)533 534 ! CHECK-DAG: %[[coor0:.*]] = fir.coordinate_of %[[p0_1]], %{{.*}}535 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[coor0]], p536 ! CHECK: fir.store {{.*}} to %[[coor]]537 allocate(character(18)::p0_1(5)%p)538 539 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[p1_0]], p540 ! CHECK: fir.store {{.*}} to %[[coor]]541 allocate(character(18)::p1_0%p(100))542 543 ! CHECK-DAG: %[[coor0:.*]] = fir.coordinate_of %[[p1_1]], %{{.*}}544 ! CHECK: %[[coor:.*]] = fir.coordinate_of %[[coor0]], p545 ! CHECK: fir.store {{.*}} to %[[coor]]546 allocate(character(18)::p1_1(5)%p(100))547end subroutine548 549! -----------------------------------------------------------------------------550! Test deallocation551! -----------------------------------------------------------------------------552 553! CHECK-LABEL: func @_QMpcompPdeallocate_real554! CHECK-SAME: (%[[p0_0:.*]]: {{.*}}, %[[p1_0:.*]]: {{.*}}, %[[p0_1:.*]]: {{.*}}, %[[p1_1:.*]]: {{.*}})555subroutine deallocate_real(p0_0, p1_0, p0_1, p1_1)556 type(real_p0) :: p0_0, p0_1(100)557 type(real_p1) :: p1_0, p1_1(100)558 ! CHECK: %false = arith.constant false559 ! CHECK: %[[VAL_0:.*]] = fir.absent !fir.box<none>560 ! CHECK: %[[VAL_1:.*]] = fir.address_of(@_QQclX{{.*}}) : !fir.ref<!fir.char<{{.*}}>>561 ! CHECK: %[[LINE_0:.*]] = arith.constant {{.*}} : i32562 ! CHECK: %[[VAL_3:.*]] = fir.coordinate_of %arg0, p : (!fir.ref<!fir.type<_QMpcompTreal_p0{p:!fir.box<!fir.ptr<f32>>}>>) -> !fir.ref<!fir.box<!fir.ptr<f32>>>563 ! CHECK: %[[VAL_4:.*]] = fir.convert %[[VAL_3]] : (!fir.ref<!fir.box<!fir.ptr<f32>>>) -> !fir.ref<!fir.box<none>>564 ! CHECK: %[[VAL_5:.*]] = fir.convert %[[VAL_1]] : (!fir.ref<!fir.char<1,{{.*}}>>) -> !fir.ref<i8>565 ! CHECK: %[[VAL_6:.*]] = fir.call @_FortranAPointerDeallocate(%[[VAL_4]], %false, %[[VAL_0]], %[[VAL_5]], %[[LINE_0]]) fastmath<contract> : (!fir.ref<!fir.box<none>>, i1, !fir.box<none>, !fir.ref<i8>, i32) -> i32566 deallocate(p0_0%p)567 568 ! CHECK: %false_0 = arith.constant false569 ! CHECK: %[[VAL_7:.*]] = fir.absent !fir.box<none>570 ! CHECK: %[[VAL_8:.*]] = fir.address_of(@_QQclX{{.*}}) : !fir.ref<!fir.char<{{.*}}>>571 ! CHECK: %[[LINE_1:.*]] = arith.constant {{.*}} : i32572 ! CHECK: %[[CON_5:.*]] = arith.constant 5 : i64573 ! CHECK: %[[CON_1:.*]] = arith.constant 1 : i64574 ! CHECK: %[[VAL_9:.*]] = arith.subi %[[CON_5]], %[[CON_1]] : i64575 ! CHECK: %[[VAL_10:.*]] = fir.coordinate_of %arg2, %[[VAL_9:.*]] : (!fir.ref<!fir.array<100x!fir.type<_QMpcompTreal_p0{p:!fir.box<!fir.ptr<f32>>}>>>, i64) -> !fir.ref<!fir.type<_QMpcompTreal_p0{p:!fir.box<!fir.ptr<f32>>}>>576 ! CHECK: %[[VAL_12:.*]] = fir.coordinate_of %[[VAL_10]], p : (!fir.ref<!fir.type<_QMpcompTreal_p0{p:!fir.box<!fir.ptr<f32>>}>>) -> !fir.ref<!fir.box<!fir.ptr<f32>>>577 ! CHECK: %[[VAL_13:.*]] = fir.convert %[[VAL_12]] : (!fir.ref<!fir.box<!fir.ptr<f32>>>) -> !fir.ref<!fir.box<none>>578 ! CHECK: %[[VAL_14:.*]] = fir.convert %[[VAL_8]] : (!fir.ref<!fir.char<1,{{.*}}>>) -> !fir.ref<i8>579 ! CHECK: %[[VAL_15:.*]] = fir.call @_FortranAPointerDeallocate(%[[VAL_13]], %false_0, %[[VAL_7]], %[[VAL_14]], %[[LINE_1]]) fastmath<contract> : (!fir.ref<!fir.box<none>>, i1, !fir.box<none>, !fir.ref<i8>, i32) -> i32580 deallocate(p0_1(5)%p)581 582 ! CHECK: %false_1 = arith.constant false583 ! CHECK: %[[VAL_16:.*]] = fir.absent !fir.box<none>584 ! CHECK: %[[VAL_17:.*]] = fir.address_of(@_QQclX{{.*}}) : !fir.ref<!fir.char<1,{{.*}}>>585 ! CHECK: %[[LINE_2:.*]] = arith.constant {{.*}} : i32586 ! CHECK: %[[VAL_19:.*]] = fir.coordinate_of %arg1, p : (!fir.ref<!fir.type<_QMpcompTreal_p1{p:!fir.box<!fir.ptr<!fir.array<?xf32>>>}>>) -> !fir.ref<!fir.box<!fir.ptr<!fir.array<?xf32>>>>587 ! CHECK: %[[VAL_20:.*]] = fir.convert %[[VAL_19]] : (!fir.ref<!fir.box<!fir.ptr<!fir.array<?xf32>>>>) -> !fir.ref<!fir.box<none>>588 ! CHECK: %[[VAL_21:.*]] = fir.convert %[[VAL_17]] : (!fir.ref<!fir.char<1,{{.*}}>>) -> !fir.ref<i8>589 ! CHECK: %[[VAL_22:.*]] = fir.call @_FortranAPointerDeallocate(%[[VAL_20]], %false_1, %[[VAL_16]], %[[VAL_21]], %[[LINE_2]]) fastmath<contract> : (!fir.ref<!fir.box<none>>, i1, !fir.box<none>, !fir.ref<i8>, i32) -> i32590 deallocate(p1_0%p)591 592 ! CHECK: %false_2 = arith.constant false593 ! CHECK: %[[VAL_23:.*]] = fir.absent !fir.box<none>594 ! CHECK: %[[VAL_24:.*]] = fir.address_of(@_QQclX{{.*}}) : !fir.ref<!fir.char<1,{{.*}}>>595 ! CHECK: %[[LINE_3:.*]] = arith.constant {{.*}} : i32596 ! CHECK: %[[CON_5A:.*]] = arith.constant 5 : i64597 ! CHECK: %[[CON_1A:.*]] = arith.constant 1 : i64598 ! CHECK: %[[VAL_25:.*]] = arith.subi %[[CON_5A]], %[[CON_1A]] : i64599 ! CHECK: %[[VAL_26:.*]] = fir.coordinate_of %arg3, %[[VAL_25]] : (!fir.ref<!fir.array<100x!fir.type<_QMpcompTreal_p1{p:!fir.box<!fir.ptr<!fir.array<?xf32>>>}>>>, i64) -> !fir.ref<!fir.type<_QMpcompTreal_p1{p:!fir.box<!fir.ptr<!fir.array<?xf32>>>}>>600 ! CHECK: %[[VAL_28:.*]] = fir.coordinate_of %[[VAL_26]], p : (!fir.ref<!fir.type<_QMpcompTreal_p1{p:!fir.box<!fir.ptr<!fir.array<?xf32>>>}>>) -> !fir.ref<!fir.box<!fir.ptr<!fir.array<?xf32>>>>601 ! CHECK: %[[VAL_29:.*]] = fir.convert %[[VAL_28]] : (!fir.ref<!fir.box<!fir.ptr<!fir.array<?xf32>>>>) -> !fir.ref<!fir.box<none>>602 ! CHECK: %[[VAL_30:.*]] = fir.convert %[[VAL_24]] : (!fir.ref<!fir.char<1,{{.*}}>>) -> !fir.ref<i8>603 ! CHECK: %[[VAL_31:.*]] = fir.call @_FortranAPointerDeallocate(%[[VAL_29]], %false_2, %[[VAL_23]], %[[VAL_30]], %[[LINE_3]]) fastmath<contract> : (!fir.ref<!fir.box<none>>, i1, !fir.box<none>, !fir.ref<i8>, i32) -> i32604 deallocate(p1_1(5)%p)605end subroutine606 607! -----------------------------------------------------------------------------608! Test a very long component609! -----------------------------------------------------------------------------610 611! CHECK-LABEL: func @_QMpcompPvery_long612! CHECK-SAME: (%[[x:.*]]: {{.*}})613subroutine very_long(x)614 type t0615 real :: f616 end type617 type t1618 type(t0), allocatable :: e(:)619 end type620 type t2621 type(t1) :: d(10)622 end type623 type t3624 type(t2) :: c625 end type626 type t4627 type(t3), pointer :: b628 end type629 type t5630 type(t4) :: a631 end type632 type(t5) :: x(:, :, :, :, :)633 634 ! CHECK: %[[coor0:.*]] = fir.coordinate_of %[[x]], %{{.*}}, %{{.*}}, %{{.*}}, %{{.*}}, %{{.}}635 ! CHECK: %[[coor1:.*]] = fir.coordinate_of %[[coor0]], a, b636 ! CHECK: %[[b_box:.*]] = fir.load %[[coor1]]637 ! CHECK: %[[coor2:.*]] = fir.coordinate_of %[[b_box]], c, d638 ! CHECK: %[[index:.*]] = arith.subi %c6{{.*}}, %c1{{.*}} : i64639 ! CHECK: %[[coor3:.*]] = fir.coordinate_of %[[coor2]], %[[index]]640 ! CHECK: %[[coor4:.*]] = fir.coordinate_of %[[coor3]], e641 ! CHECK: %[[e_box:.*]] = fir.load %[[coor4]]642 ! CHECK: %[[edims:.*]]:3 = fir.box_dims %[[e_box]], %c0{{.*}}643 ! CHECK: %[[lb:.*]] = fir.convert %[[edims]]#0 : (index) -> i64644 ! CHECK: %[[index2:.*]] = arith.subi %c7{{.*}}, %[[lb]]645 ! CHECK: %[[coor5:.*]] = fir.coordinate_of %[[e_box]], %[[index2]]646 ! CHECK: %[[coor6:.*]] = fir.coordinate_of %[[coor5]], f647 ! CHECK: fir.load %[[coor6]] : !fir.ref<f32>648 print *, x(1,2,3,4,5)%a%b%c%d(6)%e(7)%f649end subroutine650 651! -----------------------------------------------------------------------------652! Test a recursive derived type reference653! -----------------------------------------------------------------------------654 655! CHECK: func @_QMpcompPtest_recursive656! CHECK-SAME: (%[[x:.*]]: {{.*}})657subroutine test_recursive(x)658 type t659 integer :: i660 type(t), pointer :: next661 end type662 type(t) :: x663 664 ! CHECK: %[[next1:.*]] = fir.coordinate_of %[[x]], next665 ! CHECK: %[[nextBox1:.*]] = fir.load %[[next1]]666 ! CHECK: %[[next2:.*]] = fir.coordinate_of %[[nextBox1]], next667 ! CHECK: %[[nextBox2:.*]] = fir.load %[[next2]]668 ! CHECK: %[[next3:.*]] = fir.coordinate_of %[[nextBox2]], next669 ! CHECK: %[[nextBox3:.*]] = fir.load %[[next3]]670 ! CHECK: %[[i:.*]] = fir.coordinate_of %[[nextBox3]], i671 ! CHECK: %[[nextBox3:.*]] = fir.load %[[i]] : !fir.ref<i32>672 print *, x%next%next%next%i673end subroutine674 675end module676 677! -----------------------------------------------------------------------------678! Test initial data target679! -----------------------------------------------------------------------------680 681module pinit682 use pcomp683 ! CHECK-LABEL: fir.global {{.*}}@_QMpinitEarp0684 ! CHECK-DAG: %[[undef:.*]] = fir.undefined685 ! CHECK-DAG: %[[target:.*]] = fir.address_of(@_QMpcompEreal_target)686 ! CHECK: %[[box:.*]] = fir.embox %[[target]] : (!fir.ref<f32>) -> !fir.box<f32>687 ! CHECK: %[[rebox:.*]] = fir.rebox %[[box]] : (!fir.box<f32>) -> !fir.box<!fir.ptr<f32>>688 ! CHECK: %[[insert:.*]] = fir.insert_value %[[undef]], %[[rebox]], ["p", !fir.type<_QMpcompTreal_p0{p:!fir.box<!fir.ptr<f32>>}>] :689 ! CHECK: fir.has_value %[[insert]]690 type(real_p0) :: arp0 = real_p0(real_target)691 692! CHECK-LABEL: fir.global @_QMpinitEbrp1 : !fir.type<_QMpcompTreal_p1{p:!fir.box<!fir.ptr<!fir.array<?xf32>>>}> {693! CHECK: %[[VAL_0:.*]] = fir.undefined !fir.type<_QMpcompTreal_p1{p:!fir.box<!fir.ptr<!fir.array<?xf32>>>}>694! CHECK: %[[VAL_2:.*]] = fir.address_of(@_QMpcompEreal_array_target) : !fir.ref<!fir.array<100xf32>>695! CHECK: %[[VAL_3:.*]] = arith.constant 100 : index696! CHECK: %[[VAL_4:.*]] = arith.constant 1 : index697! CHECK: %[[VAL_5:.*]] = arith.constant 1 : index698! CHECK: %[[VAL_6:.*]] = arith.constant 10 : i64699! CHECK: %[[VAL_7:.*]] = fir.convert %[[VAL_6]] : (i64) -> index700! CHECK: %[[VAL_8:.*]] = arith.constant 5 : i64701! CHECK: %[[VAL_9:.*]] = fir.convert %[[VAL_8]] : (i64) -> index702! CHECK: %[[VAL_10:.*]] = arith.constant 50 : i64703! CHECK: %[[VAL_11:.*]] = fir.convert %[[VAL_10]] : (i64) -> index704! CHECK: %[[VAL_12:.*]] = arith.constant 0 : index705! CHECK: %[[VAL_13:.*]] = arith.subi %[[VAL_11]], %[[VAL_7]] : index706! CHECK: %[[VAL_14:.*]] = arith.addi %[[VAL_13]], %[[VAL_9]] : index707! CHECK: %[[VAL_15:.*]] = arith.divsi %[[VAL_14]], %[[VAL_9]] : index708! CHECK: %[[VAL_16:.*]] = arith.cmpi sgt, %[[VAL_15]], %[[VAL_12]] : index709! CHECK: %[[VAL_17:.*]] = arith.select %[[VAL_16]], %[[VAL_15]], %[[VAL_12]] : index710! CHECK: %[[VAL_18:.*]] = fir.shape %[[VAL_3]] : (index) -> !fir.shape<1>711! CHECK: %[[VAL_19:.*]] = fir.slice %[[VAL_7]], %[[VAL_11]], %[[VAL_9]] : (index, index, index) -> !fir.slice<1>712! CHECK: %[[VAL_20:.*]] = fir.embox %[[VAL_2]](%[[VAL_18]]) {{\[}}%[[VAL_19]]] : (!fir.ref<!fir.array<100xf32>>, !fir.shape<1>, !fir.slice<1>) -> !fir.box<!fir.array<9xf32>>713! CHECK: %[[VAL_21:.*]] = fir.rebox %[[VAL_20]] : (!fir.box<!fir.array<9xf32>>) -> !fir.box<!fir.ptr<!fir.array<?xf32>>>714! CHECK: %[[VAL_22:.*]] = fir.insert_value %[[VAL_0]], %[[VAL_21]], ["p", !fir.type<_QMpcompTreal_p1{p:!fir.box<!fir.ptr<!fir.array<?xf32>>>}>] : (!fir.type<_QMpcompTreal_p1{p:!fir.box<!fir.ptr<!fir.array<?xf32>>>}>, !fir.box<!fir.ptr<!fir.array<?xf32>>>) -> !fir.type<_QMpcompTreal_p1{p:!fir.box<!fir.ptr<!fir.array<?xf32>>>}>715! CHECK: fir.has_value %[[VAL_22]] : !fir.type<_QMpcompTreal_p1{p:!fir.box<!fir.ptr<!fir.array<?xf32>>>}>716! CHECK: }717 type(real_p1) :: brp1 = real_p1(real_array_target(10:50:5))718 719 ! CHECK-LABEL: fir.global {{.*}}@_QMpinitEccp0720 ! CHECK-DAG: %[[undef:.*]] = fir.undefined721 ! CHECK-DAG: %[[target:.*]] = fir.address_of(@_QMpcompEchar_target)722 ! CHECK: %[[box:.*]] = fir.embox %[[target]] : (!fir.ref<!fir.char<1,10>>) -> !fir.box<!fir.char<1,10>>723 ! CHECK: %[[rebox:.*]] = fir.rebox %[[box]] : (!fir.box<!fir.char<1,10>>) -> !fir.box<!fir.ptr<!fir.char<1,10>>>724 ! CHECK: %[[insert:.*]] = fir.insert_value %[[undef]], %[[rebox]], ["p", !fir.type<_QMpcompTcst_char_p0{p:!fir.box<!fir.ptr<!fir.char<1,10>>>}>] :725 ! CHECK: fir.has_value %[[insert]]726 type(cst_char_p0) :: ccp0 = cst_char_p0(char_target)727 728 ! CHECK-LABEL: fir.global {{.*}}@_QMpinitEdcp1729 ! CHECK-DAG: %[[undef:.*]] = fir.undefined730 ! CHECK-DAG: %[[target:.*]] = fir.address_of(@_QMpcompEchar_array_target)731 ! CHECK-DAG: %[[shape:.*]] = fir.shape %c100{{.*}}732 ! CHECK-DAG: %[[box:.*]] = fir.embox %[[target]](%[[shape]]) : (!fir.ref<!fir.array<100x!fir.char<1,10>>>, !fir.shape<1>) -> !fir.box<!fir.array<100x!fir.char<1,10>>>733 ! CHECK-DAG: %[[rebox:.*]] = fir.rebox %[[box]] : (!fir.box<!fir.array<100x!fir.char<1,10>>>) -> !fir.box<!fir.ptr<!fir.array<?x!fir.char<1,?>>>>734 ! CHECK: %[[insert:.*]] = fir.insert_value %[[undef]], %[[rebox]], ["p", !fir.type<_QMpcompTdef_char_p1{p:!fir.box<!fir.ptr<!fir.array<?x!fir.char<1,?>>>>}>] :735 ! CHECK: fir.has_value %[[insert]]736 type(def_char_p1) :: dcp1 = def_char_p1(char_array_target)737end module738