@FunctionalInterface public static interface ConditionalEliminationUtil.GuardRewirer
| Modifier and Type | Method and Description |
|---|---|
boolean |
rewire(GuardingNode guard,
boolean result,
Stamp guardedValueStamp,
ValueNode newInput)
Called if the condition could be proven to have a constant value (
result) under
guard. |
boolean rewire(GuardingNode guard, boolean result, Stamp guardedValueStamp, ValueNode newInput)
result) under
guard.guard - the guard whose result is provenresult - the known result of the guardnewInput - new input to pi nodes depending on the new guard