RFR: 8330851: C2: More efficient TypeFunc creation

[Dean Long]

On Sat, 16 Nov 2024 01:57:00 GMT, Vladimir Ivanov <vlivanov at openjdk.org> wrote:

> > For example, new_array_Type() when passes NOTNULL and INT and returns NOTNULL could be represented by something like "NIN".
> 
> There's definitely some room for improvement here, but, frankly speaking, stringy descriptors don't look appealing to me. Why not simply introduce `TypeFunc` factory methods which explicitly accept argument/return `Type`s instead? Probably, variadic functions are a good fit here, but even if it's not the case, there are rather few arities used (single return value - void, 1 slot, or 2 slots, plus up to 8 arguments). And that would eliminate lots of boilerplate code as well.

Good idea.

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

PR Comment: https://git.openjdk.org/jdk/pull/21782#issuecomment-2483900585