[llvm] [WIP][Assume] Generic assume-based uniformity optimization (PR #160670)

[Sameer Sahasrabuddhe via llvm-commits]

================
@@ -1034,6 +1034,35 @@ define i1 @neg_assume_trunc_eq_one(i8 %x) {
   ret i1 %q
 }
 
+; Test AMDGPU ballot pattern optimization  
+; assume(ballot(cmp) == -1) means cmp is true on all active lanes
+; so dominated uses of cmp can be replaced with true
----------------
ssahasra wrote:

Really please remove "dominated" from everywhere.

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