Skip to content

Commit

Permalink
turn off spec
Browse files Browse the repository at this point in the history
  • Loading branch information
@zliu41
zliu41 committed Mar 15, 2023
1 parent d5f8de8 commit c296a55
Show file tree
Hide file tree
Showing 41 changed files with 2,978 additions and 709 deletions.
2 changes: 0 additions & 2 deletions plutus-benchmark/lists/test/Sum/left-fold-built-in.budget.golden
View file

This file was deleted.

2 changes: 0 additions & 2 deletions plutus-benchmark/lists/test/Sum/left-fold-data.budget.golden
View file

This file was deleted.

2 changes: 0 additions & 2 deletions plutus-benchmark/lists/test/Sum/left-fold-scott.budget.golden
View file

This file was deleted.

2 changes: 0 additions & 2 deletions plutus-benchmark/lists/test/Sum/right-fold-built-in.budget.golden
View file

This file was deleted.

2 changes: 0 additions & 2 deletions plutus-benchmark/lists/test/Sum/right-fold-data.budget.golden
View file

This file was deleted.

2 changes: 0 additions & 2 deletions plutus-benchmark/lists/test/Sum/right-fold-scott.budget.golden
View file

This file was deleted.

2 changes: 0 additions & 2 deletions plutus-benchmark/nofib/test/formulaBudget.budget.golden
View file

This file was deleted.

2 changes: 0 additions & 2 deletions plutus-benchmark/nofib/test/knightsBudget.budget.golden
View file

This file was deleted.

2 changes: 0 additions & 2 deletions plutus-benchmark/nofib/test/queens4budget.budget.golden
View file

This file was deleted.

2 changes: 0 additions & 2 deletions plutus-benchmark/nofib/test/queens5budget.budget.golden
View file

This file was deleted.

2 changes: 1 addition & 1 deletion plutus-benchmark/plutus-benchmark.cabal
View file
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,7 @@ common lang

ghc-options:
-fno-specialise -fno-spec-constr -fno-ignore-interface-pragmas
-fno-omit-interface-pragmas
-fno-omit-interface-pragmas -fforce-recomp

ghc-options:
-Wall -Wnoncanonical-monad-instances -Wincomplete-uni-patterns
Expand Down
2 changes: 0 additions & 2 deletions plutus-benchmark/script-contexts/test/checkScriptContexEqualityData-20.budget.golden
View file

This file was deleted.

2 changes: 0 additions & 2 deletions plutus-benchmark/script-contexts/test/checkScriptContext1-20.budget.golden
View file

This file was deleted.

2 changes: 0 additions & 2 deletions plutus-benchmark/script-contexts/test/checkScriptContext1-4.budget.golden
View file

This file was deleted.

2 changes: 0 additions & 2 deletions plutus-benchmark/script-contexts/test/checkScriptContext2-20.budget.golden
View file

This file was deleted.

2 changes: 0 additions & 2 deletions plutus-benchmark/script-contexts/test/checkScriptContext2-4.budget.golden
View file

This file was deleted.

2 changes: 0 additions & 2 deletions plutus-benchmark/script-contexts/test/checkScriptContextEqualityOverhead-20.budget.golden
View file

This file was deleted.

2 changes: 0 additions & 2 deletions plutus-benchmark/script-contexts/test/checkScriptContextEqualityTerm-20.budget.golden
View file

This file was deleted.

