for(boolean dc : new boolean[] { false, true }) {
for(boolean c_flag : new boolean[] { true, false, true }) {
+ prln("");
prln("****** checking case where dc="+dc+", cflag="+c_flag);
BitVector data = new BitVector(37, "empty");
BitVector addr = new BitVector(14, "empty");
for(int i=0; i<data.getNumBits(); i++) data.set(i, false);
for(int i=0; i<addr.getNumBits(); i++) addr.set(i, false);
+ // FIXME: temporary modification to make
+ // troublshooting easier; this will be removed
+ for(int i=0; i<addr.getNumBits(); i++) addr.set(i, c_flag);
+
int whichbit = dc ? 0 : 13;
prln("setting addr["+whichbit+"] to "+(c_flag?"1":"0"));
addr.set(whichbit, c_flag);