If-Conversion SSA Framework and Transformations If-conversion refers to a compiler optimization that eliminates conditional branches by transforming a control flow region into an equivalent set of instruction, using architectural support ranging from select instruction to partial or fully predicated ISA. We present here a global SSA framework to incrementally increase the size of if-converted regions, balancing speculation and predication. SSA is mandatory for this transformation since it solves the register remaining problem and provides the support for the dataflow analysis from operands to their defining predicate.