Stream: git-wasmtime

Topic: wasmtime / PR #6037 cranelift: simplify `icmp` against UM...

Wasmtime GitHub notifications bot (Mar 16 2023 at 23:29):

Kmeakin opened PR #6037 from icmp-numeric-limits to main:

Adds the following rewrites:

;; ult(x, 0) == false.
;; ule(x, 0) == eq(x, 0)
;; ugt(x, 0) == ne(x, 0).
;; uge(x, 0) == true.

;; ult(x, UMAX) == ne(x, UMAX).
;; ule(x, UMAX) == true.
;; ugt(x, UMAX) == false.
;; uge(x, UMAX) == eq(x, UMAX).

;; slt(x, SMIN) == false.
;; sle(x, SMIN) == eq(x, SMIN).
;; sgt(x, SMIN) == ne(x, SMIN).
;; sge(x, SMIN) == true.

;; slt(x, SMAX) == ne(x, SMAX).
;; sle(x, SMAX) == true.
;; sgt(x, SMAX) == false.
;; sge(x, SMAX) == eq(x, SMAX).

Also adds ty_umin, ty_umax, ty_smin and ty_smax constructors

Wasmtime GitHub notifications bot (Mar 16 2023 at 23:35):

cfallin assigned PR #6037 to cfallin.

Wasmtime GitHub notifications bot (Mar 16 2023 at 23:44):

cfallin submitted PR review.

Wasmtime GitHub notifications bot (Mar 17 2023 at 01:55):

Kmeakin updated PR #6037 (assigned to cfallin) from icmp-numeric-limits to main.

Wasmtime GitHub notifications bot (Mar 17 2023 at 01:55):

Kmeakin requested cfallin for a review on PR #6037.

Wasmtime GitHub notifications bot (Mar 17 2023 at 18:54):

cfallin submitted PR review.

Wasmtime GitHub notifications bot (Mar 17 2023 at 19:55):

cfallin merged PR #6037.

Last updated: Dec 23 2024 at 12:05 UTC