[15] RFR: 8237894: CTW: C1 compilation fails with assert(x->type()->tag() == f->type()->tag()) failed: should have same type

[Jamsheed C M]

Hi Tobias,

On 17/02/2020 15:17, Tobias Hartmann wrote:
> Why? You are matching on the tag(), shouldn't that be the same (i.e., objectTag) for super- and subtype?

Yes it is, that's all i can do with instruction types, if i need further 
distinction i may need to go for exact/declared type*.

*LoadIndexed doesn't have it saved somewhere at present.

>
> And given that, does your solution actually work with Object arrays?

Yes, as we are asserting on elem instruction type for indexed access. so 
this fix is just for suppressing asserts that i am encountering now.


but, if you think disabling is best idea, and bailout  inlining through 
nulls, i can try that.

Best regards,

Jamsheed