constant :: e -> Op D4 e
constant e a b =
- e +> (e +> (e +> (singleton e )))
+ (e +> (e +> (e +> (singleton e))))
invop :: Op n Bit
invop a b = map hwnot a
-
andop :: Op n Bit
andop a b = zipWith hwand a b
+-- Is any bit set?
+--anyset :: (PositiveT n) => Op n Bit
+anyset :: (Bit -> Bit -> Bit) -> Op D4 Bit
+--anyset a b = copy undefined (a' `hwor` b')
+anyset f a b = constant (a' `hwor` b') a b
+ where
+ a' = foldl f Low a
+ b' = foldl f Low b
+
+xhwor = hwor
+
type Op n e = (TFVec n e -> TFVec n e -> TFVec n e)
type Opcode = Bit
actual_alu :: Opcode -> TFVec D4 Bit -> TFVec D4 Bit -> TFVec D4 Bit
--actual_alu = alu (constant Low) andop
-actual_alu = alu invop andop
+actual_alu = alu (anyset xhwor) andop