144 lines · plain
1! RUN: bbc -hlfir=false %s -o - | FileCheck %s2! RUN: bbc -hlfir=false --enable-constant-argument-globalisation %s -o - \3! RUN: | FileCheck %s --check-prefix=CHECK-CONST4 5! Test lowering of local character variables6 7! CHECK-LABEL: func @_QPscalar_cst_len8subroutine scalar_cst_len()9 character(10) :: c10 ! CHECK: fir.alloca !fir.char<1,10> {{{.*}}uniq_name = "_QFscalar_cst_lenEc"}11 print *, c12end subroutine13 14! CHECK-LABEL: func @_QPscalar_dyn_len15! CHECK-SAME: %[[arg0:.*]]: !fir.ref<i32>16subroutine scalar_dyn_len(l)17 integer :: l18 character(l) :: c19 ! CHECK: %[[lexpr:.*]] = fir.load %[[arg0]] : !fir.ref<i32>20 ! CHECK: %[[is_positive:.*]] = arith.cmpi sgt, %[[lexpr]], %c0{{.*}} : i3221 ! CHECK: %[[l:.*]] = arith.select %[[is_positive]], %[[lexpr]], %c0{{.*}} : i3222 ! CHECK: fir.alloca !fir.char<1,?>(%[[l]] : i32) {{{.*}}uniq_name = "_QFscalar_dyn_lenEc"}23 print *, c24end subroutine25 26! CHECK-LABEL: func @_QPcst_array_cst_len27subroutine cst_array_cst_len()28 character(10) :: c(20)29 ! CHECK: fir.alloca !fir.array<20x!fir.char<1,10>> {{{.*}}uniq_name = "_QFcst_array_cst_lenEc"}30 print *, c(1)31end subroutine32 33! CHECK-LABEL: func @_QPcst_array_dyn_len34! CHECK-SAME: %[[arg0:.*]]: !fir.ref<i32>35subroutine cst_array_dyn_len(l)36 integer :: l37 character(l) :: c(10)38 ! CHECK: %[[lexpr:.*]] = fir.load %[[arg0]] : !fir.ref<i32>39 ! CHECK: %[[is_positive:.*]] = arith.cmpi sgt, %[[lexpr]], %c0{{.*}} : i3240 ! CHECK: %[[l:.*]] = arith.select %[[is_positive]], %[[lexpr]], %c0{{.*}} : i3241 ! CHECK: fir.alloca !fir.array<10x!fir.char<1,?>>(%[[l]] : i32) {{{.*}}uniq_name = "_QFcst_array_dyn_lenEc"}42 print *, c(1)43end subroutine44 45! CHECK-LABEL: func @_QPdyn_array_cst_len46! CHECK-SAME: %[[arg0:.*]]: !fir.ref<i32>47subroutine dyn_array_cst_len(n)48 integer :: n49 character(10) :: c(n)50 ! CHECK: %[[n:.*]] = fir.load %[[arg0]] : !fir.ref<i32>51 ! CHECK: %[[ni:.*]] = fir.convert %[[n]] : (i32) -> index52 ! CHECK: %[[is_positive:.*]] = arith.cmpi sgt, %[[ni]], %c0{{.*}} : index53 ! CHECK: %[[extent:.*]] = arith.select %[[is_positive]], %[[ni]], %c0{{.*}} : index54 ! CHECK: fir.alloca !fir.array<?x!fir.char<1,10>>, %[[extent]] {{{.*}}uniq_name = "_QFdyn_array_cst_lenEc"}55 print *, c(1)56end subroutine57 58! CHECK: func @_QPdyn_array_dyn_len59! CHECK-SAME: %[[arg0:.*]]: !fir.ref<i32>{{.*}}, %[[arg1:.*]]: !fir.ref<i32>60subroutine dyn_array_dyn_len(l, n)61 integer :: l, n62 character(l) :: c(n)63 ! CHECK-DAG: %[[lexpr:.*]] = fir.load %[[arg0]] : !fir.ref<i32>64 ! CHECK-DAG: %[[is_positive:.*]] = arith.cmpi sgt, %[[lexpr]], %c0{{.*}} : i3265 ! CHECK-DAG: %[[l:.*]] = arith.select %[[is_positive]], %[[lexpr]], %c0{{.*}} : i3266 ! CHECK-DAG: %[[n:.*]] = fir.load %[[arg1]] : !fir.ref<i32>67 ! CHECK: %[[ni:.*]] = fir.convert %[[n]] : (i32) -> index68 ! CHECK: %[[is_positive:.*]] = arith.cmpi sgt, %[[ni]], %c0{{.*}} : index69 ! CHECK: %[[extent:.*]] = arith.select %[[is_positive]], %[[ni]], %c0{{.*}} : index70 ! CHECK: fir.alloca !fir.array<?x!fir.char<1,?>>(%[[l]] : i32), %[[extent]] {{{.*}}uniq_name = "_QFdyn_array_dyn_lenEc"}71 print *, c(1)72end subroutine73 74! CHECK-LABEL: func @_QPcst_array_cst_len_lb75subroutine cst_array_cst_len_lb()76 character(10) :: c(11:30)77 ! CHECK: fir.alloca !fir.array<20x!fir.char<1,10>> {{{.*}}uniq_name = "_QFcst_array_cst_len_lbEc"}78 print *, c(11)79end subroutine80 81! CHECK-LABEL: func @_QPcst_array_dyn_len_lb82! CHECK-SAME: %[[arg0:.*]]: !fir.ref<i64>83subroutine cst_array_dyn_len_lb(l)84 integer(8) :: l85 character(l) :: c(11:20)86 ! CHECK: %[[lexpr:.*]] = fir.load %[[arg0]] : !fir.ref<i64>87 ! CHECK: %[[is_positive:.*]] = arith.cmpi sgt, %[[lexpr]], %c0{{.*}} : i6488 ! CHECK: %[[l:.*]] = arith.select %[[is_positive]], %[[lexpr]], %c0{{.*}} : i6489 ! CHECK: fir.alloca !fir.array<10x!fir.char<1,?>>(%[[l]] : i64) {{{.*}}uniq_name = "_QFcst_array_dyn_len_lbEc"}90 print *, c(11)91end subroutine92 93! CHECK-LABEL: func @_QPdyn_array_cst_len_lb94! CHECK-SAME: %[[arg0:.*]]: !fir.ref<i64>95subroutine dyn_array_cst_len_lb(n)96 integer(8) :: n97 character(10) :: c(11:n)98 ! CHECK-DAG: %[[cm10:.*]] = arith.constant -10 : index99 ! CHECK-DAG: %[[n:.*]] = fir.load %[[arg0]] : !fir.ref<i64>100 ! CHECK-DAG: %[[ni:.*]] = fir.convert %[[n]] : (i64) -> index101 ! CHECK: %[[raw_extent:.*]] = arith.addi %[[ni]], %[[cm10]] : index102 ! CHECK: %[[is_positive:.*]] = arith.cmpi sgt, %[[raw_extent]], %c0{{.*}} : index103 ! CHECK: %[[extent:.*]] = arith.select %[[is_positive]], %[[raw_extent]], %c0{{.*}} : index104 ! CHECK: fir.alloca !fir.array<?x!fir.char<1,10>>, %[[extent]] {{{.*}}uniq_name = "_QFdyn_array_cst_len_lbEc"}105 print *, c(11)106end subroutine107 108! CHECK-LABEL: func @_QPdyn_array_dyn_len_lb109! CHECK-SAME: %[[arg0:.*]]: !fir.ref<i64>{{.*}}, %[[arg1:.*]]: !fir.ref<i64>110subroutine dyn_array_dyn_len_lb(l, n)111 integer(8) :: l, n112 character(l) :: c(11:n)113 ! CHECK-DAG: %[[cm10:.*]] = arith.constant -10 : index114 ! CHECK-DAG: %[[lexpr:.*]] = fir.load %[[arg0]] : !fir.ref<i64>115 ! CHECK-DAG: %[[is_positive:.*]] = arith.cmpi sgt, %[[lexpr]], %c0{{.*}} : i64116 ! CHECK-DAG: %[[l:.*]] = arith.select %[[is_positive]], %[[lexpr]], %c0{{.*}} : i64117 ! CHECK-DAG: %[[n:.*]] = fir.load %[[arg1]] : !fir.ref<i64>118 ! CHECK-DAG: %[[ni:.*]] = fir.convert %[[n]] : (i64) -> index119 ! CHECK: %[[raw_extent:.*]] = arith.addi %[[ni]], %[[cm10]] : index120 ! CHECK: %[[is_positive:.*]] = arith.cmpi sgt, %[[raw_extent]], %c0{{.*}} : index121 ! CHECK: %[[extent:.*]] = arith.select %[[is_positive]], %[[raw_extent]], %c0{{.*}} : index122 ! CHECK: fir.alloca !fir.array<?x!fir.char<1,?>>(%[[l]] : i64), %[[extent]] {{{.*}}uniq_name = "_QFdyn_array_dyn_len_lbEc"}123 print *, c(11)124end subroutine125 126! Test that the length of assumed length parameter is correctly deduced in lowering.127! CHECK-LABEL: func @_QPassumed_length_param128subroutine assumed_length_param(n)129 character(*), parameter :: c(1)=(/"abcd"/)130 integer :: n131 ! CHECK: %[[c4:.*]] = arith.constant 4 : i64132 ! CHECK: fir.store %[[c4]] to %[[tmp:.*]] : !fir.ref<i64>133 ! CHECK-CONST: %[[tmp:.*]] = fir.address_of(@_global_const_.{{.*}}) : !fir.ref<i64>134 ! CHECK-CONST: fir.call @_QPtake_int(%[[tmp]]) {{.*}}: (!fir.ref<i64>) -> ()135 call take_int(len(c(n), kind=8))136end137 138! CHECK-LABEL: func @_QPscalar_cst_neg_len139subroutine scalar_cst_neg_len()140 character(-1) :: c141 ! CHECK: fir.alloca !fir.char<1,0> {{{.*}}uniq_name = "_QFscalar_cst_neg_lenEc"}142 print *, c143end subroutine144