diff options
| author | Philip Reames <listmail@philipreames.com> | 2021-07-14 12:35:23 -0700 |
|---|---|---|
| committer | Philip Reames <listmail@philipreames.com> | 2021-07-14 13:05:43 -0700 |
| commit | e75a2dfe209d9cc68e4d9813a38441c45d51d8bb (patch) | |
| tree | 126c6708a4fb57bf8104feee31d3afa5a7479f93 /llvm/lib/Transforms/Utils/BasicBlockUtils.cpp | |
| parent | 76b7d3432e38bb7690c3bbd4940786b5cb751b95 (diff) | |
| download | llvm-e75a2dfe209d9cc68e4d9813a38441c45d51d8bb.zip llvm-e75a2dfe209d9cc68e4d9813a38441c45d51d8bb.tar.gz llvm-e75a2dfe209d9cc68e4d9813a38441c45d51d8bb.tar.bz2 | |
[tests] Stablize tests for possible change in deref semantics
There's a potential change in dereferenceability attribute semantics in the nearish future. See llvm-dev thread "RFC: Decomposing deref(N) into deref(N) + nofree" and D99100 for context.
This change simply adds appropriate attributes to tests to keep transform logic exercised under both old and new/proposed semantics. Note that for many of these cases, O3 would infer exactly these attributes on the test IR.
This change handles the idiomatic pattern of a dereferenceable object being passed to a call which can not free that memory. There's a couple other tests which need more one-off attention, they'll be handled in another change.
Diffstat (limited to 'llvm/lib/Transforms/Utils/BasicBlockUtils.cpp')
0 files changed, 0 insertions, 0 deletions