2 changes: 1 addition & 1 deletion plutus-tx-plugin/src/PlutusTx/Plugin.hs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -161,7 +161,7 @@ mkSimplPass flags logger =
, GHC.sm_uf_opts = GHC.defaultUnfoldingOpts
, GHC.sm_dflags = flags
, GHC.sm_rules = False
, GHC.sm_builtin_rules = True
, GHC.sm_builtin_rules = False
, GHC.sm_cast_swizzle = True
-- See Note [GHC.sm_pre_inline]
, GHC.sm_pre_inline = True
Expand Down
115 changes: 109 additions & 6 deletions plutus-tx-plugin/test/Budget/allCheap.plc.golden
View file
Original file line number Diff line number Diff line change
@@ -1,12 +1,19 @@
letrec
data (List :: * -> *) a | Nil_match where
Nil : List a
Cons : a -> List a -> List a
in
let
data Ordering | Ordering_match where
EQ : Ordering
GT : Ordering
LT : Ordering
data Bool | Bool_match where
True : Bool
False : Bool
data (Ord :: * -> *) a | Ord_match where
CConsOrd
: (\a -> a -> a -> Bool) a -> (a -> a -> Ordering) -> (a -> a -> Bool) -> (a -> a -> Bool) -> (a -> a -> Bool) -> (a -> a -> Bool) -> (a -> a -> a) -> (a -> a -> a) -> Ord a
in
letrec
data (List :: * -> *) a | Nil_match where
Nil : List a
Cons : a -> List a -> List a
in
letrec
!go : List integer -> Bool
Expand All @@ -23,7 +30,103 @@ letrec
!acc : Bool = go xs
in
Bool_match
(ifThenElse {Bool} (lessThanEqualsInteger 1 x) False True)
((let
!v : Ord integer
= CConsOrd
{integer}
(\(x : integer)
(y : integer) ->
ifThenElse {Bool} (equalsInteger x y) True False)
(\(eta : integer)
(eta : integer) ->
Bool_match
(ifThenElse
{Bool}
(equalsInteger eta eta)
True
False)
{all dead. Ordering}
(/\dead -> EQ)
(/\dead ->
Bool_match
(ifThenElse
{Bool}
(lessThanEqualsInteger eta eta)
True
False)
{all dead. Ordering}
(/\dead -> LT)
(/\dead -> GT)
{all dead. dead})
{all dead. dead})
(\(x : integer)
(y : integer) ->
ifThenElse
{Bool}
(lessThanInteger x y)
True
False)
(\(x : integer)
(y : integer) ->
ifThenElse
{Bool}
(lessThanEqualsInteger x y)
True
False)
(\(x : integer)
(y : integer) ->
ifThenElse
{Bool}
(lessThanEqualsInteger x y)
False
True)
(\(x : integer)
(y : integer) ->
ifThenElse
{Bool}
(lessThanInteger x y)
False
True)
(\(x : integer)
(y : integer) ->
Bool_match
(ifThenElse
{Bool}
(lessThanEqualsInteger x y)
True
False)
{all dead. integer}
(/\dead -> y)
(/\dead -> x)
{all dead. dead})
(\(x : integer)
(y : integer) ->
Bool_match
(ifThenElse
{Bool}
(lessThanEqualsInteger x y)
True
False)
{all dead. integer}
(/\dead -> x)
(/\dead -> y)
{all dead. dead})
in
Ord_match
{integer}
v
{integer -> integer -> Bool}
(\(v : (\a -> a -> a -> Bool) integer)
(v : integer -> integer -> Ordering)
(v : integer -> integer -> Bool)
(v : integer -> integer -> Bool)
(v : integer -> integer -> Bool)
(v : integer -> integer -> Bool)
(v : integer -> integer -> integer)
(v : integer -> integer -> integer) ->
v))
1
x)
{all dead. Bool}
(/\dead -> acc)
(/\dead -> False)
Expand Down
115 changes: 109 additions & 6 deletions plutus-tx-plugin/test/Budget/allEmptyList.plc.golden
View file
Original file line number Diff line number Diff line change
@@ -1,12 +1,19 @@
letrec
data (List :: * -> *) a | Nil_match where
Nil : List a
Cons : a -> List a -> List a
in
let
data Ordering | Ordering_match where
EQ : Ordering
GT : Ordering
LT : Ordering
data Bool | Bool_match where
True : Bool
False : Bool
data (Ord :: * -> *) a | Ord_match where
CConsOrd
: (\a -> a -> a -> Bool) a -> (a -> a -> Ordering) -> (a -> a -> Bool) -> (a -> a -> Bool) -> (a -> a -> Bool) -> (a -> a -> Bool) -> (a -> a -> a) -> (a -> a -> a) -> Ord a
in
letrec
data (List :: * -> *) a | Nil_match where
Nil : List a
Cons : a -> List a -> List a
in
letrec
!go : List integer -> Bool
Expand All @@ -23,7 +30,103 @@ letrec
!acc : Bool = go xs
in
Bool_match
(ifThenElse {Bool} (lessThanEqualsInteger 1 x) False True)
((let
!v : Ord integer
= CConsOrd
{integer}
(\(x : integer)
(y : integer) ->
ifThenElse {Bool} (equalsInteger x y) True False)
(\(eta : integer)
(eta : integer) ->
Bool_match
(ifThenElse
{Bool}
(equalsInteger eta eta)
True
False)
{all dead. Ordering}
(/\dead -> EQ)
(/\dead ->
Bool_match
(ifThenElse
{Bool}
(lessThanEqualsInteger eta eta)
True
False)
{all dead. Ordering}
(/\dead -> LT)
(/\dead -> GT)
{all dead. dead})
{all dead. dead})
(\(x : integer)
(y : integer) ->
ifThenElse
{Bool}
(lessThanInteger x y)
True
False)
(\(x : integer)
(y : integer) ->
ifThenElse
{Bool}
(lessThanEqualsInteger x y)
True
False)
(\(x : integer)
(y : integer) ->
ifThenElse
{Bool}
(lessThanEqualsInteger x y)
False
True)
(\(x : integer)
(y : integer) ->
ifThenElse
{Bool}
(lessThanInteger x y)
False
True)
(\(x : integer)
(y : integer) ->
Bool_match
(ifThenElse
{Bool}
(lessThanEqualsInteger x y)
True
False)
{all dead. integer}
(/\dead -> y)
(/\dead -> x)
{all dead. dead})
(\(x : integer)
(y : integer) ->
Bool_match
(ifThenElse
{Bool}
(lessThanEqualsInteger x y)
True
False)
{all dead. integer}
(/\dead -> x)
(/\dead -> y)
{all dead. dead})
in
Ord_match
{integer}
v
{integer -> integer -> Bool}
(\(v : (\a -> a -> a -> Bool) integer)
(v : integer -> integer -> Ordering)
(v : integer -> integer -> Bool)
(v : integer -> integer -> Bool)
(v : integer -> integer -> Bool)
(v : integer -> integer -> Bool)
(v : integer -> integer -> integer)
(v : integer -> integer -> integer) ->
v))
1
x)
{all dead. Bool}
(/\dead -> acc)
(/\dead -> False)
Expand Down

0 comments on commit c296a55

Please sign in to comment.