Searched refs:srcCf (Results 1 – 2 of 2) sorted by relevance
4080 const coeffs srcCf = src->cf; in n_PermNumber() local4081 assume( srcCf != NULL ); in n_PermNumber()4083 assume( !nCoeff_is_GF(srcCf) ); in n_PermNumber()4088 const ring srcExtRing = srcCf->extRing; in n_PermNumber()4094 if( nCoeff_is_algExt(srcCf) ) // nCoeff_is_GF(srcCf)? in n_PermNumber()4099 else if (nCoeff_is_transExt(srcCf)) in n_PermNumber()4140 if(nCoeff_is_transExt(srcCf) in n_PermNumber()
11513 auto srcCf = triton::arch::OperandWrapper(this->architecture->getRegister(ID_REG_X86_CF)); in rcl_s() local11519 auto op3 = this->symbolicEngine->getOperandAst(inst, srcCf); in rcl_s()11573 expr2->isTainted = this->taintEngine->taintUnion(dst, srcCf); in rcl_s()11592 auto srcCf = triton::arch::OperandWrapper(this->architecture->getRegister(ID_REG_X86_CF)); in rcr_s() local11597 auto op3 = this->symbolicEngine->getOperandAst(inst, srcCf); in rcr_s()11651 expr2->isTainted = this->taintEngine->taintUnion(dst, srcCf); in rcr_s()12029 auto srcCf = triton::arch::OperandWrapper(this->architecture->getRegister(ID_REG_X86_CF)); in sbb_s() local12034 …auto op3 = this->astCtxt->zx(src.getBitSize()-1, this->symbolicEngine->getOperandAst(inst, srcCf)); in sbb_s()12044 expr->isTainted = this->taintEngine->taintUnion(dst, srcCf); in sbb_s()