Skip to content

Commit

Permalink
Split multi-lets in the PIR inliner (#5676)
Browse files Browse the repository at this point in the history
  • Loading branch information
@zliu41
zliu41 authored Dec 12, 2023
1 parent 9835510 commit 9607a64
Show file tree
Hide file tree
Showing 113 changed files with 300 additions and 260 deletions.
4 changes: 2 additions & 2 deletions ...emantics/9.6/0000020002010200020101020201000100010001020101020201010000020102.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 380511073
| mem: 1361975})
({cpu: 380649073
| mem: 1362575})
4 changes: 2 additions & 2 deletions ...emantics/9.6/0001000101000000010101000001000001010101010100000001000001010000.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 519840055
| mem: 1820488})
({cpu: 519978055
| mem: 1821088})
4 changes: 2 additions & 2 deletions ...emantics/9.6/0003040402030103010203030303000200000104030002040304020400000102.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1287477389
| mem: 4795886})
({cpu: 1287822389
| mem: 4797386})
4 changes: 2 additions & 2 deletions ...emantics/9.6/004025fd712d6c325ffa12c16d157064192992faf62e0b991d7310a2f91666b8.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 938193384
| mem: 3316809})
({cpu: 938538384
| mem: 3318309})
4 changes: 2 additions & 2 deletions ...emantics/9.6/0101010001010101010101000100010100000001010000010001000001000101.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 821587243
| mem: 2387270})
({cpu: 821932243
| mem: 2388770})
4 changes: 2 additions & 2 deletions ...emantics/9.6/0101020201010201010200010102000201000201010102000102010201010000.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 355565724
| mem: 1284433})
({cpu: 355703724
| mem: 1285033})
4 changes: 2 additions & 2 deletions ...emantics/9.6/0101080808040600020306010000000302050807010208060100070207080202.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 963356230
| mem: 3506928})
({cpu: 963701230
| mem: 3508428})
4 changes: 2 additions & 2 deletions ...emantics/9.6/0104010200020000040103020102020004040300030304040400010301040303.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 873316939
| mem: 3133781})
({cpu: 873661939
| mem: 3135281})
4 changes: 2 additions & 2 deletions ...emantics/9.6/04000f0b04051006000e060f09080d0b090d0104050a0b0f0506070f0a070008.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 879776899
| mem: 3148131})
({cpu: 880121899
| mem: 3149631})
4 changes: 2 additions & 2 deletions ...emantics/9.6/0543a00ba1f63076c1db6bf94c6ff13ae7d266dd7544678743890b0e8e1add63.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1273566981
| mem: 4357513})
({cpu: 1273704981
| mem: 4358113})
4 changes: 2 additions & 2 deletions ...emantics/9.6/0705030002040601010206030604080208020207000101060706050502040301.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1413224462
| mem: 4719174})
({cpu: 1413845462
| mem: 4721874})
4 changes: 2 additions & 2 deletions ...emantics/9.6/07070c070510030509010e050d00040907050e0a0d06030f1006030701020607.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1149469881
| mem: 4086827})
({cpu: 1149814881
| mem: 4088327})
4 changes: 2 additions & 2 deletions ...emantics/9.6/0bcfd9487614104ec48de2ea0b2c0979866a95115748c026f9ec129384c262c4.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1283744899
| mem: 4557499})
({cpu: 1284089899
| mem: 4558999})
4 changes: 2 additions & 2 deletions ...emantics/9.6/0be82588e4e4bf2ef428d2f44b7687bbb703031d8de696d90ec789e70d6bc1d8.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1674882064
| mem: 6031556})
({cpu: 1675227064
| mem: 6033056})
4 changes: 2 additions & 2 deletions ...emantics/9.6/0f1d0110001b121d051e15140c0c05141d151c1f1d201c040f10091b020a0e1a.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 547047391
| mem: 1971959})
({cpu: 547185391
| mem: 1972559})
4 changes: 2 additions & 2 deletions ...emantics/9.6/119fbea4164e2bf21d2b53aa6c2c4e79414fe55e4096f5ce2e804735a7fbaf91.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 903326184
| mem: 3240527})
({cpu: 903671184
| mem: 3242027})
4 changes: 2 additions & 2 deletions ...emantics/9.6/12910f24d994d451ff379b12c9d1ecdb9239c9b87e5d7bea570087ec506935d5.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 591223557
| mem: 2148315})
({cpu: 591361557
| mem: 2148915})
4 changes: 2 additions & 2 deletions ...emantics/9.6/18cefc240debc0fcab14efdd451adfd02793093efe7bc76d6322aed6ddb582ad.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 855138023
| mem: 3056693})
({cpu: 855483023
| mem: 3058193})
4 changes: 2 additions & 2 deletions ...emantics/9.6/1a2f2540121f09321216090b2b1f211e3f020c2c133a1a3c3f3c232a26153a04.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 358185609
| mem: 1289935})
({cpu: 358323609
| mem: 1290535})
4 changes: 2 additions & 2 deletions ...emantics/9.6/1a573aed5c46d637919ccb5548dfc22a55c9fc38298d567d15ee9f2eea69d89e.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1129042999
| mem: 4110258})
({cpu: 1129387999
| mem: 4111758})
4 changes: 2 additions & 2 deletions ...emantics/9.6/1d56060c3b271226064c672a282663643b1b0823471c67737f0b076870331260.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 894683709
| mem: 3144577})
({cpu: 895028709
| mem: 3146077})
4 changes: 2 additions & 2 deletions ...emantics/9.6/1d6e3c137149a440f35e0efc685b16bfb8052ebcf66ec4ad77e51c11501381c7.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 358210781
| mem: 1289935})
({cpu: 358348781
| mem: 1290535})
4 changes: 2 additions & 2 deletions ...emantics/9.6/1f0f02191604101e1f201016171604060d010d1d1c150e110a110e1006160a0d.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 685588087
| mem: 1321398})
({cpu: 685726087
| mem: 1321998})
4 changes: 2 additions & 2 deletions ...emantics/9.6/202d273721330b31193405101e0637202e2a0f1140211c3e3f171e26312b0220.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 2100974886
| mem: 1703278})
({cpu: 2101319886
| mem: 1704778})
4 changes: 2 additions & 2 deletions ...emantics/9.6/21953bf8798b28df60cb459db24843fb46782b19ba72dc4951941fb4c20d2263.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 451439627
| mem: 1663932})
({cpu: 451577627
| mem: 1664532})
4 changes: 2 additions & 2 deletions ...emantics/9.6/238b21364ab5bdae3ddb514d7001c8feba128b4ddcf426852b441f9a9d02c882.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 355565724
| mem: 1284433})
({cpu: 355703724
| mem: 1285033})
4 changes: 2 additions & 2 deletions ...emantics/9.6/26e24ee631a6d927ea4fb4fac530cfd82ff7636986014de2d2aaa460ddde0bc3.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 686375033
| mem: 2539280})
({cpu: 686513033
| mem: 2539880})
4 changes: 2 additions & 2 deletions ...emantics/9.6/2797d7ac77c1b6aff8e42cf9a47fa86b1e60f22719a996871ad412cbe4de78b5.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1126165862
| mem: 1708598})
({cpu: 1126510862
| mem: 1710098})
4 changes: 2 additions & 2 deletions ...emantics/9.6/28fdce478e179db0e38fb5f3f4105e940ece450b9ce8a0f42a6e313b752e6f2c.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 995294680
| mem: 3237524})
({cpu: 995915680
| mem: 3240224})
4 changes: 2 additions & 2 deletions ...emantics/9.6/2cb21612178a2d9336b59d06cbf80488577463d209a453048a66c6eee624a695.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 885372679
| mem: 3176147})
({cpu: 885717679
| mem: 3177647})
4 changes: 2 additions & 2 deletions ...emantics/9.6/2f58c9d884813042bce9cf7c66048767dff166785e8b5183c8139db2aa7312d1.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 915395490
| mem: 3292038})
({cpu: 915740490
| mem: 3293538})
4 changes: 2 additions & 2 deletions ...emantics/9.6/30aa34dfbe89e0c43f569929a96c0d2b74c321d13fec0375606325eee9a34a6a.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1425254110
| mem: 5254036})
({cpu: 1425599110
| mem: 5255536})
4 changes: 2 additions & 2 deletions ...emantics/9.6/322acde099bc34a929182d5b894214fc87ec88446e2d10625119a9d17fa3ec3d.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 358185609
| mem: 1289935})
({cpu: 358323609
| mem: 1290535})
4 changes: 2 additions & 2 deletions ...emantics/9.6/331e4a1bb30f28d7073c54f9a13c10ae19e2e396c299a0ce101ee6bf4b2020db.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 550636131
| mem: 2001715})
({cpu: 550774131
| mem: 2002315})
4 changes: 2 additions & 2 deletions ...emantics/9.6/33c3efd79d9234a78262b52bc6bbf8124cb321a467dedb278328215167eca455.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 767320998
| mem: 2840612})
({cpu: 767665998
| mem: 2842112})
4 changes: 2 additions & 2 deletions ...emantics/9.6/383683bfcecdab0f4df507f59631c702bd11a81ca3841f47f37633e8aacbb5de.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 917926797
| mem: 3321414})
({cpu: 918478797
| mem: 3323814})
4 changes: 2 additions & 2 deletions ...emantics/9.6/3bb75b2e53eb13f718eacd3263ab4535f9137fabffc9de499a0de7cabb335479.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 355565724
| mem: 1284433})
({cpu: 355703724
| mem: 1285033})
4 changes: 2 additions & 2 deletions ...emantics/9.6/3db496e6cd39a8b888a89d0de07dace4397878958cab3b9d9353978b08c36d8a.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 978275139
| mem: 3467670})
({cpu: 978620139
| mem: 3469170})
4 changes: 2 additions & 2 deletions ...emantics/9.6/44a9e339fa25948b48637fe7e10dcfc6d1256319a7b5ce4202cb54dfef8e37e7.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 355565724
| mem: 1284433})
({cpu: 355703724
| mem: 1285033})
4 changes: 2 additions & 2 deletions ...emantics/9.6/4c3efd13b6c69112a8a888372d56c86e60c232125976f29b1c3e21d9f537845c.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1150884252
| mem: 4122821})
({cpu: 1151229252
| mem: 4124321})
4 changes: 2 additions & 2 deletions ...emantics/9.6/4d7adf91bfc93cebe95a7e054ec17cfbb912b32bd8aecb48a228b50e02b055c8.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 789226238
| mem: 2844893})
({cpu: 789571238
| mem: 2846393})
4 changes: 2 additions & 2 deletions ...emantics/9.6/4f9e8d361b85e62db2350dd3ae77463540e7af0d28e1eb68faeecc45f4655f57.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 476568264
| mem: 1694268})
({cpu: 476706264
| mem: 1694868})
4 changes: 2 additions & 2 deletions ...emantics/9.6/52df7c8dfaa5f801cd837faa65f2fd333665fff00a555ce8c55e36ddc003007a.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 435916837
| mem: 1550025})
({cpu: 436054837
| mem: 1550625})
4 changes: 2 additions & 2 deletions ...emantics/9.6/53ed4db7ab33d6f907eec91a861d1188269be5ae1892d07ee71161bfb55a7cb7.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 447192533
| mem: 1584817})
({cpu: 447330533
| mem: 1585417})
4 changes: 2 additions & 2 deletions ...emantics/9.6/55dfe42688ad683b638df1fa7700219f00f53b335a85a2825502ab1e0687197e.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 355565724
| mem: 1284433})
({cpu: 355703724
| mem: 1285033})
4 changes: 2 additions & 2 deletions ...emantics/9.6/56333d4e413dbf1a665463bf68067f63c118f38f7539b7ba7167d577c0c8b8ce.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 979194875
| mem: 3637316})
({cpu: 979539875
| mem: 3638816})
4 changes: 2 additions & 2 deletions ...emantics/9.6/57728d8b19b0e06412786f3dfed9e1894cd0ad1d2bc2bd497ec0ecb68f989d2b.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 355565724
| mem: 1284433})
({cpu: 355703724
| mem: 1285033})
4 changes: 2 additions & 2 deletions ...emantics/9.6/5abae75af26f45658beccbe48f7c88e74efdfc0b8409ba1e98f95fa5b6caf999.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 562049659
| mem: 2025343})
({cpu: 562187659
| mem: 2025943})
4 changes: 2 additions & 2 deletions ...emantics/9.6/5d0a88250f13c49c20e146819357a808911c878a0e0a7d6f7fe1d4a619e06112.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1233049424
| mem: 4309585})
({cpu: 1233601424
| mem: 4311985})
4 changes: 2 additions & 2 deletions ...emantics/9.6/5e274e0f593511543d41570a4b03646c1d7539062b5728182e073e5760561a66.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1096870039
| mem: 3824527})
({cpu: 1097008039
| mem: 3825127})
4 changes: 2 additions & 2 deletions ...emantics/9.6/5e2c68ac9f62580d626636679679b97109109df7ac1a8ce86d3e43dfb5e4f6bc.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 598397384
| mem: 2131017})
({cpu: 598535384
| mem: 2131617})
4 changes: 2 additions & 2 deletions ...emantics/9.6/5f130d19918807b60eab4c03119d67878fb6c6712c28c54f5a25792049294acc.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 358185609
| mem: 1289935})
({cpu: 358323609
| mem: 1290535})
4 changes: 2 additions & 2 deletions ...emantics/9.6/5f306b4b24ff2b39dab6cdc9ac6ca9bb442c1dc6f4e7e412eeb5a3ced42fb642.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 927859134
| mem: 3392194})
({cpu: 928411134
| mem: 3394594})
4 changes: 2 additions & 2 deletions ...emantics/9.6/5f3d46c57a56cef6764f96c9de9677ac6e494dd7a4e368d1c8dd9c1f7a4309a5.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 564384181
| mem: 2033535})
({cpu: 564522181
| mem: 2034135})
4 changes: 2 additions & 2 deletions ...emantics/9.6/64c3d5b43f005855ffc4d0950a02fd159aa1575294ea39061b81a194ebb9eaae.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 821248010
| mem: 3021222})
({cpu: 821800010
| mem: 3023622})
4 changes: 2 additions & 2 deletions ...emantics/9.6/65bc4b69b46d18fdff0fadbf00dd5ec2b3e03805fac9d5fb4ff2d3066e53fc7e.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1339318748
| mem: 1874432})
({cpu: 1339663748
| mem: 1875932})
4 changes: 2 additions & 2 deletions ...emantics/9.6/66af9e473d75e3f464971f6879cc0f2ef84bafcb38fbfa1dbc31ac2053628a38.eval.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1677108405
| mem: 5558856})
({cpu: 1677729405
| mem: 5561556})
Loading

1 comment on commit 9607a64

@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: 9607a64 Previous: 9835510 Ratio
marlowe-semantics/f339f59bdf92495ed2b14e2e4d3705972b4dda59aa929cffe0f1ff5355db8d79 4528 μs 4312 μs 1.05
marlowe-semantics/65bc4b69b46d18fdff0fadbf00dd5ec2b3e03805fac9d5fb4ff2d3066e53fc7e 2337 μs 2223 μs 1.05
marlowe-semantics/2797d7ac77c1b6aff8e42cf9a47fa86b1e60f22719a996871ad412cbe4de78b5 1803 μs 1712 μs 1.05

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

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

Please sign in to comment.