bench regular apply vs case apply (#7410)

Author: SeungheonOh

plutus-benchmark/casing/bench/Bench.hs

@@ -30,12 +30,17 @@ benchmarks ctx =
       , mkBMs "integer" Casing.casingInteger
       , mkBMs "list" Casing.casingList
       , mkBMs "list one branch" Casing.casingListOneBranch
+      , mkBMsSmall "regularApply" Casing.regularApply
+      , mkBMsSmall "caseApply" Casing.caseApply
       ]
     ]
     where
       mkBMs name f =
         bgroup name $ [2000, 4000..12000] <&> \n ->
           bench (show n) $ benchTermCek ctx (f n)
+      mkBMsSmall name f =
+        bgroup name $ [3, 10, 30, 100, 500, 1000] <&> \n ->
+          bench (show n) $ benchTermCek ctx (f n)
 
 main :: IO ()
 main = do

plutus-benchmark/casing/src/PlutusBenchmark/Casing.hs

@@ -3,6 +3,7 @@
 
 module PlutusBenchmark.Casing where
 
+import Control.Monad (replicateM)
 import Control.Monad.Except
 import Data.Either
 import PlutusBenchmark.Common (Term)
@@ -203,3 +204,23 @@ headListCasing i =
         apply ()
           (lamAbs () x intTy t)
         (kase () intTy listVal [lamAbs () y intTy $ lamAbs () ys intListTy $ var () y])
+
+regularApply :: Integer -> Term
+regularApply i =
+  debruijnTermUnsafe $
+    foldl (apply ()) lam (replicate (fromIntegral i) unitVal)
+  where
+    unitTy = PLC.mkTyBuiltin @_ @() ()
+    unitVal = mkConstant @() () ()
+    lam = runQuote $ do
+      foldr (\x -> lamAbs () x unitTy) unitVal <$> replicateM (fromIntegral i) (freshName "x")
+
+caseApply :: Integer -> Term
+caseApply i =
+  debruijnTermUnsafe $
+    kase () unitTy (constr () unitTy 0 (replicate (fromIntegral i) unitVal)) [lam]
+  where
+    unitTy = PLC.mkTyBuiltin @_ @() ()
+    unitVal = mkConstant @() () ()
+    lam = runQuote $ do
+      foldr (\x -> lamAbs () x unitTy) unitVal <$> replicateM (fromIntegral i) (freshName "x")