[all-commits] [llvm/llvm-project] c1b7e9: [flang] Adapt descriptor codegen to support unlimi...

[Valentin Clement (バレンタイン クレメン) via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c1b7e9c96200a0972a64ee2d2611ea42a2088f32
      https://github.com/llvm/llvm-project/commit/c1b7e9c96200a0972a64ee2d2611ea42a2088f32
  Author: Valentin Clement <clementval at gmail.com>
  Date:   2022-11-24 (Thu, 24 Nov 2022)

  Changed paths:
    M flang/include/flang/Optimizer/Dialect/FIRType.h
    M flang/lib/Frontend/CompilerInvocation.cpp
    M flang/lib/Lower/ConvertType.cpp
    M flang/lib/Optimizer/CodeGen/CodeGen.cpp
    M flang/lib/Optimizer/CodeGen/TypeConverter.h
    M flang/lib/Optimizer/Dialect/FIRType.cpp
    M flang/test/Fir/convert-to-llvm.fir
    M flang/test/Fir/polymorphic.fir

  Log Message:
  -----------
  [flang] Adapt descriptor codegen to support unlimited polymorphic entities

Code generation to create and populate the descriptor (element size and
type code) is based on the boxed result type. This does not work well with
unlimited polymorphic entities since the fir type does not represent what is
actually emboxed or reboxed.
In the case of emboxing, the input type will be used to populate
the descriptor element size and type code.
When reboxing an unlimited polymorphic to a unlimited polymorphic entities, the
element size and type code is retrieve from the input box.

Reviewed By: jeanPerier

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