501 lines · plain
1! RUN: bbc -emit-hlfir -o - %s | FileCheck %s2 3 4! CHECK-LABEL: func @_QPcompare1(5! CHECK-SAME: %{{.*}}: !fir.ref<!fir.logical<4>>{{.*}}, %{{.*}}: !fir.boxchar<1>{{.*}}, %{{.*}}: !fir.boxchar<1>{{.*}}) {6subroutine compare1(x, c1, c2)7 character(*) c1, c2, d1, d28 logical x, y9 x = c1 < c210 return11 12! CHECK-LABEL: func @_QPcompare2(13! CHECK-SAME: %{{.*}}: !fir.ref<!fir.logical<4>>{{.*}}, %{{.*}}: !fir.boxchar<1>{{.*}}, %{{.*}}: !fir.boxchar<1>{{.*}}) {14entry compare2(y, d2, d1)15 y = d1 < d216end17 18program entries19 character c(3)20 character(10) hh, qq, m21 character(len=4) s1, s222 integer mm, x(3), y(5)23 logical r24 complex xx(3)25 character(5), external :: f1, f2, f326 27 interface28 subroutine ashapec(asc)29 character asc(:)30 end subroutine31 subroutine ashapei(asi)32 integer asi(:)33 end subroutine34 subroutine ashapex(asx)35 complex asx(:)36 end subroutine37 end interface38 39 s1 = 'a111'40 s2 = 'a222'41 call compare1(r, s1, s2); print*, r42 call compare2(r, s1, s2); print*, r43 call ss(mm); print*, mm44 call e1(mm, 17); print*, mm45 call e2(17, mm); print*, mm46 call e3(mm); print*, mm47 print*, jj(11)48 print*, rr(22)49 m = 'abcd efgh'50 print*, hh(m)51 print*, qq(m)52 call dd153 call dd254 call dd3(6)556 continue56 x = 557 y = 758 call level3a(x, y, 3)59 call level3b(x, y, 3)60 call ashapec(c); print*, c61 call ashapei(x); print*, x62 call ashapex(xx); print*, xx63 print *, f1(1)64 print *, f2(2)65 print *, f3()66end67 68! CHECK-LABEL: func @_QPss(69! CHECK-SAME: %{{.*}}: !fir.ref<i32>{{.*}}) {70subroutine ss(n1)71 ! CHECK: fir.alloca i32 {{{.*}}uniq_name = "{{.*}}Enx"}72 ! CHECK: fir.alloca i32 {{{.*}}uniq_name = "{{.*}}Eny"}73 integer n17, n274 nx = 10075 n1 = nx + 1076 return77 78! CHECK-LABEL: func @_QPe1(79! CHECK-SAME: %{{.*}}: !fir.ref<i32>{{.*}}, %{{.*}}: !fir.ref<i32>{{.*}}) {80entry e1(n2, n17)81 ! CHECK: fir.alloca i32 {{{.*}}uniq_name = "{{.*}}Enx"}82 ! CHECK: fir.alloca i32 {{{.*}}uniq_name = "{{.*}}Eny"}83 ny = 20084 n2 = ny + 2085 return86 87 ! CHECK-LABEL: func @_QPe2(88 ! CHECK-SAME: %{{.*}}: !fir.ref<i32>{{.*}}, %{{.*}}: !fir.ref<i32>{{.*}}) {89entry e2(n3, n1)90 ! CHECK: fir.alloca i32 {{{.*}}uniq_name = "{{.*}}Enx"}91 ! CHECK: fir.alloca i32 {{{.*}}uniq_name = "{{.*}}Eny"}92 93! CHECK-LABEL: func @_QPe3(94! CHECK-SAME: %{{.*}}: !fir.ref<i32>{{.*}}) {95entry e3(n1)96 ! CHECK: fir.alloca i32 {{{.*}}uniq_name = "{{.*}}Enx"}97 ! CHECK: fir.alloca i32 {{{.*}}uniq_name = "{{.*}}Eny"}98 n1 = 3099end100 101! CHECK-LABEL: func @_QPjj(102! CHECK-SAME: %{{.*}}: !fir.ref<i32>{{.*}}) -> i32103function jj(n1)104 ! CHECK: fir.alloca i32 {{{.*}}uniq_name = "{{.*}}Ejj"}105 jj = 100106 jj = jj + n1107 return108 109 ! CHECK-LABEL: func @_QPrr(110 ! CHECK-SAME: %{{.*}}: !fir.ref<i32>{{.*}}) -> f32111entry rr(n2)112 ! CHECK: fir.alloca i32 {{{.*}}uniq_name = "{{.*}}Ejj"}113 rr = 200.0114 rr = rr + n2115end116 117! CHECK-LABEL: func @_QPhh(118! CHECK-SAME: %{{.*}}: !fir.ref<!fir.char<1,10>>{{.*}}, %{{.*}}: index{{.*}}, %{{.*}}: !fir.boxchar<1>{{.*}}) -> !fir.boxchar<1>119function hh(c1)120 character(10) c1, hh, qq121 hh = c1122 return123 ! CHECK-LABEL: func @_QPqq(124 ! CHECK-SAME: %{{.*}}: !fir.ref<!fir.char<1,10>>{{.*}}, %{{.*}}: index{{.*}}, %{{.*}}: !fir.boxchar<1>{{.*}}) -> !fir.boxchar<1>125entry qq(c1)126 qq = c1127end128 129! CHECK-LABEL: func @_QPchar_array()130function char_array()131 character(10), c(5)132! CHECK-LABEL: func @_QPchar_array_entry(133! CHECK-SAME: %{{.*}}: !fir.boxchar<1>{{.*}}) -> f32 {134entry char_array_entry(c)135end136 137subroutine dd1138! CHECK-LABEL: func.func @_QPdd1() {139! CHECK: %[[VAL_0:.*]] = fir.alloca i32 {bindc_name = "kk", uniq_name = "_QFdd1Ekk"}140! CHECK: %[[VAL_1:.*]]:2 = hlfir.declare %[[VAL_0]] {uniq_name = "_QFdd1Ekk"} : (!fir.ref<i32>) -> (!fir.ref<i32>, !fir.ref<i32>)141! CHECK: cf.br ^bb1142! CHECK: ^bb1:143! CHECK: %[[VAL_2:.*]] = arith.constant 10 : i32144! CHECK: hlfir.assign %[[VAL_2]] to %[[VAL_1]]#0 : i32, !fir.ref<i32>145! CHECK: cf.br ^bb2146! CHECK: ^bb2:147! CHECK: %[[VAL_3:.*]] = arith.constant 20 : i32148! CHECK: hlfir.assign %[[VAL_3]] to %[[VAL_1]]#0 : i32, !fir.ref<i32>149! CHECK: cf.br ^bb3150! CHECK: ^bb3:151! CHECK: return152! CHECK: }153 kk = 10154 155 entry dd2156! CHECK-LABEL: func.func @_QPdd2() {157! CHECK: %[[VAL_0:.*]] = fir.alloca i32 {bindc_name = "kk", uniq_name = "_QFdd1Ekk"}158! CHECK: %[[VAL_1:.*]]:2 = hlfir.declare %[[VAL_0]] {uniq_name = "_QFdd1Ekk"} : (!fir.ref<i32>) -> (!fir.ref<i32>, !fir.ref<i32>)159! CHECK: cf.br ^bb1160! CHECK: ^bb1:161! CHECK: %[[VAL_2:.*]] = arith.constant 20 : i32162! CHECK: hlfir.assign %[[VAL_2]] to %[[VAL_1]]#0 : i32, !fir.ref<i32>163! CHECK: cf.br ^bb2164! CHECK: ^bb2:165! CHECK: return166! CHECK: }167 kk = 20168 return169 170 entry dd3(*)171! CHECK-LABEL: func.func @_QPdd3() -> index {172! CHECK: %[[VAL_0:.*]] = fir.alloca index {bindc_name = "dd3"}173! CHECK: %[[VAL_1:.*]] = fir.alloca i32 {bindc_name = "kk", uniq_name = "_QFdd1Ekk"}174! CHECK: %[[VAL_2:.*]]:2 = hlfir.declare %[[VAL_1]] {uniq_name = "_QFdd1Ekk"} : (!fir.ref<i32>) -> (!fir.ref<i32>, !fir.ref<i32>)175! CHECK: %[[VAL_3:.*]] = arith.constant 0 : index176! CHECK: fir.store %[[VAL_3]] to %[[VAL_0]] : !fir.ref<index>177! CHECK: cf.br ^bb1178! CHECK: ^bb1:179! CHECK: %[[VAL_4:.*]] = arith.constant 30 : i32180! CHECK: hlfir.assign %[[VAL_4]] to %[[VAL_2]]#0 : i32, !fir.ref<i32>181! CHECK: cf.br ^bb2182! CHECK: ^bb2:183! CHECK: %[[VAL_5:.*]] = fir.load %[[VAL_0]] : !fir.ref<index>184! CHECK: return %[[VAL_5]] : index185! CHECK: }186 kk = 30187end188 189subroutine ashapec(asc)190 character asc(:)191 integer asi(:)192 complex asx(:)193 asc = '?'194 return195! CHECK-LABEL: func.func @_QPashapec(196! CHECK-SAME: %[[VAL_0:.*]]: !fir.box<!fir.array<?x!fir.char<1>>> {fir.bindc_name = "asc"}) {197! CHECK: %[[VAL_1:.*]] = fir.alloca !fir.box<!fir.heap<!fir.array<?xcomplex<f32>>>>198! CHECK: %[[VAL_2:.*]] = fir.alloca !fir.box<!fir.heap<!fir.array<?xi32>>>199! CHECK: %[[VAL_3:.*]] = fir.dummy_scope : !fir.dscope200! CHECK: %[[VAL_4:.*]] = arith.constant 1 : index201! CHECK: %[[VAL_5:.*]]:2 = hlfir.declare %[[VAL_0]] typeparams %[[VAL_4]] dummy_scope %[[VAL_3]] arg {{[0-9]+}} {uniq_name = "_QFashapecEasc"} : (!fir.box<!fir.array<?x!fir.char<1>>>, index, !fir.dscope) -> (!fir.box<!fir.array<?x!fir.char<1>>>, !fir.box<!fir.array<?x!fir.char<1>>>)202! CHECK: %[[VAL_6:.*]] = fir.zero_bits !fir.heap<!fir.array<?xi32>>203! CHECK: %[[VAL_7:.*]] = arith.constant 0 : index204! CHECK: %[[VAL_8:.*]] = fir.shape %[[VAL_7]] : (index) -> !fir.shape<1>205! CHECK: %[[VAL_9:.*]] = fir.embox %[[VAL_6]](%[[VAL_8]]) : (!fir.heap<!fir.array<?xi32>>, !fir.shape<1>) -> !fir.box<!fir.heap<!fir.array<?xi32>>>206! CHECK: fir.store %[[VAL_9]] to %[[VAL_2]] : !fir.ref<!fir.box<!fir.heap<!fir.array<?xi32>>>>207! CHECK: %[[VAL_10:.*]] = fir.load %[[VAL_2]] : !fir.ref<!fir.box<!fir.heap<!fir.array<?xi32>>>>208! CHECK: %[[VAL_11:.*]] = arith.constant 0 : index209! CHECK: %[[VAL_12:.*]]:3 = fir.box_dims %[[VAL_10]], %[[VAL_11]] : (!fir.box<!fir.heap<!fir.array<?xi32>>>, index) -> (index, index, index)210! CHECK: %[[VAL_13:.*]] = fir.box_addr %[[VAL_10]] : (!fir.box<!fir.heap<!fir.array<?xi32>>>) -> !fir.heap<!fir.array<?xi32>>211! CHECK: %[[VAL_14:.*]] = fir.shape_shift %[[VAL_12]]#0, %[[VAL_12]]#1 : (index, index) -> !fir.shapeshift<1>212! CHECK: %[[VAL_15:.*]]:2 = hlfir.declare %[[VAL_13]](%[[VAL_14]]) {uniq_name = "_QFashapecEasi"} : (!fir.heap<!fir.array<?xi32>>, !fir.shapeshift<1>) -> (!fir.box<!fir.array<?xi32>>, !fir.heap<!fir.array<?xi32>>)213! CHECK: %[[VAL_16:.*]] = fir.zero_bits !fir.heap<!fir.array<?xcomplex<f32>>>214! CHECK: %[[VAL_17:.*]] = arith.constant 0 : index215! CHECK: %[[VAL_18:.*]] = fir.shape %[[VAL_17]] : (index) -> !fir.shape<1>216! CHECK: %[[VAL_19:.*]] = fir.embox %[[VAL_16]](%[[VAL_18]]) : (!fir.heap<!fir.array<?xcomplex<f32>>>, !fir.shape<1>) -> !fir.box<!fir.heap<!fir.array<?xcomplex<f32>>>>217! CHECK: fir.store %[[VAL_19]] to %[[VAL_1]] : !fir.ref<!fir.box<!fir.heap<!fir.array<?xcomplex<f32>>>>>218! CHECK: %[[VAL_20:.*]] = fir.load %[[VAL_1]] : !fir.ref<!fir.box<!fir.heap<!fir.array<?xcomplex<f32>>>>>219! CHECK: %[[VAL_21:.*]] = arith.constant 0 : index220! CHECK: %[[VAL_22:.*]]:3 = fir.box_dims %[[VAL_20]], %[[VAL_21]] : (!fir.box<!fir.heap<!fir.array<?xcomplex<f32>>>>, index) -> (index, index, index)221! CHECK: %[[VAL_23:.*]] = fir.box_addr %[[VAL_20]] : (!fir.box<!fir.heap<!fir.array<?xcomplex<f32>>>>) -> !fir.heap<!fir.array<?xcomplex<f32>>>222! CHECK: %[[VAL_24:.*]] = fir.shape_shift %[[VAL_22]]#0, %[[VAL_22]]#1 : (index, index) -> !fir.shapeshift<1>223! CHECK: %[[VAL_25:.*]]:2 = hlfir.declare %[[VAL_23]](%[[VAL_24]]) {uniq_name = "_QFashapecEasx"} : (!fir.heap<!fir.array<?xcomplex<f32>>>, !fir.shapeshift<1>) -> (!fir.box<!fir.array<?xcomplex<f32>>>, !fir.heap<!fir.array<?xcomplex<f32>>>)224! CHECK: cf.br ^bb1225! CHECK: ^bb1:226! CHECK: %[[VAL_26:.*]] = fir.address_of(@_QQclX3F) : !fir.ref<!fir.char<1>>227! CHECK: %[[VAL_27:.*]] = arith.constant 1 : index228! CHECK: %[[VAL_28:.*]]:2 = hlfir.declare %[[VAL_26]] typeparams %[[VAL_27]] {fortran_attrs = #fir.var_attrs<parameter>, uniq_name = "_QQclX3F"} : (!fir.ref<!fir.char<1>>, index) -> (!fir.ref<!fir.char<1>>, !fir.ref<!fir.char<1>>)229! CHECK: hlfir.assign %[[VAL_28]]#0 to %[[VAL_5]]#0 : !fir.ref<!fir.char<1>>, !fir.box<!fir.array<?x!fir.char<1>>>230! CHECK: cf.br ^bb2231! CHECK: ^bb2:232! CHECK: return233! CHECK: }234 235entry ashapei(asi)236 asi = 3237 return238! CHECK-LABEL: func.func @_QPashapei(239! CHECK-SAME: %[[VAL_0:.*]]: !fir.box<!fir.array<?xi32>> {fir.bindc_name = "asi"}) {240! CHECK: %[[VAL_1:.*]] = fir.alloca !fir.box<!fir.heap<!fir.array<?xcomplex<f32>>>>241! CHECK: %[[VAL_2:.*]] = fir.alloca !fir.box<!fir.heap<!fir.array<?x!fir.char<1>>>>242! CHECK: %[[VAL_3:.*]] = fir.dummy_scope : !fir.dscope243! CHECK: %[[VAL_4:.*]] = fir.zero_bits !fir.heap<!fir.array<?x!fir.char<1>>>244! CHECK: %[[VAL_5:.*]] = arith.constant 0 : index245! CHECK: %[[VAL_6:.*]] = fir.shape %[[VAL_5]] : (index) -> !fir.shape<1>246! CHECK: %[[VAL_7:.*]] = fir.embox %[[VAL_4]](%[[VAL_6]]) : (!fir.heap<!fir.array<?x!fir.char<1>>>, !fir.shape<1>) -> !fir.box<!fir.heap<!fir.array<?x!fir.char<1>>>>247! CHECK: fir.store %[[VAL_7]] to %[[VAL_2]] : !fir.ref<!fir.box<!fir.heap<!fir.array<?x!fir.char<1>>>>>248! CHECK: %[[VAL_8:.*]] = fir.load %[[VAL_2]] : !fir.ref<!fir.box<!fir.heap<!fir.array<?x!fir.char<1>>>>>249! CHECK: %[[VAL_9:.*]] = arith.constant 0 : index250! CHECK: %[[VAL_10:.*]]:3 = fir.box_dims %[[VAL_8]], %[[VAL_9]] : (!fir.box<!fir.heap<!fir.array<?x!fir.char<1>>>>, index) -> (index, index, index)251! CHECK: %[[VAL_11:.*]] = fir.box_elesize %[[VAL_8]] : (!fir.box<!fir.heap<!fir.array<?x!fir.char<1>>>>) -> index252! CHECK: %[[VAL_12:.*]] = fir.box_addr %[[VAL_8]] : (!fir.box<!fir.heap<!fir.array<?x!fir.char<1>>>>) -> !fir.heap<!fir.array<?x!fir.char<1>>>253! CHECK: %[[VAL_13:.*]] = fir.shape_shift %[[VAL_10]]#0, %[[VAL_10]]#1 : (index, index) -> !fir.shapeshift<1>254! CHECK: %[[VAL_14:.*]]:2 = hlfir.declare %[[VAL_12]](%[[VAL_13]]) typeparams %[[VAL_11]] {uniq_name = "_QFashapecEasc"} : (!fir.heap<!fir.array<?x!fir.char<1>>>, !fir.shapeshift<1>, index) -> (!fir.box<!fir.array<?x!fir.char<1>>>, !fir.heap<!fir.array<?x!fir.char<1>>>)255! CHECK: %[[VAL_15:.*]]:2 = hlfir.declare %[[VAL_0]] dummy_scope %[[VAL_3]] arg {{[0-9]+}} {uniq_name = "_QFashapecEasi"} : (!fir.box<!fir.array<?xi32>>, !fir.dscope) -> (!fir.box<!fir.array<?xi32>>, !fir.box<!fir.array<?xi32>>)256! CHECK: %[[VAL_16:.*]] = fir.zero_bits !fir.heap<!fir.array<?xcomplex<f32>>>257! CHECK: %[[VAL_17:.*]] = arith.constant 0 : index258! CHECK: %[[VAL_18:.*]] = fir.shape %[[VAL_17]] : (index) -> !fir.shape<1>259! CHECK: %[[VAL_19:.*]] = fir.embox %[[VAL_16]](%[[VAL_18]]) : (!fir.heap<!fir.array<?xcomplex<f32>>>, !fir.shape<1>) -> !fir.box<!fir.heap<!fir.array<?xcomplex<f32>>>>260! CHECK: fir.store %[[VAL_19]] to %[[VAL_1]] : !fir.ref<!fir.box<!fir.heap<!fir.array<?xcomplex<f32>>>>>261! CHECK: %[[VAL_20:.*]] = fir.load %[[VAL_1]] : !fir.ref<!fir.box<!fir.heap<!fir.array<?xcomplex<f32>>>>>262! CHECK: %[[VAL_21:.*]] = arith.constant 0 : index263! CHECK: %[[VAL_22:.*]]:3 = fir.box_dims %[[VAL_20]], %[[VAL_21]] : (!fir.box<!fir.heap<!fir.array<?xcomplex<f32>>>>, index) -> (index, index, index)264! CHECK: %[[VAL_23:.*]] = fir.box_addr %[[VAL_20]] : (!fir.box<!fir.heap<!fir.array<?xcomplex<f32>>>>) -> !fir.heap<!fir.array<?xcomplex<f32>>>265! CHECK: %[[VAL_24:.*]] = fir.shape_shift %[[VAL_22]]#0, %[[VAL_22]]#1 : (index, index) -> !fir.shapeshift<1>266! CHECK: %[[VAL_25:.*]]:2 = hlfir.declare %[[VAL_23]](%[[VAL_24]]) {uniq_name = "_QFashapecEasx"} : (!fir.heap<!fir.array<?xcomplex<f32>>>, !fir.shapeshift<1>) -> (!fir.box<!fir.array<?xcomplex<f32>>>, !fir.heap<!fir.array<?xcomplex<f32>>>)267! CHECK: cf.br ^bb1268! CHECK: ^bb1:269! CHECK: %[[VAL_26:.*]] = arith.constant 3 : i32270! CHECK: hlfir.assign %[[VAL_26]] to %[[VAL_15]]#0 : i32, !fir.box<!fir.array<?xi32>>271! CHECK: cf.br ^bb2272! CHECK: ^bb2:273! CHECK: return274! CHECK: }275entry ashapex(asx)276 asx = (2.0,-2.0)277end278! CHECK-LABEL: func.func @_QPashapex(279! CHECK-SAME: %[[VAL_0:.*]]: !fir.box<!fir.array<?xcomplex<f32>>> {fir.bindc_name = "asx"}) {280! CHECK: %[[VAL_1:.*]] = fir.alloca !fir.box<!fir.heap<!fir.array<?xi32>>>281! CHECK: %[[VAL_2:.*]] = fir.alloca !fir.box<!fir.heap<!fir.array<?x!fir.char<1>>>>282! CHECK: %[[VAL_3:.*]] = fir.dummy_scope : !fir.dscope283! CHECK: %[[VAL_4:.*]] = fir.zero_bits !fir.heap<!fir.array<?x!fir.char<1>>>284! CHECK: %[[VAL_5:.*]] = arith.constant 0 : index285! CHECK: %[[VAL_6:.*]] = fir.shape %[[VAL_5]] : (index) -> !fir.shape<1>286! CHECK: %[[VAL_7:.*]] = fir.embox %[[VAL_4]](%[[VAL_6]]) : (!fir.heap<!fir.array<?x!fir.char<1>>>, !fir.shape<1>) -> !fir.box<!fir.heap<!fir.array<?x!fir.char<1>>>>287! CHECK: fir.store %[[VAL_7]] to %[[VAL_2]] : !fir.ref<!fir.box<!fir.heap<!fir.array<?x!fir.char<1>>>>>288! CHECK: %[[VAL_8:.*]] = fir.load %[[VAL_2]] : !fir.ref<!fir.box<!fir.heap<!fir.array<?x!fir.char<1>>>>>289! CHECK: %[[VAL_9:.*]] = arith.constant 0 : index290! CHECK: %[[VAL_10:.*]]:3 = fir.box_dims %[[VAL_8]], %[[VAL_9]] : (!fir.box<!fir.heap<!fir.array<?x!fir.char<1>>>>, index) -> (index, index, index)291! CHECK: %[[VAL_11:.*]] = fir.box_elesize %[[VAL_8]] : (!fir.box<!fir.heap<!fir.array<?x!fir.char<1>>>>) -> index292! CHECK: %[[VAL_12:.*]] = fir.box_addr %[[VAL_8]] : (!fir.box<!fir.heap<!fir.array<?x!fir.char<1>>>>) -> !fir.heap<!fir.array<?x!fir.char<1>>>293! CHECK: %[[VAL_13:.*]] = fir.shape_shift %[[VAL_10]]#0, %[[VAL_10]]#1 : (index, index) -> !fir.shapeshift<1>294! CHECK: %[[VAL_14:.*]]:2 = hlfir.declare %[[VAL_12]](%[[VAL_13]]) typeparams %[[VAL_11]] {uniq_name = "_QFashapecEasc"} : (!fir.heap<!fir.array<?x!fir.char<1>>>, !fir.shapeshift<1>, index) -> (!fir.box<!fir.array<?x!fir.char<1>>>, !fir.heap<!fir.array<?x!fir.char<1>>>)295! CHECK: %[[VAL_15:.*]] = fir.zero_bits !fir.heap<!fir.array<?xi32>>296! CHECK: %[[VAL_16:.*]] = arith.constant 0 : index297! CHECK: %[[VAL_17:.*]] = fir.shape %[[VAL_16]] : (index) -> !fir.shape<1>298! CHECK: %[[VAL_18:.*]] = fir.embox %[[VAL_15]](%[[VAL_17]]) : (!fir.heap<!fir.array<?xi32>>, !fir.shape<1>) -> !fir.box<!fir.heap<!fir.array<?xi32>>>299! CHECK: fir.store %[[VAL_18]] to %[[VAL_1]] : !fir.ref<!fir.box<!fir.heap<!fir.array<?xi32>>>>300! CHECK: %[[VAL_19:.*]] = fir.load %[[VAL_1]] : !fir.ref<!fir.box<!fir.heap<!fir.array<?xi32>>>>301! CHECK: %[[VAL_20:.*]] = arith.constant 0 : index302! CHECK: %[[VAL_21:.*]]:3 = fir.box_dims %[[VAL_19]], %[[VAL_20]] : (!fir.box<!fir.heap<!fir.array<?xi32>>>, index) -> (index, index, index)303! CHECK: %[[VAL_22:.*]] = fir.box_addr %[[VAL_19]] : (!fir.box<!fir.heap<!fir.array<?xi32>>>) -> !fir.heap<!fir.array<?xi32>>304! CHECK: %[[VAL_23:.*]] = fir.shape_shift %[[VAL_21]]#0, %[[VAL_21]]#1 : (index, index) -> !fir.shapeshift<1>305! CHECK: %[[VAL_24:.*]]:2 = hlfir.declare %[[VAL_22]](%[[VAL_23]]) {uniq_name = "_QFashapecEasi"} : (!fir.heap<!fir.array<?xi32>>, !fir.shapeshift<1>) -> (!fir.box<!fir.array<?xi32>>, !fir.heap<!fir.array<?xi32>>)306! CHECK: %[[VAL_25:.*]]:2 = hlfir.declare %[[VAL_0]] dummy_scope %[[VAL_3]] arg {{[0-9]+}} {uniq_name = "_QFashapecEasx"} : (!fir.box<!fir.array<?xcomplex<f32>>>, !fir.dscope) -> (!fir.box<!fir.array<?xcomplex<f32>>>, !fir.box<!fir.array<?xcomplex<f32>>>)307! CHECK: cf.br ^bb1308! CHECK: ^bb1:309! CHECK: hlfir.assign %{{.*}} to %[[VAL_25]]#0 : complex<f32>, !fir.box<!fir.array<?xcomplex<f32>>>310! CHECK: cf.br ^bb2311! CHECK: ^bb2:312! CHECK: return313! CHECK: }314 315! CHECK-LABEL: func @_QPlevel3a(316subroutine level3a(a, b, m)317 ! CHECK: fir.alloca !fir.box<!fir.heap<!fir.array<?xi32>>>318 ! CHECK: fir.alloca !fir.box<!fir.heap<!fir.array<?xi32>>>319 ! CHECK: fir.alloca i32 {bindc_name = "n", uniq_name = "_QFlevel3aEn"}320 integer :: a(m), b(a(m)), m321 integer :: x(n), y(x(n)), n3221 print*, m323 print*, a324 print*, b325 if (m == 3) return326! CHECK-LABEL: func @_QPlevel3b(327entry level3b(x, y, n)328 ! CHECK: fir.alloca !fir.box<!fir.heap<!fir.array<?xi32>>>329 ! CHECK: fir.alloca !fir.box<!fir.heap<!fir.array<?xi32>>>330 ! CHECK: fir.alloca i32 {bindc_name = "m", uniq_name = "_QFlevel3aEm"}331 print*, n332 print*, x333 print*, y334 if (n /= 3) goto 1335end336 337function f1(n1) result(res1)338 character(5) res1, f2, f3339 res1 = 'a a a'340 if (n1 == 1) return341! CHECK-LABEL: func.func @_QPf1(342! CHECK-SAME: %[[VAL_0:.*]]: !fir.ref<!fir.char<1,5>>,343! CHECK-SAME: %[[VAL_1:.*]]: index,344! CHECK-SAME: %[[VAL_2:.*]]: !fir.ref<i32> {fir.bindc_name = "n1"}) -> !fir.boxchar<1> {345! CHECK: %[[VAL_3:.*]] = fir.dummy_scope : !fir.dscope346! CHECK: %[[VAL_4:.*]]:2 = hlfir.declare %[[VAL_2]] dummy_scope %[[VAL_3]] arg {{[0-9]+}} {uniq_name = "_QFf1En1"} : (!fir.ref<i32>, !fir.dscope) -> (!fir.ref<i32>, !fir.ref<i32>)347! CHECK: %[[VAL_5:.*]] = fir.alloca i32 {bindc_name = "n2", uniq_name = "_QFf1En2"}348! CHECK: %[[VAL_6:.*]]:2 = hlfir.declare %[[VAL_5]] {uniq_name = "_QFf1En2"} : (!fir.ref<i32>) -> (!fir.ref<i32>, !fir.ref<i32>)349! CHECK: %[[VAL_7:.*]] = arith.constant 5 : index350! CHECK: %[[VAL_8:.*]]:2 = hlfir.declare %[[VAL_0]] typeparams %[[VAL_7]] {uniq_name = "_QFf1Eres1"} : (!fir.ref<!fir.char<1,5>>, index) -> (!fir.ref<!fir.char<1,5>>, !fir.ref<!fir.char<1,5>>)351! CHECK: %[[VAL_9:.*]] = arith.constant 5 : index352! CHECK: %[[VAL_10:.*]]:2 = hlfir.declare %[[VAL_0]] typeparams %[[VAL_9]] {fortran_attrs = #fir.var_attrs<internal_assoc>, uniq_name = "_QFf1Ef2"} : (!fir.ref<!fir.char<1,5>>, index) -> (!fir.ref<!fir.char<1,5>>, !fir.ref<!fir.char<1,5>>)353! CHECK: %[[VAL_11:.*]] = arith.constant 5 : index354! CHECK: %[[VAL_12:.*]]:2 = hlfir.declare %[[VAL_0]] typeparams %[[VAL_11]] {fortran_attrs = #fir.var_attrs<internal_assoc>, uniq_name = "_QFf1Ef3"} : (!fir.ref<!fir.char<1,5>>, index) -> (!fir.ref<!fir.char<1,5>>, !fir.ref<!fir.char<1,5>>)355! CHECK: %[[VAL_13:.*]] = fir.alloca tuple<!fir.boxchar<1>, !fir.boxchar<1>>356! CHECK: %[[VAL_14:.*]] = arith.constant 0 : i32357! CHECK: %[[VAL_15:.*]] = fir.coordinate_of %[[VAL_13]], %[[VAL_14]] : (!fir.ref<tuple<!fir.boxchar<1>, !fir.boxchar<1>>>, i32) -> !fir.ref<!fir.boxchar<1>>358! CHECK: %[[VAL_16:.*]] = fir.emboxchar %[[VAL_10]]#0, %[[VAL_9]] : (!fir.ref<!fir.char<1,5>>, index) -> !fir.boxchar<1>359! CHECK: fir.store %[[VAL_16]] to %[[VAL_15]] : !fir.ref<!fir.boxchar<1>>360! CHECK: %[[VAL_17:.*]] = arith.constant 1 : i32361! CHECK: %[[VAL_18:.*]] = fir.coordinate_of %[[VAL_13]], %[[VAL_17]] : (!fir.ref<tuple<!fir.boxchar<1>, !fir.boxchar<1>>>, i32) -> !fir.ref<!fir.boxchar<1>>362! CHECK: %[[VAL_19:.*]] = fir.emboxchar %[[VAL_12]]#0, %[[VAL_11]] : (!fir.ref<!fir.char<1,5>>, index) -> !fir.boxchar<1>363! CHECK: fir.store %[[VAL_19]] to %[[VAL_18]] : !fir.ref<!fir.boxchar<1>>364! CHECK: cf.br ^bb1365! CHECK: ^bb1:366! CHECK: hlfir.assign %{{.*}}#0 to %[[VAL_8]]#0 : !fir.ref<!fir.char<1,5>>, !fir.ref<!fir.char<1,5>>367! CHECK: %[[VAL_23:.*]] = fir.load %[[VAL_4]]#0 : !fir.ref<i32>368! CHECK: %[[VAL_24:.*]] = arith.constant 1 : i32369! CHECK: %[[VAL_25:.*]] = arith.cmpi eq, %[[VAL_23]], %[[VAL_24]] : i32370! CHECK: cf.cond_br %[[VAL_25]], ^bb2, ^bb3371! CHECK: ^bb2:372! CHECK: cf.br ^bb6373! CHECK: ^bb3:374! CHECK: fir.call @_QFf1Ps2(375! CHECK: cf.cond_br %{{.*}}, ^bb4, ^bb5376! CHECK: ^bb4:377! CHECK: cf.br ^bb6378! CHECK: ^bb5:379! CHECK: fir.call @_QFf1Ps3(380! CHECK: cf.br ^bb6381! CHECK: ^bb6:382! CHECK: %[[VAL_32:.*]] = fir.emboxchar %[[VAL_8]]#0, %[[VAL_7]] : (!fir.ref<!fir.char<1,5>>, index) -> !fir.boxchar<1>383! CHECK: return %[[VAL_32]] : !fir.boxchar<1>384! CHECK: }385 386entry f2(n2)387! CHECK-LABEL: func.func @_QPf2(388! CHECK-SAME: %[[VAL_0:.*]]: !fir.ref<!fir.char<1,5>>,389! CHECK-SAME: %[[VAL_1:.*]]: index,390! CHECK-SAME: %[[VAL_2:.*]]: !fir.ref<i32> {fir.bindc_name = "n2"}) -> !fir.boxchar<1> {391! CHECK: %[[VAL_3:.*]] = fir.dummy_scope : !fir.dscope392! CHECK: %[[VAL_4:.*]] = fir.alloca i32 {bindc_name = "n1", uniq_name = "_QFf1En1"}393! CHECK: %[[VAL_5:.*]]:2 = hlfir.declare %[[VAL_4]] {uniq_name = "_QFf1En1"} : (!fir.ref<i32>) -> (!fir.ref<i32>, !fir.ref<i32>)394! CHECK: %[[VAL_6:.*]]:2 = hlfir.declare %[[VAL_2]] dummy_scope %[[VAL_3]] arg {{[0-9]+}} {uniq_name = "_QFf1En2"} : (!fir.ref<i32>, !fir.dscope) -> (!fir.ref<i32>, !fir.ref<i32>)395! CHECK: %[[VAL_7:.*]] = arith.constant 5 : index396! CHECK: %[[VAL_8:.*]]:2 = hlfir.declare %[[VAL_0]] typeparams %[[VAL_7]] {uniq_name = "_QFf1Eres1"} : (!fir.ref<!fir.char<1,5>>, index) -> (!fir.ref<!fir.char<1,5>>, !fir.ref<!fir.char<1,5>>)397! CHECK: %[[VAL_9:.*]] = arith.constant 5 : index398! CHECK: %[[VAL_10:.*]]:2 = hlfir.declare %[[VAL_0]] typeparams %[[VAL_9]] {fortran_attrs = #fir.var_attrs<internal_assoc>, uniq_name = "_QFf1Ef2"} : (!fir.ref<!fir.char<1,5>>, index) -> (!fir.ref<!fir.char<1,5>>, !fir.ref<!fir.char<1,5>>)399! CHECK: %[[VAL_11:.*]] = arith.constant 5 : index400! CHECK: %[[VAL_12:.*]]:2 = hlfir.declare %[[VAL_0]] typeparams %[[VAL_11]] {fortran_attrs = #fir.var_attrs<internal_assoc>, uniq_name = "_QFf1Ef3"} : (!fir.ref<!fir.char<1,5>>, index) -> (!fir.ref<!fir.char<1,5>>, !fir.ref<!fir.char<1,5>>)401! CHECK: %[[VAL_13:.*]] = fir.alloca tuple<!fir.boxchar<1>, !fir.boxchar<1>>402! CHECK: %[[VAL_14:.*]] = arith.constant 0 : i32403! CHECK: %[[VAL_15:.*]] = fir.coordinate_of %[[VAL_13]], %[[VAL_14]] : (!fir.ref<tuple<!fir.boxchar<1>, !fir.boxchar<1>>>, i32) -> !fir.ref<!fir.boxchar<1>>404! CHECK: %[[VAL_16:.*]] = fir.emboxchar %[[VAL_10]]#0, %[[VAL_9]] : (!fir.ref<!fir.char<1,5>>, index) -> !fir.boxchar<1>405! CHECK: fir.store %[[VAL_16]] to %[[VAL_15]] : !fir.ref<!fir.boxchar<1>>406! CHECK: %[[VAL_17:.*]] = arith.constant 1 : i32407! CHECK: %[[VAL_18:.*]] = fir.coordinate_of %[[VAL_13]], %[[VAL_17]] : (!fir.ref<tuple<!fir.boxchar<1>, !fir.boxchar<1>>>, i32) -> !fir.ref<!fir.boxchar<1>>408! CHECK: %[[VAL_19:.*]] = fir.emboxchar %[[VAL_12]]#0, %[[VAL_11]] : (!fir.ref<!fir.char<1,5>>, index) -> !fir.boxchar<1>409! CHECK: fir.store %[[VAL_19]] to %[[VAL_18]] : !fir.ref<!fir.boxchar<1>>410! CHECK: cf.br ^bb1411! CHECK: ^bb1:412! CHECK: fir.call @_QFf1Ps2(%413! CHECK: cf.cond_br %{{.*}}, ^bb2, ^bb3414! CHECK: ^bb2:415! CHECK: cf.br ^bb4416! CHECK: ^bb3:417! CHECK: fir.call @_QFf1Ps3(418! CHECK: cf.br ^bb4419! CHECK: ^bb4:420! CHECK: %[[VAL_26:.*]] = fir.emboxchar %[[VAL_10]]#0, %[[VAL_9]] : (!fir.ref<!fir.char<1,5>>, index) -> !fir.boxchar<1>421! CHECK: return %[[VAL_26]] : !fir.boxchar<1>422! CHECK: }423 call s2424 if (n2 == 2) return425 426entry f3427! CHECK-LABEL: func.func @_QPf3(428! CHECK-SAME: %[[VAL_0:.*]]: !fir.ref<!fir.char<1,5>>,429! CHECK-SAME: %[[VAL_1:.*]]: index) -> !fir.boxchar<1> {430! CHECK: %[[VAL_2:.*]] = fir.alloca i32 {bindc_name = "n1", uniq_name = "_QFf1En1"}431! CHECK: %[[VAL_3:.*]]:2 = hlfir.declare %[[VAL_2]] {uniq_name = "_QFf1En1"} : (!fir.ref<i32>) -> (!fir.ref<i32>, !fir.ref<i32>)432! CHECK: %[[VAL_4:.*]] = fir.alloca i32 {bindc_name = "n2", uniq_name = "_QFf1En2"}433! CHECK: %[[VAL_5:.*]]:2 = hlfir.declare %[[VAL_4]] {uniq_name = "_QFf1En2"} : (!fir.ref<i32>) -> (!fir.ref<i32>, !fir.ref<i32>)434! CHECK: %[[VAL_6:.*]] = arith.constant 5 : index435! CHECK: %[[VAL_7:.*]]:2 = hlfir.declare %[[VAL_0]] typeparams %[[VAL_6]] {uniq_name = "_QFf1Eres1"} : (!fir.ref<!fir.char<1,5>>, index) -> (!fir.ref<!fir.char<1,5>>, !fir.ref<!fir.char<1,5>>)436! CHECK: %[[VAL_8:.*]] = arith.constant 5 : index437! CHECK: %[[VAL_9:.*]]:2 = hlfir.declare %[[VAL_0]] typeparams %[[VAL_8]] {fortran_attrs = #fir.var_attrs<internal_assoc>, uniq_name = "_QFf1Ef2"} : (!fir.ref<!fir.char<1,5>>, index) -> (!fir.ref<!fir.char<1,5>>, !fir.ref<!fir.char<1,5>>)438! CHECK: %[[VAL_10:.*]] = arith.constant 5 : index439! CHECK: %[[VAL_11:.*]]:2 = hlfir.declare %[[VAL_0]] typeparams %[[VAL_10]] {fortran_attrs = #fir.var_attrs<internal_assoc>, uniq_name = "_QFf1Ef3"} : (!fir.ref<!fir.char<1,5>>, index) -> (!fir.ref<!fir.char<1,5>>, !fir.ref<!fir.char<1,5>>)440! CHECK: %[[VAL_12:.*]] = fir.alloca tuple<!fir.boxchar<1>, !fir.boxchar<1>>441! CHECK: %[[VAL_13:.*]] = arith.constant 0 : i32442! CHECK: %[[VAL_14:.*]] = fir.coordinate_of %[[VAL_12]], %[[VAL_13]] : (!fir.ref<tuple<!fir.boxchar<1>, !fir.boxchar<1>>>, i32) -> !fir.ref<!fir.boxchar<1>>443! CHECK: %[[VAL_15:.*]] = fir.emboxchar %[[VAL_9]]#0, %[[VAL_8]] : (!fir.ref<!fir.char<1,5>>, index) -> !fir.boxchar<1>444! CHECK: fir.store %[[VAL_15]] to %[[VAL_14]] : !fir.ref<!fir.boxchar<1>>445! CHECK: %[[VAL_16:.*]] = arith.constant 1 : i32446! CHECK: %[[VAL_17:.*]] = fir.coordinate_of %[[VAL_12]], %[[VAL_16]] : (!fir.ref<tuple<!fir.boxchar<1>, !fir.boxchar<1>>>, i32) -> !fir.ref<!fir.boxchar<1>>447! CHECK: %[[VAL_18:.*]] = fir.emboxchar %[[VAL_11]]#0, %[[VAL_10]] : (!fir.ref<!fir.char<1,5>>, index) -> !fir.boxchar<1>448! CHECK: fir.store %[[VAL_18]] to %[[VAL_17]] : !fir.ref<!fir.boxchar<1>>449! CHECK: cf.br ^bb1450! CHECK: ^bb1:451! CHECK: fir.call @_QFf1Ps3(452! CHECK: cf.br ^bb2453! CHECK: ^bb2:454! CHECK: %[[VAL_22:.*]] = fir.emboxchar %[[VAL_11]]#0, %[[VAL_10]] : (!fir.ref<!fir.char<1,5>>, index) -> !fir.boxchar<1>455! CHECK: return %[[VAL_22]] : !fir.boxchar<1>456! CHECK: }457 f3 = "C C C"458 call s3459contains460 subroutine s2461 f2 = 'b b b'462 end463 464 subroutine s3465 f3 = 'c c c'466 end467end468 469subroutine assumed_size()470 real :: x(*)471! CHECK-LABEL: func.func @_QPassumed_size() {472! CHECK: %[[VAL_0:.*]] = fir.alloca !fir.box<!fir.heap<!fir.array<?xf32>>>473! CHECK: %[[VAL_1:.*]] = fir.zero_bits !fir.heap<!fir.array<?xf32>>474! CHECK: %[[VAL_2:.*]] = arith.constant 0 : index475! CHECK: %[[VAL_3:.*]] = fir.shape %[[VAL_2]] : (index) -> !fir.shape<1>476! CHECK: %[[VAL_4:.*]] = fir.embox %[[VAL_1]](%[[VAL_3]]) : (!fir.heap<!fir.array<?xf32>>, !fir.shape<1>) -> !fir.box<!fir.heap<!fir.array<?xf32>>>477! CHECK: fir.store %[[VAL_4]] to %[[VAL_0]] : !fir.ref<!fir.box<!fir.heap<!fir.array<?xf32>>>>478! CHECK: %[[VAL_5:.*]] = fir.load %[[VAL_0]] : !fir.ref<!fir.box<!fir.heap<!fir.array<?xf32>>>>479! CHECK: %[[VAL_6:.*]] = arith.constant 0 : index480! CHECK: %[[VAL_7:.*]]:3 = fir.box_dims %[[VAL_5]], %[[VAL_6]] : (!fir.box<!fir.heap<!fir.array<?xf32>>>, index) -> (index, index, index)481! CHECK: %[[VAL_8:.*]] = fir.box_addr %[[VAL_5]] : (!fir.box<!fir.heap<!fir.array<?xf32>>>) -> !fir.heap<!fir.array<?xf32>>482! CHECK: %[[VAL_9:.*]] = fir.shape_shift %[[VAL_7]]#0, %[[VAL_7]]#1 : (index, index) -> !fir.shapeshift<1>483! CHECK: %[[VAL_10:.*]]:2 = hlfir.declare %[[VAL_8]](%[[VAL_9]]) {uniq_name = "_QFassumed_sizeEx"} : (!fir.heap<!fir.array<?xf32>>, !fir.shapeshift<1>) -> (!fir.box<!fir.array<?xf32>>, !fir.heap<!fir.array<?xf32>>)484! CHECK: cf.br ^bb1485! CHECK: ^bb1:486! CHECK: return487! CHECK: }488 489 entry entry_with_assumed_size(x)490end subroutine491! CHECK-LABEL: func.func @_QPentry_with_assumed_size(492! CHECK-SAME: %[[VAL_0:.*]]: !fir.ref<!fir.array<?xf32>> {fir.bindc_name = "x"}) {493! CHECK: %[[VAL_1:.*]] = fir.dummy_scope : !fir.dscope494! CHECK: %[[VAL_2:.*]] = fir.assumed_size_extent : index495! CHECK: %[[VAL_3:.*]] = fir.shape %[[VAL_2]] : (index) -> !fir.shape<1>496! CHECK: %[[VAL_4:.*]]:2 = hlfir.declare %[[VAL_0]](%[[VAL_3]]) dummy_scope %[[VAL_1]] arg {{[0-9]+}} {uniq_name = "_QFassumed_sizeEx"} : (!fir.ref<!fir.array<?xf32>>, !fir.shape<1>, !fir.dscope) -> (!fir.box<!fir.array<?xf32>>, !fir.ref<!fir.array<?xf32>>)497! CHECK: cf.br ^bb1498! CHECK: ^bb1:499! CHECK: return500! CHECK: }501