Lines Matching refs:circuit_
73 return BinaryArithmetic(circuit_->Lsr(), ptrSize, x, y);
79 return BinaryArithmetic(circuit_->Lsl(), ptrSize, x, y);
130 return BinaryArithmetic(circuit_->Or(), ptrsize, x, y);
212 return GetCircuit()->NewGate(circuit_->Int64ToTagged(),
296 return BinaryArithmetic(circuit_->Add(), Type, x, y);
298 return BinaryArithmetic(circuit_->Sub(), Type, x, y);
300 return BinaryArithmetic(circuit_->Mul(), Type, x, y);
310 return BinaryArithmetic(circuit_->AddWithOverflow(), Type, x, y);
312 return BinaryArithmetic(circuit_->SubWithOverflow(), Type, x, y);
314 return BinaryArithmetic(circuit_->MulWithOverflow(), Type, x, y);
331 return BinaryCmp(circuit_->Icmp(static_cast<uint64_t>(ICmpCondition::EQ)), x, y, comment);
334 return BinaryCmp(circuit_->Fcmp(static_cast<uint64_t>(FCmpCondition::OEQ)), x, y, comment);
352 return BinaryCmp(circuit_->Icmp(static_cast<uint64_t>(ICmpCondition::NE)), x, y, comment);
355 return BinaryCmp(circuit_->Fcmp(static_cast<uint64_t>(FCmpCondition::ONE)), x, y, comment);