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 421–448

placementAligned

Full file
421def placementAligned =
422  (lambda unrestricted placement : (family Placement) .
423    (eliminate
424      Placement
425      (lambda unrestricted current : (family Placement) . Nat)
426      placement
427      (branch
428        PlacementValue
429        lifetime
430        offset
431        capacity
432        .
433        (eliminate
434          Lifetime
435          (lambda unrestricted current : (family Lifetime) . Nat)
436          lifetime
437          (branch
438            LifetimeValue
439            tensor
440            firstUse
441            lastUse
442            bytes
443            alignment
444            .
445            (modelWord64IsZero
446              (modelWord64And
447                (stdByteCountValue offset)
448                (modelWord64Subtract (stdByteAlignmentValue alignment) modelWord64One))))))))

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.