Horrible asymptotic behavior in TypePropagation with huge switch statement

NEW
Unassigned

Status

Tamarin
Optimizing JIT
6 years ago
5 years ago

People

(Reporter: Edwin Smith, Unassigned)

Tracking

(Blocks: 1 bug)

Details

(Reporter)

Description

6 years ago
These tests take forever to complete, but eventually do.

ecma3/Statements/eregress_74474_002.abc
ecma3/Statements/eregress_74474_003.abc

Its been a while since I looked at them but I recall its due to bad asymptotic behavior of type propagation due to the huge branching structure of the switch.  (block with 10K predecessors).

Comment 1

5 years ago
Several other tests show horrible compile for what may be similar issues.  QueryOwnsObject also shows up very high in these profiles while sanity checking frees.  For now they can be dumped together, and if there are mulitple separate issues new bugs can be broken out.


as3/Definitions/FunctionAccessors/AccessorSpray
as3/Vector/initializerLargeVector
spidermonkey/js1_5/Regress/regress-111557
spidermonkey/js1_5/Regress/regress-155081
spidermonkey/js1_5/Regress/regress-155081-2
You need to log in before you can comment on or make changes to this bug.