Skip to content
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

Jump to bottom

[Builtins] Unfold 'geq' for the default universe #4463

Closed
wants to merge 1 commit into from
Closed

[Builtins] Unfold 'geq' for the default universe #4463

wants to merge 1 commit into from

Conversation

effectfully
Copy link
Contributor

Don't look here yet.

@effectfully
Copy link
Contributor Author

/benchmark plutus-benchmark:validation

@iohk-devops
Copy link

Comparing benchmark results of 'plutus-benchmark:validation' on 'edcf0e886' (base) and 'ccc04992b' (PR)

Script edcf0e8 ccc0499 Change
auction_1-1 267.2 μs 264.1 μs -1.2%
auction_1-2 922.9 μs 911.1 μs -1.3%
auction_1-3 916.2 μs 905.1 μs -1.2%
auction_1-4 346.8 μs 344.0 μs -0.8%
auction_2-1 266.4 μs 264.7 μs -0.6%
auction_2-2 917.0 μs 908.9 μs -0.9%
auction_2-3 1.173 ms 1.156 ms -1.4%
auction_2-4 917.4 μs 904.7 μs -1.4%
auction_2-5 347.9 μs 344.3 μs -1.0%
crowdfunding-success-1 314.0 μs 310.7 μs -1.1%
crowdfunding-success-2 313.9 μs 310.6 μs -1.1%
crowdfunding-success-3 313.5 μs 310.7 μs -0.9%
currency-1 355.3 μs 352.2 μs -0.9%
escrow-redeem_1-1 521.1 μs 513.3 μs -1.5%
escrow-redeem_1-2 520.9 μs 513.7 μs -1.4%
escrow-redeem_2-1 610.0 μs 601.4 μs -1.4%
escrow-redeem_2-2 609.6 μs 598.3 μs -1.9%
escrow-redeem_2-3 610.6 μs 599.0 μs -1.9%
escrow-refund-1 235.4 μs 231.9 μs -1.5%
future-increase-margin-1 356.3 μs 350.1 μs -1.7%
future-increase-margin-2 795.0 μs 781.3 μs -1.7%
future-increase-margin-3 793.4 μs 782.5 μs -1.4%
future-increase-margin-4 734.0 μs 725.0 μs -1.2%
future-increase-margin-5 1.123 ms 1.114 ms -0.8%
future-pay-out-1 355.0 μs 350.6 μs -1.2%
future-pay-out-2 792.5 μs 781.7 μs -1.4%
future-pay-out-3 794.8 μs 783.4 μs -1.4%
future-pay-out-4 1.128 ms 1.109 ms -1.7%
future-settle-early-1 355.2 μs 350.9 μs -1.2%
future-settle-early-2 796.2 μs 784.3 μs -1.5%
future-settle-early-3 794.7 μs 786.6 μs -1.0%
future-settle-early-4 868.6 μs 859.5 μs -1.0%
game-sm-success_1-1 581.9 μs 577.2 μs -0.8%
game-sm-success_1-2 295.1 μs 294.7 μs -0.1%
game-sm-success_1-3 921.3 μs 913.3 μs -0.9%
game-sm-success_1-4 346.1 μs 342.7 μs -1.0%
game-sm-success_2-1 584.0 μs 575.2 μs -1.5%
game-sm-success_2-2 297.3 μs 294.5 μs -0.9%
game-sm-success_2-3 923.5 μs 912.4 μs -1.2%
game-sm-success_2-4 345.9 μs 341.4 μs -1.3%
game-sm-success_2-5 928.6 μs 908.8 μs -2.1%
game-sm-success_2-6 345.9 μs 341.3 μs -1.3%
multisig-sm-1 589.8 μs 581.7 μs -1.4%
multisig-sm-2 578.0 μs 567.9 μs -1.7%
multisig-sm-3 582.9 μs 576.9 μs -1.0%
multisig-sm-4 590.0 μs 582.0 μs -1.4%
multisig-sm-5 812.4 μs 802.8 μs -1.2%
multisig-sm-6 587.8 μs 581.8 μs -1.0%
multisig-sm-7 575.9 μs 567.8 μs -1.4%
multisig-sm-8 583.2 μs 576.3 μs -1.2%
multisig-sm-9 592.3 μs 583.4 μs -1.5%
multisig-sm-10 813.9 μs 804.1 μs -1.2%
ping-pong-1 487.4 μs 482.3 μs -1.0%
ping-pong-2 486.6 μs 483.3 μs -0.7%
ping-pong_2-1 295.8 μs 293.4 μs -0.8%
prism-1 246.4 μs 243.8 μs -1.1%
prism-2 629.2 μs 623.4 μs -0.9%
prism-3 538.5 μs 531.4 μs -1.3%
pubkey-1 209.4 μs 207.4 μs -1.0%
stablecoin_1-1 1.291 ms 1.265 ms -2.0%
stablecoin_1-2 289.3 μs 286.1 μs -1.1%
stablecoin_1-3 1.479 ms 1.446 ms -2.2%
stablecoin_1-4 307.5 μs 303.7 μs -1.2%
stablecoin_1-5 1.873 ms 1.839 ms -1.8%
stablecoin_1-6 380.9 μs 378.4 μs -0.7%
stablecoin_2-1 1.283 ms 1.264 ms -1.5%
stablecoin_2-2 288.5 μs 286.0 μs -0.9%
stablecoin_2-3 1.476 ms 1.448 ms -1.9%
stablecoin_2-4 305.8 μs 305.3 μs -0.2%
token-account-1 272.9 μs 272.1 μs -0.3%
token-account-2 479.4 μs 477.5 μs -0.4%
uniswap-1 582.0 μs 574.1 μs -1.4%
uniswap-2 325.5 μs 322.2 μs -1.0%
uniswap-3 2.418 ms 2.367 ms -2.1%
uniswap-4 506.3 μs 501.6 μs -0.9%
uniswap-5 1.685 ms 1.650 ms -2.1%
uniswap-6 483.4 μs 478.1 μs -1.1%
vesting-1 503.7 μs 499.6 μs -0.8%

