[all-commits] [llvm/llvm-project] 4ccd57: [flang][nfc] replace fir.dispatch_table with more ...

[jeanPerier via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4ccd57ddb11e833f6b2ec2188e73c4ef3a5ab80e
      https://github.com/llvm/llvm-project/commit/4ccd57ddb11e833f6b2ec2188e73c4ef3a5ab80e
  Author: jeanPerier <jperier at nvidia.com>
  Date:   2023-10-06 (Fri, 06 Oct 2023)

  Changed paths:
    M flang/include/flang/Lower/AbstractConverter.h
    M flang/include/flang/Optimizer/Builder/FIRBuilder.h
    M flang/include/flang/Optimizer/Dialect/FIROps.td
    M flang/include/flang/Optimizer/Support/Utils.h
    M flang/lib/Lower/Bridge.cpp
    M flang/lib/Lower/ConvertType.cpp
    M flang/lib/Optimizer/Builder/FIRBuilder.cpp
    M flang/lib/Optimizer/CodeGen/CodeGen.cpp
    M flang/lib/Optimizer/Dialect/FIROps.cpp
    M flang/lib/Optimizer/Transforms/PolymorphicOpConversion.cpp
    M flang/test/Fir/array-value-copy-cam4.fir
    M flang/test/Fir/convert-to-llvm-invalid.fir
    M flang/test/Fir/dispatch.f90
    M flang/test/Fir/fir-ops.fir
    A flang/test/Lower/HLFIR/type-info.f90
    M flang/test/Lower/dispatch-table.f90

  Log Message:
  -----------
  [flang][nfc] replace fir.dispatch_table with more generic fir.type_info (#68309)

The goal is to progressively propagate all the derived type info that is
currently in the runtime type info globals into a FIR operation that can
be easily queried and used by FIR/HLFIR passes.

When this will be complete, the last step will be to stop generating the
runtime info global in lowering, but to do that later in or just before
codegen to keep the FIR files readable (on the added type-info.f90
tests, the lowered runtime info globals takes a whooping 2.6 millions
characters on 1600 lines of the FIR textual output. The fir.type_info that
contains all the info required to generate those globals for such
"trivial" types takes 1721 characters on 9 lines).

So far this patch simply starts by replacing the fir.dispatch_table
operation by the fir.type_info operation and to add the noinit/
nofinal/nodestroy flags to it. These flags will soon be used in HLFIR to
better rewrite hlfir.assign with derived types.