summaryrefslogtreecommitdiffstats
path: root/llvm/test/Analysis/AliasSet/argmemonly.ll
Commit message (Collapse)AuthorAgeFilesLines
* [Analysis] Make LocationSize pretty-printing more descriptiveGeorge Burgess IV2018-10-101-3/+3
| | | | | | | | | | | | | This is the third patch in a series intended to make https://reviews.llvm.org/D44748 more easily reviewable. Please see that patch for more context. The second being r344013. The intent is to make the output of printing a LocationSize more precise. The main motivation for this is that we plan to add a bit to distinguish whether a given LocationSize is an upper-bound or is precise; making that information available in pretty-printing is nice. llvm-svn: 344108
* [AST] Generalize argument specific aliasingPhilip Reames2018-09-071-36/+28
| | | | | | | | | | | | | | AliasSetTracker has special case handling for memset, memcpy and memmove which pre-existed argmemonly on functions and readonly and writeonly on arguments. This patch generalizes it using the AA infrastructure to any call correctly annotated. The motivation here is to cut down on confusion, not performance per se. For most instructions, there is a direct mapping to alias set. However, this is not guaranteed by the interface and was not in fact true for these three intrinsics *and only these three intrinsics*. I kept getting myself confused about this invariant, so I figured it would be good to clearly distinguish between a instructions and alias sets. Calls happened to be an easy target. The nice side effect is that custom implementations of memset/memcpy/memmove - including wrappers discovered by IPO - can now be optimized the same as builts by LICM. Note: The actual removal of the memset/memtransfer specific handling will happen in a follow on NFC patch. It was originally part of this one, but separate for ease of review and rebase. Differential Revision: https://reviews.llvm.org/D50730 llvm-svn: 341713
* [AST] Add a test for attribute intersectionPhilip Reames2018-08-221-0/+18
| | | | | | Already works, but I initially convinced myself it doesn't, so add a test which shows it does. :) llvm-svn: 340453
* [AST][Tests] Clarify what each test is doingPhilip Reames2018-08-171-20/+23
| | | | llvm-svn: 340100
* [AST[Tests] Shorten tests using noalias paramsPhilip Reames2018-08-171-12/+4
| | | | llvm-svn: 340099
* [AST] Add tests for argmemonly calls [NFC]Philip Reames2018-08-171-0/+130
First step towards building a test set to rebase D50730 on top of. Starting with clone of memtransfer tests, more to come. llvm-svn: 340095
OpenPOWER on IntegriCloud