Skip to content

Commit

Permalink
[Optimization] Remove case-of-case
Browse files Browse the repository at this point in the history
  • Loading branch information
@effectfully
effectfully committed Jun 26, 2024
1 parent 89a8aa1 commit cd205ea
Show file tree
Hide file tree
Showing 404 changed files with 3,408 additions and 2,670 deletions.
8 changes: 4 additions & 4 deletions plutus-benchmark/bls12-381-costs/test/9.6/bls12-381-costs.golden
View file
Original file line number Diff line number Diff line change
Expand Up @@ -103,7 +103,7 @@ VRF example

n Script size CPU usage Memory usage
----------------------------------------------------------------------
- 712 (4.3%) 1220773236 (12.2%) 47949 (0.3%)
- 714 (4.4%) 1220805236 (12.2%) 48149 (0.3%)

G1 Verify

Expand All @@ -127,19 +127,19 @@ Aggregate Multi Key

n Script size CPU usage Memory usage
----------------------------------------------------------------------
- 1704 (10.4%) 3446243236 (34.5%) 421586 (3.0%)
- 1705 (10.4%) 3446371236 (34.5%) 422386 (3.0%)

Schnorr Signature G1

n Script size CPU usage Memory usage
----------------------------------------------------------------------
- 370 (2.3%) 320182564 (3.2%) 13796 (0.1%)
- 371 (2.3%) 320214564 (3.2%) 13996 (0.1%)

Schnorr Signature G2

n Script size CPU usage Memory usage
----------------------------------------------------------------------
- 514 (3.1%) 552393171 (5.5%) 13964 (0.1%)
- 515 (3.1%) 552425171 (5.5%) 14164 (0.1%)

Groth16Verify succeeded
Simple Verify succeeded
Expand Down
32 changes: 16 additions & 16 deletions plutus-benchmark/ed25519-costs/test/9.6/ed25519-costs.golden
View file
Original file line number Diff line number Diff line change
@@ -1,20 +1,20 @@
n Script size CPU usage Memory usage
----------------------------------------------------------------------
0 481 (2.9%) 4458441 (0.0%) 21522 (0.2%)
10 2208 (13.5%) 646843741 (6.5%) 516352 (3.7%)
20 3935 (24.0%) 1289229041 (12.9%) 1011182 (7.2%)
30 5662 (34.6%) 1931614341 (19.3%) 1506012 (10.8%)
40 7389 (45.1%) 2573999641 (25.7%) 2000842 (14.3%)
50 9115 (55.6%) 3216384941 (32.2%) 2495672 (17.8%)
60 10842 (66.2%) 3858770241 (38.6%) 2990502 (21.4%)
70 12569 (76.7%) 4501155541 (45.0%) 3485332 (24.9%)
80 14295 (87.2%) 5143540841 (51.4%) 3980162 (28.4%)
90 16022 (97.8%) 5785926141 (57.9%) 4474992 (32.0%)
100 17749 (108.3%) 6428311441 (64.3%) 4969822 (35.5%)
110 19476 (118.9%) 7070696741 (70.7%) 5464652 (39.0%)
120 21202 (129.4%) 7713082041 (77.1%) 5959482 (42.6%)
130 22929 (139.9%) 8355467341 (83.6%) 6454312 (46.1%)
140 24656 (150.5%) 8997852641 (90.0%) 6949142 (49.6%)
150 26383 (161.0%) 9640237941 (96.4%) 7443972 (53.2%)
0 486 (3.0%) 4490441 (0.0%) 21722 (0.2%)
10 2213 (13.5%) 647515741 (6.5%) 520552 (3.7%)
20 3940 (24.0%) 1290541041 (12.9%) 1019382 (7.3%)
30 5667 (34.6%) 1933566341 (19.3%) 1518212 (10.8%)
40 7394 (45.1%) 2576591641 (25.8%) 2017042 (14.4%)
50 9120 (55.7%) 3219616941 (32.2%) 2515872 (18.0%)
60 10847 (66.2%) 3862642241 (38.6%) 3014702 (21.5%)
70 12574 (76.7%) 4505667541 (45.1%) 3513532 (25.1%)
80 14300 (87.3%) 5148692841 (51.5%) 4012362 (28.7%)
90 16027 (97.8%) 5791718141 (57.9%) 4511192 (32.2%)
100 17754 (108.4%) 6434743441 (64.3%) 5010022 (35.8%)
110 19481 (118.9%) 7077768741 (70.8%) 5508852 (39.3%)
120 21207 (129.4%) 7720794041 (77.2%) 6007682 (42.9%)
130 22934 (140.0%) 8363819341 (83.6%) 6506512 (46.5%)
140 24661 (150.5%) 9006844641 (90.1%) 7005342 (50.0%)
150 26388 (161.1%) 9649869941 (96.5%) 7504172 (53.6%)

