예제 #1
0
void PropagateTypeTasklet::UpdateOutputType(Instruction& inst, const Type& ty) {
  auto& newty = ty.ComputeBoundType();
  if (inst.output_type() == newty) {
    return;
  }

  inst.set_output_type(newty);
  Add(&inst.output());
}