Bug 210982

Summary: We need profiling for BigInt math that tells us what format the result of an operation will be
Product: WebKit Reporter: Saam Barati <saam>
Component: JavaScriptCoreAssignee: Nobody <webkit-unassigned>
Status: NEW ---    
Severity: Normal CC: benjamin, fpizlo, ggaren, gskachkov, guijemont, keith_miller, mark.lam, msaboff, rmorisset, ticaiolima, tzagallo, ysuzuki
Priority: P2    
Version: WebKit Nightly Build   
Hardware: Unspecified   
OS: Unspecified   

Description Saam Barati 2020-04-24 12:07:19 PDT 
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.