safe bets about values being non-null

[Lukas Stadler]

Looking for usages of StampFactory.objectNonNull and StampFactory.exactNonNull should give you a good idea of which nodes have this behavior.

- Lukas

On 16 Apr 2014, at 17:41, Miguel Garcia Gutierrez <miguel.m.garcia at oracle.com> wrote:

> 
> 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
>