Unreachability

[Paul Sandoz]

On Oct 17, 2024, at 4:45 AM, Gary Frost <gary.frost at oracle.com> wrote:

Paul,

This looks reasonable.

Debugging this my end yesterday, I concluded that where the method is supposed to return a value and I see a return without a value,  it should be a huge hint to my C99 code gen that this return is not reachable and so my C99 code gen can just omit the return.

In the case where the return is void I would indeed emit an unnecessary 'return;' which thankfully CUDA and OpenCL just accepts as noise.

I was about to make this mildy hacky change this morning, but now will await the fix you suggest, as I do think tagging this with an unreachable Op rather than return Op would be far more useful in the general case.


Should be ready by the end of this week.


BTW outlook tagged the email below as in 'Slovak' 😉


:-) my email client was convinced I was referring to email addresses in the content that were not present in to the to/cc fields.

Paul.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/babylon-dev/attachments/20241017/4b30eeed/attachment-0001.htm>