Function replaceGeneratorIfThenElse

src/ast/ast_generate.cpp:1230–1288

    }

    ExpressionPtr replaceGeneratorIfThenElse ( ExprIfThenElse * expr, const FunctionPtr & func ) {
        auto blk = new ExprBlock();
        blk->at = expr->at;
        blk->isCollapseable = true;
        if ( expr->if_false ) {
            auto else_label = func->totalGenLabel ++;
            auto end_label = func->totalGenLabel ++;
            auto gtel = new ExprGoto(expr->at, else_label);
            auto btel = new ExprBlock();
            btel->at = expr->at;
            btel->list.push_back(gtel);
            auto ncnd = new ExprOp1(expr->cond->at, "!", expr->cond->clone());
            auto ifnc = new ExprIfThenElse(expr->at, ncnd, btel, nullptr);
            blk->list.push_back(ifnc);
            auto ift = expr->if_true->clone();
            if ( ift->rtti_isBlock() ){
                auto iftb = static_cast<ExprBlock*>(ift);
                iftb->isCollapseable = true;
                giveBlockVariablesUniqueNames(ift);
            }
            blk->list.push_back(ift);
            auto gten = new ExprGoto(expr->at, end_label);
            blk->list.push_back(gten);
            auto elsel = new ExprLabel(expr->at, else_label,
                                                "else if at line " + to_string(expr->at.line));
            blk->list.push_back(elsel);
            auto iff = expr->if_false->clone();
            if ( iff->rtti_isBlock() ){
                auto iffb = static_cast<ExprBlock*>(iff);
                iffb->isCollapseable = true;
                giveBlockVariablesUniqueNames(iff);
            }
            blk->list.push_back(iff);
            auto enddl = new ExprLabel(expr->at, end_label,
                                                "end if at line " + to_string(expr->at.line));
            blk->list.push_back(enddl);
        } else {
            auto end_label = func->totalGenLabel ++;
            auto gtel = new ExprGoto(expr->at, end_label);
            auto btel = new ExprBlock();
            btel->at = expr->at;
            btel->list.push_back(gtel);
            auto ncnd = new ExprOp1(expr->cond->at, "!", expr->cond->clone());
            auto ifnc = new ExprIfThenElse(expr->at, ncnd, btel, nullptr);
            blk->list.push_back(ifnc);
            auto ift = expr->if_true->clone();
            if ( ift->rtti_isBlock() ){
                auto iftb = static_cast<ExprBlock*>(ift);
                iftb->isCollapseable = true;
                giveBlockVariablesUniqueNames(ift);
            }
            blk->list.push_back(ift);
            auto enddl = new ExprLabel(expr->at, end_label,
                                                "end if at line " + to_string(expr->at.line));
            blk->list.push_back(enddl);
        }
        verifyGenerated(blk);
        return blk;