[code-reflection] RFR: Assert code modeling [v3]

[Paul Sandoz]

On Sat, 2 Mar 2024 00:18:20 GMT, Ian Graves <igraves at openjdk.org> wrote:

>> Initial work on the code model for supporting assertions. This PR contains the code model. A subsequent PR will include interpreter updates to execute assertions in IR form.
>
> Ian Graves has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Updates to CoreOps.

Asserts are a language and runtime feature. Lowering must preserve Java programing meaning. Removing will not preserve. (It's still a useful transformation to consider, but not as lowering.)

I originally thought `AssertOp` should be part of `ExtendedOps`. Then i looked at the bytecode the compiler generates and concluded if we want to generate equivalent bytecode from code models we have to retain asserts in the core model.

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

PR Comment: https://git.openjdk.org/babylon/pull/32#issuecomment-1977001902