]> granicus.if.org Git - llvm/commit
[ValueTracking] Add MustPreserveNullness arg to functions analyzing calls. (NFC)
authorFlorian Hahn <flo@fhahn.com>
Thu, 15 Aug 2019 12:13:02 +0000 (12:13 +0000)
committerFlorian Hahn <flo@fhahn.com>
Thu, 15 Aug 2019 12:13:02 +0000 (12:13 +0000)
commit43112b116c04ada1a8f5f651436e2ac5665c1e64
tree2ff9c8340d0311d0ff94e50be3ed986d902f5dce
parentb189616165c39548c318ddceec2ae8713419f054
[ValueTracking] Add MustPreserveNullness arg to functions analyzing calls. (NFC)

Some uses of getArgumentAliasingToReturnedPointer and
isIntrinsicReturningPointerAliasingArgumentWithoutCapturing require the
calls/intrinsics to preserve the nullness of the argument.

For alias analysis, the nullness property does not really come into
play.

This patch explicitly sets it to true. In D61669, the alias analysis
uses will be switched to not require preserving nullness.

Reviewers: nlopes, efriedma, hfinkel, sanjoy, aqjune, jdoerfert

Reviewed By: jdoerfert

Tags: #llvm

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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@368993 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/Analysis/ValueTracking.h
lib/Analysis/BasicAliasAnalysis.cpp
lib/Analysis/CaptureTracking.cpp
lib/Analysis/Loads.cpp
lib/Analysis/ValueTracking.cpp