[SPARC] Revamp AnalyzeBranch and add ReverseBranchCondition.