checkpoint
[slipway.git] / src / edu / berkeley / obits / device / atmel / At40k.java
index 828ad3e..58116a0 100644 (file)
@@ -148,6 +148,13 @@ public class At40k {
         public final int col;
         public final int row;
 
+        public Cell(int col, int row) {
+            this.row = row;
+            this.col = col;
+        }
+        
+        // Accessors for Neighbors //////////////////////////////////////////////////////////////////////////////
+
         public SectorWire hwire(int plane)  { return new SectorWire(true, plane, col, row); }
         public SectorWire vwire(int plane)  { return new SectorWire(false, plane, col, row); }
         public Cell east() { return cell(col+1, row); }
@@ -158,19 +165,14 @@ public class At40k {
         public Cell nw() { return cell(col-1, row+1); }
         public Cell se() { return cell(col+1, row-1); }
         public Cell sw() { return cell(col-1, row-1); }
-
         public Sector sector() { return new Sector(this); }
-        public Cell(int col, int row) {
-            this.row = row;
-            this.col = col;
-        }
 
         /* bit positions mean:  [MSB] zxy z_y zx_ z__ _xy __y _x_ ___ [LSB] */
         public void lut(int xlut, int ylut) { xlut(xlut); ylut(ylut); }
         public void xlut(int table)    { dev.mode4(7, row, col, (byte)(table & 0xff)); }
         public byte xlut()             { return (byte)(dev.mode4(7, row, col) & 0xff); }
         public String printXLut()      { return printLut(xlut(), "x", "y", "t"); }
-        public String printXLutX()     { return printLut(xlut(), str(xi(), "x"), str(yi(), "y"), str(ti(), "t")); }
+        public String printXLutX()     { return printLut(xlut(), str(xi(), "x"), str(yi(), "y"), str(ti_source(), "t")); }
 
         public String str(int x, String def) {
             switch(x) {
@@ -196,11 +198,16 @@ public class At40k {
         public void ylut(int table)    { dev.mode4(6, row, col, (byte)(table & 0xff)); }
         public byte ylut()             { return (byte)(dev.mode4(6, row, col) & 0xff); }
         public String printYLut()      { return printLut(ylut(), "y", "x", "t"); }
-        public String printYLutX()     { return printLut(ylut(), str(yi(), "y"), str(xi(), "x"), str(ti(), "t")) + Integer.toString(ylut() & 0xff, 16); }
+        public String printYLutX()     { return printLut(ylut(), str(yi(), "y"), str(xi(), "x"), str(ti_source(), "t")) + Integer.toString(ylut() & 0xff, 16); }
 
         public void ff_reset_value(boolean value) {
             //dev.mode4( /* FIXME WRONG!!! */, row, col, 3, !value); return;
         }
+        /** FIXME!!! */
+        public boolean ff_reset_value() { return false; }
+        public boolean columnClocked() {
+            return false;
+        }
 
         public void out(int plane, boolean enable) {
             switch(plane) {
@@ -268,7 +275,8 @@ public class At40k {
             }
         }
         
-        public int ti() {
+
+        public int ti_source() {
             switch(dev.mode4(1, row, col) & 0x30) {
                 case 0x20: return zi();
                 case 0x10: return FB;
@@ -276,68 +284,76 @@ public class At40k {
                 default: throw new Error("ack!");
             }
         }
+
+        public int t() {
+            System.err.println("found " + (dev.mode4(1, row, col) & 0x34));
+            switch(dev.mode4(1, row, col) & 0x34) {
+                case 0x20: return TMUX_Z;
+                case 0x24: return TMUX_W_AND_Z;
+                case 0x34: return TMUX_FB;
+                case 0x14: return TMUX_W_AND_FB;
+                case 0x00: return TMUX_W;
+                    //default: throw new RuntimeException("unknown!");
+                default: return TMUX_W; 
+            }
+        }
+
         public void t(int code) {
             int result = 0;
             switch(code) {
-                case TMUX_Z: throw new Error("not implemented, but should be possible");
-                case TMUX_W_AND_Z: result = 0x20; break;
-
-                case TMUX_FB: result = 0x04; break; /* I think this is actually W_AND_FB, sadly */
+                case TMUX_Z:        result = 0x20; break; // TOTALLYBOGUS throw new Error("not implemented, but should be possible");
+                case TMUX_W_AND_Z:  result = 0x24; break;
+                case TMUX_FB:       result = 0x34; break; /* I think this is actually W_AND_FB, sadly */
                 case TMUX_W_AND_FB: result = 0x14; break;
-                case TMUX_W: result = 0x00; break;
+                case TMUX_W:        result = 0x00; break;
+                    //default: throw new RuntimeException("unknown code! " + code);
+                default: result = 0x00; break;
             }
             dev.mode4(1, row, col, result, 0x34);
         }
+        /*
+        private void fmux(int source) {
+            switch(source) {
+                case ZMUX:      
+                case FB:        
+                case ALWAYS_ON: 
+                default: throw new Error("unknown argument to fmux()");
+            }
+        }
+
+        public boolean win_easable() {
+        }
+        */
+
+        public int ti() {
+            return dev.mode4(1, row, col) & 0x34;
+        }
+
         public void t(boolean ignore_z_and_fb, boolean zm_drives_fb, boolean fb_drives_wm) {
             // still not totally satisfied...
-            //     how to we distinguish between z&w vs z or w&fb vs fb? ==> you can't!  this is a false connection in my diagram
+            //     need to find the bit that sets the w-mux off
             //     what does it mean for both bits (0x30) to be set to 1?
             //if (fb && z) throw new RuntimeException("invalid combination");
             int result = 0;
             // ZM->FB = 0x04
             // FB->WM = 0x10
             // WZ->WM = 0x20
-            // tff => w&z
-            // fff => w
-            // ttt => fb&w
-            // ftt => fb&w
-            // fft => fb&w
-
-            // ttf => w&z
-            // ftf => w
-            // tft => fb&w
+
+            // tff => w&z      [0x20]
+            // fff => w        [0x00]
+            // ttt => fb&w     [0x34]
+            // ftt => fb&w     [0x14]
+            // fft => fb&w     [0x10]
+
+            // ttf => w&z      [0x24]
+            // ftf => w        [0x04]
+            // tft => fb&w     [0x30]
             if (ignore_z_and_fb) result |= 0x20;
             if (zm_drives_fb) result |= 0x04;
             if (fb_drives_wm) result |= 0x10;
             dev.mode4(1, row, col, result, 0x34);
         }
 
-        public boolean xlut_relevant() {
-            if ((c()==XLUT || c()==ZMUX) && c_relevant()) return true;
-            if (xo()) return false;
-            if (nw() != null && nw().xi()==SE) return true;
-            if (ne() != null && ne().xi()==SW) return true;
-            if (sw() != null && sw().xi()==NE) return true;
-            if (se() != null && se().xi()==NW) return true;
-            return false;
-        }
-        public boolean ylut_relevant() {
-            if ((c()==YLUT || c()==ZMUX) && c_relevant()) return true;
-            if (yo()) return false;
-            if (north() != null && north().yi()==SOUTH) return true;
-            if (east() != null  && east().yi()==WEST) return true;
-            if (south() != null && south().yi()==NORTH) return true;
-            if (west() != null  && west().yi()==EAST) return true;
-            return false;
-        }
-        public boolean c_relevant() {
-            // FIXME: feedback line!
-            for(int i=0; i<5; i++)
-                if (out(i)) return true;
-            if (xo() || yo()) return true;
-            return false;
-        }
 
         public void c(int source) {
             switch(source) {
@@ -348,23 +364,24 @@ public class At40k {
             }
         }
         public int c() {
-            switch (dev.mode4(1, row, col) >> 6) {
+            int cval = dev.mode4(1, row, col) & 0xc0;
+            switch (cval) {
                 case 0x00: return XLUT;
-                case 0x01: return YLUT;
-                case 0x02: return ZMUX;
+                case 0x40: return YLUT;
+                case 0x80: return ZMUX;
             }
-            throw new Error();
+            throw new Error("c() => " + cval);
         }
         public void b(boolean registered) { dev.mode4(1, row, col, 3, !registered); }
         public void f(boolean registered) { dev.mode4(1, row, col, 2, !registered); }
-        public boolean xo()    { return (dev.mode4(1, row, col) & 0x01) != 0; }
-        public boolean yo()    { return (dev.mode4(1, row, col) & 0x02) != 0; }
-        public void xo(boolean center)    { dev.mode4(1, row, col, 1, center); }
-        public void yo(boolean center)    { dev.mode4(1, row, col, 0, center); }
-        public boolean b() { return (dev.mode4(1, row, col) >> 3)!=1; }
-        public boolean f() { return (dev.mode4(1, row, col) >> 2)!=1; }
-        public boolean x() { return (dev.mode4(1, row, col) >> 1)==1; }
-        public boolean y() { return (dev.mode4(1, row, col) >> 0)==1; }
+        public boolean xo()               { return (dev.mode4(1, row, col) & 0x01) != 0; }
+        public boolean yo()               { return (dev.mode4(1, row, col) & 0x02) != 0; }
+        public void xo(boolean center)    { dev.mode4(1, row, col, 0, center); }
+        public void yo(boolean center)    { dev.mode4(1, row, col, 1, center); }
+        public boolean b() { return (dev.mode4(1, row, col) & (1 << 3)) == 0; }
+        public boolean f() { return (dev.mode4(1, row, col) & (1 << 2)) == 0; }
+        public boolean x() { return (dev.mode4(1, row, col) & (1 << 1)) != 0; }
+        public boolean y() { return (dev.mode4(1, row, col) & (1 << 0)) != 0; }
 
         public int oe() {
             switch (dev.mode4(0x02, row, col) & 0x3) {
@@ -385,16 +402,16 @@ public class At40k {
 
         public int xi() {
             // FIXME: can be multiple
-            if ((dev.mode4(0x03, row, col) & (1<<4))!=0) return L3;
+            if ((dev.mode4(0x03, row, col) & (1<<4))!=0) return L4;
             switch(dev.mode4(0x05, row, col) & 0xff) {
                 case 0x80: return SW;
                 case (1<<6): return NE;
                 case (1<<5): return SE;
                 case (1<<4): return NW;
-                case (1<<3): return L3;
-                case (1<<2): return L2;
-                case (1<<1): return L1;
-                case (1<<0): return L0;
+                case (1<<3): return L0;
+                case (1<<2): return L1;
+                case (1<<1): return L2;
+                case (1<<0): return L3;
                 case 0: return NONE;
                 default: throw new Error();
             }
@@ -411,6 +428,7 @@ public class At40k {
                 case L2: dev.mode4(0x03, row, col, 4, false); dev.mode4(0x05, row, col, 1<<1); break;
                 case L1: dev.mode4(0x03, row, col, 4, false); dev.mode4(0x05, row, col, 1<<2); break;
                 case L0: dev.mode4(0x03, row, col, 4, false); dev.mode4(0x05, row, col, 1<<3); break;
+                case NONE: dev.mode4(0x03, row, col, 4, false); dev.mode4(0x05, row, col, 0); break;
                 default: throw new RuntimeException("invalid argument");
             }
         }
@@ -422,10 +440,10 @@ public class At40k {
                 case (1<<5): return SOUTH;
                 case (1<<6): return WEST;
                 case (1<<4): return EAST;
-                case (1<<3): return L3;
-                case (1<<2): return L2;
-                case (1<<1): return L1;
-                case (1<<0): return L0;
+                case (1<<3): return L0;
+                case (1<<2): return L1;
+                case (1<<1): return L2;
+                case (1<<0): return L3;
                 case 0: return NONE;
                 default: throw new Error();
             }
@@ -442,6 +460,7 @@ public class At40k {
                 case L2:    dev.mode4(0x02, row, col, 6, false); dev.mode4(0x04, row, col, 1<<1); break;
                 case L1:    dev.mode4(0x02, row, col, 6, false); dev.mode4(0x04, row, col, 1<<2); break;
                 case L0:    dev.mode4(0x02, row, col, 6, false); dev.mode4(0x04, row, col, 1<<3); break;
+                case NONE:  dev.mode4(0x02, row, col, 6, false); dev.mode4(0x04, row, col,    0); break;
                 default: throw new RuntimeException("invalid argument");
             }
         }
@@ -453,23 +472,26 @@ public class At40k {
                 case L2:    dev.mode4(0x03, row, col, 1<<7, 0xEC); break;
                 case L1:    dev.mode4(0x03, row, col, 1<<3, 0xEC); break;
                 case L0:    dev.mode4(0x03, row, col, 1<<2, 0xEC); break;
+                case NONE:  dev.mode4(0x03, row, col,    0, 0xEC); break;
                 default: throw new RuntimeException("invalid argument");
             }
         }
 
         public int wi() {
-            int who = dev.mode4(0x03, row, col) & 0xff;
+            int who = dev.mode4(0x03, row, col) & 0xEC;
             switch(who) {
                 case (1<<5): return L4;
                 case (1<<6): return L3;
                 case (1<<7): return L2;
                 case (1<<3): return L1;
                 case (1<<2): return L0;
+                case (1<<0): return NONE;  /* huh? */
                 case (0):    return NONE;
                 default: throw new RuntimeException("invalid argument: " + who);
             }
         }
 
+       
         public void zi(int source) {
             switch(source) {
                 case L4:    dev.mode4(0x02, row, col, 1<<7, 0xDB); break;
@@ -477,22 +499,111 @@ public class At40k {
                 case L2:    dev.mode4(0x02, row, col, 1<<4, 0xDB); break;
                 case L1:    dev.mode4(0x02, row, col, 1<<3, 0xDB); break;
                 case L0:    dev.mode4(0x02, row, col, 1<<2, 0xDB); break;
+                case NONE:  dev.mode4(0x02, row, col,    0, 0xDB); break;
                 default: throw new RuntimeException("invalid argument");
             }
         }
 
         public int zi() {
-            switch(dev.mode4(0x02, row, col) & 0xff) {
+            switch(dev.mode4(0x02, row, col) & 0xDB) {
                 case (1<<7): return L4;
                 case (1<<5): return L3;
                 case (1<<4): return L2;
                 case (1<<3): return L1;
                 case (1<<2): return L0;
+                case (1<<1): return NONE;  /* huh? */
+                case (1<<0): return NONE;  /* huh? */
                 case 0:      return NONE;
-                default: throw new RuntimeException("invalid argument");
+                default: throw new RuntimeException("invalid argument: zi=="+(dev.mode4(0x02, row, col) & 0xDB));
             }
         }
 
+
+        // Relevance //////////////////////////////////////////////////////////////////////////////
+
+        public boolean xo_relevant() { return xo_relevant(NE) || xo_relevant(SE) || xo_relevant(NW) || xo_relevant(SW); }
+        public boolean xo_relevant(int direction) {
+            switch(direction) {
+                case NE: return ne() != null && ne().xi()==SW /*&& ne().xi_relevant()*/;
+                case NW: return nw() != null && nw().xi()==SE /*&& nw().xi_relevant()*/;
+                case SE: return se() != null && se().xi()==NW /*&& se().xi_relevant()*/;
+                case SW: return sw() != null && sw().xi()==NE /*&& sw().xi_relevant()*/;
+                default: return false;
+            }
+        }
+        public boolean yo_relevant() { return yo_relevant(NORTH) || yo_relevant(SOUTH) || yo_relevant(EAST) || yo_relevant(WEST); }
+        public boolean yo_relevant(int direction) {
+            switch(direction) {
+                case NORTH: return north() != null && north().yi()==SOUTH  /*&& north().yi_relevant()*/;
+                case EAST: return east() != null  && east().yi()==WEST     /*&& east().yi_relevant()*/;
+                case SOUTH: return south() != null && south().yi()==NORTH  /*&& south().yi_relevant()*/;
+                case WEST: return west() != null  && west().yi()==EAST     /*&& west().yi_relevant()*/;
+                default: return false;
+            }
+        }
+        public boolean xi_relevant() { return xi_to_xlut_relevant() || xi_to_ylut_relevant(); }
+        public boolean yi_relevant() { return yi_to_xlut_relevant() || yi_to_ylut_relevant(); }
+        public boolean xi_to_ylut_relevant() { return (((ylut() & 0xcc) >> 2) != (ylut() & 0x33)); }
+        public boolean yi_to_xlut_relevant() { return (((xlut() & 0xcc) >> 2) != (xlut() & 0x33)); }
+        public boolean zi_to_xlut_relevant() { return (((xlut() & LUT_Z) >> 4) != (xlut() & LUT_Z)); }
+        public boolean zi_to_ylut_relevant() { return (((ylut() & LUT_Z) >> 4) != (ylut() & LUT_Z)); }
+        public boolean xi_to_xlut_relevant() { return (((xlut() & LUT_SELF) >> 1) != (xlut() & (LUT_SELF >> 1))); }
+        public boolean yi_to_ylut_relevant() { return (((ylut() & LUT_SELF) >> 1) != (ylut() & (LUT_SELF >> 1))); }
+        public boolean xlut_relevant() {
+            if ((c()==XLUT || c()==ZMUX) && c_relevant()) return true;
+            if (xo()) return false;
+            return xo_relevant();
+        }
+        public boolean ylut_relevant() {
+            if ((c()==YLUT || c()==ZMUX) && c_relevant()) return true;
+            if (yo()) return false;
+            return yo_relevant();
+        }
+        public boolean c_relevant() {
+            switch(ti()) {
+                case 0x34: return true;
+                case 0x14: return true;
+                case 0x10: return true;
+                case 0x30: return true;
+            }
+            for(int i=0; i<5; i++)
+                if (out(i))
+                    return true;
+            if (xo() || yo()) return true;
+            return false;
+        }
+
+        public boolean register_relevant() {
+            if (!c_relevant()) return false;
+            if (f() && out_relevant()) return true;
+            if (f() && fb_relevant()) return true;
+            if (b() && xo()) return true;
+            if (b() && yo()) return true;
+            return false;
+        }
+        public boolean out_relevant() {
+            boolean out = false;
+            boolean connect = false;
+            for(int i=0; i<4; i++) {
+                if (out(L0+i)) out = true;
+                if (hx(L0+i)) connect = true;
+                if (vx(L0+i)) connect = true;
+            }
+            return out && connect;
+        }
+        public boolean fb_relevant() {
+            if (!(zi_to_xlut_relevant()) ||
+                !(zi_to_ylut_relevant())) return false;
+            switch(ti()) {
+                case 0x34: return true;
+                case 0x14: return true;
+                case 0x10: return true;
+                case 0x30: return true;
+            }
+            return false;
+        }
+
+
     }
 
     public IOB iob_bot(int col, boolean primary)   { return new IOB(col, 0, primary, true); }