diff options
| author | Philip Reames <listmail@philipreames.com> | 2016-01-06 04:53:16 +0000 |
|---|---|---|
| committer | Philip Reames <listmail@philipreames.com> | 2016-01-06 04:53:16 +0000 |
| commit | ae050a570317ac8504bdd31fa73b52100471d753 (patch) | |
| tree | df777a986dd43b27d36d9c1fbc8facc42f5d5589 /llvm/test/Transforms/InferFunctionAttrs/annotate.ll | |
| parent | cdf46d1b52e976bdad3d383cdec0989cc9747c83 (diff) | |
| download | bcm5719-llvm-ae050a570317ac8504bdd31fa73b52100471d753.tar.gz bcm5719-llvm-ae050a570317ac8504bdd31fa73b52100471d753.zip | |
[BasicAA] Remove special casing of memset_pattern16 in favor of generic attribute inference
Most of the properties of memset_pattern16 can be now covered by the generic attributes and inferred by InferFunctionAttrs. The only exceptions are:
- We don't yet have a writeonly attribute for the first argument.
- We don't have an attribute for modeling the access size facts encoded in MemoryLocation.cpp.
Differential Revision: http://reviews.llvm.org/D15879
llvm-svn: 256911
Diffstat (limited to 'llvm/test/Transforms/InferFunctionAttrs/annotate.ll')
| -rw-r--r-- | llvm/test/Transforms/InferFunctionAttrs/annotate.ll | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/llvm/test/Transforms/InferFunctionAttrs/annotate.ll b/llvm/test/Transforms/InferFunctionAttrs/annotate.ll index 709feb486c2..1cb7ab137c0 100644 --- a/llvm/test/Transforms/InferFunctionAttrs/annotate.ll +++ b/llvm/test/Transforms/InferFunctionAttrs/annotate.ll @@ -22,9 +22,14 @@ declare i8* @_Znwj(i64) declare i8* @_Znwm(i64) ; CHECK: declare noalias nonnull i8* @_Znwm(i64) +declare void @memset_pattern16(i8*, i8*, i64) +; CHECK: declare void @memset_pattern16(i8*, i8*, i64) +; CHECK-POSIX: declare void @memset_pattern16(i8*, i8* readonly, i64) [[G2:#[0-9]+]] + declare i32 @gettimeofday(i8*, i8*) ; CHECK-POSIX: declare i32 @gettimeofday(i8* nocapture, i8* nocapture) [[G0:#[0-9]+]] ; CHECK: attributes [[G0]] = { nounwind } ; CHECK: attributes [[G1]] = { nounwind readonly } ; CHECK-POSIX: attributes [[G0]] = { nounwind } +; CHECK-POSIX: attributes [[G2]] = { argmemonly } |
