diff options
author | Johannes Doerfert <johannes@jdoerfert.de> | 2019-12-31 00:57:00 -0600 |
---|---|---|
committer | Johannes Doerfert <johannes@jdoerfert.de> | 2019-12-31 01:33:21 -0600 |
commit | 28880198718b51a8d590d6e8194f2932683bdd54 (patch) | |
tree | 38e901bbdfa9e0a4611fdf6c68236d103bce8228 /llvm/test/Transforms/Attributor/ArgumentPromotion/control-flow.ll | |
parent | 23a6ae2b0624278646929d5cbed360f79be505ac (diff) | |
download | bcm5719-llvm-28880198718b51a8d590d6e8194f2932683bdd54.tar.gz bcm5719-llvm-28880198718b51a8d590d6e8194f2932683bdd54.zip |
[Attributor] Annotate the memory behavior of call site arguments
Especially for callbacks, annotating the call site arguments is
important. Doing so exposed a too strong dependence of AAMemoryBehavior
on AANoCapture since we handle the case of potentially captured pointers
explicitly.
The changes to the tests are all mechanical.
Diffstat (limited to 'llvm/test/Transforms/Attributor/ArgumentPromotion/control-flow.ll')
-rw-r--r-- | llvm/test/Transforms/Attributor/ArgumentPromotion/control-flow.ll | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/llvm/test/Transforms/Attributor/ArgumentPromotion/control-flow.ll b/llvm/test/Transforms/Attributor/ArgumentPromotion/control-flow.ll index ba69c588f24..b62907394bf 100644 --- a/llvm/test/Transforms/Attributor/ArgumentPromotion/control-flow.ll +++ b/llvm/test/Transforms/Attributor/ArgumentPromotion/control-flow.ll @@ -26,7 +26,7 @@ F: define i32 @foo() { ; CHECK-LABEL: define {{[^@]+}}@foo() ; CHECK-NEXT: entry: -; CHECK-NEXT: [[X:%.*]] = call i32 @callee(i1 true, i32* noalias nofree undef) +; CHECK-NEXT: [[X:%.*]] = call i32 @callee(i1 true, i32* noalias nofree readnone undef) ; CHECK-NEXT: ret i32 17 ; entry: |