Josh Stone 07bbdf4564 [Lint] Permit aliasing noalias readonly arguments ...

Summary:
If two arguments are both readonly, then they have no memory dependency
that would violate noalias, even if they do actually overlap.

Reviewers: hfinkel, efriedma

Reviewed By: efriedma

Subscribers: efriedma, hiraditya, llvm-commits, tstellar

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D60239

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@359047 91177308-0d34-0410-b5e6-96231b3b80d8

2019-04-23 23:43:47 +00:00

..

address-spaces.ll

…

check-zero-divide.ll

…

cppeh-catch-intrinsics-clean.ll

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

lit.local.cfg

…

memintrin.ll

[Lint] Upgrade uses of MemoryIntrinic::getAlignment() to new API. (NFCI)

2018-01-31 16:42:15 +00:00

noalias-byval.ll

Remove alignment argument from memcpy/memmove/memset in favour of alignment attributes (Step 1)

2018-01-19 17:13:12 +00:00

noalias-readonly.ll

[Lint] Permit aliasing noalias readonly arguments

2019-04-23 23:43:47 +00:00

noop-cast-expr-no-pointer.ll

[Lint] Avoid failed assertion by fetching the proper pointer type

2017-10-03 06:03:49 +00:00

tail-call-byval.ll

[Lint] Don't warn about passing alloca'd value to tail call if using byval

2017-11-15 07:46:48 +00:00