1319def nativeTelemetrySourceOutsideRegion =
1320 (lambda unrestricted regionAt : Nat .
1321 (lambda unrestricted regionBytes : Nat .
1322 (lambda unrestricted operand : (family NativePhysicalOperand) .
1323 (eliminate
1324 NativePhysicalOperand
1325 (lambda unrestricted current : (family NativePhysicalOperand) . Nat)
1326 operand
1327 (branch NativePhysicalImmediate value . 1)
1328 (branch NativePhysicalResultValue slot . 1)
1329 (branch NativePhysicalResultAddress slot offset . 1)
1330 (branch NativePhysicalStateAddress offset . 1)
1331 (branch
1332 NativePhysicalStateLoad64
1333 offset
1334 .
1335 (naturalOr
1336 (naturalAnd
1337 (naturalLessOrEqual captureWordBytes regionAt)
1338 (naturalLessOrEqual
1339 (modelWord64Natural offset)
1340 (naturalSaturatingSubtract regionAt captureWordBytes)))
1341 (naturalLessOrEqual (naturalAdd regionAt regionBytes) (modelWord64Natural offset))))
1342 (branch NativePhysicalPayloadAddress offset . 1)
1343 (branch NativePhysicalPayloadLoad64 offset . 1)
1344 (branch NativePhysicalProcessArgument index . 1)
1345 (branch NativePhysicalLoopAffine base stride . 1)))))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.