70def sm86SerializeLateReadInstruction =
71 (lambda unrestricted instruction : (family SM86Instruction) .
72 (eliminate SM86Instruction
73 (lambda unrestricted current : (family SM86Instruction) . (family SM86Instruction)) instruction
74 (branch SM86InstructionValue guard body .
75 (constructor SM86Instruction SM86InstructionValue guard
76 (sm86BodyWithControl body
77 (eliminate SM86Control
78 (lambda unrestricted current : (family SM86Control) . (family SM86Control))
79 (sm86BodyControlOf body)
80 (branch SM86ControlValue stall yield write read wait reuse .
81 (constructor SM86Control SM86ControlValue stall yield write
82 (eliminate SM86Barrier
83 (lambda unrestricted current : (family SM86Barrier) . (family SM86Barrier)) read
84 (branch SM86Barrier0 . (constructor SM86Barrier SM86Barrier0))
85 (branch SM86Barrier1 . (constructor SM86Barrier SM86Barrier1))
86 (branch SM86Barrier2 . (constructor SM86Barrier SM86Barrier2))
87 (branch SM86Barrier3 . (constructor SM86Barrier SM86Barrier3))
88 (branch SM86Barrier4 . (constructor SM86Barrier SM86Barrier4))
89 (branch SM86Barrier5 . (constructor SM86Barrier SM86Barrier5))
90 (branch SM86Barrier6 . (constructor SM86Barrier SM86Barrier6))
91 (branch SM86BarrierNone .
92 (nat-eliminate
93 (lambda unrestricted n : Nat . (family SM86Barrier))
94 (constructor SM86Barrier SM86Barrier5)
95 (lambda unrestricted p : Nat .
96 (lambda unrestricted ignored : (family SM86Barrier) .
97 (constructor SM86Barrier SM86BarrierNone)))
98 (sm86FixedLatency body))))
99 (byte-or wait (byte-or (byte 32) (sm86ReadBarrierWait read))) reuse))))))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.