]> granicus.if.org Git - llvm/commit
[Attributor][MemBehavior] Fallback to the function state for arguments
authorJohannes Doerfert <jdoerfert@anl.gov>
Sun, 13 Oct 2019 20:47:16 +0000 (20:47 +0000)
committerJohannes Doerfert <jdoerfert@anl.gov>
Sun, 13 Oct 2019 20:47:16 +0000 (20:47 +0000)
commitd552441802ce98fcac32be1b4c121d2fad4dca8c
tree0943e85c31882d59e9a465ea4162662a0f7c974c
parent3b5635a0b32cea714c8d106e0c42ac21ee62249d
[Attributor][MemBehavior] Fallback to the function state for arguments

Even if an argument is captured, we cannot have an effect the function
does not have. This is fine except for the special case of `inalloca` as
it does not behave by the rules.

TODO: Maybe the special rule for `inalloca` is wrong after all.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@374736 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/Transforms/IPO/Attributor.h
lib/Transforms/IPO/Attributor.cpp
test/Transforms/FunctionAttrs/nocapture.ll
test/Transforms/FunctionAttrs/nonnull.ll
test/Transforms/FunctionAttrs/readattrs.ll