[all-commits] [llvm/llvm-project] ffc305: [flang] Lower component-ref to hlfir.designate

[jeanPerier via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ffc3051d0fb7ef32e0af86571251d1f35eb191bd
      https://github.com/llvm/llvm-project/commit/ffc3051d0fb7ef32e0af86571251d1f35eb191bd
  Author: Jean Perier <jperier at nvidia.com>
  Date:   2023-01-12 (Thu, 12 Jan 2023)

  Changed paths:
    M flang/include/flang/Evaluate/check-expression.h
    M flang/include/flang/Optimizer/Builder/HLFIRTools.h
    M flang/lib/Evaluate/check-expression.cpp
    M flang/lib/Lower/ConvertExprToHLFIR.cpp
    M flang/lib/Lower/ConvertType.cpp
    M flang/lib/Optimizer/Builder/HLFIRTools.cpp
    A flang/test/Lower/HLFIR/designators-component-ref.f90

  Log Message:
  -----------
  [flang] Lower component-ref to hlfir.designate

Implement the visit of component refs in DesignatorBuilder.
The ArrayRef code has to be updated a bit to cope with the
case where the base is an array and the component is also an
array.

Improve the result type of array sections designators (only return
a fir.box if the array section is not contiguous/has dynamic extent).
This required exposing IsContiguous entry point for different
front-end designator nodes (the implementation already existed,
but was internal to check-expression.cpp).

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