267def telemetryPolicyFlushAssemblyFor =
268 (lambda erased A : Type 0 .
269 (lambda erased R : Type 0 .
270 (lambda unrestricted backend : (family TelemetryPolicyBackend A R) .
271 (lambda unrestricted threshold : Nat .
272 (lambda unrestricted bound : Nat .
273 (eliminate
274 TelemetryPolicyBackend
275 (lambda unrestricted current : (family TelemetryPolicyBackend A R) . A)
276 backend
277 (branch
278 TelemetryPolicyBackendValue
279 policySet
280 policySetWord
281 policyMove
282 policyStore
283 policyLoad
284 policyCompareImmediate
285 policyCompare
286 policySubtract
287 policyAdd
288 policyDivide
289 policyMultiply
290 policyJumpIf
291 policyJump
292 policyLabel
293 policyReturn
294 policyEnd
295 policyResult
296 policyArgument0
297 policyArgument1
298 policyArgument2
299 policyArgument3
300 policyArgument4
301 policyArgument5
302 policyScratch0
303 policyScratch1
304 .
305 (policySet
306 policyResult
307 7
308 (policyStore
309 policyArgument4
310 0
311 policyResult
312 (policyCompareImmediate
313 policyArgument5
314 (publicationArenaBytesForBody bound)
315 (policyJumpIf
316 (constructor TelemetryPolicyCondition TelemetryPolicyNotZero)
317 b"policy-flush-invalid"
318 (policyCompareImmediate
319 policyArgument3
320 1
321 (policyJumpIf
322 (constructor TelemetryPolicyCondition TelemetryPolicyAbove)
323 b"policy-flush-invalid"
324 (policyCompareImmediate
325 policyArgument2
326 4
327 (policyJumpIf
328 (constructor TelemetryPolicyCondition TelemetryPolicyAbove)
329 b"policy-flush-invalid"
330 (policyJumpIf
331 (constructor TelemetryPolicyCondition TelemetryPolicyZero)
332 b"policy-flush-invalid"
333 (policyLoad
334 policyResult
335 policyArgument1
336 publicationFinishedAt
337 (policyCompareImmediate
338 policyResult
339 1
340 (policyJumpIf
341 (constructor TelemetryPolicyCondition TelemetryPolicyAbove)
342 b"policy-flush-invalid"
343 (policyJumpIf
344 (constructor TelemetryPolicyCondition TelemetryPolicyZero)
345 b"policy-flush-closed"
346 (policyLoad
347 policyResult
348 policyArgument1
349 publicationPoisonedAt
350 (policyCompareImmediate
351 policyResult
352 1
353 (policyJumpIf
354 (constructor TelemetryPolicyCondition TelemetryPolicyAbove)
355 b"policy-flush-invalid"
356 (policyJumpIf
357 (constructor TelemetryPolicyCondition TelemetryPolicyZero)
358 b"policy-flush-poisoned"
359 (policyCompareImmediate
360 policyArgument2
361 3
362 (policyJumpIf
363 (constructor
364 TelemetryPolicyCondition
365 TelemetryPolicyNotZero)
366 b"policy-flush-terminal"
367 (policyCompareImmediate
368 policyArgument3
369 1
370 (policyJumpIf
371 (constructor TelemetryPolicyCondition TelemetryPolicyZero)
372 b"policy-flush-invalid"
373 (policyJump
374 b"policy-flush-requested"
375 (policyLabel
376 b"policy-flush-terminal"
377 (policyCompareImmediate
378 policyArgument3
379 1
380 (policyJumpIf
381 (constructor TelemetryPolicyCondition TelemetryPolicyZero)
382 b"policy-flush-requested"
383 (policySetWord
384 policyArgument5
385 threshold
386 (policyLoad
387 policyResult
388 policyArgument0
389 captureNextSequenceAt
390 (policyLoad
391 policyScratch0
392 policyArgument1
393 publicationPublishedNextAt
394 (policyCompare
395 policyResult
396 policyScratch0
397 (policyJumpIf
398 (constructor TelemetryPolicyCondition TelemetryPolicyBelow)
399 b"policy-flush-invalid"
400 (policySubtract
401 policyResult
402 policyScratch0
403 (policyCompare
404 policyResult
405 policyArgument5
406 (policyJumpIf
407 (constructor TelemetryPolicyCondition TelemetryPolicyAbove)
408 b"policy-flush-requested"
409 (policyJumpIf
410 (constructor TelemetryPolicyCondition TelemetryPolicyZero)
411 b"policy-flush-requested"
412 (policyLoad
413 policyScratch1
414 policyArgument0
415 captureExcludedAt
416 (policyLoad
417 policyScratch0
418 policyArgument1
419 publicationPublishedExcludedAt
420 (policyCompare
421 policyScratch1
422 policyScratch0
423 (policyJumpIf
424 (constructor TelemetryPolicyCondition TelemetryPolicyBelow)
425 b"policy-flush-invalid"
426 (policySubtract
427 policyScratch1
428 policyScratch0
429 (policyCompare
430 policyScratch1
431 policyArgument5
432 (policyJumpIf
433 (constructor TelemetryPolicyCondition TelemetryPolicyAbove)
434 b"policy-flush-requested"
435 (policyJumpIf
436 (constructor TelemetryPolicyCondition TelemetryPolicyZero)
437 b"policy-flush-requested"
438 (policyAdd
439 policyResult
440 policyScratch1
441 (policyJumpIf
442 (constructor TelemetryPolicyCondition TelemetryPolicyBelow)
443 b"policy-flush-requested"
444 (policyCompare
445 policyResult
446 policyArgument5
447 (policyJumpIf
448 (constructor TelemetryPolicyCondition TelemetryPolicyAbove)
449 b"policy-flush-requested"
450 (policyJumpIf
451 (constructor TelemetryPolicyCondition TelemetryPolicyZero)
452 b"policy-flush-requested"
453 (policySet
454 policyResult
455 0
456 (policyReturn
457 (policyLabel
458 b"policy-flush-requested"
459 (policySet
460 policyResult
461 1
462 (policyReturn
463 (policyLabel
464 b"policy-flush-invalid"
465 (policySet
466 policyResult
467 4
468 (policyStore
469 policyArgument4
470 0
471 policyResult
472 (policySet
473 policyResult
474 0
475 (policyReturn
476 (policyLabel
477 b"policy-flush-closed"
478 (policySet
479 policyResult
480 5
481 (policyStore
482 policyArgument4
483 0
484 policyResult
485 (policySet
486 policyResult
487 0
488 (policyReturn
489 (policyLabel
490 b"policy-flush-poisoned"
491 (policySet
492 policyResult
493 6
494 (policyStore
495 policyArgument4
496 0
497 policyResult
498 (policySet policyResult 0 (policyReturn policyEnd))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))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.