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 290–308

lifetimeIsValid

Full file
290def lifetimeIsValid =
291  (lambda unrestricted lifetime : (family Lifetime) .
292    (eliminate
293      Lifetime
294      (lambda unrestricted current : (family Lifetime) . Nat)
295      lifetime
296      (branch
297        LifetimeValue
298        tensor
299        firstUse
300        lastUse
301        bytes
302        alignment
303        .
304        (naturalFlagAnd
305          (naturalLessThanOrEqual (modelWord32ToNatural firstUse) (modelWord32ToNatural lastUse))
306          (naturalFlagAnd
307            (naturalFlagNot (modelWord64IsZero (stdByteCountValue bytes)))
308            (alignmentValid (stdByteAlignmentValue alignment)))))))

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.