Branch Divergence in SIMT Machines: From CFG to Compiler Divergence Analysis [pdf]