1141634 - Use recover instructions for negative zero checks

Status: NEW

(Core :: JavaScript Engine: JIT, defect, P5)

Description

[Hannes Verschore [:h4writer]]

We can currently remove negative zero checks:
x + y

only on the first 'executed' instructions. So not on x and y in all cases even if the type of both is int32. This is because we can bailout and the types will change there.

Instead we could always replace "x + y" that is typed int32 if:
we replace the "x+y" with "x+y, no negative zero check" and make the original "x+y" a recover instruction. That way we don't have to worry about which instruction is executed first anymore because of potential bailouts.