Method check_ppv

src/opr/impl/cond.cpp:182–189

assert that a var is a PPV

    //! assert that a var is a PPV
    ExecutionMask* check_ppv(VarNode* var) const {
        auto mask = require_mask_from_var(var);
        mgb_throw_if(
                mask->owner() != var, GraphError,
                "a conditional var is not PPV: mask=%s var=%s", mask2str(mask).c_str(),
                cg::dump_var_info({var}).c_str());
        return mask;
    }
};
MGB_TYPEINFO_OBJ_IMPL(CondExecPred::GlobalRegistry);