Brian Homerding 7aa61615de [FunctionAttrs] Infer WriteOnly Function Attribute ...

These changes expand the FunctionAttr logic in order to mark functions as
WriteOnly when appropriate. This is done through an additional bool variable
and extended logic.

Reviewers: hfinkel, jdoerfert

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


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

2018-08-23 15:05:22 +00:00

..

aggregates.ll

[Analysis] Support aggregate access types in TBAA

2018-02-02 14:09:22 +00:00

aliastest.ll

[Verifier] Add verification for TBAA metadata

2016-12-11 20:07:15 +00:00

argument-promotion.ll

…

cyclic.ll

[TBAAVerifier] Be stricter around verifying scalar nodes

2016-12-29 15:47:05 +00:00

dse.ll

[Verifier] Add verification for TBAA metadata

2016-12-11 20:07:15 +00:00

dynamic-indices.ll

[BasicAA] Use MayAlias instead of PartialAlias for fallback.

2017-06-21 18:25:37 +00:00

functionattrs.ll

[FunctionAttrs] Infer WriteOnly Function Attribute

2018-08-23 15:05:22 +00:00

gvn-nonlocal-type-mismatch.ll

[Verifier] Add verification for TBAA metadata

2016-12-11 20:07:15 +00:00

intrinsics.ll

AA: Use generic intrinsics for tests instead of target specific ones

2017-05-13 00:12:52 +00:00

licm.ll

[Verifier] Add verification for TBAA metadata

2016-12-11 20:07:15 +00:00

memcpyopt.ll

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

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

placement-tbaa.ll

[PM/AA] Wire up TBAA to the new pass manager's registry and test it.

2016-02-20 04:04:52 +00:00

PR17620.ll

…

precedence.ll

…

sink.ll

…

tbaa-path-new.ll

[Analysis] Support aggregate access types in TBAA

2018-02-02 14:09:22 +00:00

tbaa-path.ll

…