C#: Replace SSA classes with shared code.#21762

Draft

aschackmull wants to merge 22 commits intogithub:mainfrom

aschackmull:csharp/ssa2

Commits on Apr 30, 2026

C#: Rename SsaImpl input.
aschackmull
committed
C#: Instantiate shared SSA wrappers.
aschackmull
committed
C#: Simplify library instantiations.
aschackmull
committed
C#: Remove references to getAFirstReadAtNode.
aschackmull
committed
C#: Deprecate member predicates Definition.getAFirstRead and getAFirstReadAtNode.
aschackmull
committed
C#: Deprecate member predicate Definition.getAReadAtNode.
aschackmull
committed
C#: Replace most uses of Ssa::Definition with SsaDefinition.
aschackmull
committed
C#: Delete test for Definition.getElement.
aschackmull
committed
C#: Move isLiveOutRefParameterDefinition to top-level.
aschackmull
committed
C#: Deprecate Definition.getEnclosingCallable.
aschackmull
committed
C#: Replace Ssa::ExplicitDefinition with SsaExplicitWrite.
aschackmull
committed
C#: Remove SSA location overrides.
aschackmull
committed
C#: Replace Ssa::ImplicitParameterDefinition with SsaParameterInit.
aschackmull
committed
C#: Replace Ssa::PhiNode with SsaPhiDefinition.
aschackmull
committed
C#: Replace Ssa::UncertainDefinition with SsaUncertainWrite.
aschackmull
committed
C#: Deprecate Ssa::ImplicitEntryDefinition.
aschackmull
committed
C#: Deprecate Ssa::ImplicitDefinition.
aschackmull
committed
C#: Deprecate Ssa::Definition in favour of SsaDefinition.
aschackmull
committed
C#: Deprecate some SSA internals.
aschackmull
committed
C#: Reinstate toString for SSA data flow nodes.
aschackmull
committed
C#: Exclude entry definitions from qualifier definitions.
aschackmull
committed
C#: Drop caching for deprecated predicates.
aschackmull
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

C#: Replace SSA classes with shared code.#21762

C#: Replace SSA classes with shared code.#21762
aschackmull wants to merge 22 commits intogithub:mainfrom
aschackmull:csharp/ssa2

Commits on Apr 30, 2026

C#: Rename SsaImpl input.

C#: Instantiate shared SSA wrappers.

C#: Simplify library instantiations.

C#: Remove references to getAFirstReadAtNode.

C#: Deprecate member predicates Definition.getAFirstRead and getAFirstReadAtNode.

C#: Deprecate member predicate Definition.getAReadAtNode.

C#: Replace most uses of Ssa::Definition with SsaDefinition.

C#: Delete test for Definition.getElement.

C#: Move isLiveOutRefParameterDefinition to top-level.

C#: Deprecate Definition.getEnclosingCallable.

C#: Replace Ssa::ExplicitDefinition with SsaExplicitWrite.

C#: Remove SSA location overrides.

C#: Replace Ssa::ImplicitParameterDefinition with SsaParameterInit.

C#: Replace Ssa::PhiNode with SsaPhiDefinition.

C#: Replace Ssa::UncertainDefinition with SsaUncertainWrite.

C#: Deprecate Ssa::ImplicitEntryDefinition.

C#: Deprecate Ssa::ImplicitDefinition.

C#: Deprecate Ssa::Definition in favour of SsaDefinition.

C#: Deprecate some SSA internals.

C#: Reinstate toString for SSA data flow nodes.

C#: Exclude entry definitions from qualifier definitions.

C#: Drop caching for deprecated predicates.