Add ProfileTest for profiling the compiler

Author: zeme-wana

plutus-tx-plugin/plutus-tx-plugin.cabal

@@ -253,14 +253,10 @@ test-suite plutus-tx-plugin-profile-test
     , data-default
     , ghc
     , ghc-paths
-    , lens
     , mtl
     , plutus-core            ^>=1.55
     , plutus-core:plutus-ir
-    , plutus-tx              ^>=1.55
     , plutus-tx-plugin       ^>=1.55
-    , template-haskell
-    , text
 
   default-extensions: Strict
   ghc-options:        -threaded -rtsopts -with-rtsopts=-N

plutus-tx-plugin/src/PlutusTx/Plugin.hs

@@ -9,7 +9,6 @@
 {-# LANGUAGE ViewPatterns          #-}
 -- For some reason this module is very slow to compile otherwise
 {-# OPTIONS_GHC -O0 #-}
-{-# OPTIONS_GHC -fno-full-laziness -fno-cse #-}
 
 module PlutusTx.Plugin (plugin, plc, runCompiler) where
 
@@ -649,6 +648,7 @@ runCompiler moduleName opts expr = do
     {-# SCC "plinth-plugin-plc-to-uplc-step" #-}
     flip runReaderT plcOpts $ PLC.compileProgramWithTrace plcP
 
+
   dbP <- liftExcept $ modifyError PLC.FreeVariableErrorE $ traverseOf UPLC.progTerm UPLC.deBruijnTerm uplcP
   when (opts ^. posDumpUPlc) . liftIO $
       dumpFlat

plutus-tx-plugin/test/Plugin/Profiling/ProfileTest.hs

@@ -17,46 +17,33 @@ module Main where
 import Data.Default
 import Data.Foldable (fold)
 import PlutusCore qualified as PLC
-import PlutusCore.Compiler qualified as PLC
-import PlutusCore.Pretty as PLC
 import PlutusCore.Quote
-import PlutusCore.Quote (runQuoteT)
 import PlutusCore.Version qualified as PLC
-import PlutusIR qualified as PIR
 import PlutusIR.Compiler qualified as PIR
-import PlutusIR.Compiler.Definitions qualified as PIR
 import PlutusIR.Compiler.Types qualified as PIR
 import PlutusIR.Transform.RewriteRules
 import PlutusIR.Transform.RewriteRules.RemoveTrace (rewriteRuleRemoveTrace)
-import PlutusTx.Compiler.Builtins
-import PlutusTx.Compiler.Error
 import PlutusTx.Compiler.Types
 import PlutusTx.Options (PluginOptions (..), defaultPluginOptions)
 import PlutusTx.Plugin (runCompiler)
-import UntypedPlutusCore qualified as UPLC
 
 import GHC qualified as GHC
 import GHC.Core.FamInstEnv qualified as GHC
 import GHC.Core.Opt.OccurAnal qualified as GHC
-import GHC.Driver.Make qualified as GHC
 import GHC.Driver.Session qualified as GHC
 import GHC.Paths as GHC
 import GHC.Plugins qualified as GHC
-import GHC.Types.Literal qualified as GHC
 
-import Control.Lens
 import Control.Monad.Except
 import Control.Monad.Reader
 import Control.Monad.State
 import Control.Monad.Writer
 
 import Data.Map qualified as Map
-import Data.Set qualified as Set
-import Language.Haskell.TH.Syntax qualified as TH
 
 -- | Create a simple Core expression for testing (a literal integer)
 createSimpleCoreExpr :: GHC.DynFlags -> GHC.CoreExpr
-createSimpleCoreExpr flags =
+createSimpleCoreExpr _flags =
   let lit = GHC.Lit (GHC.LitNumber GHC.LitNumInt 42)
   in lit