Source/Packages

Runtime.NativeTelemetryPolicy

packages/execution/src/Runtime/NativeTelemetryPolicy.alpha

2,209 lines52 declarations108.2 KiBSHA-256 32a9bdfdc18e

def · lines 214–232

nativeTelemetrySiteSelectionRoutine

Full file
214def nativeTelemetrySiteSelectionRoutine =
215  (lambda unrestricted ordinaryCapacity : Nat .
216    (lambda unrestricted reservedCapacity : Nat .
217      (lambda unrestricted required : Nat .
218        (lambda unrestricted enabled : Nat .
219          (lambda unrestricted stride : Nat .
220            (lambda unrestricted bound : Nat .
221              (compiler-native-encode
222                (family X86NativeAssembly)
223                (telemetryPolicySiteAssemblyFor
224                  (family X86NativeAssembly)
225                  (family X86NativeRegister64)
226                  policyX86Backend
227                  ordinaryCapacity
228                  reservedCapacity
229                  required
230                  enabled
231                  stride
232                  bound))))))))

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.