Skip to content

Experiment with annotating args as "noalias" if we can prove it #847

Description

@pcwalton

LLVM arguments accept "noalias", which is nice. We can do type-based alias analysis to set it.

Activity

  1. bstrie commented on Apr 30, 2013

    @bstrie
    Contributor

    Nominating for maturity 5.

  2. thestinger commented on May 26, 2013

    @thestinger
    Contributor

    We now tag &mut parameters as noalias, I'm going to close this bug and open more specific issues for other potential uses.

  3. added a commit that references this issue on Dec 12, 2017
  4. added a commit that references this issue on Oct 26, 2020
    958c585
  5. added a commit that references this issue on Apr 30, 2026
  6. added 2 commits that reference this issue on Aug 21, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-codegenArea: Code generationC-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