77def sm86EncodeQMD =
78 (lambda unrestricted config : (family SM86QMDPhysicalConfig) .
79 (eliminate SM86QMDPhysicalConfig
80 (lambda unrestricted current : (family SM86QMDPhysicalConfig) . Bytes)
81 config
82 (branch SM86QMDPhysicalConfigValue
83 prefetchBase gridX gridY gridZ sharedMemory blockX blockYZ
84 registerField constantBufferLow constantBufferHigh
85 programAddressLow programAddressHigh prefetchControl .
86 (bytes-append
87 (app sm86QMDZeroDwords (byte-to-nat (byte 4)))
88 (bytes-append
89 sm86QMDProgramModeDword
90 (bytes-append
91 sm86QMDReleaseDword
92 (bytes-append
93 (app sm86QMDZeroDwords (byte-to-nat (byte 2)))
94 (bytes-append
95 (app sm86EncodeQMDWord32 prefetchBase)
96 (bytes-append
97 (app sm86QMDZeroDwords (byte-to-nat (byte 2)))
98 (bytes-append
99 sm86QMDGridControlDword
100 (bytes-append
101 (app sm86EncodeQMDWord32 gridX)
102 (bytes-append
103 (app sm86EncodeQMDWord32 gridY)
104 (bytes-append
105 (app sm86EncodeQMDWord32 gridZ)
106 (bytes-append
107 (app sm86QMDZeroDwords (byte-to-nat (byte 2)))
108 (bytes-append
109 (app sm86EncodeQMDWord32 sharedMemory)
110 (bytes-append
111 (app sm86EncodeQMDWord32 blockX)
112 (bytes-append
113 (app sm86EncodeQMDWord32 blockYZ)
114 (bytes-append
115 (app sm86EncodeQMDWord32 registerField)
116 (bytes-append
117 (app sm86QMDZeroDwords
118 (byte-to-nat (byte 2)))
119 (bytes-append
120 sm86QMDCompletionControlDword
121 (bytes-append
122 (app sm86QMDZeroDwords
123 (byte-to-nat (byte 8)))
124 (bytes-append
125 (app sm86EncodeQMDWord32
126 constantBufferLow)
127 (bytes-append
128 (app sm86EncodeQMDWord32
129 constantBufferHigh)
130 (bytes-append
131 (app sm86QMDZeroDwords
132 (byte-to-nat (byte 14)))
133 (bytes-append
134 (app sm86EncodeQMDWord32
135 programAddressLow)
136 (bytes-append
137 (app sm86EncodeQMDWord32
138 programAddressHigh)
139 (bytes-append
140 sm86QMDZeroWord32
141 (bytes-append
142 (app sm86EncodeQMDWord32
143 prefetchControl)
144 (app sm86QMDZeroDwords
145 (byte-to-nat
146 (byte 12)))))))))))))))))))))))))))))))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.