safe bets about values being non-null

[Miguel Garcia Gutierrez]

Let's say one wants to determine whether a ValueNode always represents null at runtime (resp. a non-null value).

Straightforward way: inspect the stamp. Alternatively, track state as ConditionalEliminationPhase does.

What about, nodes that always denote non-null values? Is ObjectGetClassNode an example for that?

I'm trying to compile a list of such nodes, for use in a prototype I'm working on.


Miguel