[flang] Support PDT type descriptors in codegen
authorJean Perier <jperier@nvidia.com>
Thu, 3 Mar 2022 09:07:34 +0000 (10:07 +0100)
committerJean Perier <jperier@nvidia.com>
Thu, 3 Mar 2022 09:08:18 +0000 (10:08 +0100)
commit013160f6e26c840140cfcf0b1e8735a2d04e379e
treed11e96728c309a6763df90d3f8b86d179c01090e
parent9404d4429921f568fd60eee8f1975a94b8c3f67a
[flang] Support PDT type descriptors in codegen

This change updates the mapping of derived types and type descriptor
object names to support kind parametrized derived types (PDT).
It moves the custom name mapping to the internal name utility.

To improve robustness and error reporting, type descriptors are also now
required to be generated in all compilation unit that manipulates
derived types. The previous codegen relied on the fact that descriptors
not defined in the current FIR module were available externally. Errors
with missing type descriptors were only caught at link time.

This patch makes derived type definition mandatory, except if the
derived types are expected to not have derived type descriptors (builtin
types), or if the newly added debug switch `--ignore-missing-type-desc`
is set. In those cases, a null pointer is used as type descriptor
pointer. The debug switch intends to help testing FIR to LLVM passes
without having to bother providing type descriptor data structures that
are normally built by the front-end.

Differential Revision: https://reviews.llvm.org/D120804
flang/include/flang/Optimizer/CodeGen/CodeGen.h
flang/include/flang/Optimizer/Dialect/FIRTypes.td
flang/include/flang/Optimizer/Support/InternalNames.h
flang/include/flang/Tools/CLOptions.inc
flang/lib/Optimizer/CodeGen/CodeGen.cpp
flang/lib/Optimizer/Dialect/FIRType.cpp
flang/lib/Optimizer/Support/InternalNames.cpp
flang/test/Fir/convert-to-llvm.fir
flang/test/Fir/ignore-missing-type-descriptor.fir [new file with mode: 0644]