diff options
| author | Michael Kruse <llvm@meinersbur.de> | 2018-01-23 23:56:25 +0000 |
|---|---|---|
| committer | Michael Kruse <llvm@meinersbur.de> | 2018-01-23 23:56:25 +0000 |
| commit | 1ed2bc526691237ea7a6e2796b25c5eb46cde05e (patch) | |
| tree | 75da7dd075807c019704ac2cad080db70c1bcac8 /polly/include | |
| parent | 03bb127569a515e2023ff406952c4d6fd8c8aaa1 (diff) | |
| download | bcm5719-llvm-1ed2bc526691237ea7a6e2796b25c5eb46cde05e.tar.gz bcm5719-llvm-1ed2bc526691237ea7a6e2796b25c5eb46cde05e.zip | |
[VirtualInst] Derive correct use kind of PHI operands. NFC.
VirtualUse::create is only called for MemoryKind::Value, but its
consistency nonetheless checked in verifyUses(). PHI uses are always
inter-stmt dependencies, which was not considered by the constructor
method. The virtual and non-virtual execution paths were the same, such
that verifyUses did not encounter any inconsistencies.
llvm-svn: 323283
Diffstat (limited to 'polly/include')
| -rw-r--r-- | polly/include/polly/Support/VirtualInstruction.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/polly/include/polly/Support/VirtualInstruction.h b/polly/include/polly/Support/VirtualInstruction.h index bf7ebe4d67a..81d954e093e 100644 --- a/polly/include/polly/Support/VirtualInstruction.h +++ b/polly/include/polly/Support/VirtualInstruction.h @@ -99,7 +99,10 @@ public: /// @return The VirtualUse representing the same use as @p U. static VirtualUse create(Scop *S, const Use &U, LoopInfo *LI, bool Virtual); - /// Get a VirtualUse for any kind of use of a value within a statement. + /// Get a VirtualUse for uses within statements. + /// + /// It is assumed that the user is not a PHINode. Such uses are always + /// VirtualUse::Inter unless in a regions statement. /// /// @param S The Scop object. /// @param UserStmt The statement in which @p Val is used. Can be nullptr, in |

