Page MenuHomePhabricator

[PATCH 19/27] [noalias] Introduce ConnectNoAliasDecl pass
Needs ReviewPublic

Authored by jeroen.dobbelaere on Oct 4 2019, 3:11 PM.

Details

Reviewers
hfinkel
jdoerfert
Summary

This is part of the series started by D68484.

This pass connects llvm.noalias.decl to llvm.noalias, llvm.provenance.noalias
and llvm.noalias.copy.guard intrinsics when those are associated with the
unknown function scope and depend on the same alloca object. The connection
allows a refinement of the noalias information for those intrinsics, resulting
in better code.

Note: this is a stable point and tests should run fine with the patches applied up to this point.

Diff Detail

Event Timeline

jeroen.dobbelaere retitled this revision from [PATCH 30/38] [noalias] Introduce ConnectNoAliasDecl pass to [PATCH 19/26] [noalias] Introduce ConnectNoAliasDecl pass.
jeroen.dobbelaere edited the summary of this revision. (Show Details)
jeroen.dobbelaere retitled this revision from [PATCH 19/26] [noalias] Introduce ConnectNoAliasDecl pass to [PATCH 19/27] [noalias] Introduce ConnectNoAliasDecl pass.

Rebased to 9fb46a452d4e5666828c95610ceac8dcd9e4ce16 (September 7, 2020)