Add CMP circuit (compare with flags) - 168 tensors, 65536/65536 tests pass

neural_computer.safetensors

@@ -1,3 +1,3 @@
 version https://git-lfs.github.com/spec/v1
-oid sha256:19bdb469f994ce852f85d894d8c2a4db4b690ff2a4ae8397364002f5bb9cebae
-size 407640
+oid sha256:2950a1fa08aecbcd2336cb8ae636b33e15ab85f5e8fb882f4c9edb4114debdd4
+size 425220

tensors.txt

@@ -1,5 +1,5 @@
 # Tensor Manifest
-# Total: 3664 tensors
+# Total: 3832 tensors
 
 alu.alu8bit.add.bias: shape=[1], values=[0.0]
 alu.alu8bit.add.weight: shape=[16], values=[1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0]
@@ -203,6 +203,174 @@ arithmetic.adc8bit.fa7.xor2.layer1.or.bias: shape=[1], values=[-1.0]
 arithmetic.adc8bit.fa7.xor2.layer1.or.weight: shape=[2], values=[1.0, 1.0]
 arithmetic.adc8bit.fa7.xor2.layer2.bias: shape=[1], values=[-2.0]
 arithmetic.adc8bit.fa7.xor2.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa0.and1.bias: shape=[1], values=[-2.0]
