[fir] Add array value copy pass
authorValentin Clement <clementval@gmail.com>
Tue, 30 Nov 2021 12:50:32 +0000 (13:50 +0100)
committerValentin Clement <clementval@gmail.com>
Tue, 30 Nov 2021 12:51:08 +0000 (13:51 +0100)
commit47f759309eeaf9bd77debe4f6c3e1fe52913b537
tree7407614950021104a02b96221bd1e5cb9d79fba8
parent651122fc4ac92b93f36aab3b194de21065a0c48e
[fir] Add array value copy pass

This patch upstream the array value copy pass.

Transform the set of array value primitives to a memory-based array
representation.

The Ops `array_load`, `array_store`, `array_fetch`, and `array_update` are
used to manage abstract aggregate array values. A simple analysis is done
to determine if there are potential dependences between these operations.
If not, these array operations can be lowered to work directly on the memory
representation. If there is a potential conflict, a temporary is created
along with appropriate copy-in/copy-out operations. Here, a more refined
analysis might be deployed, such as using the affine framework.

This pass is required before code gen to the LLVM IR dialect.

This patch is part of the upstreaming effort from fir-dev branch. The
pass is bringing quite a lot of file with it.

Reviewed By: kiranchandramohan, schweitz

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

Co-authored-by: Jean Perier <jperier@nvidia.com>
Co-authored-by: Eric Schweitz <eschweitz@nvidia.com>
Co-authored-by: V Donaldson <vdonaldson@nvidia.com>
14 files changed:
flang/include/flang/Optimizer/Builder/FIRBuilder.h
flang/include/flang/Optimizer/Builder/Runtime/RTBuilder.h
flang/include/flang/Optimizer/Dialect/FIROpsSupport.h
flang/include/flang/Optimizer/Dialect/FIRTypes.td
flang/include/flang/Optimizer/Transforms/Factory.h [new file with mode: 0644]
flang/include/flang/Optimizer/Transforms/Passes.h
flang/include/flang/Optimizer/Transforms/Passes.td
flang/lib/Optimizer/Builder/FIRBuilder.cpp
flang/lib/Optimizer/Dialect/FIROps.cpp
flang/lib/Optimizer/Transforms/ArrayValueCopy.cpp [new file with mode: 0644]
flang/lib/Optimizer/Transforms/CMakeLists.txt
flang/test/Fir/array-value-copy.fir [new file with mode: 0644]
flang/test/Fir/invalid.fir
flang/unittests/Optimizer/Builder/FIRBuilderTest.cpp