fir::ArraySectionAnalyzer Class Reference

Public Types
enum class	SlicesOverlapKind { Unknown , DefinitelyIdentical , DefinitelyDisjoint , EitherIdenticalOrDisjoint }
using	ValueEquivalenceCallback

Static Public Member Functions
static SlicesOverlapKind	analyze (mlir::Value ref1, mlir::Value ref2, ValueEquivalenceCallback areKnownEquivalent=nullptr)
static bool	isDesignatingArrayInOrder (hlfir::DesignateOp designate, hlfir::ElementalOpInterface elemental)

Member Typedef Documentation

ValueEquivalenceCallback

using fir::ArraySectionAnalyzer::ValueEquivalenceCallback

Initial value:

 
      llvm::function_ref<bool(mlir::Value, mlir::Value)>

Optional callback used to teach the analyzer that two SSA values, even though they are not the same SSA value, are known by the caller to evaluate to the same value at runtime. The callback may be called with null values, in which case it must return false.

---

The documentation for this class was generated from the following files:

• include/flang/Optimizer/Analysis/ArraySectionAnalyzer.h
• lib/Optimizer/Analysis/ArraySectionAnalyzer.cpp