Home
last modified time | relevance | path

Searched refs:EquivalentAtoms (Results 1 – 3 of 3) sorted by relevance

/src/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DSimplifyConstraints.cpp54 llvm::EquivalenceClasses<Atom> &EquivalentAtoms) { in projectToLeaders() argument
58 Result.insert(EquivalentAtoms.getOrInsertLeaderValue(Atom)); in projectToLeaders()
66 atomsInEquivalenceClass(const llvm::EquivalenceClasses<Atom> &EquivalentAtoms, in atomsInEquivalenceClass() argument
69 for (auto MemberIt = EquivalentAtoms.member_begin(LeaderIt); in atomsInEquivalenceClass()
70 MemberIt != EquivalentAtoms.member_end(); ++MemberIt) in atomsInEquivalenceClass()
82 llvm::EquivalenceClasses<Atom> EquivalentAtoms; in simplifyConstraints() local
100 EquivalentAtoms.unionSets(operands[0]->getAtom(), in simplifyConstraints()
110 TrueAtoms = projectToLeaders(TrueAtoms, EquivalentAtoms); in simplifyConstraints()
111 FalseAtoms = projectToLeaders(FalseAtoms, EquivalentAtoms); in simplifyConstraints()
114 for (auto It = EquivalentAtoms.begin(); It != EquivalentAtoms.end(); ++It) { in simplifyConstraints()
[all …]
H A DDataflowAnalysisContext.cpp279 if (!Info.EquivalentAtoms.empty()) { in dumpFlowCondition()
281 for (const llvm::SmallVector<Atom> &Class : Info.EquivalentAtoms) in dumpFlowCondition()
/src/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DSimplifyConstraints.h27 llvm::SmallVector<llvm::SmallVector<Atom>> EquivalentAtoms; member