Searched refs:no_minus_kid (Results 1 – 1 of 1) sorted by relevance
4784 Expr no_minus_kid; in canonBVMult() local4793 no_minus_kid = e[i][0]; in canonBVMult()4794 } else no_minus_kid = e[i]; in canonBVMult()4796 switch (no_minus_kid.getOpKind()) { in canonBVMult()4806 if (no_minus_kid[0].getOpKind() == BVCONST) { in canonBVMult()4810 DebugAssert(no_minus_kid[1].getOpKind() != BVCONST && in canonBVMult()4811 no_minus_kid[1].getOpKind() != BVPLUS && in canonBVMult()4812 no_minus_kid[1].getOpKind() != BVUMINUS, in canonBVMult()4821 new_prod = no_minus_kid[1]; in canonBVMult()4831 new_prod = no_minus_kid; in canonBVMult()[all …]