85def sm86CapabilityChecks =
86 (lambda unrestricted requirements : (family SM86CapabilityRequirements) .
87 (lambda unrestricted observed : (family SM86DeviceCapabilities) .
88 (eliminate
89 SM86CapabilityRequirements
90 (lambda unrestricted current : (family SM86CapabilityRequirements) .
91 (family SM86CapabilityChecks))
92 requirements
93 (branch
94 SM86CapabilityRequirementsValue
95 requiredMajor
96 requiredMinor
97 requiredMemory
98 requiredAddressEnd
99 requiredGridX
100 requiredUVM
101 requiredRM
102 requiredQMD
103 requiredPushbuffer
104 requiredGPFIFO
105 requiredTimestamps
106 requiredNoFallback
107 .
108 (eliminate
109 SM86DeviceCapabilities
110 (lambda unrestricted current : (family SM86DeviceCapabilities) .
111 (family SM86CapabilityChecks))
112 observed
113 (branch
114 SM86DeviceCapabilitiesValue
115 observedMajor
116 observedMinor
117 observedTotalMemory
118 observedAvailableMemory
119 observedAddressEnd
120 observedGridX
121 observedUVM
122 observedRM
123 observedQMD
124 observedPushbuffer
125 observedGPFIFO
126 observedTimestamps
127 observedFallbacks
128 .
129 (constructor
130 SM86CapabilityChecks
131 SM86CapabilityChecksValue
132 (naturalAnd
133 (naturalEqual observedMajor requiredMajor)
134 (naturalEqual observedMinor requiredMinor))
135 (sm86CapabilityWord64AtLeast observedAvailableMemory requiredMemory)
136 (sm86CapabilityWord64AtLeast observedAddressEnd requiredAddressEnd)
137 (naturalLessOrEqual requiredGridX observedGridX)
138 (naturalEqual (sm86CapabilityFlagAccepted observedUVM) requiredUVM)
139 (naturalEqual (sm86CapabilityFlagAccepted observedRM) requiredRM)
140 (naturalEqual (sm86CapabilityFlagAccepted observedQMD) requiredQMD)
141 (naturalEqual (sm86CapabilityFlagAccepted observedPushbuffer) requiredPushbuffer)
142 (naturalEqual (sm86CapabilityFlagAccepted observedGPFIFO) requiredGPFIFO)
143 (naturalEqual (sm86CapabilityFlagAccepted observedTimestamps) requiredTimestamps)
144 (naturalEqual (naturalIsZero observedFallbacks) requiredNoFallback))))))))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.