projects
/
satune.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Reduce unnecessary vector alloc/free
[satune.git]
/
src
/
Backend
/
satfuncopencoder.cc
diff --git
a/src/Backend/satfuncopencoder.cc
b/src/Backend/satfuncopencoder.cc
index 9fc3c4124f4f1187836fc93b9ebaf59c458ab055..f4eda5240d69c401d2a47ec0cd0474199103c837 100644
(file)
--- a/
src/Backend/satfuncopencoder.cc
+++ b/
src/Backend/satfuncopencoder.cc
@@
-34,7
+34,7
@@
Edge SATEncoder::encodeEnumOperatorPredicateSATEncoder(BooleanPredicate *constra
Element *elem = constraint->inputs.get(i);
encodeElementSATEncoder(elem);
}
Element *elem = constraint->inputs.get(i);
encodeElementSATEncoder(elem);
}
- VectorEdge *clauses =
allocDefVectorEdge(); // Setup array of clauses
+ VectorEdge *clauses =
vector;
uint indices[numDomains]; //setup indices
bzero(indices, sizeof(uint) * numDomains);
uint indices[numDomains]; //setup indices
bzero(indices, sizeof(uint) * numDomains);
@@
-75,11
+75,11
@@
Edge SATEncoder::encodeEnumOperatorPredicateSATEncoder(BooleanPredicate *constra
}
}
if (getSizeVectorEdge(clauses) == 0) {
}
}
if (getSizeVectorEdge(clauses) == 0) {
-
delete
VectorEdge(clauses);
+
clear
VectorEdge(clauses);
return E_False;
}
Edge cor = constraintOR(cnf, getSizeVectorEdge(clauses), exposeArrayEdge(clauses));
return E_False;
}
Edge cor = constraintOR(cnf, getSizeVectorEdge(clauses), exposeArrayEdge(clauses));
-
delete
VectorEdge(clauses);
+
clear
VectorEdge(clauses);
return generateNegation ? constraintNegate(cor) : cor;
}
return generateNegation ? constraintNegate(cor) : cor;
}
@@
-200,8
+200,8
@@
Edge SATEncoder::encodeCircuitOperatorPredicateEncoder(BooleanPredicate *constra
encodeElementSATEncoder(elem0);
Element *elem1 = constraint->inputs.get(1);
encodeElementSATEncoder(elem1);
encodeElementSATEncoder(elem0);
Element *elem1 = constraint->inputs.get(1);
encodeElementSATEncoder(elem1);
- ElementEncoding *ee0 =
getElementEncoding(elem0
);
- ElementEncoding *ee1 =
getElementEncoding(elem1
);
+ ElementEncoding *ee0 =
elem0->getElementEncoding(
);
+ ElementEncoding *ee1 =
elem1->getElementEncoding(
);
ASSERT(ee0->numVars == ee1->numVars);
uint numVars = ee0->numVars;
switch (predicate->getOp()) {
ASSERT(ee0->numVars == ee1->numVars);
uint numVars = ee0->numVars;
switch (predicate->getOp()) {