1008111 - IonMonkey: Add debug checks for MFilterTypeSet

Status: RESOLVED DUPLICATE of bug 1139152

(Core :: JavaScript Engine: JIT, defect)

Description

[Hannes Verschore [:h4writer]]

MFilterTypeSet is used to define a new typeset to an object. E.g. when we know more information than TI is providing us. Currently this is used at branches, where IonBuilder can reason about the test and remove some of the types in a typeset because of this. During lowering this is a NOP, since the type information is only needed in the higher passes.

Now we might want to add debug checks that test the input is indeed only these types. To make sure we don't make a mistake. Note: we should do this so, that MFilterTypeSet doesn't adjust register allocator! To make sure tests found in debug/non-debug builds still work in the other.

Comment 1

[Hannes Verschore [:h4writer]]

Checking typeset of MIR's that use redefine has been added in bug 1139152.