From 1e2dec180fb8d3b91a57f300c5509a44074b4333 Mon Sep 17 00:00:00 2001
From: Konstantinos Lambrou-Latreille <konstantinos.lambrou@iohk.io>
Date: Thu, 6 Jun 2024 09:26:39 -0400
Subject: [PATCH] Add minimal example for reproducing PIR simplifier bug

---
 .../app/SimplifierBugMinimalExample.hs        | 45 +++++++++++++++++++
 plutus-tx-plugin/plutus-tx-plugin.cabal       | 12 +++++
 2 files changed, 57 insertions(+)
 create mode 100644 plutus-tx-plugin/app/SimplifierBugMinimalExample.hs

diff --git a/plutus-tx-plugin/app/SimplifierBugMinimalExample.hs b/plutus-tx-plugin/app/SimplifierBugMinimalExample.hs
new file mode 100644
index 00000000000..adf7f65d4a5
--- /dev/null
+++ b/plutus-tx-plugin/app/SimplifierBugMinimalExample.hs
@@ -0,0 +1,45 @@
+-- editorconfig-checker-disable-file
+{-# LANGUAGE BangPatterns          #-}
+{-# LANGUAGE DataKinds             #-}
+{-# LANGUAGE MultiParamTypeClasses #-}
+{-# LANGUAGE NamedFieldPuns        #-}
+{-# LANGUAGE NoImplicitPrelude     #-}
+{-# LANGUAGE PackageImports        #-}
+{-# LANGUAGE ScopedTypeVariables   #-}
+{-# LANGUAGE TemplateHaskell       #-}
+{-# LANGUAGE TypeApplications      #-}
+{-# LANGUAGE ViewPatterns          #-}
+
+-- Comment out in order to reproduce the compilation issue.
+-- WATCH OUT: THIS IS PROBABLY GOING TO OOO YOUR MACHINE
+{-# OPTIONS_GHC -fplugin-opt PlutusTx.Plugin:max-simplifier-iterations-pir=1 #-}
+
+module Main where
+
+import PlutusTx qualified
+import PlutusTx.Prelude hiding (Semigroup (..), unless)
+import Prelude qualified as H
+
+main :: H.IO ()
+main = do
+  H.pure ()
+
+data C = A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R
+
+PlutusTx.makeIsDataIndexed ''C [ ('A, 0) , ('B, 1) , ('C, 2) , ('D, 3) , ('E, 4) , ('F, 5) , ('G, 6) , ('H, 7) , ('I, 8) , ('J, 9) , ('K, 10) , ('L, 11) , ('M, 12) , ('N, 13) , ('O, 14) , ('P, 15) , ('Q, 16) , ('R, 17) ]
+
+{-# INLINABLE validator #-}
+validator ::
+  BuiltinData
+  -> BuiltinData
+  -> BuiltinData
+  -> Bool
+validator d _ _ =
+  let !_ = PlutusTx.unsafeFromBuiltinData @C d
+   in True
+
+unappliedValidator ::
+  PlutusTx.CompiledCode (PlutusTx.BuiltinData -> PlutusTx.BuiltinData -> PlutusTx.BuiltinData -> BuiltinUnit)
+unappliedValidator =
+   $$(PlutusTx.compile [|| \d r c -> check $ validator d r c ||])
+
diff --git a/plutus-tx-plugin/plutus-tx-plugin.cabal b/plutus-tx-plugin/plutus-tx-plugin.cabal
index 6b5280f7744..af4cd11d2d4 100644
--- a/plutus-tx-plugin/plutus-tx-plugin.cabal
+++ b/plutus-tx-plugin/plutus-tx-plugin.cabal
@@ -116,6 +116,18 @@ executable gen-plugin-opts-doc
 
   default-language: Haskell2010
 
+executable simplifier-bug-minimal-example
+  import:           lang, ghc-version-support
+  main-is:          SimplifierBugMinimalExample.hs
+  hs-source-dirs:   app
+  ghc-options:      -threaded -rtsopts -with-rtsopts=-N
+  build-depends:
+    , base              >=4.7   && <5
+    , plutus-tx
+    , plutus-tx-plugin  ^>=1.29
+
+  default-language: Haskell2010
+
 test-suite plutus-tx-plugin-tests
   import:             lang, ghc-version-support