+arithmetic.cmp8bit.fa0.and1.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa0.and2.bias: shape=[1], values=[-2.0]
+arithmetic.cmp8bit.fa0.and2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa0.or_carry.bias: shape=[1], values=[-1.0]
+arithmetic.cmp8bit.fa0.or_carry.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa0.xor1.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.cmp8bit.fa0.xor1.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.cmp8bit.fa0.xor1.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.cmp8bit.fa0.xor1.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa0.xor1.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.cmp8bit.fa0.xor1.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa0.xor2.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.cmp8bit.fa0.xor2.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.cmp8bit.fa0.xor2.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.cmp8bit.fa0.xor2.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa0.xor2.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.cmp8bit.fa0.xor2.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa1.and1.bias: shape=[1], values=[-2.0]
+arithmetic.cmp8bit.fa1.and1.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa1.and2.bias: shape=[1], values=[-2.0]
+arithmetic.cmp8bit.fa1.and2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa1.or_carry.bias: shape=[1], values=[-1.0]
+arithmetic.cmp8bit.fa1.or_carry.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa1.xor1.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.cmp8bit.fa1.xor1.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.cmp8bit.fa1.xor1.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.cmp8bit.fa1.xor1.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa1.xor1.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.cmp8bit.fa1.xor1.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa1.xor2.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.cmp8bit.fa1.xor2.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.cmp8bit.fa1.xor2.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.cmp8bit.fa1.xor2.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa1.xor2.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.cmp8bit.fa1.xor2.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa2.and1.bias: shape=[1], values=[-2.0]
+arithmetic.cmp8bit.fa2.and1.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa2.and2.bias: shape=[1], values=[-2.0]
+arithmetic.cmp8bit.fa2.and2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa2.or_carry.bias: shape=[1], values=[-1.0]
+arithmetic.cmp8bit.fa2.or_carry.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa2.xor1.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.cmp8bit.fa2.xor1.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.cmp8bit.fa2.xor1.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.cmp8bit.fa2.xor1.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa2.xor1.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.cmp8bit.fa2.xor1.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa2.xor2.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.cmp8bit.fa2.xor2.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.cmp8bit.fa2.xor2.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.cmp8bit.fa2.xor2.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa2.xor2.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.cmp8bit.fa2.xor2.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa3.and1.bias: shape=[1], values=[-2.0]
+arithmetic.cmp8bit.fa3.and1.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa3.and2.bias: shape=[1], values=[-2.0]
+arithmetic.cmp8bit.fa3.and2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa3.or_carry.bias: shape=[1], values=[-1.0]
+arithmetic.cmp8bit.fa3.or_carry.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa3.xor1.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.cmp8bit.fa3.xor1.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.cmp8bit.fa3.xor1.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.cmp8bit.fa3.xor1.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa3.xor1.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.cmp8bit.fa3.xor1.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa3.xor2.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.cmp8bit.fa3.xor2.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.cmp8bit.fa3.xor2.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.cmp8bit.fa3.xor2.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa3.xor2.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.cmp8bit.fa3.xor2.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa4.and1.bias: shape=[1], values=[-2.0]
+arithmetic.cmp8bit.fa4.and1.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa4.and2.bias: shape=[1], values=[-2.0]
+arithmetic.cmp8bit.fa4.and2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa4.or_carry.bias: shape=[1], values=[-1.0]
+arithmetic.cmp8bit.fa4.or_carry.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa4.xor1.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.cmp8bit.fa4.xor1.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.cmp8bit.fa4.xor1.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.cmp8bit.fa4.xor1.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa4.xor1.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.cmp8bit.fa4.xor1.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa4.xor2.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.cmp8bit.fa4.xor2.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.cmp8bit.fa4.xor2.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.cmp8bit.fa4.xor2.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa4.xor2.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.cmp8bit.fa4.xor2.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa5.and1.bias: shape=[1], values=[-2.0]
+arithmetic.cmp8bit.fa5.and1.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa5.and2.bias: shape=[1], values=[-2.0]
+arithmetic.cmp8bit.fa5.and2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa5.or_carry.bias: shape=[1], values=[-1.0]
+arithmetic.cmp8bit.fa5.or_carry.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa5.xor1.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.cmp8bit.fa5.xor1.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.cmp8bit.fa5.xor1.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.cmp8bit.fa5.xor1.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa5.xor1.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.cmp8bit.fa5.xor1.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa5.xor2.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.cmp8bit.fa5.xor2.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.cmp8bit.fa5.xor2.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.cmp8bit.fa5.xor2.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa5.xor2.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.cmp8bit.fa5.xor2.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa6.and1.bias: shape=[1], values=[-2.0]
+arithmetic.cmp8bit.fa6.and1.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa6.and2.bias: shape=[1], values=[-2.0]
+arithmetic.cmp8bit.fa6.and2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa6.or_carry.bias: shape=[1], values=[-1.0]
+arithmetic.cmp8bit.fa6.or_carry.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa6.xor1.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.cmp8bit.fa6.xor1.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.cmp8bit.fa6.xor1.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.cmp8bit.fa6.xor1.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa6.xor1.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.cmp8bit.fa6.xor1.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa6.xor2.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.cmp8bit.fa6.xor2.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.cmp8bit.fa6.xor2.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.cmp8bit.fa6.xor2.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa6.xor2.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.cmp8bit.fa6.xor2.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa7.and1.bias: shape=[1], values=[-2.0]
+arithmetic.cmp8bit.fa7.and1.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa7.and2.bias: shape=[1], values=[-2.0]
+arithmetic.cmp8bit.fa7.and2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa7.or_carry.bias: shape=[1], values=[-1.0]
+arithmetic.cmp8bit.fa7.or_carry.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa7.xor1.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.cmp8bit.fa7.xor1.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.cmp8bit.fa7.xor1.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.cmp8bit.fa7.xor1.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa7.xor1.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.cmp8bit.fa7.xor1.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa7.xor2.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.cmp8bit.fa7.xor2.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.cmp8bit.fa7.xor2.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.cmp8bit.fa7.xor2.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.fa7.xor2.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.cmp8bit.fa7.xor2.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.cmp8bit.flags.carry.bias: shape=[1], values=[-0.5]
+arithmetic.cmp8bit.flags.carry.weight: shape=[1], values=[1.0]
+arithmetic.cmp8bit.flags.negative.bias: shape=[1], values=[-0.5]
+arithmetic.cmp8bit.flags.negative.weight: shape=[1], values=[1.0]
+arithmetic.cmp8bit.flags.zero.bias: shape=[1], values=[0.0]
+arithmetic.cmp8bit.flags.zero.weight: shape=[1], values=[-1.0]
+arithmetic.cmp8bit.flags.zero_or.bias: shape=[1], values=[-1.0]
+arithmetic.cmp8bit.flags.zero_or.weight: shape=[8], values=[1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0]
+arithmetic.cmp8bit.notb0.bias: shape=[1], values=[0.0]
+arithmetic.cmp8bit.notb0.weight: shape=[1], values=[-1.0]
+arithmetic.cmp8bit.notb1.bias: shape=[1], values=[0.0]
+arithmetic.cmp8bit.notb1.weight: shape=[1], values=[-1.0]
+arithmetic.cmp8bit.notb2.bias: shape=[1], values=[0.0]
+arithmetic.cmp8bit.notb2.weight: shape=[1], values=[-1.0]
+arithmetic.cmp8bit.notb3.bias: shape=[1], values=[0.0]
+arithmetic.cmp8bit.notb3.weight: shape=[1], values=[-1.0]
+arithmetic.cmp8bit.notb4.bias: shape=[1], values=[0.0]
+arithmetic.cmp8bit.notb4.weight: shape=[1], values=[-1.0]
+arithmetic.cmp8bit.notb5.bias: shape=[1], values=[0.0]
+arithmetic.cmp8bit.notb5.weight: shape=[1], values=[-1.0]
+arithmetic.cmp8bit.notb6.bias: shape=[1], values=[0.0]
+arithmetic.cmp8bit.notb6.weight: shape=[1], values=[-1.0]
+arithmetic.cmp8bit.notb7.bias: shape=[1], values=[0.0]
+arithmetic.cmp8bit.notb7.weight: shape=[1], values=[-1.0]
 arithmetic.decrementer8bit.adder: shape=[8], values=[1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0]
 arithmetic.decrementer8bit.neg_one: shape=[8], values=[1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0]
 arithmetic.equality8bit.final_and.bias: shape=[1], values=[-8.0]

todo.md

@@ -27,7 +27,7 @@
 | ASR       | Arithmetic shift right (sign-extend) | Missing                                             |
 | ADC       | Add with carry input                 | DONE - 144 tensors, 131072/131072 tests pass        |
 | SBC       | Subtract with borrow                 | DONE - 160 tensors, 131072/131072 tests pass        |
-| CMP       | Compare (SUB without writeback)      | Missing (comparators exist but not via subtraction) |
+| CMP       | Compare (SUB without writeback)      | DONE - 168 tensors, 65536/65536 tests pass          |
 
 ## System