Page MenuHomePhabricator

[Intrinsics] Add a 'NoAlias' intrinsic property; annotate llvm.memcpy
ClosedPublic

Authored by xbolva00 on Tue, Aug 13, 12:51 PM.

Diff Detail

Repository
rL LLVM

Event Timeline

xbolva00 created this revision.Tue, Aug 13, 12:51 PM

We need a test though.

Yes, I will add it soon.

xbolva00 planned changes to this revision.Tue, Aug 13, 1:00 PM

We need a test though.

Done.

jdoerfert accepted this revision.EditedTue, Aug 13, 3:33 PM

Proposed wording for the comment, otherwise LGTM. (with the test case)

include/llvm/IR/Intrinsics.td
66 ↗(On Diff #214929)

is not aliasing other "noalias" pointer arguments of the intrinsic wrt. the intrinsic scope.

This revision is now accepted and ready to land.Tue, Aug 13, 3:33 PM
xbolva00 updated this revision to Diff 215036.Wed, Aug 14, 1:04 AM

Updated comment

xbolva00 updated this revision to Diff 215042.Wed, Aug 14, 1:30 AM

Update basicaa test

This revision was automatically updated to reflect the committed changes.
Herald added a project: Restricted Project. · View Herald TranscriptWed, Aug 14, 1:33 AM

These reviews omitted llvm-commits during review; sad that phab is *still* not doing the right thing re subscribing lists