Stream: git-wasmtime

Topic: wasmtime / issue #7835 Remove `>` and `>=` comparisons fr...

Wasmtime GitHub notifications bot (Jan 27 2024 at 21:32):

Kmeakin opened issue #7835:

Feature

The condition codes for performing the > and >= comparisons on integers should be removed from the Cranelift IR

Benefit

Makes the IR more strongly normalizing. At the moment, there are two equivalent ways of specifying the same computation: x > y and y < x are semantically equivalent but have different representations in the IR.

Having only one possible representation would mean fewer cases to consider when writing lowering/optimization code, and fewer tests have to be performed at runtime when legalizing/optimizing programs.

Implementation

Continue to accept the sgt, sge, ugt and uge condition codes when consuming textual IR, but convert them to their swapped forms and swap the arguments to icmp` during parsing. Update legalization/optimization code to fix any codegen regressions.

Alternatives

Do nothing

Wasmtime GitHub notifications bot (Jan 27 2024 at 21:32):

Kmeakin edited issue #7835:

Feature

The condition codes for performing the > and >= comparisons on integers should be removed from the Cranelift IR

Benefit

Makes the IR more strongly normalizing. At the moment, there are two equivalent ways of specifying the same computation: x > y and y < x are semantically equivalent but have different representations in the IR.

Having only one possible representation would mean fewer cases to consider when writing lowering/optimization code, and fewer tests have to be performed at runtime when legalizing/optimizing programs.

Implementation

Continue to accept the sgt, sge, ugt and uge condition codes when consuming textual IR, but convert them to their swapped forms and swap the arguments to icmp during parsing. Update legalization/optimization code to fix any codegen regressions.

Alternatives

Do nothing

Wasmtime GitHub notifications bot (Jan 29 2024 at 15:45):

fitzgen commented on issue #7835:

I think this is a good idea, however we will want to additionally make sure that the InstBuilder trait continues to have >/>= methods, but just swaps operands and emits </<= instructions. This is the kind of thing we've talked about before in other contexts around simplifying the IR, but also not losing ergonomics for frontends or saddling them with undue breaking changes.

Wasmtime GitHub notifications bot (Jan 29 2024 at 15:45):

fitzgen added the cranelift label to Issue #7835.

Wasmtime GitHub notifications bot (Jan 29 2024 at 15:45):

fitzgen added the cranelift:area:clif label to Issue #7835.

Wasmtime GitHub notifications bot (Jan 29 2024 at 15:59):

bjorn3 commented on issue #7835:

For icmp_imm IntCC will have to preserve them or we would need to add ircmp_imm like we have irsub_imm.

Wasmtime GitHub notifications bot (Jan 29 2024 at 21:55):

Kmeakin commented on issue #7835:

I can work on an implementation from this, but I will need to get permission from my employer before I can submit a PR

Wasmtime GitHub notifications bot (Jul 28 2024 at 09:10):

Solo-steven commented on issue #7835:

Hi I would like to take this issue if possible, but I am beginner of wasmtime, so might take a while to fix it !

Last updated: Oct 23 2024 at 20:03 UTC