LLVM analysis to find control dependencies on MPI calls