2991def cgSubmissionReferences =
2992 (lambda unrestricted schedule : (family NvidiaSubmissionSchedule) .
2993 (eliminate
2994 NvidiaSubmissionSchedule
2995 (lambda unrestricted current : (family NvidiaSubmissionSchedule) . Nat)
2996 schedule
2997 (branch NvidiaSubmissionScheduleEmpty . 0)
2998 (branch
2999 NvidiaSubmissionScheduleOne
3000 batch
3001 .
3002 (eliminate
3003 NvidiaSubmissionBatch
3004 (lambda unrestricted current : (family NvidiaSubmissionBatch) . Nat)
3005 batch
3006 (branch
3007 NvidiaSubmissionBatchValue
3008 identity
3009 semaphore
3010 references
3011 .
3012 (cgReferenceCount references))))
3013 (branch
3014 NvidiaSubmissionScheduleAppend
3015 left
3016 right
3017 leftCount
3018 rightCount
3019 .
3020 (naturalAdd leftCount rightCount))
3021 (branch
3022 NvidiaSubmissionScheduleRepeat
3023 count
3024 referenceStride
3025 semaphoreStride
3026 body
3027 bodyCount
3028 .
3029 (naturalMultiply count bodyCount))
3030 (branch NvidiaSubmissionScheduleProfiled offset body bodyCount . bodyCount)))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.