the schedule's launches as written, each standing for its iterations
1135def deviceArenaLaunches =
1136 (lambda unrestricted schedule : (family NvidiaLaunchSchedule) .
1137 (eliminate
1138 NvidiaLaunchSchedule
1139 (lambda unrestricted current : (family NvidiaLaunchSchedule) . (family DeviceArenaLaunches))
1140 schedule
1141 (branch NvidiaLaunchScheduleEmpty . (constructor DeviceArenaLaunches DeviceArenaLaunchesEnd))
1142 (branch
1143 NvidiaLaunchScheduleOne
1144 template
1145 .
1146 (constructor
1147 DeviceArenaLaunches
1148 DeviceArenaLaunchesNext
1149 (deviceArenaLaunchOf template)
1150 (constructor DeviceArenaLaunches DeviceArenaLaunchesEnd)))
1151 (branch
1152 NvidiaLaunchScheduleAppend
1153 left
1154 right
1155 il
1156 ir
1157 .
1158 (deviceArenaAppendLaunches il (deviceArenaShift (nvidiaLaunchScheduleCount left) ir)))
1159 (branch
1160 NvidiaLaunchScheduleRepeat
1161 count
1162 iteration
1163 body
1164 ib
1165 .
1166 (deviceArenaRepeat count (nvidiaLaunchScheduleCount body) iteration ib))))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.