Lines Matching defs:CheckAndConvert
344 GateRef CircuitBuilder::CheckAndConvert(GateRef gate, ValueType src, ValueType dst, ConvertSupport support)
354 GateRef ret = GetCircuit()->NewGate(circuit_->CheckAndConvert(value),
372 return CheckAndConvert(gate, ValueType::BOOL, ValueType::INT32, support);
377 return CheckAndConvert(gate, ValueType::BOOL, ValueType::FLOAT64, support);
412 return CheckAndConvert(gate, ValueType::FLOAT64, ValueType::INT32);
452 return CheckAndConvert(gate, ValueType::TAGGED_BOOLEAN, ValueType::BOOL);
457 return CheckAndConvert(gate, ValueType::TAGGED_NUMBER, ValueType::BOOL);
462 return CheckAndConvert(gate, ValueType::HOLE_INT, ValueType::TAGGED_INT);
467 return CheckAndConvert(gate, ValueType::HOLE_DOUBLE, ValueType::TAGGED_DOUBLE);
487 return CheckAndConvert(gate, ValueType::UINT32, ValueType::INT32);
492 return CheckAndConvert(gate, ValueType::TAGGED_INT, ValueType::INT32);
497 return CheckAndConvert(gate, ValueType::TAGGED_DOUBLE, ValueType::INT32);
502 return CheckAndConvert(gate, ValueType::TAGGED_NUMBER, ValueType::INT32);
507 return CheckAndConvert(gate, ValueType::TAGGED_INT, ValueType::FLOAT64);
512 return CheckAndConvert(gate, ValueType::TAGGED_DOUBLE, ValueType::FLOAT64);
517 return CheckAndConvert(gate, ValueType::TAGGED_NUMBER, ValueType::FLOAT64);
522 return CheckAndConvert(gate, ValueType::TAGGED_NULL, ValueType::INT32);
527 return CheckAndConvert(gate, ValueType::TAGGED_BOOLEAN, ValueType::INT32);
532 return CheckAndConvert(gate, ValueType::TAGGED_NULL, ValueType::FLOAT64);
537 return CheckAndConvert(gate, ValueType::TAGGED_BOOLEAN, ValueType::FLOAT64);
542 return CheckAndConvert(gate, ValueType::UNDEFINED, ValueType::FLOAT64);
547 return CheckAndConvert(gate, ValueType::UNDEFINED, ValueType::BOOL);
552 return CheckAndConvert(gate, ValueType::TAGGED_NULL, ValueType::BOOL);
557 return CheckAndConvert(gate, ValueType::UNDEFINED, ValueType::INT32);
562 return CheckAndConvert(gate, ValueType::HOLE_INT, ValueType::INT32);
567 return CheckAndConvert(gate, ValueType::HOLE_DOUBLE, ValueType::INT32);
572 return CheckAndConvert(gate, ValueType::HOLE_INT, ValueType::FLOAT64);
577 return CheckAndConvert(gate, ValueType::HOLE_DOUBLE, ValueType::FLOAT64);