Implement test/Regression/Transforms/InstCombine/canonicalize_branch.ll