arsenm added a comment. Do we need to worry about updating the DivergenceAnalysis as the control flow is changed in the non-uniform regions? Sometimes it introduces new xor instructions which won't be in DA's value map. http://reviews.llvm.org/D16602