Lines Matching refs:SetTheory
25 typedef SetTheory::RecSet RecSet;
26 typedef SetTheory::RecVec RecVec;
29 struct AddOp : public SetTheory::Operator {
30 void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts, in apply()
37 struct SubOp : public SetTheory::Operator {
38 void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts, in apply()
53 struct AndOp : public SetTheory::Operator {
54 void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts, in apply()
69 struct SetIntBinOp : public SetTheory::Operator {
70 virtual void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N,
73 void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts, in apply()
90 void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N, in apply2()
102 void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N, in apply2()
119 void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N, in apply2()
137 void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N, in apply2()
148 struct InterleaveOp : public SetTheory::Operator {
149 void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts, in apply()
167 struct SequenceOp : public SetTheory::Operator {
168 void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts, in apply()
231 struct FieldExpander : public SetTheory::Expander {
236 void expand(SetTheory &ST, Record *Def, RecSet &Elts) override { in expand()
243 void SetTheory::Operator::anchor() {} in anchor()
244 void SetTheory::Expander::anchor() {} in anchor()
247 SetTheory::SetTheory() { in SetTheory() function in SetTheory
260 void SetTheory::addOperator(StringRef Name, std::unique_ptr<Operator> Op) { in addOperator()
264 void SetTheory::addExpander(StringRef ClassName, std::unique_ptr<Expander> E) { in addExpander()
268 void SetTheory::addFieldExpander(StringRef ClassName, StringRef FieldName) { in addFieldExpander()
272 void SetTheory::evaluate(Init *Expr, RecSet &Elts, ArrayRef<SMLoc> Loc) { in evaluate()
298 const RecVec *SetTheory::expand(Record *Set) { in expand()