X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=HighOrdAlu.hs;h=f49d5110c5673b0cca7d1164a80972b5a4028525;hb=571f4340e8e28262975cdf7b5150eb789fa674af;hp=6458f3c968958b8f265057b1fe173c534cdbe3cb;hpb=ede1f399f096569d1305cd75cb21f037bd4162dc;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git diff --git a/HighOrdAlu.hs b/HighOrdAlu.hs index 6458f3c..f49d511 100644 --- a/HighOrdAlu.hs +++ b/HighOrdAlu.hs @@ -12,15 +12,12 @@ constant :: e -> Op D4 e constant e a b = e +> (e +> (e +> (singleton e ))) -inv = hwnot - invop :: Op n Bit -invop a b = map inv a +invop a b = map hwnot a -xand = hwand andop :: Op n Bit -andop a b = zipWith xand a b +andop a b = zipWith hwand a b type Op n e = (TFVec n e -> TFVec n e -> TFVec n e) type Opcode = Bit @@ -32,4 +29,5 @@ alu op1 op2 opc a b = High -> op2 a b actual_alu :: Opcode -> TFVec D4 Bit -> TFVec D4 Bit -> TFVec D4 Bit -actual_alu = alu (constant Low) andop +--actual_alu = alu (constant Low) andop +actual_alu = alu invop andop