hub / github.com/GoSSIP-SJTU/Armariris / depends

Method depends

lib/Analysis/DependenceAnalysis.cpp:3288–3694 · view source on GitHub ↗

depends - Returns NULL if there is no dependence. Otherwise, return a Dependence with as many details as possible. Corresponds to Section 3.1 in the paper Practical Dependence Testing Goff, Kennedy, Tseng PLDI 1991 Care is required to keep the routine below, getSplitIteration(), up to date with respect to this routine.

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 2

populateDependencyMatrixFunction · 0.80

dumpExampleDependenceFunction · 0.80

Calls 15

isLoadOrStoreFunction · 0.85

DEBUGFunction · 0.85

underlyingObjectsAliasFunction · 0.85

isLoopInvariantFunction · 0.85

dumpSmallBitVectorFunction · 0.85

propagateFunction · 0.85

getSCEVMethod · 0.80

setAnyMethod · 0.80

getPointerOperandFunction · 0.70

moveFunction · 0.50

mayReadFromMemoryMethod · 0.45

mayWriteToMemoryMethod · 0.45

Tested by

no test coverage detected