[all-commits] [llvm/llvm-project] 3eedff: [flang][hlfir] Inherit constant length for the res...

[Slava Zakharin via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 3eedff3c0466300fc4345768cd622aa6d4eebfd9
      https://github.com/llvm/llvm-project/commit/3eedff3c0466300fc4345768cd622aa6d4eebfd9
  Author: Slava Zakharin <szakharin at nvidia.com>
  Date:   2023-07-24 (Mon, 24 Jul 2023)

  Changed paths:
    M flang/lib/Lower/HlfirIntrinsics.cpp
    M flang/test/Lower/HLFIR/transpose.f90

  Log Message:
  -----------
  [flang][hlfir] Inherit constant length for the result of hlfir.transpose.

Character length may be unknown for the type of Fortran::evaluate::FunctionRef
expression, but we can try to propagate it from the argument of
TRANSPOSE if it is known constant. Alternatively, we could relax
hlfir.transpose verification (i.e. allow character types mismatch
for the argument and the result).

Depends on D155912

Reviewed By: tblah

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


  Commit: 60f02aa7f78c9bd7ffaf816a48700d0adc814d2b
      https://github.com/llvm/llvm-project/commit/60f02aa7f78c9bd7ffaf816a48700d0adc814d2b
  Author: Slava Zakharin <szakharin at nvidia.com>
  Date:   2023-07-24 (Mon, 24 Jul 2023)

  Changed paths:
    M flang/include/flang/Optimizer/Builder/FIRBuilder.h
    M flang/include/flang/Optimizer/Dialect/Support/FIRContext.h
    M flang/lib/Optimizer/Dialect/Support/FIRContext.cpp
    M flang/lib/Optimizer/HLFIR/Transforms/BufferizeHLFIR.cpp
    M flang/lib/Optimizer/HLFIR/Transforms/ConvertToFIR.cpp
    M flang/lib/Optimizer/HLFIR/Transforms/InlineElementals.cpp
    M flang/lib/Optimizer/HLFIR/Transforms/LowerHLFIRIntrinsics.cpp
    M flang/lib/Optimizer/HLFIR/Transforms/SimplifyHLFIRIntrinsics.cpp
    A flang/test/HLFIR/count-lowering-default-int-kinds.fir
    M flang/test/HLFIR/count-lowering.fir

  Log Message:
  -----------
  [flang][hlfir] Fixed KindMapping for HLFIR intrinsics lowering.

hlfir.count lowering was using incorrect default integer kind
by ignoring the kind specified in the ModuleOp.

Reviewed By: tblah

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


Compare: https://github.com/llvm/llvm-project/compare/841ff7c6ca4c...60f02aa7f78c