.. java:import:: fr.inria.tapenade.representation ArrayDim

.. java:import:: fr.inria.tapenade.representation ArrayTypeSpec

.. java:import:: fr.inria.tapenade.representation Block

.. java:import:: fr.inria.tapenade.representation BlockStorage

.. java:import:: fr.inria.tapenade.representation CallArrow

.. java:import:: fr.inria.tapenade.representation CallGraph

.. java:import:: fr.inria.tapenade.representation CompositeTypeSpec

.. java:import:: fr.inria.tapenade.representation HeaderBlock

.. java:import:: fr.inria.tapenade.representation ILUtils

.. java:import:: fr.inria.tapenade.representation Instruction

.. java:import:: fr.inria.tapenade.representation LoopBlock

.. java:import:: fr.inria.tapenade.representation PublicInfo

.. java:import:: fr.inria.tapenade.representation SymbolTable

.. java:import:: fr.inria.tapenade.representation SymbolTableConstants

.. java:import:: fr.inria.tapenade.representation TapEnv

.. java:import:: fr.inria.tapenade.representation TapList

.. java:import:: fr.inria.tapenade.representation TypeSpec

.. java:import:: fr.inria.tapenade.representation Unit

.. java:import:: fr.inria.tapenade.representation WrapperTypeSpec

.. java:import:: fr.inria.tapenade.utils BoolVector

.. java:import:: fr.inria.tapenade.utils ILLang

.. java:import:: fr.inria.tapenade.utils TapIntList

.. java:import:: fr.inria.tapenade.utils TapPair

.. java:import:: fr.inria.tapenade.utils TapTriplet

.. java:import:: fr.inria.tapenade.utils ToBool

.. java:import:: fr.inria.tapenade.utils Tree

LoopArrayAccessAnalyzer
=======================

.. java:package:: fr.inria.tapenade.analysis
   :noindex:

.. java:type:: public final class LoopArrayAccessAnalyzer extends DataFlowAnalyzer

   Utility analysis that detects loop-localized array zones, and array zones completely swept by a loop.

Fields
------
NOACT
^^^^^

.. java:field:: public static final int NOACT
   :outertype: LoopArrayAccessAnalyzer

   Constants that code for actions "read", "write", and "no-action".

READ
^^^^

.. java:field:: public static final int READ
   :outertype: LoopArrayAccessAnalyzer

WRITE
^^^^^

.. java:field:: public static final int WRITE
   :outertype: LoopArrayAccessAnalyzer

Constructors
------------
LoopArrayAccessAnalyzer
^^^^^^^^^^^^^^^^^^^^^^^

.. java:constructor:: public LoopArrayAccessAnalyzer(CallGraph cg)
   :outertype: LoopArrayAccessAnalyzer

Methods
-------
analyze
^^^^^^^

.. java:method:: @Override public boolean analyze()
   :outertype: LoopArrayAccessAnalyzer

initializeCGForUnit
^^^^^^^^^^^^^^^^^^^

.. java:method:: @Override protected Object initializeCGForUnit()
   :outertype: LoopArrayAccessAnalyzer

run
^^^

.. java:method:: @Override public void run(TapList<Unit> rootUnits)
   :outertype: LoopArrayAccessAnalyzer

   Runs detection of loop-localized array zones on all Units. As a result, fills the "localizedZones" field of each clean DO-loop HeaderBlock.

runAnalysis
^^^^^^^^^^^

.. java:method:: public static void runAnalysis(CallGraph callGraph, TapList<Unit> rootUnits)
   :outertype: LoopArrayAccessAnalyzer