bloqade.gemini.common.validation.new_at

new_at¶

bloqade.gemini.common.validation.new_at

Per-statement validation for ``gemini.common.NewAt``.

Registered against the lanes validation interpreter key (move.address.validation). The impl checks (1) const-foldability of the three SSA int args and (2) that the resulting LocationAddress is valid for the architecture (via the existing ArchSpec.check_location_group called by _ValidationAnalysis.report_location_errors).