Skip to content

Commit

Permalink
Optimization refactoring: VarsInfo and BuiltinsInfo, pure conapps (#5551
Browse files Browse the repository at this point in the history 
)

* Add VarInfo pass, use it everywhere

* Add BuiltinsInfo type, use it everywhere

* Strictify bindings uses VarsInfo

* LetFloatOut uses VarsInfo

* ThunkRecursions uses VarsInfo

* LetFloatIn uses VarsInfo

* Conapps are pure

* Changelog

* Update 9.6 test output

* Fix pir

* More fixups??

* Comments
  • Loading branch information
@michaelpj
michaelpj authored Sep 22, 2023
1 parent fb2c3e9 commit b8917a0
Show file tree
Hide file tree
Showing 397 changed files with 6,268 additions and 5,750 deletions.
4 changes: 2 additions & 2 deletions ...ole-payout/0004000402010401030101030100040000010104020201030001000204020401.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 272607771
| mem: 966608})
({cpu: 272400771
| mem: 965708})
4 changes: 2 additions & 2 deletions ...ole-payout/0100000100010000000001000100010101000101000001000000010000010000.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 401023590
| mem: 1482914})
({cpu: 400816590
| mem: 1482014})
4 changes: 2 additions & 2 deletions ...ole-payout/0101000100000101010000010101000100010101000001000001000000010101.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 293263997
| mem: 1051008})
({cpu: 293194997
| mem: 1050708})
4 changes: 2 additions & 2 deletions ...ole-payout/01dcc372ea619cb9f23c45b17b9a0a8a16b7ca0e04093ef8ecce291667a99a4c.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 236684811
| mem: 830776})
({cpu: 236615811
| mem: 830476})
4 changes: 2 additions & 2 deletions ...ole-payout/0201020201020000020000010201020001020200000002010200000101010100.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 266018940
| mem: 936350})
({cpu: 265811940
| mem: 935450})
4 changes: 2 additions & 2 deletions ...ole-payout/0202010002010100020102020102020001010101020102010001010101000100.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 245382894
| mem: 859986})
({cpu: 245175894
| mem: 859086})
4 changes: 2 additions & 2 deletions ...ole-payout/0303020000020001010201060303040208070100050401080304020801030001.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 243567317
| mem: 853384})
({cpu: 243360317
| mem: 852484})
4 changes: 2 additions & 2 deletions ...ole-payout/031d56d71454e2c4216ffaa275c4a8b3eb631109559d0e56f44ea8489f57ba97.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 308484242
| mem: 1102062})
({cpu: 308346242
| mem: 1101462})
4 changes: 2 additions & 2 deletions ...ole-payout/03d730a62332c51c7b70c16c64da72dd1c3ea36c26b41cd1a1e00d39fda3d6cc.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 286048512
| mem: 1020658})
({cpu: 285841512
| mem: 1019758})
4 changes: 2 additions & 2 deletions ...ole-payout/0403020000030204010000030001000202010101000304030001040404030100.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 262299371
| mem: 928392})
({cpu: 262161371
| mem: 927792})
4 changes: 2 additions & 2 deletions ...ole-payout/0405010105020401010304080005050800040301010800080207080704020206.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 293213547
| mem: 1044112})
({cpu: 293006547
| mem: 1043212})
4 changes: 2 additions & 2 deletions ...ole-payout/041a2c3b111139201a3a2c173c392b170e16370d300f2d28342d0f2f0e182e01.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 296115875
| mem: 1062456})
({cpu: 295977875
| mem: 1061856})
4 changes: 2 additions & 2 deletions ...ole-payout/04f592afc6e57c633b9c55246e7c82e87258f04e2fb910c37d8e2417e9db46e5.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 354127925
| mem: 1286116})
({cpu: 353920925
| mem: 1285216})
4 changes: 2 additions & 2 deletions ...ole-payout/057ebc80922f16a5f4bf13e985bf586b8cff37a2f6fe0f3ce842178c16981027.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 242020016
| mem: 850330})
({cpu: 241882016
| mem: 849730})
4 changes: 2 additions & 2 deletions ...ole-payout/06317060a8e488b1219c9dae427f9ce27918a9e09ee8ac424afa33ca923f7954.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 261995754
| mem: 923394})
({cpu: 261857754
| mem: 922794})
4 changes: 2 additions & 2 deletions ...ole-payout/07658a6c898ad6d624c37df1e49e909c2e9349ba7f4c0a6be5f166fe239bfcae.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 231011581
| mem: 798384})
({cpu: 230804581
| mem: 797484})
4 changes: 2 additions & 2 deletions ...ole-payout/0bdca1cb8fa7e38e09062557b82490714052e84e2054e913092cd84ac071b961.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 295317489
| mem: 1066496})
({cpu: 295248489
| mem: 1066196})
4 changes: 2 additions & 2 deletions ...ole-payout/0c9d3634aeae7038f839a1262d1a8bc724dc77af9426459417a56ec73240f0e0.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 256347721
| mem: 907036})
({cpu: 256278721
| mem: 906736})
4 changes: 2 additions & 2 deletions ...ole-payout/0dbb692d2bf22d25eeceac461cfebf616f54003077a8473abc0457f18e025960.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 302312189
| mem: 1091068})
({cpu: 302243189
| mem: 1090768})
4 changes: 2 additions & 2 deletions ...ole-payout/0e00171d0f1e1f14070d0a00091f07101808021d081e1b120219081312081e15.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 248348289
| mem: 878024})
({cpu: 248279289
| mem: 877724})
4 changes: 2 additions & 2 deletions ...ole-payout/0e72f62b0f922e31a2340baccc768104025400cf7fdd7dae62fbba5fc770936d.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 277575578
| mem: 985806})
({cpu: 277437578
| mem: 985206})
4 changes: 2 additions & 2 deletions ...ole-payout/0e97c9d9417354d9460f2eb35018d3904b7b035af16ab299258adab93be0911a.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 272607771
| mem: 966608})
({cpu: 272400771
| mem: 965708})
4 changes: 2 additions & 2 deletions ...ole-payout/0f010d040810040b10020e040f0e030b0a0d100f0c080c0c05000d04100c100f.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 289835982
| mem: 1037158})
({cpu: 289628982
| mem: 1036258})
4 changes: 2 additions & 2 deletions ...ole-payout/1138a04a83edc0579053f9ffa9394b41df38230121fbecebee8c039776a88c0c.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 244633793
| mem: 852892})
({cpu: 244426793
| mem: 851992})
4 changes: 2 additions & 2 deletions ...ole-payout/121a0a1b12030616111f02121a0e070716090a0e031c071419121f141409031d.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 240047813
| mem: 840432})
({cpu: 239909813
| mem: 839832})
4 changes: 2 additions & 2 deletions ...ole-payout/159e5a1bf16fe984b5569be7011b61b5e98f5d2839ca7e1b34c7f2afc7ffb58e.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 245994383
| mem: 861388})
({cpu: 245787383
| mem: 860488})
4 changes: 2 additions & 2 deletions ...ole-payout/195f522b596360690d04586a2563470f2214163435331a6622311f7323433f1c.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 240204315
| mem: 843728})
({cpu: 240066315
| mem: 843128})
4 changes: 2 additions & 2 deletions ...ole-payout/1a20b465d48a585ffd622bd8dc26a498a3c12f930ab4feab3a5064cfb3bc536a.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 270516505
| mem: 954056})
({cpu: 270309505
| mem: 953156})
4 changes: 2 additions & 2 deletions ...ole-payout/211e1b6c10260c4620074d2e372c260d38643a3d605f63772524034f0a4a7632.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 257609171
| mem: 906240})
({cpu: 257402171
| mem: 905340})
4 changes: 2 additions & 2 deletions ...ole-payout/21a1426fb3fb3019d5dc93f210152e90b0a6e740ef509b1cdd423395f010e0ca.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 274730914
| mem: 978998})
({cpu: 274592914
| mem: 978398})
4 changes: 2 additions & 2 deletions ...ole-payout/224ce46046fab9a17be4197622825f45cc0c59a6bd1604405148e43768c487ef.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 244633793
| mem: 852892})
({cpu: 244426793
| mem: 851992})
4 changes: 2 additions & 2 deletions ...ole-payout/332c2b1c11383d1b373e1315201f1128010e0e1518332f273f141b23243f2a07.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 236229824
| mem: 832670})
({cpu: 236160824
| mem: 832370})
4 changes: 2 additions & 2 deletions ...ole-payout/3565ee025317e065e8555eef288080276716366769aad89e03389f5ec4ce26d7.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 262044449
| mem: 925292})
({cpu: 261906449
| mem: 924692})
4 changes: 2 additions & 2 deletions ...ole-payout/3569299fc986f5354d02e627a9eaa48ab46d5af52722307a0af72bae87e256dc.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 242019892
| mem: 850330})
({cpu: 241881892
| mem: 849730})
4 changes: 2 additions & 2 deletions ...ole-payout/36866914aa07cf62ef36cf2cd64c7f240e3371e27bb9fff5464301678e809c40.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 242019892
| mem: 850330})
({cpu: 241881892
| mem: 849730})
4 changes: 2 additions & 2 deletions ...ole-payout/371c10d2526fc0f09dbe9ed59e44dcd949270b27dc42035addd7ff9f7e0d05e7.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 298609670
| mem: 1070426})
({cpu: 298402670
| mem: 1069526})
4 changes: 2 additions & 2 deletions ...ole-payout/3897ef714bba3e6821495b706c75f8d64264c3fdaa58a3826c808b5a768c303d.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 252607972
| mem: 891042})
({cpu: 252469972
| mem: 890442})
4 changes: 2 additions & 2 deletions ...ole-payout/4121d88f14387d33ac5e1329618068e3848445cdd66b29e5ba382be2e02a174a.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 298229103
| mem: 1077220})
({cpu: 298160103
| mem: 1076920})
4 changes: 2 additions & 2 deletions ...ole-payout/4299c7fcf093a5dbfe114c188e32ca199b571a7c25cb7f766bf49f12dab308be.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 272607771
| mem: 966608})
({cpu: 272400771
| mem: 965708})
4 changes: 2 additions & 2 deletions ...ole-payout/452e17d16222a427707fa83f63ffb79f606cc25c755a18b1e3274c964ed5ec99.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 303339197
| mem: 1079068})
({cpu: 303132197
| mem: 1078168})
4 changes: 2 additions & 2 deletions ...ole-payout/46f8d00030436e4da490a86b331fa6c3251425fb8c19556080e124d75bad7bd6.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 244178806
| mem: 854786})
({cpu: 243971806
| mem: 853886})
4 changes: 2 additions & 2 deletions ...ole-payout/47364cfaf2c00f7d633283dce6cf84e4fd4e8228c0a0aa50e7c55f35c3ecaa1c.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 244178806
| mem: 854786})
({cpu: 243971806
| mem: 853886})
4 changes: 2 additions & 2 deletions ...ole-payout/49b8275d0cb817be40865694ab05e3cfe5fc35fb43b78e7de68c1f3519b536bd.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 258069958
| mem: 914234})
({cpu: 258000958
| mem: 913934})
4 changes: 2 additions & 2 deletions ...ole-payout/4dd7755b6ca1f0c9747c1fc0ee4da799f6f1c07108e980bd9f820911ad711ff2.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 341817113
| mem: 1246740})
({cpu: 341748113
| mem: 1246440})
4 changes: 2 additions & 2 deletions ...ole-payout/4fbcfdb577a56b842d6f6938187a783f71d9da7519353e3da3ef0c564e1eb344.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 313206432
| mem: 1126758})
({cpu: 313068432
| mem: 1126158})
4 changes: 2 additions & 2 deletions ...ole-payout/5a0725d49c733130eda8bc6ed5234f7f6ff8c9dd2d201e8806125e5fbcc081f9.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 264658789
| mem: 944492})
({cpu: 264589789
| mem: 944192})
4 changes: 2 additions & 2 deletions ...ole-payout/5a2aae344e569a2c644dd9fa8c7b1f129850937eb562b7748c275f9e40bed596.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 244178806
| mem: 854786})
({cpu: 243971806
| mem: 853886})
4 changes: 2 additions & 2 deletions ...ole-payout/5ade103e9530dd0d572fe1b053ea65ad925c6ebbe321e873ace8b804363fa82c.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 361773585
| mem: 1329492})
({cpu: 361635585
| mem: 1328892})
4 changes: 2 additions & 2 deletions ...ole-payout/5d4c62a0671c65a14f6a15093e3efc4f1816d95a5a58fd92486bedaae8d9526b.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 295317489
| mem: 1066496})
({cpu: 295248489
| mem: 1066196})
4 changes: 2 additions & 2 deletions ...ole-payout/5efe992e306e31cc857c64a62436ad2f9325acc5b4a74a8cebccdfd853ce63d2.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 258069958
| mem: 914234})
({cpu: 258000958
| mem: 913934})
4 changes: 2 additions & 2 deletions ...ole-payout/622a7f3bc611b5149253c9189da022a9ff296f60a5b7c172a6dc286faa7284fa.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 305834748
| mem: 1101482})
({cpu: 305696748
| mem: 1100882})
4 changes: 2 additions & 2 deletions ...ole-payout/6621a69217f09d91f42876a9c0cecf79de0e29bdd5b16c82c6c52cf959092ec4.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 276405617
| mem: 985704})
({cpu: 276198617
| mem: 984804})
4 changes: 2 additions & 2 deletions ...ole-payout/674b0577409957172ad85223c765d17e94c27714276c49c38dfae0a47a561a1e.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 240204315
| mem: 843728})
({cpu: 240066315
| mem: 843128})
4 changes: 2 additions & 2 deletions ...ole-payout/6b7bc2b9002a71b33cfd535d43f26334a283d0b9ad189b7cd74baac232c3b9fc.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 231011581
| mem: 798384})
({cpu: 230804581
| mem: 797484})
4 changes: 2 additions & 2 deletions ...ole-payout/6c364699767a84059ffd99cf718562a8c09d96e343f23dc481e8ffda13af424f.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 244178806
| mem: 854786})
({cpu: 243971806
| mem: 853886})
4 changes: 2 additions & 2 deletions ...ole-payout/6d66bddb4269bdf77392d3894da5341cf019d39787522af4f83f01285991e93c.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 245994383
| mem: 861388})
({cpu: 245787383
| mem: 860488})
4 changes: 2 additions & 2 deletions ...ole-payout/73f044f34a30f26639c58bafe952047f74c7bf1eafebab5aadf5b73cfb9024ed.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 244178806
| mem: 854786})
({cpu: 243971806
| mem: 853886})
Loading

1 comment on commit b8917a0

@github-actions
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Plutus Benchmarks'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.05.

Benchmark suite Current: b8917a0 Previous: fb2c3e9 Ratio
validation-decode-crowdfunding-success-2 243.9 μs 221.6 μs 1.10
validation-decode-stablecoin_2-4 175.4 μs 154.5 μs 1.14

This comment was automatically generated by workflow using github-action-benchmark.

CC: @input-output-hk/plutus-core

Please sign in to comment.