commit after resolving conflict
authorHamed <hamed.gorjiara@gmail.com>
Tue, 20 Jun 2017 01:22:29 +0000 (18:22 -0700)
committerHamed <hamed.gorjiara@gmail.com>
Tue, 20 Jun 2017 01:22:29 +0000 (18:22 -0700)
design/notes.txt [new file with mode: 0644]
src/Encoders/elementencoding.c
src/Encoders/elementencoding.h
src/Encoders/naiveelementencoder.c
src/common.h

diff --git a/design/notes.txt b/design/notes.txt
new file mode 100644 (file)
index 0000000..1159c96
--- /dev/null
@@ -0,0 +1,8 @@
+(1) Elements/BooleanVars should link back to expressions that use them
+
+(2) Need to introduce variables in encoding of functions....
+
+(3) Some cases can do variable elimination of introduced variables...
+
+(4) Might need to indicate what variables we can query about in
+future?
index 8056812..fb2ce4a 100644 (file)
@@ -15,6 +15,15 @@ void deleteElementEncoding(ElementEncoding *This) {
                ourfree(This->variables);
        if (This->encodingArray!=NULL)
                ourfree(This->encodingArray);
+       if (This->inUseArray!=NULL)
+               ourfree(This->inUseArray);
        ourfree(This);
 }
 
+void allocEncodingArrayElement(ElementEncoding *This, uint size) {
+       This->encodingArray=ourcalloc(1, sizeof(uint64_t)*size);
+}
+
+void allocInUseArrayElement(ElementEncoding *This, uint size) {
+       This->inUseArray=ourcalloc(1, size >> 6);
+}
index d6de95a..8d142da 100644 (file)
@@ -13,11 +13,21 @@ struct ElementEncoding {
        Element * element;
        Constraint ** variables; /* List Variables Used To Encode Element */
        uint64_t * encodingArray; /* List the Variables in the appropriate order */
+       uint64_t * inUseArray; /* Bitmap to track variables in use */
        uint numVars; /* Number of variables */
 };
 
 ElementEncoding * allocElementEncoding(ElementEncodingType type, Element *element);
 void deleteElementEncoding(ElementEncoding *This);
 void baseBinaryIndexElementAssign(ElementEncoding *This);
+void allocEncodingArrayElement(ElementEncoding *This, uint size);
+void allocInUseArrayElement(ElementEncoding *This, uint size);
 
+inline bool isinUseElement(ElementEncoding *This, uint offset) {
+       return (This->inUseArray[(offset>>6)] >> (offset & 63)) &0x1;
+}
+
+inline void setInUseElement(ElementEncoding *This, uint offset) {
+       This->inUseArray[(offset>>6)] |= 1 << (offset & 63);
+}
 #endif
index 58f63ac..bb6e91a 100644 (file)
@@ -4,15 +4,20 @@
 #include "set.h"
 #include "common.h"
 #include "structs.h"
+#include <strings.h>
 
 void baseBinaryIndexElementAssign(ElementEncoding *This) {
        Element * element=This->element;
        Set * set=element->set;
        ASSERT(set->isRange==false);
        uint size=getSizeVectorInt(set->members);
-       This->encodingArray=ourmalloc(sizeof(uint64_t)*size);
+       uint encSize=NEXTPOW2(size);
+       allocEncodingArrayElement(This, encSize);
+       allocInUseArrayElement(This, encSize);
+
        for(uint i=0;i<size;i++) {
                This->encodingArray[i]=getVectorInt(set->members, i);
+               setInUseElement(This, i);
        }
-       This->type=BINARYINDEX;
 }
+
index d4d86c6..9b78485 100644 (file)
@@ -27,7 +27,7 @@ extern int switch_alloc;
 
 #define model_print_err(fmt, ...) do { model_dprintf(model_err, fmt, ## __VA_ARGS__); } while (0)
 
-
+#define NEXTPOW2(x) (1<<(sizeof(uint)*8-__builtin_clz(x-1)))
 
 #ifdef CONFIG_DEBUG
 #define DEBUG(fmt, ...) do { model_print("*** %15s:%-4d %25s() *** " fmt, __FILE__, __LINE__, __func__, ## __VA_ARGS__); } while (0)