[llvm] [NVPTX] : Make an optimistic assumption that loads from generic address space are not divergent. This assumption discovers more non-divergent expressions. (PR #198619)

[Alex MacLean via llvm-commits]

https://github.com/AlexMaclean requested changes to this pull request.

Change still seems incorrect to me.

Take the example I provided above and instead of reading from the alloca directly imagine storing the pointer to a global or shared memory and later loading it back from a pointer that aliases. This change would incorrectly mark the load from the alloca as uniform.

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