futhark-autotune: beginning of handling divergent branches.
futhark-autotune: beginning of handling divergent branches.

diku-dk/futhark,diku-dk/futhark,diku-dk/futhark,diku-dk/futhark,HIPERFIT/futhark,HIPERFIT/futhark,diku-dk/futhark,HIPERFIT/futhark