[flang][NFC] share Constant<SomeDerived> lowering
authorJean Perier <jperier@nvidia.com>
Thu, 5 Jan 2023 13:45:14 +0000 (14:45 +0100)
committerJean Perier <jperier@nvidia.com>
Thu, 5 Jan 2023 13:45:34 +0000 (14:45 +0100)
commit2d9b4a50cae8d18516a61977768a48d1f92ac33c
tree693726de9b9379883c50e9e74bfd1dbcfa79bb02
parent6aa02f90d06bdd88eae42e180c3363e36b0d454a
[flang][NFC] share Constant<SomeDerived> lowering

A previous patch (https://reviews.llvm.org/D136955) already refactored
intrinsic constant lowering to place in its own file and allow using it from
both the current lowering and the new lowering to HLFIR.

This patch does the same for derived types. The core function
"genStructComponentInInitializer" is moved from ConvertExpr.cpp and
renamed "genInlinedStructureCtorLitImpl" into ConvertConstant.cpp
without significant logic change.

Then, genScalarLit, genArrayLit (and genInlinedArrayLit/genOutlinedArrayLit)
are updated to support derived types.

The core aspect of derived type constant lowering that differs between
the current lowering and the HLFIR update is the way
addresses/initial target descriptors are built when part of a derived
type constant. This part happens in ConvertVariable.cpp (since the
address of a variable is taken in an initializer and is left TODO).

The mangling of derived type global literal constant is fixed: it did not embed
the derived type name and could cause "conflicts" between unrelated
derived types containing the same data. However, the hash remains
unstable between two compilation of the same file. This is not a
correctness issue and would require a lot of work to hash the derived
type constant data without hashing some irrelevant (but not out of bound)
data in the compile time data structure that holds derived type
constants (Constant<SomeDerived>). This may have to be revisited later.

Differential Revision: https://reviews.llvm.org/D140986
flang/include/flang/Lower/ConvertConstant.h
flang/include/flang/Lower/ConvertType.h
flang/include/flang/Lower/Mangler.h
flang/lib/Lower/ConvertConstant.cpp
flang/lib/Lower/ConvertExpr.cpp
flang/lib/Lower/ConvertExprToHLFIR.cpp
flang/lib/Lower/ConvertType.cpp
flang/lib/Lower/ConvertVariable.cpp
flang/lib/Lower/Mangler.cpp
flang/test/Lower/HLFIR/constant-derived.f90 [new file with mode: 0644]
flang/test/Lower/constant-literal-mangling.f90 [new file with mode: 0644]