Stream: git-wasmtime

Topic: wasmtime / PR #6843 egraphs: Add some `select` optimizations


view this post on Zulip Wasmtime GitHub notifications bot (Aug 13 2023 at 22:00):

afonso360 opened PR #6843 from afonso360:opt-select to bytecodealliance:main:

:wave: Hey,

I was playing around with a project that uses cranelift as it's backend, and found some IR patterns where we could do better optimizations.

This PR adds a few optimizations:

I've ran sightglass on these and it shows no difference. I've also fuzzed this change for a couple of hours and it also didn't trigger anything.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 13 2023 at 22:00):

afonso360 requested abrown for a review on PR #6843.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 13 2023 at 22:00):

afonso360 requested wasmtime-compiler-reviewers for a review on PR #6843.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 14 2023 at 19:23):

jameysharp submitted PR review:

This has some overlap with my PR #6214. I haven't gotten back to that in a while and I'm glad you're picking this up! Although you've marked this a draft, I got excited and reviewed it anyway since I'd reasoned through some of this already.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 14 2023 at 19:23):

jameysharp submitted PR review:

This has some overlap with my PR #6214. I haven't gotten back to that in a while and I'm glad you're picking this up! Although you've marked this a draft, I got excited and reviewed it anyway since I'd reasoned through some of this already.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 14 2023 at 19:23):

jameysharp created PR review comment:

I think these rules can be simpler.

Both sextend and uextend preserve whether their argument is non-zero, so removing the extend from select-of-extend is valid regardless of whether the condition came from fcmp/icmp or something else. In my PR I noticed that ineg and bmask also preserve whether the argument is non-zero and can be eliminated inside select for the same reason.

That's not true of ireduce, but you can use a different rule there: I believe it's safe to eliminate either ireduce or sextend (but not uextend) when they're applied to bmask. At least according to bmask's definition, it can produce any integer type regardless of the type of its argument. Hopefully the backends implement that faithfully.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 14 2023 at 19:23):

jameysharp created PR review comment:

I think (select c -1 0) can be rewritten to (bmask c), regardless of the widths of either c or the result type, and even if c doesn't match icmp or fcmp. Then all the other rules we're discussing that match bmask can apply.

I'm not sure if it's useful, but I guess the other pattern we could extract from these rules is that when bmask is applied to either icmp or fcmp, it's a no-op if the result type is I8, or it's equivalent to sextend for any wider scalar type.

I always forget that icmp and fcmp return I8 when given any width of scalar. That's kinda weird and had me very confused about these rules. Maybe we should change that someday.

There's a minor efficiency improvement if you reuse unchanged nodes from the input. For example, bind the fcmp to a name using an at-pattern (cmp @ (fcmp fty cc x y)) and then use that name instead of the full pattern on the right-hand side. This avoids having to look up the original node in the GVN map, since we already have the node ID from doing the pattern match. In theory, ISLE could do this transformation automatically, as long as we guarantee that the extractor and constructor for the same term are always inverses of each other.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 14 2023 at 20:47):

afonso360 created PR review comment:

Separating this into select->bmask and bmask+icmp->icmp is a really neat way of simplifying these optimizations! Thanks!

view this post on Zulip Wasmtime GitHub notifications bot (Aug 14 2023 at 20:47):

afonso360 submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 16 2023 at 10:41):

afonso360 updated PR #6843.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 18 2023 at 14:26):

afonso360 updated PR #6843.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 18 2023 at 15:23):

jameysharp requested jameysharp for a review on PR #6843.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 19 2023 at 20:53):

afonso360 updated PR #6843.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 20 2023 at 09:29):

afonso360 updated PR #6843.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 21 2023 at 19:02):

afonso360 updated PR #6843.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 21 2023 at 19:02):

afonso360 has marked PR #6843 as ready for review.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 21 2023 at 19:06):

afonso360 updated PR #6843.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 21 2023 at 19:59):

jameysharp submitted PR review:

Looks great and I'm hopeful that CI will pass this time. :grin:

I'd love to see some Sightglass numbers from this. (Someday I will remember how to use /bench_x64; is today that day?) With the wide range of cases that you've covered now, I imagine these patterns might fire fairly often, and it would be exciting if this made a measurable difference.

As future work, I think there might be value in a corresponding falsy helper that can be used to swap arguments to select. If nothing else, there's a dedicated wasm instruction that corresponds to (eq ty v 0) so I bet we'd see that match frequently.

(rule (simplify (select ty v t f)) (if-let c (falsy v)) (select ty c f t))

view this post on Zulip Wasmtime GitHub notifications bot (Aug 21 2023 at 19:59):

jameysharp created PR review comment:

It just occurred to me that "left" and "right" are not very helpful descriptions of the operands to select. How about this?

(rule (simplify (select ty v t f)) (if-let c (truthy v)) (select ty c t f))

view this post on Zulip Wasmtime GitHub notifications bot (Aug 21 2023 at 19:59):

jameysharp submitted PR review:

Looks great and I'm hopeful that CI will pass this time. :grin:

I'd love to see some Sightglass numbers from this. (Someday I will remember how to use /bench_x64; is today that day?) With the wide range of cases that you've covered now, I imagine these patterns might fire fairly often, and it would be exciting if this made a measurable difference.

As future work, I think there might be value in a corresponding falsy helper that can be used to swap arguments to select. If nothing else, there's a dedicated wasm instruction that corresponds to (eq ty v 0) so I bet we'd see that match frequently.

(rule (simplify (select ty v t f)) (if-let c (falsy v)) (select ty c f t))

view this post on Zulip Wasmtime GitHub notifications bot (Aug 21 2023 at 19:59):

jameysharp created PR review comment:

Nice job spotting (ne v 0) as also truthy!

I'm having a little trouble following the constraints on this rule. I think what you're doing is that the operands to icmp must both have the same type, so if truthy unwraps v to a different type then the rule doesn't apply. Is that right?

Contrary to what I said before about re-using the existing iconst, I think this rule will be better if we reconstruct the constant at whatever type c has. In the case where the types do match, we'll go through the GVN map and discover that the new iconst is identical to the old one, which is a little silly; but the rule will also succeed when the types don't match, making it more useful.

(rule (simplify (ne cty v (iconst _ (u64_from_imm64 0))))
      (if-let c (truthy v))
      (if-let (value_type ty) c)
      (ne cty c (iconst ty (u64_from_imm64 0))))

That said, I believe this rule is also correct the way you wrote it; feel free to merge as-is.

In either case, it would be nice to add a comment, either saying that we're constraining value_type to be equal to the type of zero, or saying that we're extracting the type of c to make sure that the zero has the same type.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 21 2023 at 20:10):

afonso360 updated PR #6843.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 21 2023 at 20:17):

afonso360 updated PR #6843.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 21 2023 at 20:17):

afonso360 submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 21 2023 at 20:17):

afonso360 created PR review comment:

Oh, that's really neat! I don't know how I didn't spot that.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 21 2023 at 20:18):

afonso360 edited PR review comment.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 21 2023 at 21:38):

afonso360 merged PR #6843.


Last updated: Dec 23 2024 at 12:05 UTC