Skip to content

Commit

Permalink
[Test] Turn off CSE for the 'patternMatching' test
Browse files Browse the repository at this point in the history
  • Loading branch information
@effectfully
effectfully committed Jun 27, 2024
1 parent b63c544 commit a04bf66
Show file tree
Hide file tree
Showing 7 changed files with 221 additions and 159 deletions.
4 changes: 2 additions & 2 deletions plutus-tx-plugin/test/AsData/Budget/9.6/patternMatching-budget.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 5749488
| mem: 21176})
({cpu: 44508240
| mem: 160876})
105 changes: 56 additions & 49 deletions plutus-tx-plugin/test/AsData/Budget/9.6/patternMatching.uplc.golden
View file
Original file line number Diff line number Diff line change
@@ -1,58 +1,65 @@
program
1.1.0
(\d ->
(\cse ->
(\lessThanInteger ->
(\cse ->
(\cse ->
(\cse ->
(\cse ->
addInteger
(addInteger
(\ds ->
(\ds ->
(\x ->
(\y ->
(\z ->
(\w ->
(\lessThanInteger ->
addInteger
(addInteger
(addInteger (addInteger cse cse) cse)
cse)
(addInteger
(addInteger
(addInteger (force x) (force y))
(force z))
(force w))
(force
(case
(lessThanInteger
(addInteger (force y) (force z))
(addInteger (force x) (force w)))
[ (delay (addInteger (force x) (force z)))
, (delay
(addInteger (force y) (force w))) ])))
(force
(case
(lessThanInteger
(addInteger cse cse)
(addInteger cse cse))
[ (delay (addInteger cse cse))
, (delay (addInteger cse cse)) ])))
(force
(case
(lessThanInteger
(addInteger cse cse)
(addInteger cse cse))
[ (delay (addInteger cse cse))
, (delay (addInteger cse cse)) ])))
(case cse [(\x y z w -> x)]))
(case cse [(\x y z w -> w)]))
(case cse [(\x y z w -> y)]))
(case cse [(\x y z w -> z)]))
(\x y ->
force ifThenElse
(lessThanInteger x y)
(constr 0 [])
(constr 1 [])))
((\tup ->
force
(force ifThenElse
(equalsInteger 0 (force (force fstPair) tup))
(delay
((\l ->
(\l ->
(addInteger (force z) (force y))
(addInteger (force w) (force x)))
[ (delay (addInteger (force z) (force x)))
, (delay
(addInteger (force w) (force y))) ])))
(\x y ->
force ifThenElse
(lessThanInteger x y)
(constr 0 [])
(constr 1 [])))
(delay (case (force ds) [(\x y z w -> w)])))
(delay (case (force ds) [(\x y z w -> z)])))
(delay (case (force ds) [(\x y z w -> y)])))
(delay (case (force ds) [(\x y z w -> x)])))
(force ds))
(delay
((\tup ->
force
(force ifThenElse
(equalsInteger 0 (force (force fstPair) tup))
(delay
((\l ->
(\l ->
(\z w ->
constr 0
[ (unIData (force headList l))
, (unIData (force headList l))
, z
, w ])
(unIData (force headList l))
(unIData (force headList (force tailList l))))
(\l ->
(\z w ->
constr 0
[ (unIData (force headList l))
, (unIData (force headList l))
, z
, w ])
(unIData (force headList l))
(unIData (force headList (force tailList l))))
(force tailList l))
(force tailList l))
(force tailList l))
(force (force sndPair) tup)))
(delay (case error [error]))))
(unConstrData d)))
(force (force sndPair) tup)))
(delay (case error [error]))))
(unConstrData d))))
4 changes: 2 additions & 2 deletions plutus-tx-plugin/test/AsData/Budget/9.6/recordFields-budget-manual.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 7269599
| mem: 24274})
({cpu: 17110184
| mem: 58758})
4 changes: 2 additions & 2 deletions plutus-tx-plugin/test/AsData/Budget/9.6/recordFields-budget.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 12721754
| mem: 45526})
({cpu: 28330286
| mem: 104626})
171 changes: 103 additions & 68 deletions plutus-tx-plugin/test/AsData/Budget/9.6/recordFields-manual.uplc.golden
View file
Original file line number Diff line number Diff line change
@@ -1,71 +1,106 @@
program
1.1.0
(\d ->
(\cse ->
(\cse ->
(\cse ->
(\cse ->
(\cse ->
(\cse ->
(\lessThanInteger ->
addInteger
(addInteger
(addInteger
(addInteger (addInteger cse cse) cse)
cse)
(force
(case
(lessThanInteger
(addInteger cse cse)
(addInteger cse cse))
[ (delay (addInteger cse cse))
, (delay (addInteger cse cse)) ])))
(force
(case
(lessThanInteger
(addInteger cse cse)
(addInteger cse cse))
[ (delay (addInteger cse cse))
, (delay (addInteger cse cse)) ])))
(\x y ->
force ifThenElse
(lessThanInteger x y)
(constr 0 [])
(constr 1 [])))
((\d ->
force
(force ifThenElse
(equalsInteger 0 cse)
(delay (unIData d))
(delay error)))
(force headList
(force tailList
(force tailList
(force tailList
(force (force sndPair) cse)))))))
((\d ->
force
(force ifThenElse
(equalsInteger 0 cse)
(delay (unIData d))
(delay error)))
(force headList
(force tailList
(force tailList (force (force sndPair) cse))))))
((\d ->
force
(force ifThenElse
(equalsInteger 0 cse)
(delay (unIData d))
(delay error)))
(force headList
(force tailList (force (force sndPair) cse)))))
((\d ->
force
(force ifThenElse
(equalsInteger 0 cse)
(delay (unIData d))
(delay error)))
(force headList (force (force sndPair) cse))))
(force (force fstPair) cse))
(unConstrData d))
(\int1Manual ->
(\x ->
(\int2Manual ->
(\y ->
(\int3Manual ->
(\z ->
(\int4Manual ->
(\w ->
(\lessThanInteger ->
addInteger
(addInteger
(addInteger
(addInteger (addInteger x y) z)
w)
(force
(case
(lessThanInteger
(addInteger y z)
(addInteger x w))
[ (delay (addInteger x z))
, (delay (addInteger y w)) ])))
(force
(case
(lessThanInteger
(addInteger
(int3Manual d)
(int2Manual d))
(addInteger
(int4Manual d)
(int1Manual d)))
[ (delay
(addInteger
(int3Manual d)
(int1Manual d)))
, (delay
(addInteger
(int4Manual d)
(int2Manual d))) ])))
(\x y ->
force ifThenElse
(lessThanInteger x y)
(constr 0 [])
(constr 1 [])))
(int4Manual d))
(\ds ->
(\tup ->
(\i ->
(\d ->
force
(force ifThenElse
(equalsInteger 0 i)
(delay (unIData d))
(delay error)))
(force headList
(force tailList
(force tailList
(force tailList
(force (force sndPair) tup))))))
(force (force fstPair) tup))
(unConstrData ds)))
(int3Manual d))
(\ds ->
(\tup ->
(\i ->
(\d ->
force
(force ifThenElse
(equalsInteger 0 i)
(delay (unIData d))
(delay error)))
(force headList
(force tailList
(force tailList
(force (force sndPair) tup)))))
(force (force fstPair) tup))
(unConstrData ds)))
(int2Manual d))
(\ds ->
(\tup ->
(\i ->
(\d ->
force
(force ifThenElse
(equalsInteger 0 i)
(delay (unIData d))
(delay error)))
(force headList
(force tailList (force (force sndPair) tup))))
(force (force fstPair) tup))
(unConstrData ds)))
(int1Manual d))
(\ds ->
(\tup ->
(\i ->
(\d ->
force
(force ifThenElse
(equalsInteger 0 i)
(delay (unIData d))
(delay error)))
(force headList (force (force sndPair) tup)))
(force (force fstPair) tup))
(unConstrData ds)))
Loading

0 comments on commit a04bf66

Please sign in to comment.