Bitwise operations

plutus-core/plutus-core.cabal

@@ -71,6 +71,7 @@ common lang
 library
   import:             lang
   exposed-modules:
+    Bitwise
     Crypto
     Data.ByteString.Hash
     Data.Either.Extras
@@ -265,6 +266,7 @@ library
     , filepath
     , flat                        <0.5
     , free
+    , ghc-bignum                  ^>=1.2
     , ghc-prim
     , hashable                    >=1.4
     , hedgehog                    >=1.0
@@ -358,6 +360,7 @@ test-suite untyped-plutus-core-test
     DeBruijn.Spec
     DeBruijn.UnDeBruijnify
     Evaluation.Builtins
+    Evaluation.Builtins.Bitwise
     Evaluation.Builtins.Common
     Evaluation.Builtins.Definition
     Evaluation.Builtins.MakeRead
@@ -927,3 +930,46 @@ test-suite index-envs-test
     , quickcheck-instances
     , tasty
     , tasty-quickcheck
+
+benchmark bitwise
+  import:           lang
+  type:             exitcode-stdio-1.0
+  hs-source-dirs:   plutus-core/bench/bitwise
+  default-language: Haskell2010
+  main-is:          Main.hs
+  other-modules:
+    Benches.Binary
+    Benches.BitRead
+    Benches.BitWrite
+    Benches.Complement
+    Benches.Convert
+    Benches.CountLeadingZeroes
+    Benches.Popcount
+    Benches.Rotate
+    Benches.Shift
+    DataGen
+
+  include-dirs:     plutus-core/bench/bitwise/cbits
+  c-sources:
+    plutus-core/bench/bitwise/cbits/binary.c
+    plutus-core/bench/bitwise/cbits/bit-access.c
+    plutus-core/bench/bitwise/cbits/clz.c
+    plutus-core/bench/bitwise/cbits/complement.c
+    plutus-core/bench/bitwise/cbits/popcount.c
+    plutus-core/bench/bitwise/cbits/rotate.c
+    plutus-core/bench/bitwise/cbits/shift.c
+
+  cc-options:       -O3
+
+  if arch(x86_64)
+    cc-options: -mpopcnt -mabm
+
+  build-depends:
+    , base
+    , bytestring
+    , mtl
+    , random
+    , tasty
+    , tasty-bench
+
+  ghc-options:      -O2 -rtsopts "-with-rtsopts=-A32m --nonmoving-gc -T"