1*5754bae4SValentin Clement! RUN: bbc -emit-fir %s -o - | FileCheck %s
2*5754bae4SValentin Clement
3*5754bae4SValentin Clement! Test that we are passing the correct length when using character array as
4*5754bae4SValentin Clement! Format (Fortran 2018 12.6.2.2 point 3)
5*5754bae4SValentin Clement! CHECK-LABEL: func @_QPtest_array_format
6*5754bae4SValentin Clementsubroutine test_array_format
7*5754bae4SValentin Clement  ! CHECK-DAG: %[[c2:.*]] = arith.constant 2 : index
8*5754bae4SValentin Clement  ! CHECK-DAG: %[[c10:.*]] = arith.constant 10 : index
9*5754bae4SValentin Clement  ! CHECK-DAG: %[[mem:.*]] = fir.alloca !fir.array<2x!fir.char<1,10>>
10*5754bae4SValentin Clement  character(10) :: array(2)
11*5754bae4SValentin Clement  array(1) ="(15HThis i"
12*5754bae4SValentin Clement  array(2) ="s a test.)"
13*5754bae4SValentin Clement  ! CHECK-DAG: %[[fmtLen:.*]] = arith.muli %[[c10]], %[[c2]] : index
14*5754bae4SValentin Clement  ! CHECK-DAG: %[[scalarFmt:.*]] = fir.convert %[[mem]] : (!fir.ref<!fir.array<2x!fir.char<1,10>>>) -> !fir.ref<!fir.char<1,?>>
15*5754bae4SValentin Clement  ! CHECK-DAG: %[[fmtArg:.*]] = fir.convert %[[scalarFmt]] : (!fir.ref<!fir.char<1,?>>) -> !fir.ref<i8>
16*5754bae4SValentin Clement  ! CHECK-DAG: %[[fmtLenArg:.*]] = fir.convert %[[fmtLen]] : (index) -> i64
17*5754bae4SValentin Clement  ! CHECK: fir.call @_FortranAioBeginExternalFormattedOutput(%[[fmtArg]], %[[fmtLenArg]], {{.*}})
18*5754bae4SValentin Clement  write(*, array)
19*5754bae4SValentin Clementend subroutine
20*5754bae4SValentin Clement
21*5754bae4SValentin Clement! A test to check the buffer and it's length.
22*5754bae4SValentin Clement! CHECK-LABEL: @_QPsome
23*5754bae4SValentin Clementsubroutine some()
24*5754bae4SValentin Clement  character(LEN=255):: buffer
25*5754bae4SValentin Clement  character(LEN=255):: greeting
26*5754bae4SValentin Clement10 format (A255)
27*5754bae4SValentin Clement  ! CHECK:  fir.address_of(@_QQcl.636F6D70696C6572) :
28*5754bae4SValentin Clement  write (buffer, 10) "compiler"
29*5754bae4SValentin Clement  read (buffer, 10) greeting
30*5754bae4SValentin Clementend
31*5754bae4SValentin Clement! CHECK-LABEL: fir.global linkonce @_QQcl.636F6D70696C6572
32*5754bae4SValentin Clement! CHECK: %[[lit:.*]] = fir.string_lit "compiler"(8) : !fir.char<1,8>
33*5754bae4SValentin Clement! CHECK: fir.has_value %[[lit]] : !fir.char<1,8>
34*5754bae4SValentin Clement! CHECK: }
35