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

Method intersectConstraints

lib/Analysis/DependenceAnalysis.cpp:415–563 · view source on GitHub ↗

Updates X with the intersection of the Constraints X and Y. Returns true if X has changed. Corresponds to Figure 4 from the paper Practical Dependence Testing Goff, Kennedy, Tseng PLDI 1991

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers

nothing calls this directly

Calls 15

DEBUGFunction · 0.85

isPointMethod · 0.80

isAnyMethod · 0.80

setEmptyMethod · 0.80

isDistanceMethod · 0.80

getDMethod · 0.80

isLineMethod · 0.80

getAMethod · 0.80

getBMethod · 0.80

getCMethod · 0.80

getMinusSCEVMethod · 0.80

getAssociatedLoopMethod · 0.80

Tested by

no test coverage detected