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.
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
predicate isResultModeled ( )