diff options
| author | Sameer Sahasrabuddhe <sameer.sahasrabuddhe@amd.com> | 2023-02-20 14:25:37 +0530 |
|---|---|---|
| committer | Sameer Sahasrabuddhe <sameer.sahasrabuddhe@amd.com> | 2023-02-20 14:26:43 +0530 |
| commit | f6e22f2f63b4f44adb904d017313f5a286a3a89f (patch) | |
| tree | c80f75f00e7f829340403b519ff2f28f651ee707 /polly | |
| parent | ac84bc3cd407d95df9031e0dc02ad62969298ff6 (diff) | |
| download | llvm-f6e22f2f63b4f44adb904d017313f5a286a3a89f.tar.gz | |
[llvm][Uniformity] A phi with an undef argument is not always divergent
The uniformity analysis treated an undef argument to phi to be distinct from any
other argument, equivalent to calling PHINode::hasConstantValue() instead of
PHINode::hasConstantOrUndefValue(). Such a phi was reported as divergent. This
is different from the older divergence analysis which treats such a phi as
uniform. Fixed uniformity analysis to match the older behaviour.
The original behaviour was added to DivergenceAnalysis in D19013. But it is not
clear if relying on the undef value is safe. The defined values are not constant
per se; they just happen to be uniform and the non-constant uniform value may
not dominate the PHI.
Reviewed By: ruiling
Differential Revision: https://reviews.llvm.org/D144254
Diffstat (limited to 'polly')
0 files changed, 0 insertions, 0 deletions