[Webkit-unassigned] [Bug 210982] New: We need profiling for BigInt math that tells us what format the result of an operation will be

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=210982

            Bug ID: 210982
           Summary: We need profiling for BigInt math that tells us what
                    format the result of an operation will be
           Product: WebKit
           Version: WebKit Nightly Build
          Hardware: Unspecified
                OS: Unspecified
            Status: NEW
          Severity: Normal
          Priority: P2
         Component: JavaScriptCore
          Assignee: webkit-unassigned at lists.webkit.org
          Reporter: sbarati at apple.com
                CC: benjamin at webkit.org, fpizlo at apple.com,
                    ggaren at apple.com, gskachkov at gmail.com,
                    guijemont at igalia.com, keith_miller at apple.com,
                    mark.lam at apple.com, msaboff at apple.com,
                    rmorisset at apple.com, ticaiolima at gmail.com,
                    tzagallo at apple.com, ysuzuki at apple.com

We need to know:
- Will we always produce a BigInt32 (this could happen even when the inputs are HeapBigInt)
- We will always produce a HeapBigInt (this could happen even when the inputs are always BigInt32)
- When we produce both

For example, we'll want some kind of Add on binaryUseKind(BigInt32) that speculates the result doesn't overflow, so it can say it results in BigInt32 definitively

etc.

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-unassigned/attachments/20200424/82a9612f/attachment.htm>