@effectfully effectfully force-pushed the effectfully/builtins/unfolding-GEq branch from ccc0499 to 50cff9b Compare March 21, 2022 11:05
@effectfully
Copy link
Contributor Author

/benchmark plutus-benchmark:validation

@iohk-devops
Copy link

Comparing benchmark results of 'plutus-benchmark:validation' on 'dc9275462' (base) and '50cff9b61' (PR)

Script dc92754 50cff9b Change
auction_1-1 242.2 μs 240.9 μs -0.5%
auction_1-2 885.2 μs 879.2 μs -0.7%
auction_1-3 876.3 μs 871.2 μs -0.6%
auction_1-4 314.2 μs 313.6 μs -0.2%
auction_2-1 242.6 μs 241.2 μs -0.6%
auction_2-2 882.3 μs 881.2 μs -0.1%
auction_2-3 1.119 ms 1.116 ms -0.3%
auction_2-4 871.0 μs 872.5 μs +0.2%
auction_2-5 312.1 μs 313.9 μs +0.6%
crowdfunding-success-1 283.6 μs 283.9 μs +0.1%
crowdfunding-success-2 284.9 μs 283.8 μs -0.4%
crowdfunding-success-3 283.9 μs 284.1 μs +0.1%
currency-1 336.1 μs 337.3 μs +0.4%
escrow-redeem_1-1 485.4 μs 487.2 μs +0.4%
escrow-redeem_1-2 485.2 μs 486.3 μs +0.2%
escrow-redeem_2-1 571.7 μs 571.1 μs -0.1%
escrow-redeem_2-2 572.4 μs 571.6 μs -0.1%
escrow-redeem_2-3 571.6 μs 571.1 μs -0.1%
escrow-refund-1 214.2 μs 213.3 μs -0.4%
future-increase-margin-1 335.4 μs 335.8 μs +0.1%
future-increase-margin-2 748.4 μs 751.1 μs +0.4%
future-increase-margin-3 748.1 μs 750.7 μs +0.3%
future-increase-margin-4 693.6 μs 693.5 μs -0.0%
future-increase-margin-5 1.073 ms 1.077 ms +0.4%
future-pay-out-1 335.6 μs 335.7 μs +0.0%
future-pay-out-2 748.7 μs 749.5 μs +0.1%
future-pay-out-3 750.4 μs 750.3 μs -0.0%
future-pay-out-4 1.073 ms 1.076 ms +0.3%
future-settle-early-1 335.6 μs 337.1 μs +0.4%
future-settle-early-2 746.9 μs 751.0 μs +0.5%
future-settle-early-3 747.6 μs 754.0 μs +0.9%
future-settle-early-4 825.6 μs 829.6 μs +0.5%
game-sm-success_1-1 550.4 μs 546.7 μs -0.7%
game-sm-success_1-2 267.4 μs 266.6 μs -0.3%
game-sm-success_1-3 879.2 μs 874.8 μs -0.5%
game-sm-success_1-4 312.7 μs 311.3 μs -0.4%
game-sm-success_2-1 548.8 μs 546.5 μs -0.4%
game-sm-success_2-2 267.1 μs 266.8 μs -0.1%
game-sm-success_2-3 875.8 μs 875.1 μs -0.1%
game-sm-success_2-4 312.0 μs 312.0 μs 0.0%
game-sm-success_2-5 875.1 μs 874.8 μs -0.0%
game-sm-success_2-6 311.5 μs 311.8 μs +0.1%
multisig-sm-1 558.1 μs 555.4 μs -0.5%
multisig-sm-2 547.0 μs 543.2 μs -0.7%
multisig-sm-3 553.5 μs 549.3 μs -0.8%
multisig-sm-4 559.8 μs 555.7 μs -0.7%
multisig-sm-5 776.2 μs 776.7 μs +0.1%
multisig-sm-6 558.9 μs 557.9 μs -0.2%
multisig-sm-7 546.9 μs 544.9 μs -0.4%
multisig-sm-8 552.8 μs 549.8 μs -0.5%
multisig-sm-9 558.5 μs 557.8 μs -0.1%
multisig-sm-10 774.3 μs 772.9 μs -0.2%
ping-pong-1 460.4 μs 458.5 μs -0.4%
ping-pong-2 461.1 μs 458.0 μs -0.7%
ping-pong_2-1 275.8 μs 274.2 μs -0.6%
prism-1 223.1 μs 220.8 μs -1.0%
prism-2 595.4 μs 588.6 μs -1.1%
prism-3 503.9 μs 502.5 μs -0.3%
pubkey-1 189.2 μs 188.0 μs -0.6%
stablecoin_1-1 1.217 ms 1.207 ms -0.8%
stablecoin_1-2 260.9 μs 260.9 μs 0.0%
stablecoin_1-3 1.391 ms 1.376 ms -1.1%
stablecoin_1-4 276.6 μs 276.7 μs +0.0%
stablecoin_1-5 1.752 ms 1.738 ms -0.8%
stablecoin_1-6 343.7 μs 345.5 μs +0.5%
stablecoin_2-1 1.210 ms 1.213 ms +0.2%
stablecoin_2-2 260.0 μs 261.4 μs +0.5%
stablecoin_2-3 1.389 ms 1.383 ms -0.4%
stablecoin_2-4 277.2 μs 277.2 μs 0.0%
token-account-1 254.3 μs 253.6 μs -0.3%
token-account-2 453.2 μs 449.8 μs -0.8%
uniswap-1 554.5 μs 557.4 μs +0.5%
uniswap-2 300.4 μs 300.5 μs +0.0%
uniswap-3 2.244 ms 2.226 ms -0.8%
uniswap-4 458.2 μs 458.8 μs +0.1%
uniswap-5 1.558 ms 1.547 ms -0.7%
uniswap-6 440.5 μs 439.8 μs -0.2%
vesting-1 479.6 μs 477.6 μs -0.4%

@effectfully
Copy link
Contributor Author

Clearly not worth it.

@effectfully effectfully deleted the effectfully/builtins/unfolding-GEq branch March 21, 2022 15:44
This was referenced Jan 18, 2023
Open
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
Builtins Evaluation Performance
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@effectfully @iohk-devops