231def exactCrossEntropyBackwardProgramForUnchecked =
232 (lambda unrestricted vocabulary : Nat .
233 (exactCrossEntropyBackwardNext
234 (constructor
235 SM86InstructionBody
236 SM86SpecialToRegister
237 exactCrossEntropyBackwardR0
238 (constructor SM86SpecialRegister SM86ThreadIdX)
239 exactCrossEntropyRowsSet0)
240 (exactCrossEntropyBackwardNext
241 (constructor
242 SM86InstructionBody
243 SM86SpecialToRegister
244 exactCrossEntropyBackwardR1
245 (constructor SM86SpecialRegister SM86CooperativeThreadArrayIdX)
246 exactCrossEntropyRowsSet0)
247 (exactCrossEntropyBackwardNext
248 (constructor
249 SM86InstructionBody
250 SM86SpecialToRegister
251 exactCrossEntropyBackwardR2
252 (constructor SM86SpecialRegister SM86CooperativeThreadArrayIdY)
253 exactCrossEntropyRowsSet0)
254 (exactCrossEntropyBackwardNext
255 (constructor
256 SM86InstructionBody
257 SM86IntegerMultiplyAddImmediate
258 exactCrossEntropyBackwardR3
259 exactCrossEntropyBackwardR2
260 exactCrossEntropyBackwardU256
261 exactCrossEntropyBackwardR0
262 exactCrossEntropyRowsWait0)
263 (exactCrossEntropyBackwardNext
264 (constructor
265 SM86InstructionBody
266 SM86MoveImmediate
267 exactCrossEntropyBackwardR5
268 exactCrossEntropyBackwardU4
269 sm86SafeControl)
270 (exactCrossEntropyBackwardNext
271 (constructor
272 SM86InstructionBody
273 SM86IntegerMultiplyAddImmediate
274 exactCrossEntropyBackwardR4
275 exactCrossEntropyBackwardR1
276 (sm86Unsigned32FromNaturalTruncated vocabulary)
277 exactCrossEntropyBackwardR3
278 sm86SafeControl)
279 (exactCrossEntropyBackwardNext
280 (constructor
281 SM86InstructionBody
282 SM86IntegerMultiplyAddWideConstant
283 exactCrossEntropyBackwardR6
284 exactCrossEntropyBackwardR4
285 exactCrossEntropyBackwardR5
286 (byte 0)
287 exactCrossEntropyBackwardOffset168
288 sm86SafeControl)
289 (exactCrossEntropyBackwardNext
290 (constructor
291 SM86InstructionBody
292 SM86IntegerMultiplyAddWideConstant
293 exactCrossEntropyBackwardR8
294 exactCrossEntropyBackwardR4
295 exactCrossEntropyBackwardR5
296 (byte 0)
297 exactCrossEntropyBackwardOffset160
298 sm86SafeControl)
299 (exactCrossEntropyBackwardNext
300 (constructor
301 SM86InstructionBody
302 SM86IntegerMultiplyAddWideConstant
303 exactCrossEntropyBackwardR10
304 exactCrossEntropyBackwardR1
305 exactCrossEntropyBackwardR5
306 (byte 0)
307 exactCrossEntropyBackwardOffset170
308 sm86SafeControl)
309 (exactCrossEntropyBackwardNext
310 (constructor
311 SM86InstructionBody
312 SM86IntegerMultiplyAddWideConstant
313 exactCrossEntropyBackwardR12
314 exactCrossEntropyBackwardR1
315 exactCrossEntropyBackwardR5
316 (byte 0)
317 exactCrossEntropyBackwardOffset178
318 sm86SafeControl)
319 (exactCrossEntropyBackwardNext
320 (constructor
321 SM86InstructionBody
322 SM86IntegerMultiplyAddWideConstant
323 exactCrossEntropyBackwardR14
324 exactCrossEntropyBackwardR1
325 exactCrossEntropyBackwardR5
326 (byte 0)
327 exactCrossEntropyBackwardOffset180
328 sm86SafeControl)
329 (exactCrossEntropyBackwardNext
330 (constructor
331 SM86InstructionBody
332 SM86LoadGlobal
333 exactCrossEntropyBackwardR16
334 exactCrossEntropyBackwardR10
335 exactCrossEntropyBackwardU0
336 exactCrossEntropyRowsSet0)
337 (exactCrossEntropyBackwardNext
338 (constructor
339 SM86InstructionBody
340 SM86LoadGlobal
341 exactCrossEntropyBackwardR17
342 exactCrossEntropyBackwardR12
343 exactCrossEntropyBackwardU0
344 exactCrossEntropyRowsSet1)
345 (exactCrossEntropyBackwardNext
346 (constructor
347 SM86InstructionBody
348 SM86LoadGlobal
349 exactCrossEntropyBackwardR21
350 exactCrossEntropyBackwardR14
351 exactCrossEntropyBackwardU0
352 exactCrossEntropyRowsSet2)
353 (exactCrossEntropyBackwardNext
354 (constructor
355 SM86InstructionBody
356 SM86IntegerAddThreeImmediate
357 exactCrossEntropyBackwardR21
358 exactCrossEntropyBackwardR21
359 exactCrossEntropyBackwardU0
360 exactCrossEntropyRowsWait2)
361 (exactCrossEntropyBackwardNext
362 (constructor
363 SM86InstructionBody
364 SM86IntegerAddThreeImmediate
365 exactCrossEntropyBackwardR17
366 exactCrossEntropyBackwardR17
367 exactCrossEntropyBackwardU0
368 exactCrossEntropyRowsWait1)
369 (exactCrossEntropyBackwardNext
370 (constructor
371 SM86InstructionBody
372 SM86FloatAdd
373 exactCrossEntropyBackwardR18
374 exactCrossEntropyBackwardR16
375 exactCrossEntropyBackwardR17
376 exactCrossEntropyRowsWait0)
377 (exactCrossEntropyBackwardNext
378 (constructor
379 SM86InstructionBody
380 SM86FloatNegate
381 exactCrossEntropyBackwardR19
382 exactCrossEntropyBackwardR18
383 sm86SafeControl)
384 (exactCrossEntropyBackwardNext
385 (constructor
386 SM86InstructionBody
387 SM86MoveConstant
388 exactCrossEntropyBackwardR20
389 (byte 0)
390 exactCrossEntropyBackwardOffset190
391 sm86SafeControl)
392 (exactCrossEntropyBackwardNext
393 (constructor
394 SM86InstructionBody
395 SM86MoveConstant
396 exactCrossEntropyBackwardR22
397 (byte 0)
398 exactCrossEntropyBackwardOffset198
399 sm86SafeControl)
400 (exactCrossEntropyBackwardNext
401 (constructor
402 SM86InstructionBody
403 SM86FloatNegate
404 exactCrossEntropyBackwardR23
405 exactCrossEntropyBackwardR22
406 sm86SafeControl)
407 (exactCrossEntropyBackwardNext
408 (constructor
409 SM86InstructionBody
410 SM86LoadGlobal
411 exactCrossEntropyBackwardR24
412 exactCrossEntropyBackwardR6
413 exactCrossEntropyBackwardU0
414 exactCrossEntropyRowsSet1)
415 (exactCrossEntropyBackwardNext
416 (constructor
417 SM86InstructionBody
418 SM86FloatAdd
419 exactCrossEntropyBackwardR24
420 exactCrossEntropyBackwardR24
421 exactCrossEntropyBackwardR19
422 exactCrossEntropyRowsWait1)
423 (exactCrossEntropyBackwardNext
424 (constructor
425 SM86InstructionBody
426 SM86FloatMultiply
427 exactCrossEntropyBackwardR24
428 exactCrossEntropyBackwardR24
429 exactCrossEntropyBackwardR20
430 sm86SafeControl)
431 (exactCrossEntropyBackwardNext
432 (constructor
433 SM86InstructionBody
434 SM86MultiFunctionUnitApproximation
435 exactCrossEntropyBackwardR24
436 exactCrossEntropyBackwardR24
437 (constructor SM86MultiFunction SM86ExponentialBase2)
438 exactCrossEntropyRowsSet3)
439 (exactCrossEntropyBackwardNext
440 (constructor
441 SM86InstructionBody
442 SM86FloatMultiply
443 exactCrossEntropyBackwardR24
444 exactCrossEntropyBackwardR24
445 exactCrossEntropyBackwardR22
446 exactCrossEntropyRowsWait3)
447 (exactCrossEntropyBackwardNext
448 (constructor
449 SM86InstructionBody
450 SM86LogicThreeInputTruthTable
451 exactCrossEntropyBackwardR25
452 exactCrossEntropyBackwardR3
453 exactCrossEntropyBackwardR21
454 (byte 60)
455 sm86SafeControl)
456 (exactCrossEntropyBackwardNext
457 (constructor
458 SM86InstructionBody
459 SM86PredicateGreaterThanImmediate
460 exactCrossEntropyBackwardP0
461 exactCrossEntropyBackwardR25
462 exactCrossEntropyBackwardU0
463 sm86SafeControl)
464 (exactCrossEntropyBackwardGuardedNext
465 (sm86NegatedPredicatedInstruction
466 exactCrossEntropyBackwardP0
467 (constructor
468 SM86InstructionBody
469 SM86FloatAdd
470 exactCrossEntropyBackwardR24
471 exactCrossEntropyBackwardR24
472 exactCrossEntropyBackwardR23
473 sm86SafeControl))
474 (exactCrossEntropyBackwardNext
475 (constructor
476 SM86InstructionBody
477 SM86StoreGlobal
478 exactCrossEntropyBackwardR8
479 exactCrossEntropyBackwardR24
480 exactCrossEntropyBackwardU0
481 sm86SafeControl)
482 (exactCrossEntropyBackwardNext
483 (constructor SM86InstructionBody SM86Exit sm86SafeControl)
484 exactCrossEntropyBackwardEnd))))))))))))))))))))))))))))))))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.