tree 25554ed6e59e354dcaaea24c61819ce1e6fd2d15
parent b6169f6e03cb28e52c44099a1c736ba3286b41fc
author Nathaniel Wesley Filardo <wes.filardo@scisemi.com> 1729292585 +0000
committer Nathaniel Wesley Filardo <VP331RHQ115POU58JFRLKB7OPA0L18E3@cmx.ietfng.org> 1732228104 +0000

switcher: Rework commentary

Include "Register Atlas"es and updates at key points, making it
hopefully easier to understand what's going on at any given point in the
code.

Annotate arcs in the CFG at their target, not just their source, as well
as IRQ disposition and live-in and live-out register sets.

The intention is that much of this should be amenable to automatic
verification, but no such tooling yet exists.

To ease review, this large commit changes no bytes in the actual
assembled output.

Co-authored-by: David Chisnall <github@theravensnest.org>
Co-authored-by: Murali Vijayaraghavan <vmurali@csail.mit.edu>
Co-authored-by: Robert Norton <robert.norton@microsoft.com>