RFR: 8370914: C2: Reimplement Type::join [v7]

[Marc Chevalier]

On Wed, 7 Jan 2026 18:06:29 GMT, Quan Anh Mai <qamai at openjdk.org> wrote:

> But checking the bit is also looking into the details of the types, right?

yes, and if it's done in `AbsNode`, I wouldn't be happy either. But if it's done in `TypeInt`, it's fine.

> Anyway, the internal details of TypeInt are designed to be exposed, and we use them all the time. The methods act more as utilities than encapsulations.

That's exactly what I'm challenging. I think adding some new abstract domains and make use of them would be easier if we don't look inside the details all the time. In particular, we are rarely doing very specialized things, mostly abstract integer with a value, or abstract integers together... I think looking at the bounds of ranges everywhere makes improvements to the type system harder, and the local code less clear.

-------------

PR Review Comment: https://git.openjdk.org/jdk/pull/28051#discussion_r2671257676