Adding pring option for AST
authorHamed Gorjiara <hgorjiar@uci.edu>
Fri, 29 Sep 2017 20:43:27 +0000 (13:43 -0700)
committerHamed Gorjiara <hgorjiar@uci.edu>
Fri, 29 Sep 2017 20:43:27 +0000 (13:43 -0700)
12 files changed:
src/AST/element.cc
src/AST/function.cc
src/AST/order.cc
src/AST/order.h
src/AST/predicate.cc
src/AST/predicate.h
src/AST/set.cc
src/AST/set.h
src/AST/table.cc
src/AST/table.h
src/Backend/satencoder.cc
src/common.h

index ed0a741..fb5b822 100644 (file)
@@ -77,6 +77,12 @@ void ElementSet::serialize(Serializer* serializer){
        serializer->mywrite(&set, sizeof(Set*));
 }
 
+void ElementSet::print(){
+       model_println("{ElementSet:");
+       set->print();
+       model_println("}\n");
+}
+
 void ElementConst::serialize(Serializer* serializer){
        if(serializer->isSerialized(this))
                return;
@@ -92,6 +98,10 @@ void ElementConst::serialize(Serializer* serializer){
        serializer->mywrite(&value, sizeof(uint64_t));
 }
 
+void ElementConst::print(){
+       model_println("{ElementConst: %lu}", value);    
+}
+
 void ElementFunction::serialize(Serializer* serializer){
        if(serializer->isSerialized(this))
                return;
@@ -118,3 +128,14 @@ void ElementFunction::serialize(Serializer* serializer){
        serializer->mywrite(&overflowstat, sizeof(Boolean*));
 }
 
+void ElementFunction::print(){
+        model_println("{ElementFunction:");
+       function->print();
+        model_println("Elements:");
+       uint size = inputs.getSize();
+       for(uint i=0; i<size; i++){
+               Element *input = inputs.get(i);
+               input->print();
+       }
+       model_println("}\n");
+}
index 96b0797..26decd0 100644 (file)
@@ -82,6 +82,13 @@ void FunctionTable::serialize(Serializer* serializer){
        
 }
 
+void FunctionTable::print(){
+       model_println("{FunctionTable:");
+        table->print();
+        model_println("}\n");
+       
+}
+
 void FunctionOperator::serialize(Serializer* serializer){
        if(serializer->isSerialized(this))
                return;
@@ -106,4 +113,8 @@ void FunctionOperator::serialize(Serializer* serializer){
        }
        serializer->mywrite(&range, sizeof(Set *));
        serializer->mywrite(&overflowbehavior, sizeof(OverFlowBehavior));
+}
+
+void FunctionOperator::print(){
+       model_println("{FunctionOperator: %s}", op == SATC_ADD? "ADD": "SUB" );
 }
\ No newline at end of file
index 3920d3b..96e7be5 100644 (file)
@@ -58,3 +58,9 @@ void Order::serialize(Serializer* serializer){
        serializer->mywrite(&type, sizeof(OrderType));
        serializer->mywrite(&set, sizeof(Set *));
 }
+
+void Order::print(){
+       model_println("{Order on Set:");
+        set->print();
+       model_println("}\n");
+}
index b8ca724..e2e0b43 100644 (file)
@@ -17,6 +17,7 @@ public:
        OrderGraph *graph;
        Order *clone(CSolver *solver, CloneMap *map);
        void serialize(Serializer *serializer );
+       void print();
        Vector<BooleanOrder *> constraints;
        OrderEncoding encoding;
        void setOrderResolver(OrderResolver *_resolver) { ASSERT(encoding.resolver == NULL); encoding.resolver = _resolver;};
index e3ae1db..659a3e3 100644 (file)
@@ -66,6 +66,12 @@ void PredicateTable::serialize(Serializer* serializer){
        serializer->mywrite(&undefinedbehavior, sizeof(UndefinedBehavior));
 }
 
+void PredicateTable::print(){  
+       model_println("{PredicateTable:");
+        table->print();
+        model_println("}\n");
+}
+
 void PredicateOperator::serialize(Serializer* serializer){     
        if(serializer->isSerialized(this))
                return;
index beaebc9..94a7e2e 100644 (file)
@@ -13,6 +13,7 @@ public:
        virtual ~Predicate() {}
        virtual Predicate *clone(CSolver *solver, CloneMap *map) {ASSERT(0); return NULL;}
        virtual void serialize(Serializer* serializer) = 0;
+        virtual void print() =0;
        PredicateType type;
        CMEMALLOC;
 };
@@ -23,6 +24,7 @@ public:
        bool evalPredicateOperator(uint64_t *inputs);
        Predicate *clone(CSolver *solver, CloneMap *map);
        virtual void serialize(Serializer* serializer);
+        virtual void print();
        Array<Set *> domains;
        CompOp getOp() {return op;}
        CMEMALLOC;
@@ -35,6 +37,7 @@ public:
        PredicateTable(Table *table, UndefinedBehavior undefBehavior);
        Predicate *clone(CSolver *solver, CloneMap *map);
        virtual void serialize(Serializer* serializer);
+        virtual void print();
        Table *table;
        UndefinedBehavior undefinedbehavior;
        CMEMALLOC;
index d3801f8..25ccd05 100644 (file)
@@ -142,3 +142,18 @@ void Set::serialize(Serializer* serializer){
                serializer->mywrite(&mem, sizeof(uint64_t));
        }
 }
+
+void Set::print(){
+       model_print("{Set:");
+        if(isRange){
+                model_print("Range: low=%lu, high=%lu}\n\n", low, high);
+        } else {
+                uint size = members->getSize();
+                model_print("Members: ");
+                for(uint i=0; i<size; i++){
+                        uint64_t mem = members->get(i);
+                        model_print("%lu, ", mem);
+                }
+                model_println("}\n");
+        }
+}
index ad89504..a0bd449 100644 (file)
@@ -28,6 +28,7 @@ public:
        virtual bool isMutableSet() {return false;}
        virtual Set *clone(CSolver *solver, CloneMap *map);
        virtual void serialize(Serializer* serializer);
+       virtual void print();
        CMEMALLOC;
 protected:
        VarType type;
index 838a53a..f6494f4 100644 (file)
@@ -97,3 +97,17 @@ void Table::serialize(Serializer* serializer){
 }
 
 
+void Table::print(){
+        model_println("{Table:");
+       SetIteratorTableEntry* iterator = getEntries();
+       while(iterator->hasNext()){
+               TableEntry* entry = iterator->next();
+                model_print("<");
+                for(uint i=0; i<entry->inputSize; i++){
+                        model_print("%lu, ", entry->inputs[i]);
+                }
+                model_print(" == %lu>", entry->output);
+       }
+        model_println("}\n");
+       delete iterator;
+}
index db8d188..d8c7829 100644 (file)
@@ -11,6 +11,7 @@ public:
        TableEntry *getTableEntry(uint64_t *inputs, uint inputSize);
        Table *clone(CSolver *solver, CloneMap *map);
        void serialize(Serializer *serializer);
+        void print();
        ~Table();
        Set * getRange() {return range;}
        
index fdeee9e..3a30362 100644 (file)
@@ -29,6 +29,7 @@ void SATEncoder::encodeAllSATEncoder(CSolver *csolver) {
        SetIteratorBooleanEdge *iterator = csolver->getConstraints();
        while (iterator->hasNext()) {
                BooleanEdge constraint = iterator->next();
+                constraint.getBoolean()->print();
                Edge c = encodeConstraintSATEncoder(constraint);
                addConstraintCNF(cnf, c);
        }
index 4ebd816..d52924c 100644 (file)
@@ -18,7 +18,7 @@
 #include "config.h"
 #include "time.h"
 
-/*
+
    extern int model_out;
    extern int model_err;
    extern int switch_alloc;
  #define model_dprintf(fd, fmt, ...) do { switch_alloc = 1; dprintf(fd, fmt, ## __VA_ARGS__); switch_alloc = 0; } while (0)
 
  #define model_print(fmt, ...) do { model_dprintf(model_out, fmt, ## __VA_ARGS__); } while (0)
-
+#define model_println(fmt, ...) do { model_print(fmt, ## __VA_ARGS__); model_print("\n");} while(0)
  #define model_print_err(fmt, ...) do { model_dprintf(model_err, fmt, ## __VA_ARGS__); } while (0)
 
- */
 
-#define model_print printf
+
+//#define model_print printf
 
 #define NEXTPOW2(x) ((x == 1) ? 1 : (1 << (sizeof(uint) * 8 - __builtin_clz(x - 1))))
 #define NUMBITS(x) ((x == 0) ? 0 : 8 * sizeof(x) - __builtin_clz(x))