Open Bug 1716311 (wasm-multiprecision) Opened 3 years ago Updated 3 years ago

[exploration] Multiprecision arithmetic / carry propagation - sketches, explorations

Categories

(Core :: JavaScript: WebAssembly, task, P3)

task

Tracking

()

People

(Reporter: lth, Unassigned)

References

(Blocks 1 open bug)

Details

Attachments

(2 files, 1 obsolete file)

(deleted), text/x-phabricator-request
Details
(deleted), application/x-javascript
Details

There have been some discussions about multiprecision arithmetic primitives. Of these, the only hard cases are those that deal with add-with-carry and subtract-with-borrow, as we wish to keep the carry flag in the flags register as much as possible. I'll attach some sketches I've made to address the issue in Ion / Baldr.

Attached file r.js (obsolete) (deleted) —

Simple test case for a simple example instruction. The latest patch actually generates working code on ARM64.

The very latest patch has a very large comment block discussing various optimization strategies (none of them implemented).

Attached file r.js (deleted) —
Attachment #9228350 - Attachment is obsolete: true

Not currently working on this. Note comment 3 - there's information in the patch about how we might go about implementing this if it comes to that.

Assignee: lhansen → nobody
Status: ASSIGNED → NEW
Summary: Multiprecision arithmetic / carry propagation → Multiprecision arithmetic / carry propagation - sketches, explorations
Alias: wasm-multiprecision
Blocks: wasm-lang
Type: enhancement → task
Summary: Multiprecision arithmetic / carry propagation - sketches, explorations → [exploration] Multiprecision arithmetic / carry propagation - sketches, explorations
You need to log in before you can comment on or make changes to this bug.

Attachment

General

Created:
Updated:
Size: