Skip to content

Track liveness of memory values #2324

Closed
@brson

Description

@brson

For GC we need to know the liveness of allocas. Use the LLVM intrinsics llvm.lifetime.start and llvm.lifetime.end. For testability we should track lifetimes of all allocas, add a custom pass to verify that all allocas have a lifetime and that none are used after their lifetime.

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-codegenArea: Code generationA-runtimeArea: std's runtime and "pre-main" init for handling backtraces, unwinds, stack overflowsC-enhancementCategory: An issue proposing an enhancement or a PR with one.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions