| /dports/lang/maude/maude-2.7.1/src/ACU_Theory/ |
| H A D | ACU_LhsCompiler0.cc | 35 const VariableInfo& variableInfo, in compileLhs2() argument
40 variableInfo, in compileLhs2()
47 variableInfo.getNrProtectedVariables()); in compileLhs2()
55 const VariableInfo& variableInfo, in tryToMakeSpecialCaseAutomaton() argument
105 variableInfo.getNrProtectedVariables(), in tryToMakeNonLinearLhsAutomaton()
113 const VariableInfo& variableInfo, in tryToMakeCollectorLhsAutomaton() argument
154 variableInfo.getNrProtectedVariables(), in tryToMakeCollectorLhsAutomaton()
173 variableInfo.getConditionVariables().contains(vi) || in tryToMakeCollectorLhsAutomaton()
180 variableInfo.getNrProtectedVariables(), in tryToMakeCollectorLhsAutomaton()
193 !(t->greedySafe(variableInfo, boundUniquely))) in tryToMakeCollectorLhsAutomaton()
[all …]
|
| H A D | ACU_Term.hh | 50 void insertAbstractionVariables(VariableInfo& variableInfo);
52 const VariableInfo& variableInfo,
62 VariableInfo& variableInfo,
71 void dump(ostream& s, const VariableInfo& variableInfo, int indentLevel);
94 const VariableInfo& variableInfo,
102 const VariableInfo& variableInfo,
104 ACU_LhsAutomaton* tryToMakeNonLinearLhsAutomaton(const VariableInfo& variableInfo,
107 const VariableInfo& variableInfo,
115 const VariableInfo& variableInfo,
131 const VariableInfo& variableInfo,
|
| /dports/lang/maude/maude-2.7.1/src/Higher/ |
| H A D | equalityConditionFragment.cc | 73 lhs->indexVariables(variableInfo); in check()
74 variableInfo.addConditionVariables(lhs->occursBelow()); in check()
78 rhs->indexVariables(variableInfo); in check()
79 variableInfo.addConditionVariables(rhs->occursBelow()); in check()
83 variableInfo.addUnboundVariables(unboundVariables); in check()
99 variableInfo.useIndex(lhsIndex); in compileBuild()
100 variableInfo.useIndex(rhsIndex); in compileBuild()
101 variableInfo.endOfFragment(); in compileBuild()
107 builder.remapIndices(variableInfo); in compileMatch()
108 lhsIndex = variableInfo.remapIndex(lhsIndex); in compileMatch()
[all …]
|
| H A D | rewriteConditionFragment.cc | 71 lhs->indexVariables(variableInfo); in check()
72 variableInfo.addConditionVariables(lhs->occursBelow()); in check()
76 rhs->indexVariables(variableInfo); in check()
77 variableInfo.addConditionVariables(rhs->occursBelow()); in check()
80 variableInfo.addUnboundVariables(unboundVariables); in check()
97 lhsIndex = lhs->compileRhs(builder, variableInfo, availableTerms, true); in compileBuild()
98 variableInfo.useIndex(lhsIndex); in compileBuild()
101 rhs->insertAbstractionVariables(variableInfo); in compileBuild()
102 variableInfo.endOfFragment(); in compileBuild()
108 builder.remapIndices(variableInfo); in compileMatch()
[all …]
|
| H A D | assignmentConditionFragment.cc | 73 lhs->indexVariables(variableInfo); in check()
74 variableInfo.addConditionVariables(lhs->occursBelow()); in check()
77 rhs->indexVariables(variableInfo); in check()
78 variableInfo.addConditionVariables(rhs->occursBelow()); in check()
82 variableInfo.addUnboundVariables(unboundVariables); in check()
98 rhsIndex = rhs->compileRhs(builder, variableInfo, availableTerms, true); in compileBuild()
99 variableInfo.useIndex(rhsIndex); in compileBuild()
102 lhs->insertAbstractionVariables(variableInfo); in compileBuild()
103 variableInfo.endOfFragment(); in compileBuild()
109 builder.remapIndices(variableInfo); in compileMatch()
[all …]
|
| H A D | sortTestConditionFragment.cc | 63 SortTestConditionFragment::check(VariableInfo& variableInfo, NatSet& boundVariables) in check() argument
68 lhs->indexVariables(variableInfo); in check()
69 variableInfo.addConditionVariables(lhs->occursBelow()); in check()
72 variableInfo.addUnboundVariables(unboundVariables); in check()
83 SortTestConditionFragment::compileBuild(VariableInfo& variableInfo, TermBag& availableTerms) in compileBuild() argument
85 lhsIndex = lhs->compileRhs(builder, variableInfo, availableTerms, true); in compileBuild()
86 variableInfo.useIndex(lhsIndex); in compileBuild()
87 variableInfo.endOfFragment(); in compileBuild()
91 SortTestConditionFragment::compileMatch(VariableInfo& variableInfo, NatSet& boundUniquely) in compileMatch() argument
93 builder.remapIndices(variableInfo); in compileMatch()
[all …]
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/test/hotspot/jtreg/testlibrary/jittester/src/jdk/test/lib/jittester/ |
| H A D | VariableBase.java | 27 private final VariableInfo variableInfo; field in VariableBase
28 protected VariableBase(VariableInfo variableInfo) { in VariableBase() argument
29 super(variableInfo.type); in VariableBase()
30 this.variableInfo = variableInfo; in VariableBase()
34 return variableInfo; in getVariableInfo()
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/test/hotspot/jtreg/testlibrary/jittester/src/jdk/test/lib/jittester/ |
| H A D | VariableBase.java | 27 private final VariableInfo variableInfo; field in VariableBase
28 protected VariableBase(VariableInfo variableInfo) { in VariableBase() argument
29 super(variableInfo.type); in VariableBase()
30 this.variableInfo = variableInfo; in VariableBase()
34 return variableInfo; in getVariableInfo()
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/test/hotspot/jtreg/testlibrary/jittester/src/jdk/test/lib/jittester/ |
| H A D | VariableBase.java | 27 private final VariableInfo variableInfo; field in VariableBase
28 protected VariableBase(VariableInfo variableInfo) { in VariableBase() argument
29 super(variableInfo.type); in VariableBase()
30 this.variableInfo = variableInfo; in VariableBase()
34 return variableInfo; in getVariableInfo()
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/test/hotspot/jtreg/testlibrary/jittester/src/jdk/test/lib/jittester/ |
| H A D | VariableBase.java | 27 private final VariableInfo variableInfo; field in VariableBase
28 protected VariableBase(VariableInfo variableInfo) { in VariableBase() argument
29 super(variableInfo.type); in VariableBase()
30 this.variableInfo = variableInfo; in VariableBase()
34 return variableInfo; in getVariableInfo()
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/test/hotspot/jtreg/testlibrary/jittester/src/jdk/test/lib/jittester/ |
| H A D | VariableBase.java | 27 private final VariableInfo variableInfo; field in VariableBase
28 protected VariableBase(VariableInfo variableInfo) { in VariableBase() argument
29 super(variableInfo.type); in VariableBase()
30 this.variableInfo = variableInfo; in VariableBase()
34 return variableInfo; in getVariableInfo()
|
| /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/test/hotspot/jtreg/testlibrary/jittester/src/jdk/test/lib/jittester/ |
| H A D | VariableBase.java | 27 private final VariableInfo variableInfo; field in VariableBase
28 protected VariableBase(VariableInfo variableInfo) { in VariableBase() argument
29 super(variableInfo.type); in VariableBase()
30 this.variableInfo = variableInfo; in VariableBase()
34 return variableInfo; in getVariableInfo()
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/test/hotspot/jtreg/testlibrary/jittester/src/jdk/test/lib/jittester/ |
| H A D | VariableBase.java | 27 private final VariableInfo variableInfo; field in VariableBase
28 protected VariableBase(VariableInfo variableInfo) { in VariableBase() argument
29 super(variableInfo.type); in VariableBase()
30 this.variableInfo = variableInfo; in VariableBase()
34 return variableInfo; in getVariableInfo()
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/test/hotspot/jtreg/testlibrary/jittester/src/jdk/test/lib/jittester/ |
| H A D | VariableBase.java | 27 private final VariableInfo variableInfo; field in VariableBase
28 protected VariableBase(VariableInfo variableInfo) { in VariableBase() argument
29 super(variableInfo.type); in VariableBase()
30 this.variableInfo = variableInfo; in VariableBase()
34 return variableInfo; in getVariableInfo()
|
| /dports/lang/maude/maude-2.7.1/src/CUI_Theory/ |
| H A D | CUI_LhsAutomaton.cc | 93 const VariableInfo& variableInfo, in addSubpattern() argument
105 VariableInfo localVariableInfo(variableInfo); in addSubpattern()
142 sp.automaton = term->compileLhs(false, variableInfo, boundUniquely, spl); in addSubpattern()
148 sp.automaton = term->compileLhs(false, variableInfo, local, spl); in addSubpattern()
154 CUI_LhsAutomaton::dump(ostream& s, const VariableInfo& variableInfo, int indentLevel) in dump() argument
162 subpattern0.dump(s, variableInfo, indentLevel + 1); in dump()
164 subpattern1.dump(s, variableInfo, indentLevel + 1); in dump()
170 const VariableInfo& variableInfo, in dump() argument
183 variableInfo.index2Variable(varIndex) << "\"\tsort = \"" << sort << "\"\n"; in dump()
189 automaton->dump(s, variableInfo, indentLevel + 1); in dump()
[all …]
|
| /dports/lang/maude/maude-2.7.1/src/S_Theory/ |
| H A D | S_Term.cc | 205 S_Term::insertAbstractionVariables(VariableInfo& variableInfo) in insertAbstractionVariables() argument
207 arg->insertAbstractionVariables(variableInfo); in insertAbstractionVariables()
211 abstractionVariableIndex = variableInfo.makeProtectedVariable(); in insertAbstractionVariables()
223 const VariableInfo& variableInfo, in compileLhs2() argument
230 variableInfo, in compileLhs2()
250 VariableInfo& variableInfo, in compileRhs2() argument
256 variableInfo, in compileRhs2()
262 variableInfo.useIndex(source); in compileRhs2()
264 int destination = variableInfo.makeConstructionIndex(); in compileRhs2()
276 dumpCommon(s, variableInfo, indentLevel); in dump()
[all …]
|
| /dports/lang/maude/maude-2.7.1/src/Core/ |
| H A D | rhsBuilder.cc | 48 RhsBuilder::remapIndices(VariableInfo& variableInfo) in remapIndices() argument
52 automata[i]->remapIndices(variableInfo); in remapIndices()
54 lastAutomaton->remapIndices(variableInfo); in remapIndices()
70 RhsBuilder::dump(ostream& s, const VariableInfo& variableInfo, int indentLevel) in dump() argument
76 automata[i]->dump(s, variableInfo, indentLevel + 2); in dump()
78 lastAutomaton->dump(s, variableInfo, indentLevel + 2); in dump()
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/test/hotspot/jtreg/testlibrary/jittester/src/jdk/test/lib/jittester/functions/ |
| H A D | ArgumentDeclaration.java | 31 public final VariableInfo variableInfo; field in ArgumentDeclaration
33 public ArgumentDeclaration(VariableInfo variableInfo) { in ArgumentDeclaration() argument
34 super(variableInfo.type); in ArgumentDeclaration()
35 this.variableInfo = variableInfo; in ArgumentDeclaration()
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/test/hotspot/jtreg/testlibrary/jittester/src/jdk/test/lib/jittester/functions/ |
| H A D | ArgumentDeclaration.java | 31 public final VariableInfo variableInfo; field in ArgumentDeclaration
33 public ArgumentDeclaration(VariableInfo variableInfo) { in ArgumentDeclaration() argument
34 super(variableInfo.type); in ArgumentDeclaration()
35 this.variableInfo = variableInfo; in ArgumentDeclaration()
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/test/hotspot/jtreg/testlibrary/jittester/src/jdk/test/lib/jittester/functions/ |
| H A D | ArgumentDeclaration.java | 31 public final VariableInfo variableInfo; field in ArgumentDeclaration
33 public ArgumentDeclaration(VariableInfo variableInfo) { in ArgumentDeclaration() argument
34 super(variableInfo.type); in ArgumentDeclaration()
35 this.variableInfo = variableInfo; in ArgumentDeclaration()
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/test/hotspot/jtreg/testlibrary/jittester/src/jdk/test/lib/jittester/functions/ |
| H A D | ArgumentDeclaration.java | 31 public final VariableInfo variableInfo; field in ArgumentDeclaration
33 public ArgumentDeclaration(VariableInfo variableInfo) { in ArgumentDeclaration() argument
34 super(variableInfo.type); in ArgumentDeclaration()
35 this.variableInfo = variableInfo; in ArgumentDeclaration()
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/test/hotspot/jtreg/testlibrary/jittester/src/jdk/test/lib/jittester/functions/ |
| H A D | ArgumentDeclaration.java | 31 public final VariableInfo variableInfo; field in ArgumentDeclaration
33 public ArgumentDeclaration(VariableInfo variableInfo) { in ArgumentDeclaration() argument
34 super(variableInfo.type); in ArgumentDeclaration()
35 this.variableInfo = variableInfo; in ArgumentDeclaration()
|
| /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/test/hotspot/jtreg/testlibrary/jittester/src/jdk/test/lib/jittester/functions/ |
| H A D | ArgumentDeclaration.java | 31 public final VariableInfo variableInfo; field in ArgumentDeclaration
33 public ArgumentDeclaration(VariableInfo variableInfo) { in ArgumentDeclaration() argument
34 super(variableInfo.type); in ArgumentDeclaration()
35 this.variableInfo = variableInfo; in ArgumentDeclaration()
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/test/hotspot/jtreg/testlibrary/jittester/src/jdk/test/lib/jittester/functions/ |
| H A D | ArgumentDeclaration.java | 31 public final VariableInfo variableInfo; field in ArgumentDeclaration
33 public ArgumentDeclaration(VariableInfo variableInfo) { in ArgumentDeclaration() argument
34 super(variableInfo.type); in ArgumentDeclaration()
35 this.variableInfo = variableInfo; in ArgumentDeclaration()
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/test/hotspot/jtreg/testlibrary/jittester/src/jdk/test/lib/jittester/functions/ |
| H A D | ArgumentDeclaration.java | 31 public final VariableInfo variableInfo; field in ArgumentDeclaration
33 public ArgumentDeclaration(VariableInfo variableInfo) { in ArgumentDeclaration() argument
34 super(variableInfo.type); in ArgumentDeclaration()
35 this.variableInfo = variableInfo; in ArgumentDeclaration()
|