feat(interpret): prove interpretOp' monotone

[tobiasgrosser]

No description provided.

[github-actions]

VeIR Benchmarks

Details

Benchmark suite	Current: 4d4fe47	Previous: a79f6a5	Ratio
add-fold-worklist/create	1833000 ns (± 89815)	1844000 ns (± 15566)	0.99
add-fold-worklist/rewrite	3351000 ns (± 40106)	3381000 ns (± 42997)	0.99
add-fold-worklist-local/create	1829000 ns (± 19677)	1847000 ns (± 91995)	0.99
add-fold-worklist-local/rewrite	2775000 ns (± 33596)	2806000 ns (± 94854)	0.99
add-zero-worklist/create	1820500 ns (± 87165)	1833000 ns (± 21312)	0.99
add-zero-worklist/rewrite	2131000 ns (± 52632)	2113000 ns (± 21095)	1.01
add-zero-reuse-worklist/create	1500000 ns (± 17916)	1524000 ns (± 10407)	0.98
add-zero-reuse-worklist/rewrite	1768000 ns (± 60940)	1753000 ns (± 31072)	1.01
mul-two-worklist/create	1840000 ns (± 54399)	1869000 ns (± 93668)	0.98
mul-two-worklist/rewrite	4714000 ns (± 33275)	4776500 ns (± 134680)	0.99
add-fold-forwards/create	1840000 ns (± 88976)	1846500 ns (± 92335)	1.00
add-fold-forwards/rewrite	2664000 ns (± 23805)	2695000 ns (± 50451)	0.99
add-zero-forwards/create	1842000 ns (± 91777)	1855000 ns (± 10257)	0.99
add-zero-forwards/rewrite	1777000 ns (± 84735)	1777000 ns (± 14571)	1
add-zero-reuse-forwards/create	1509000 ns (± 75479)	1544000 ns (± 16037)	0.98
add-zero-reuse-forwards/rewrite	1414000 ns (± 58951)	1440000 ns (± 16025)	0.98
mul-two-forwards/create	1842500 ns (± 93564)	1837000 ns (± 23488)	1.00
mul-two-forwards/rewrite	3254000 ns (± 87528)	3271000 ns (± 30931)	0.99
add-zero-reuse-first/create	1533000 ns (± 53369)	1526000 ns (± 16233)	1.00
add-zero-reuse-first/rewrite	9000 ns (± 0)	9000 ns (± 447)	1
add-zero-lots-of-reuse-first/create	1519000 ns (± 55340)	1537000 ns (± 70602)	0.99
add-zero-lots-of-reuse-first/rewrite	764000 ns (± 30566)	753000 ns (± 19370)	1.01

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