RFR: 8347901: C2 should remove unused leaf / pure runtime calls [v2]

Emanuel Peter epeter at openjdk.org
Fri Jun 20 15:37:31 UTC 2025


On Fri, 20 Jun 2025 15:34:03 GMT, Emanuel Peter <epeter at openjdk.org> wrote:

>> I think i'll need you to explain to me what is unclear at the moment. When I read the function, I see:
>> "A CallLeafPure is unused iff there is no output result projection."
>> 
>> I don't see what else to add that is not covered by "if we don't use the result, the pure call is unused", which is exactly the code. Is there any untold hypothesis lurking somewhere that I don't see? It seems to me it uses just very common concepts of C2.
>
> The call could have other uses for other projections. Why does this projection make it unused?

I suppose I was not aware that `TypeFunc::Parms` stands for result projection.... the name does not make it immediately apparent.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/25760#discussion_r2159265635


More information about the graal-dev mailing list