petar-avramovic wrote: Ok, looks good so far. Does uniformity analysis correctly calculate if argument is uniform or divergent? If not it would be easier to use ballot or inverse ballot in argument lowering and normal copy https://github.com/llvm/llvm-project/pull/159281