[llvm] [UniformityAnalysis] Track uniform values for conservative divergence queries at IR level (PR #180509)

[Petar Avramovic via llvm-commits]

petar-avramovic wrote:

> It is important to understand that this pass _never_ proves that anything is divergent, it only makes a best effort to prove that some things are uniform.

But it did not even attempt to prove anything for "unknown", I just say that we need to know is analysis was attempted or not.


https://github.com/llvm/llvm-project/pull/180509