Home
last modified time | relevance | path

Searched refs:Atom (Results 1 – 25 of 30) sorted by relevance

12

/src/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DFormula.h34 enum class Atom : unsigned {}; enum
68 Atom getAtom() const { in getAtom()
70 return static_cast<Atom>(Value); in getAtom()
87 using AtomNames = llvm::DenseMap<Atom, std::string>;
125 inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, Atom A) {
135 template <> struct DenseMapInfo<clang::dataflow::Atom> {
136 using Atom = clang::dataflow::Atom;
137 using Underlying = std::underlying_type_t<Atom>;
139 static inline Atom getEmptyKey() { return Atom(Underlying(-1)); }
140 static inline Atom getTombstoneKey() { return Atom(Underlying(-2)); }
[all …]
H A DDataflowAnalysisContext.h141 void addFlowConditionConstraint(Atom Token, const Formula &Constraint);
145 Atom forkFlowCondition(Atom Token);
150 Atom joinFlowConditions(Atom FirstToken, Atom SecondToken);
156 bool flowConditionImplies(Atom Token, const Formula &F);
162 bool flowConditionAllows(Atom Token, const Formula &F);
169 LLVM_DUMP_METHOD void dumpFlowCondition(Atom Token,
237 addTransitiveFlowConditionConstraints(Atom Token,
289 llvm::DenseMap<Atom, llvm::DenseSet<Atom>> FlowConditionDeps;
290 llvm::DenseMap<Atom, const Formula *> FlowConditionConstraints;
H A DSolver.h50 static Result Satisfiable(llvm::DenseMap<Atom, Assignment> Solution) { in Satisfiable()
68 std::optional<llvm::DenseMap<Atom, Assignment>> getSolution() const { in getSolution()
74 std::optional<llvm::DenseMap<Atom, Assignment>> Solution) in Result()
78 std::optional<llvm::DenseMap<Atom, Assignment>> Solution;
H A DArena.h108 const Formula &makeAtomRef(Atom A);
118 Atom makeAtom() { return static_cast<Atom>(NextAtom++); }; in makeAtom()
124 Atom makeFlowConditionToken() { return makeAtom(); } in makeFlowConditionToken()
142 llvm::DenseMap<Atom, const Formula *> AtomRefs;
H A DSimplifyConstraints.h27 llvm::SmallVector<llvm::SmallVector<Atom>> EquivalentAtoms;
31 llvm::SmallVector<Atom> TrueAtoms;
35 llvm::SmallVector<Atom> FalseAtoms;
H A DValue.h126 Atom getAtom() const { return formula().getAtom(); } in getAtom()
143 Atom getAtom() const { return formula().getAtom(); } in getAtom()
H A DCNFFormula.h174 llvm::DenseMap<Variable, Atom> &Atomics);
H A DDataflowEnvironment.h639 Atom getFlowConditionToken() const { return FlowConditionToken; } in getFlowConditionToken()
809 Atom FlowConditionToken;
/src/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DSimplifyConstraints.cpp19 const llvm::DenseMap<Atom, const Formula *> &Substitutions, in substitute() argument
52 static llvm::DenseSet<Atom>
53 projectToLeaders(const llvm::DenseSet<Atom> &Atoms, in projectToLeaders()
54 llvm::EquivalenceClasses<Atom> &EquivalentAtoms) { in projectToLeaders()
55 llvm::DenseSet<Atom> Result; in projectToLeaders()
57 for (Atom Atom : Atoms) in projectToLeaders() local
58 Result.insert(EquivalentAtoms.getOrInsertLeaderValue(Atom)); in projectToLeaders()
65 static llvm::SmallVector<Atom>
66 atomsInEquivalenceClass(const llvm::EquivalenceClasses<Atom> &EquivalentAtoms, in atomsInEquivalenceClass()
67 llvm::EquivalenceClasses<Atom>::iterator LeaderIt) { in atomsInEquivalenceClass()
[all …]
H A DDataflowAnalysisContext.cpp144 Atom Token, const Formula &Constraint) { in addFlowConditionConstraint()
152 Atom DataflowAnalysisContext::forkFlowCondition(Atom Token) { in forkFlowCondition()
153 Atom ForkToken = arena().makeFlowConditionToken(); in forkFlowCondition()
159 Atom
160 DataflowAnalysisContext::joinFlowConditions(Atom FirstToken, in joinFlowConditions()
161 Atom SecondToken) { in joinFlowConditions()
162 Atom Token = arena().makeFlowConditionToken(); in joinFlowConditions()
176 bool DataflowAnalysisContext::flowConditionImplies(Atom Token, in flowConditionImplies()
193 bool DataflowAnalysisContext::flowConditionAllows(Atom Token, in flowConditionAllows()
213 Atom Token, llvm::SetVector<const Formula *> &Constraints) { in addTransitiveFlowConditionConstraints()
[all …]
H A DArena.cpp34 const Formula &Arena::makeAtomRef(Atom A) { in makeAtomRef()
164 std::underlying_type_t<Atom> At; in parse()
167 return &A.makeAtomRef(static_cast<Atom>(At)); in parse()
H A DWatchedLiteralsSolver.cpp35 llvm::DenseMap<Variable, Atom> Atomics;
247 llvm::DenseMap<Atom, Solver::Result::Assignment> buildSolution() { in buildSolution()
248 llvm::DenseMap<Atom, Solver::Result::Assignment> Solution; in buildSolution()
H A DDebugSupport.cpp67 std::vector<std::pair<Atom, Solver::Result::Assignment>> Sorted = { in operator <<()
H A DCNFFormula.cpp117 llvm::DenseMap<Variable, Atom> &Atomics) { in buildCNF()
/src/contrib/llvm-project/llvm/include/llvm/CodeGen/
H A DAccelTable.h237 struct Atom { struct
243 constexpr Atom(uint16_t Type, uint16_t Form) : Type(Type), Form(Form) {} in Atom() argument
442 ArrayRef<AppleAccelTableData::Atom> Atoms);
477 static constexpr Atom Atoms[] = {
478 Atom(dwarf::DW_ATOM_die_offset, dwarf::DW_FORM_data4)};
496 static constexpr Atom Atoms[] = {
497 Atom(dwarf::DW_ATOM_die_offset, dwarf::DW_FORM_data4),
498 Atom(dwarf::DW_ATOM_die_tag, dwarf::DW_FORM_data2),
499 Atom(dwarf::DW_ATOM_type_flags, dwarf::DW_FORM_data1)};
514 static constexpr Atom Atoms[] = {
[all …]
/src/contrib/llvm-project/llvm/lib/DebugInfo/DWARF/
H A DDWARFAcceleratorTable.cpp27 struct Atom { struct
31 static raw_ostream &operator<<(raw_ostream &OS, const Atom &A) { in operator <<()
39 static Atom formatAtom(unsigned Atom) { return {Atom}; } in formatAtom() argument
108 for (auto Atom : getAtomsDesc()) { in validateForms() local
109 DWARFFormValue FormValue(Atom.second); in validateForms()
110 switch (Atom.first) { in validateForms()
131 for (auto Atom : getAtomsDesc()) { in readAtoms() local
132 DWARFFormValue FormValue(Atom.second); in readAtoms()
134 switch (Atom.first) { in readAtoms()
195 for (auto &Atom : AtomForms) { in dumpName() local
[all …]
/src/contrib/llvm-project/llvm/lib/CodeGen/AsmPrinter/
H A DAccelTable.cpp104 using Atom = AppleAccelTableData::Atom; typedef in __anon9fd034dd0311::AppleAccelTableWriter
136 const SmallVector<Atom, 4> Atoms;
138 HeaderData(ArrayRef<Atom> AtomList, uint32_t Offset = 0) in HeaderData()
157 ArrayRef<Atom> Atoms, const MCSymbol *SecBegin) in AppleAccelTableWriter()
302 for (const Atom &A : Atoms) { in emit()
638 ArrayRef<AppleAccelTableData::Atom> Atoms) { in emitAppleAccelTableImpl()
749 constexpr AppleAccelTableData::Atom AppleAccelTableTypeData::Atoms[];
750 constexpr AppleAccelTableData::Atom AppleAccelTableOffsetData::Atoms[];
751 constexpr AppleAccelTableData::Atom AppleAccelTableStaticOffsetData::Atoms[];
752 constexpr AppleAccelTableData::Atom AppleAccelTableStaticTypeData::Atoms[];
[all …]
/src/contrib/file/magic/Magdir/
H A Dlammps17 # Atom style binary dump file for the LAMMPS MD code
32 # Atom style binary dump file for the LAMMPS MD code
/src/share/misc/
H A Dpci_vendors108 # probably misprogrammed Intel Atom C2338 on Dell 0K8Y0N board
29264 0017 IC695PNC001 RX3i Profinet Controller – Atom-based version
29289 8007 IC695CPE302/305/310/NIU001+ RX3i Controller 1.1 GHz Atom Z510
29290 800d IC695CPE302/305/310/NIU001+ RX3i Controller Atom x3930
30828 0708 Atom Processor CE 4100
30829 0709 Atom Processor CE 4200
31022 08cf Atom Processor Z2760 Integrated Graphics Controller
31023 0931 Atom Processor CE 2600 [Puma 6]
31212 0be0 Atom Processor D2xxx/N2xxx Integrated Graphics Controller
31213 0be1 Atom Processor D2xxx/N2xxx Integrated Graphics Controller
[all …]
/src/contrib/llvm-project/llvm/lib/BinaryFormat/
H A DDwarf.cpp749 StringRef llvm::dwarf::AtomValueString(uint16_t Atom, unsigned Val) { in AtomValueString() argument
750 switch (Atom) { in AtomValueString()
/src/contrib/llvm-project/llvm/lib/Target/X86/
H A DX86ScheduleAtom.td1 //===- X86ScheduleAtom.td - X86 Atom Scheduling Definitions -*- tablegen -*-==//
9 // This file defines the schedule class data for the Intel Atom
18 // Atom machine model.
25 // On the Atom, the throughput for taken branches is 2 cycles. For small
/src/contrib/llvm-project/llvm/include/llvm/BinaryFormat/
H A DDwarf.h992 StringRef AtomTypeString(unsigned Atom);
1136 StringRef AtomValueString(uint16_t Atom, unsigned Val);
/src/sys/amd64/conf/
H A DNOTES126 # Only for legacy Atom C2XXX chipsets.
/src/crypto/openssl/doc/man3/
H A DOPENSSL_ia32cap.pod69 to identify Atom Silvermont core;
/src/contrib/llvm-project/llvm/include/llvm/DebugInfo/DWARF/
H A DDWARFAcceleratorTable.h232 std::optional<DWARFFormValue> lookup(HeaderData::AtomType Atom) const;

12