start a blog post draft on the optimization rule dsl #141
Conversation
posts/2024/10/jit-peephole-dsl.rst
Outdated
| Adding more rules to these functions was very tedious and got super confusing | ||
| after a while. In addition I was worried about making mistakes when writing this | ||
| kind of code, and I had basically no feedback at all about which of these rules | ||
| are actually applied a lot in real programs. |
There was a problem hiding this comment.
maybe mention boat beer chat? :D
There was a problem hiding this comment.
oh, I forgot. what did we discuss on the boat that was relevant?
There was a problem hiding this comment.
Something John was working on that inspired this whole z3 adventure
posts/2024/10/jit-peephole-dsl.rst
Outdated
| constant zero. After the ``=>`` arrow is the target of the rewrite, i.e. what the | ||
| operation is rewritten to, in this case ``x``. | ||
|
|
||
| The rule language knowns which of the operations are commutative, so ``add_zero`` |
There was a problem hiding this comment.
how does it know which are commutative?
There was a problem hiding this comment.
also does this mean if you have nesting depth K for commutative operations then it will try all versions?
There was a problem hiding this comment.
there's simply a list of commutative versions ;-). I added that.
about nesting, yeah, all the commutative combinations of the operation names that appear in the head of the rule are tried. not sure where to write that though.
|
Great stuff. Looking forward to seeing it live |
No description provided.