[all-commits] [llvm/llvm-project] 65f529: [flang] Implement runtime Assign()

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 65f52904324735da7bb4bc9ef5060a3f784e6bea
      https://github.com/llvm/llvm-project/commit/65f52904324735da7bb4bc9ef5060a3f784e6bea
  Author: peter klausler <pklausler at nvidia.com>
  Date:   2021-08-09 (Mon, 09 Aug 2021)

  Changed paths:
    M flang/include/flang/Semantics/tools.h
    M flang/include/flang/Semantics/type.h
    M flang/lib/Semantics/runtime-type-info.cpp
    M flang/lib/Semantics/tools.cpp
    M flang/module/__fortran_type_info.f90
    M flang/runtime/CMakeLists.txt
    M flang/runtime/allocatable.cpp
    M flang/runtime/allocatable.h
    A flang/runtime/assign.cpp
    A flang/runtime/assign.h
    M flang/runtime/derived.cpp
    M flang/runtime/derived.h
    M flang/runtime/type-info.cpp
    M flang/runtime/type-info.h
    M flang/test/Semantics/typeinfo01.f90

  Log Message:
  -----------
  [flang] Implement runtime Assign()

Define an API for, and implement, runtime support for arbitrary
assignment of one descriptor's data to another, with full support for
(re)allocation of allocatables with finalization when necessary,
user-defined derived type assignment TBP calls, and intrinsic (default)
componentwise assignment of derived type instances with allocation of
automatic components.  Also clean up API and implementation of
finalization/destruction using knowledge gained while studying
edge cases for assignment in the 2018 standard.

The look-up procedure for special procedure bindings in derived
types has been optimized from O(N) to O(1) since it will probably
matter more.  This required some analysis in runtime derived type
description table construction in semantics and some changes to the
table schemata.

Executable Fortran tests have been developed; they'll be added
to the test base once they can be lowered and run by f18.

Differential Revision: https://reviews.llvm.org/D107678