Off-chain version succeeded on 100 inputs
4 changes: 2 additions & 2 deletions plutus-benchmark/lists/test/Lookup/9.6/match-builtin-list-10.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 196086904
| mem: 837952})
({cpu: 199606904
| mem: 859952})
4 changes: 2 additions & 2 deletions plutus-benchmark/lists/test/Lookup/9.6/match-builtin-list-100.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 16341428194
| mem: 69498232})
({cpu: 16664628194
| mem: 71518232})
4 changes: 2 additions & 2 deletions plutus-benchmark/lists/test/Lookup/9.6/match-builtin-list-5.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 58837074
| mem: 253492})
({cpu: 59797074
| mem: 259492})
4 changes: 2 additions & 2 deletions plutus-benchmark/lists/test/Lookup/9.6/match-builtin-list-50.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 4173000144
| mem: 17753632})
({cpu: 4254600144
| mem: 18263632})
4 changes: 2 additions & 2 deletions plutus-benchmark/lists/test/Lookup/9.6/match-scott-list-10.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 113745780
| mem: 538480})
({cpu: 117905780
| mem: 564480})
4 changes: 2 additions & 2 deletions plutus-benchmark/lists/test/Lookup/9.6/match-scott-list-100.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 8662950900
| mem: 39539800})
({cpu: 8992550900
| mem: 41599800})
4 changes: 2 additions & 2 deletions plutus-benchmark/lists/test/Lookup/9.6/match-scott-list-5.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 36645190
| mem: 178640})
({cpu: 37925190
| mem: 186640})
4 changes: 2 additions & 2 deletions plutus-benchmark/lists/test/Lookup/9.6/match-scott-list-50.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 2238212500
| mem: 10264400})
({cpu: 2323012500
| mem: 10794400})
4 changes: 2 additions & 2 deletions plutus-benchmark/lists/test/Sum/9.6/left-fold-data.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 272684232
| mem: 1083930})
({cpu: 279116232
| mem: 1124130})
4 changes: 2 additions & 2 deletions plutus-benchmark/lists/test/Sum/9.6/right-fold-data.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 277484232
| mem: 1113930})
({cpu: 283916232
| mem: 1154130})
4 changes: 2 additions & 2 deletions ...payout/9.6/0004000402010401030101030100040000010104020201030001000204020401.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 185634074
| mem: 876490})
({cpu: 193314074
| mem: 924490})
4 changes: 2 additions & 2 deletions ...payout/9.6/0100000100010000000001000100010101000101000001000000010000010000.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 274904136
| mem: 1373904})
({cpu: 282840136
| mem: 1423504})
4 changes: 2 additions & 2 deletions ...payout/9.6/0101000100000101010000010101000100010101000001000001000000010101.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 200204188
| mem: 956454})
({cpu: 207116188
| mem: 999654})
4 changes: 2 additions & 2 deletions ...payout/9.6/01dcc372ea619cb9f23c45b17b9a0a8a16b7ca0e04093ef8ecce291667a99a4c.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 160863938
| mem: 747222})
({cpu: 167775938
| mem: 790422})
4 changes: 2 additions & 2 deletions ...payout/9.6/0201020201020000020000010201020001020200000002010200000101010100.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 181505946
| mem: 850332})
({cpu: 189185946
| mem: 898332})
4 changes: 2 additions & 2 deletions ...payout/9.6/0202010002010100020102020102020001010101020102010001010101000100.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 168188754
| mem: 778272})
({cpu: 175996754
| mem: 827072})
4 changes: 2 additions & 2 deletions ...payout/9.6/0303020000020001010201060303040208070100050401080304020801030001.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 167027055
| mem: 771670})
({cpu: 174835055
| mem: 820470})
4 changes: 2 additions & 2 deletions ...payout/9.6/031d56d71454e2c4216ffaa275c4a8b3eb631109559d0e56f44ea8489f57ba97.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 211814344
| mem: 1011576})
({cpu: 219110344
| mem: 1057176})
4 changes: 2 additions & 2 deletions ...payout/9.6/03d730a62332c51c7b70c16c64da72dd1c3ea36c26b41cd1a1e00d39fda3d6cc.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 195879877
| mem: 931044})
({cpu: 203687877
| mem: 979844})
4 changes: 2 additions & 2 deletions ...payout/9.6/0403020000030204010000030001000202010101000304030001040404030100.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 180062226
| mem: 842410})
({cpu: 187486226
| mem: 888810})
4 changes: 2 additions & 2 deletions ...payout/9.6/0405010105020401010304080005050800040301010800080207080704020206.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 200758582
| mem: 953594})
({cpu: 208438582
| mem: 1001594})
4 changes: 2 additions & 2 deletions ...payout/9.6/041a2c3b111139201a3a2c173c392b170e16370d300f2d28342d0f2f0e182e01.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 202287269
| mem: 970170})
({cpu: 209583269
| mem: 1015770})
4 changes: 2 additions & 2 deletions ...payout/9.6/04f592afc6e57c633b9c55246e7c82e87258f04e2fb910c37d8e2417e9db46e5.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 240745580
| mem: 1178698})
({cpu: 248425580
| mem: 1226698})
4 changes: 2 additions & 2 deletions ...payout/9.6/057ebc80922f16a5f4bf13e985bf586b8cff37a2f6fe0f3ce842178c16981027.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 164932760
| mem: 766344})
({cpu: 172228760
| mem: 811944})
4 changes: 2 additions & 2 deletions ...payout/9.6/06317060a8e488b1219c9dae427f9ce27918a9e09ee8ac424afa33ca923f7954.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 178424220
| mem: 838008})
({cpu: 185720220
| mem: 883608})
4 changes: 2 additions & 2 deletions ...payout/9.6/07658a6c898ad6d624c37df1e49e909c2e9349ba7f4c0a6be5f166fe239bfcae.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 157679050
| mem: 714766})
({cpu: 165359050
| mem: 762766})
4 changes: 2 additions & 2 deletions ...payout/9.6/0bdca1cb8fa7e38e09062557b82490714052e84e2054e913092cd84ac071b961.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 201678300
| mem: 974642})
({cpu: 208590300
| mem: 1017842})
4 changes: 2 additions & 2 deletions ...payout/9.6/0c9d3634aeae7038f839a1262d1a8bc724dc77af9426459417a56ec73240f0e0.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 174860232
| mem: 818382})
({cpu: 181772232
| mem: 861582})
4 changes: 2 additions & 2 deletions ...payout/9.6/0d0f01050a0a0a0b0b050d0404090e0d0506000d0a041003040e0f100e0a0408.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 177120969
| mem: 846810})
({cpu: 183648969
| mem: 887610})
4 changes: 2 additions & 2 deletions ...payout/9.6/0dbb692d2bf22d25eeceac461cfebf616f54003077a8473abc0457f18e025960.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 205776840
| mem: 991014})
({cpu: 212688840
| mem: 1034214})
4 changes: 2 additions & 2 deletions ...payout/9.6/0e00171d0f1e1f14070d0a00091f07101808021d081e1b120219081312081e15.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 169575250
| mem: 794270})
({cpu: 176487250
| mem: 837470})
4 changes: 2 additions & 2 deletions ...payout/9.6/0e72f62b0f922e31a2340baccc768104025400cf7fdd7dae62fbba5fc770936d.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 189127582
| mem: 895920})
({cpu: 196423582
| mem: 941520})
4 changes: 2 additions & 2 deletions ...payout/9.6/0e97c9d9417354d9460f2eb35018d3904b7b035af16ab299258adab93be0911a.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 185634074
| mem: 876490})
({cpu: 193314074
| mem: 924490})
4 changes: 2 additions & 2 deletions ...payout/9.6/0f010d040810040b10020e040f0e030b0a0d100f0c080c0c05000d04100c100f.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 197854138
| mem: 944840})
({cpu: 205534138
| mem: 992840})
4 changes: 2 additions & 2 deletions ...payout/9.6/1138a04a83edc0579053f9ffa9394b41df38230121fbecebee8c039776a88c0c.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 166703314
| mem: 768474})
({cpu: 174383314
| mem: 816474})
4 changes: 2 additions & 2 deletions ...payout/9.6/121a0a1b12030616111f02121a0e070716090a0e031c071419121f141409031d.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 164120008
| mem: 759150})
({cpu: 171544008
| mem: 805550})
4 changes: 2 additions & 2 deletions ...payout/9.6/159e5a1bf16fe984b5569be7011b61b5e98f5d2839ca7e1b34c7f2afc7ffb58e.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 167852372
| mem: 776970})
({cpu: 175532372
| mem: 824970})
4 changes: 2 additions & 2 deletions ...payout/9.6/195f522b596360690d04586a2563470f2214163435331a6622311f7323433f1c.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 163770985
| mem: 759742})
({cpu: 171066985
| mem: 805342})
4 changes: 2 additions & 2 deletions ...payout/9.6/1a20b465d48a585ffd622bd8dc26a498a3c12f930ab4feab3a5064cfb3bc536a.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 184968930
| mem: 864938})
({cpu: 192648930
| mem: 912938})
4 changes: 2 additions & 2 deletions ...payout/9.6/211e1b6c10260c4620074d2e372c260d38643a3d605f63772524034f0a4a7632.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 176354135
| mem: 821422})
({cpu: 184034135
| mem: 869422})
4 changes: 2 additions & 2 deletions ...payout/9.6/21a1426fb3fb3019d5dc93f210152e90b0a6e740ef509b1cdd423395f010e0ca.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 187484751
| mem: 888312})
({cpu: 194780751
| mem: 933912})
4 changes: 2 additions & 2 deletions ...payout/9.6/224ce46046fab9a17be4197622825f45cc0c59a6bd1604405148e43768c487ef.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 166703314
| mem: 768474})
({cpu: 174383314
| mem: 816474})
4 changes: 2 additions & 2 deletions ...payout/9.6/332c2b1c11383d1b373e1315201f1128010e0e1518332f273f141b23243f2a07.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 160851297
| mem: 749116})
({cpu: 167763297
| mem: 792316})
4 changes: 2 additions & 2 deletions ...payout/9.6/3565ee025317e065e8555eef288080276716366769aad89e03389f5ec4ce26d7.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 178586258
| mem: 839706})
({cpu: 185882258
| mem: 885306})
4 changes: 2 additions & 2 deletions ...payout/9.6/3569299fc986f5354d02e627a9eaa48ab46d5af52722307a0af72bae87e256dc.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 164932684
| mem: 766344})
({cpu: 172228684
| mem: 811944})
4 changes: 2 additions & 2 deletions ...payout/9.6/36866914aa07cf62ef36cf2cd64c7f240e3371e27bb9fff5464301678e809c40.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 164932684
| mem: 766344})
({cpu: 172228684
| mem: 811944})
4 changes: 2 additions & 2 deletions ...payout/9.6/371c10d2526fc0f09dbe9ed59e44dcd949270b27dc42035addd7ff9f7e0d05e7.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 203752158
| mem: 977312})
({cpu: 211560158
| mem: 1026112})
Loading

0 comments on commit cd205ea

Please sign in to comment.