Skip to content

Add CaseApply optimization #7421

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 6 commits into
base: master
Choose a base branch
from
Open

Add CaseApply optimization #7421

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
5d158b7
Add `CaseApply` optimization
SeungheonOh Nov 15, 2025
57ce342
changelog
SeungheonOh Nov 15, 2025
b8810a2
Add `CaseApply` to metatheory
SeungheonOh Nov 17, 2025
ef0a920
fix golden
SeungheonOh Nov 17, 2025
253835b
remove wildcard
SeungheonOh Nov 18, 2025
65e3b36
indentation
SeungheonOh Nov 21, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion ...constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.golden.cbor.size
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
2045
2051
2 changes: 1 addition & 1 deletion ...stitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.golden.large.budget
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
ExBudget {exBudgetCPU = ExCPU 406467137, exBudgetMemory = ExMemory 2070956}
ExBudget {exBudgetCPU = ExCPU 403155137, exBudgetMemory = ExMemory 2050256}
2 changes: 1 addition & 1 deletion ...stitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.golden.small.budget
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
ExBudget {exBudgetCPU = ExCPU 60269664, exBudgetMemory = ExMemory 276518}
ExBudget {exBudgetCPU = ExCPU 59533664, exBudgetMemory = ExMemory 271918}
399 changes: 211 additions & 188 deletions cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.golden.uplc
View file
Open in desktop

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion ...nstitution/test/Cardano/Constitution/Validator/Data/GoldenTests/unsorted.golden.cbor.size
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
2041
2045
2 changes: 1 addition & 1 deletion ...itution/test/Cardano/Constitution/Validator/Data/GoldenTests/unsorted.golden.large.budget
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
ExBudget {exBudgetCPU = ExCPU 568927992, exBudgetMemory = ExMemory 2944491}
ExBudget {exBudgetCPU = ExCPU 566095992, exBudgetMemory = ExMemory 2926791}
2 changes: 1 addition & 1 deletion ...itution/test/Cardano/Constitution/Validator/Data/GoldenTests/unsorted.golden.small.budget
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
ExBudget {exBudgetCPU = ExCPU 58683921, exBudgetMemory = ExMemory 267719}
ExBudget {exBudgetCPU = ExCPU 58011921, exBudgetMemory = ExMemory 263519}
387 changes: 202 additions & 185 deletions ...no-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/unsorted.golden.uplc
View file
Open in desktop

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion cardano-constitution/test/Cardano/Constitution/Validator/GoldenTests/sorted.golden.cbor.size
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
2036
2042
2 changes: 1 addition & 1 deletion ...o-constitution/test/Cardano/Constitution/Validator/GoldenTests/sorted.golden.large.budget
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
ExBudget {exBudgetCPU = ExCPU 406467137, exBudgetMemory = ExMemory 2070956}
ExBudget {exBudgetCPU = ExCPU 403155137, exBudgetMemory = ExMemory 2050256}
2 changes: 1 addition & 1 deletion ...o-constitution/test/Cardano/Constitution/Validator/GoldenTests/sorted.golden.small.budget
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
ExBudget {exBudgetCPU = ExCPU 60269664, exBudgetMemory = ExMemory 276518}
ExBudget {exBudgetCPU = ExCPU 59533664, exBudgetMemory = ExMemory 271918}
399 changes: 211 additions & 188 deletions cardano-constitution/test/Cardano/Constitution/Validator/GoldenTests/sorted.golden.uplc
View file
Open in desktop

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion ...no-constitution/test/Cardano/Constitution/Validator/GoldenTests/unsorted.golden.cbor.size
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
2032
2036
2 changes: 1 addition & 1 deletion ...constitution/test/Cardano/Constitution/Validator/GoldenTests/unsorted.golden.large.budget
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
ExBudget {exBudgetCPU = ExCPU 568927992, exBudgetMemory = ExMemory 2944491}
ExBudget {exBudgetCPU = ExCPU 566095992, exBudgetMemory = ExMemory 2926791}
2 changes: 1 addition & 1 deletion ...constitution/test/Cardano/Constitution/Validator/GoldenTests/unsorted.golden.small.budget
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
ExBudget {exBudgetCPU = ExCPU 58683921, exBudgetMemory = ExMemory 267719}
ExBudget {exBudgetCPU = ExCPU 58011921, exBudgetMemory = ExMemory 263519}
387 changes: 202 additions & 185 deletions cardano-constitution/test/Cardano/Constitution/Validator/GoldenTests/unsorted.golden.uplc
View file
Open in desktop

Large diffs are not rendered by default.

8 changes: 4 additions & 4 deletions plutus-benchmark/bitwise/test/9.6/8 queens.golden.eval
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
CPU: 690_504_274_054
Memory: 2_426_715_423
AST Size: 372
Flat Size: 390
CPU: 676_514_370_054
Memory: 2_339_278_523
AST Size: 348
Flat Size: 396

(constr
1
Expand Down
126 changes: 74 additions & 52 deletions plutus-benchmark/bitwise/test/9.6/8 queens.golden.uplc
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,13 +15,17 @@
(equalsInteger 0 (remainderInteger dim 8))
[ (constr 0 [])
, ((\cse ->
go
0
0
cse
cse
cse
(replicateByte bytesNeeded 255))
case
(constr 0
[ 0
, 0
, cse
, cse
, cse
, (replicateByte
bytesNeeded
255) ])
[go])
(replicateByte bytesNeeded 0)) ])
, (constr 0 []) ])
(quotientInteger dim 8))
Expand All @@ -48,61 +52,79 @@
(\newDown ->
(\newControl ->
case
(s
s
0
newRow
newDown
newLeft
newRight
newControl)
[ (s
s
(addInteger
1
selectIx)
row
down
left
right
control)
(case
(constr 0
[ s
, 0
, newRow
, newDown
, newLeft
, newRight
, newControl ])
[s])
[ (case
(constr 0
[ s
, (addInteger
1
selectIx)
, row
, down
, left
, right
, control ])
[s])
, (\ipv
ipv ->
constr 1
[ (constr 0
[ row
, available ])
, (s
s
0
newRow
newDown
newLeft
newRight
newControl) ]) ])
, (case
(constr 0
[ s
, 0
, newRow
, newDown
, newLeft
, newRight
, newControl ])
[ s ]) ]) ])
(complementByteString
(orByteString
False
newDown
(orByteString
False
newLeft
newRight))))
(writeBits
down
(goList cse)
True))
(case
(constr 0
[ False
, newDown
, (case
(constr 0
[ False
, newLeft
, newRight ])
[ orByteString ]) ])
[ orByteString ])))
(case
(constr 0
[ down
, (goList
cse)
, True ])
[writeBits]))
(shiftByteString
(writeBits
left
(goList cse)
True)
(case
(constr 0
[ left
, (goList
cse)
, True ])
[writeBits])
1))
(shiftByteString
(writeBits
right
(goList cse)
True)
(case
(constr 0
[ right
, (goList cse)
, True ])
[writeBits])
-1))
(constr 1
[ available
Expand Down
8 changes: 4 additions & 4 deletions plutus-benchmark/bitwise/test/9.6/Ed25519.golden.eval
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
CPU: 1_628_853_751_874
Memory: 4_738_061_878
AST Size: 3_325
Flat Size: 5_265
CPU: 1_600_997_655_874
Memory: 4_563_961_278
AST Size: 3_207
Flat Size: 5_409

(con bool False)
Loading