Automatic SIMD Vectorization of SSA-based Control Flow Graphs