[llvm] [UniformityAnalysis] Replace DivergentValues with UniformValues for conservative divergence queries (PR #180509)

[Pankaj Dwivedi via llvm-commits]

================

----------------
PankajDwivedi-25 wrote:

Yeah make sense, thanks.

I have below point.

The block iteration in print() unconditionally outputs block headers and value lines (with uniform/divergent prefixes); we only know whether anything was divergent after the full iteration by the time we would have already printed the block headers.

To keep the printing structure intact, we need to use a buffer to discard it when nothing divergent is found, matching the original early-return behavior or else if that's ok to change the print structure will go ahead without a buffer.

Please suggest.

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