[flang] Handle dynamic and remotely scoped non-type-bound UDDTIO subroutines
authorPeter Klausler <pklausler@nvidia.com>
Fri, 10 Mar 2023 23:06:01 +0000 (15:06 -0800)
committerPeter Klausler <pklausler@nvidia.com>
Mon, 27 Mar 2023 21:56:25 +0000 (14:56 -0700)
commit09b00ab4898449aa70c1bc5eb891cfa2addb85fc
treee27aa0c4844dedea066c95f2b9f8ef0b938f8c30
parent9972c9a893478241b7c9d8b587df978bc6d7e5a0
[flang] Handle dynamic and remotely scoped non-type-bound UDDTIO subroutines

The present I/O infrastructure for user-defined derived type I/O
subroutines works fine for type-bound I/O generic bindings.  It also works
for explicit INTERFACE blocks and GENERIC statements that define
UDDIO subroutines in the same scope as the definition of the derived type,
so long as the specific procedures in those bindings are module procedures
or external procedures.

For non-type-bound UDDTIO specific procedures that are dummy procedures,
thunks of inner procedures, or procedure pointers, or that are defined with
interfaces or GENERIC outside the scope of the definition of the derived
type, a new runtime I/O API is needed so that lowering can generate
a call that supplies the appropriate procedure as well as the defined
type instance.

This patch specifies and implements this new runtime API and provides
utility routines for lowering to use to determine whether it should be
called for any particular OutputItem or InputItem in the parse tree.

Differential Revision: https://reviews.llvm.org/D146571
flang/include/flang/Runtime/io-api.h
flang/include/flang/Semantics/tools.h
flang/lib/Semantics/check-declarations.cpp
flang/lib/Semantics/tools.cpp
flang/runtime/io-api.cpp
flang/runtime/type-info.h
flang/test/Semantics/generic05.F90
flang/test/Semantics/io11.f90