Lines Matching refs:SetTheory

35 using RecSet = SetTheory::RecSet;
36 using RecVec = SetTheory::RecVec;
39 struct AddOp : public SetTheory::Operator {
40 void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts, in apply()
47 struct SubOp : public SetTheory::Operator {
48 void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts, in apply()
63 struct AndOp : public SetTheory::Operator {
64 void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts, in apply()
79 struct SetIntBinOp : public SetTheory::Operator {
80 virtual void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N,
83 void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts, in apply()
100 void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N, in apply2()
112 void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N, in apply2()
129 void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N, in apply2()
147 void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N, in apply2()
158 struct InterleaveOp : public SetTheory::Operator {
159 void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts, in apply()
177 struct SequenceOp : public SetTheory::Operator {
178 void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts, in apply()
241 struct FieldExpander : public SetTheory::Expander {
246 void expand(SetTheory &ST, Record *Def, RecSet &Elts) override { in expand()
254 void SetTheory::Operator::anchor() {} in anchor()
255 void SetTheory::Expander::anchor() {} in anchor()
257 SetTheory::SetTheory() { in SetTheory() function in SetTheory
270 void SetTheory::addOperator(StringRef Name, std::unique_ptr<Operator> Op) { in addOperator()
274 void SetTheory::addExpander(StringRef ClassName, std::unique_ptr<Expander> E) { in addExpander()
278 void SetTheory::addFieldExpander(StringRef ClassName, StringRef FieldName) { in addFieldExpander()
282 void SetTheory::evaluate(Init *Expr, RecSet &Elts, ArrayRef<SMLoc> Loc) { in evaluate()
308 const RecVec *SetTheory::expand(Record *Set) { in expand()