X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=HighOrdAlu.hs;h=f49d5110c5673b0cca7d1164a80972b5a4028525;hb=f428ef73d3c779bf00e9d493bad4eddf5bb9d0cb;hp=6458f3c968958b8f265057b1fe173c534cdbe3cb;hpb=1904fdd1babd5972d3343000d51e3c8ded5f9bf8;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