AlphaGitHub
Source/Packages

Compiler.Planning.Liveness

packages/compiler/planning/src/Compiler/Planning/Liveness.alpha

1,458 lines160 declarations54.8 KiBSHA-256 5734e8062a86
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 450–474

placementCapacityValid

Full file
450def placementCapacityValid =
451  (lambda unrestricted placement : (family Placement) .
452    (eliminate
453      Placement
454      (lambda unrestricted current : (family Placement) . Nat)
455      placement
456      (branch
457        PlacementValue
458        lifetime
459        offset
460        capacity
461        .
462        (eliminate
463          Lifetime
464          (lambda unrestricted current : (family Lifetime) . Nat)
465          lifetime
466          (branch
467            LifetimeValue
468            tensor
469            firstUse
470            lastUse
471            bytes
472            alignment
473            .
474            (word64LessThanOrEqual (stdByteCountValue bytes) (stdByteCountValue capacity)))))))

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.