This change removes the restriction that EQ-AST must be followed by two successors. Instead, when the case arises that EQ-AST has only one successor, AST-HIR conversion wraps the EQ-AST in an IF. This way, implementers can write CL:EQ as (CLEAVIR-PRIMOP:EQ arg1 arg2) and expect the right HIR graph to be generated, with no redundant branches needed.
This change removes the restriction that
EQ-ASTmust be followed by two successors. Instead, when the case arises thatEQ-ASThas only one successor,AST-HIRconversion wraps theEQ-ASTin anIF. This way, implementers can writeCL:EQas(CLEAVIR-PRIMOP:EQ arg1 arg2)and expect the right HIR graph to be generated, with no redundant branches needed.