[PATCH] D137142: [WIP] DivergenceAnalysis: Infer uniformity from assume calls

[Nicolai Hähnle via Phabricator via llvm-commits]

nhaehnle added a comment.

I don't quite see the point of this change. For test cases like `@assume_ballot_eq_0`, what we really should be doing here is optimize the branch away entirely because the `llvm.assume` implies that `%cmp == 0`.

It sounds like what we really want here is a sort of `llvm.assume.uniform` intrinsic.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D137142/new/

https://reviews.llvm.org/D137142