Searched refs:pullr (Results 1 – 4 of 4) sorted by relevance
38 pullr macro
1598 pullr d1 define1636 pullr a01706 pullr a01709 pullr a51731 pullr d2 define
576 Node pullr = Rewriter::rewrite(pull); in extendedRewritePullIte() local578 ite_c[i][j] = pullr; in extendedRewritePullIte()601 Node pullr = ite_c[i][j]; in extendedRewritePullIte() local602 if (pullr.isConst() || pullr == n[i][j + 1]) in extendedRewritePullIte()609 if (tn.isBoolean() && pullr.isConst()) in extendedRewritePullIte()612 bool pol = pullr.getConst<bool>(); in extendedRewritePullIte()
100 pullr a5