- ;; The IR2-Block that this structure represents the conflicts for.
- (block (required-argument) :type ir2-block)
- ;; Thread running through all the Global-Conflict for Block. This
- ;; thread is sorted by TN number.
- (next nil :type (or global-conflicts null))
- ;; The way that TN is used by Block:
- ;;
- ;; :READ
- ;; The TN is read before it is written. It starts the block live,
- ;; but is written within the block.
- ;;
- ;; :WRITE
- ;; The TN is written before any read. It starts the block dead,
- ;; and need not have a read within the block.
- ;;
- ;; :READ-ONLY
- ;; The TN is read, but never written. It starts the block live,
- ;; and is not killed by the block. Lifetime analysis will promote
- ;; :Read-Only TNs to :Live if they are live at the block end.
- ;;
- ;; :LIVE
- ;; The TN is not referenced. It is live everywhere in the block.
+ ;; the IR2-BLOCK that this structure represents the conflicts for
+ (block (missing-arg) :type ir2-block)
+ ;; thread running through all the GLOBAL-CONFLICTSs for BLOCK. This
+ ;; thread is sorted by TN number
+ (next-blockwise nil :type (or global-conflicts null))
+ ;; the way that TN is used by BLOCK
+ ;;
+ ;; :READ
+ ;; The TN is read before it is written. It starts the block live,
+ ;; but is written within the block.
+ ;;
+ ;; :WRITE
+ ;; The TN is written before any read. It starts the block dead,
+ ;; and need not have a read within the block.
+ ;;
+ ;; :READ-ONLY
+ ;; The TN is read, but never written. It starts the block live,
+ ;; and is not killed by the block. Lifetime analysis will promote
+ ;; :READ-ONLY TNs to :LIVE if they are live at the block end.
+ ;;
+ ;; :LIVE
+ ;; The TN is not referenced. It is live everywhere in the block.