qat.experimental.dialect.common.ssa module

SSA value resolution helpers.

resolve_block_argument(value, representative)

Follow a block-argument substitution map to a non-argument value.

representative maps a block argument to the value that replaces it. The walk chases chained substitutions and stops at the first value that is not a mapped block argument. A cycle terminates the walk rather than looping.

Return type:

SSAValue