Member predicate Instruction :: isResultModeled

Holds if the result of this instruction is precisely modeled in SSA. Always holds for a register result. For a memory result, a modeled result is connected to its actual uses. An unmodeled result has no uses.

For example:

int x = 1;
int *p = &x;
int y = *p;

In non-aliased SSA, x will not be modeled because it has its address taken. In that case, isResultModeled() would not hold for the result of the Store to x.


                            
                                
                                    predicate
                                
                                 
                            
                            
                                isResultModeled
                            
                            
                                (
                                )