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 338–352

lifetimeIdOccurs

Full file
338def lifetimeIdOccurs =
339  (lambda unrestricted tensor : (family TensorId) .
340    (lambda unrestricted lifetimes : (family Lifetimes) .
341      (eliminate
342        Lifetimes
343        (lambda unrestricted current : (family Lifetimes) . Nat)
344        lifetimes
345        (branch LifetimesEnd . zero)
346        (branch
347          LifetimesNext
348          head
349          tail
350          ih_tail
351          .
352          (naturalFlagOr (tensorIdEqual tensor (lifetimeTensorId head)) ih_tail)))))

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.