1316802 - Wasm baseline: Avoid a sync() to free a specific register when a same-type register is available

Status: RESOLVED INACTIVE

(Core :: JavaScript: WebAssembly, enhancement, P5)

Description

[Lars T Hansen [:lth]]

The specific-register allocator (the needI32(r), needI64(r) etc methods) can avoid syncing the value stack if the specific register is in use but there is a free register of the correct type to shuffle the specific register into.  (Doing so will also improve the generated code.)

The sync happens often enough to show up in profiles, because it is triggered by integer multiply and divide on x86-class systems, and reducing sync() cost is probably the most important optimization to compile time we can do inside the compiler.

Comment 1

[Lars T Hansen [:lth]]

This problem accounts for a small number of the syncs: on AngryBots, 10K out of 380K syncs.  That's not negligble but we should address other concerns first:

Data from a run today on AngryBots, see bug 1316818 for some code and an explanation:

[Profiling] WASM BASELINE SYNC: total=377856 capacity=7 specific=10521 local=575 join=181835 call=184918

Comment 2

[BMO Automation]

Per policy at https://wiki.mozilla.org/Bug_Triage/Projects/Bug_Handling/Bug_Husbandry#Inactive_Bugs. If this bug is not an enhancement request or a bug not present in a supported release of Firefox, then it may be reopened.