Module Ssa::Internal

INTERNAL: Do not use.

Import path

import csharp

Predicates

adjacentReadPairSameVar

Holds if the read at cfn2 is a read of the same SSA definition def as the read at cfn1, and cfn2 can be reached from cfn1 without passing through another read.

firstReadSameVar

Holds if the value defined at non-trivial SSA definition def can reach a read at cfn, without passing through any other read.

lastRead

Holds if cfn is a last read of the non-trivial SSA definition def. That is, cfn can reach the end of the enclosing callable, or another SSA definition for the underlying source variable, without passing through another read.

ssaDefReachesEndOfBlock

Holds if the non-trivial SSA definition of v at def reaches the end of a basic block bb, at which point it is still live, without crossing another SSA definition of v.

ssaDefReachesRead

Holds if the non-trivial SSA definition of v at def reaches read without crossing another SSA definition of v. The read at node is of kind rk.

ssaDefReachesUncertainDef

Holds if the non-trivial SSA definition of v at def reaches uncertain SSA definition redef without crossing another SSA definition of v.