Throw a TypeError when calling "next" method of a newly created generator with a value

src/mips/full-codegen-mips.cc

 // Copyright 2012 the V8 project authors. All rights reserved.
 // Redistribution and use in source and binary forms, with or without
 // modification, are permitted provided that the following conditions are
 // met:
 //
 //     * Redistributions of source code must retain the above copyright
 //       notice, this list of conditions and the following disclaimer.
 //     * Redistributions in binary form must reproduce the above
 //       copyright notice, this list of conditions and the following
 //       disclaimer in the documentation and/or other materials provided
@@ skipping 2017 matching lines @@
       __ Addu(a1, fp, Operand(StandardFrameConstants::kExpressionsOffset));
       __ Branch(&post_runtime, eq, sp, Operand(a1));
       __ push(v0);  // generator object
       __ CallRuntime(Runtime::kSuspendJSGeneratorObject, 1);
       __ lw(cp, MemOperand(fp, StandardFrameConstants::kContextOffset));
       __ bind(&post_runtime);
       __ pop(result_register());
       EmitReturnSequence();
 
       __ bind(&resume);
+      Label init_value_check_done;
+      if (expr->yield_kind() == Yield::INITIAL) {
+        // When value is provided and it is not undefined, throw error.
+        __ LoadRoot(a1, Heap::kUndefinedValueRootIndex);
+        __ Branch(&init_value_check_done, eq, result_register(), Operand(a1));
+        // This error should be raised from the Generator.prototype.next side.
+        // So in this case, we return the hole value as a marker. The caller
+        // checks the result value and if it is the hole value, the caller
+        // throws error.
+        __ Push(isolate()->factory()->the_hole_value());
+        __ jmp(&suspend);
+      }
+      __ bind(&init_value_check_done);
       context()->Plug(result_register());
       break;
     }
 
     case Yield::FINAL: {
       VisitForAccumulatorValue(expr->generator_object());
       __ li(a1, Operand(Smi::FromInt(JSGeneratorObject::kGeneratorClosed)));
       __ sw(a1, FieldMemOperand(result_register(),
                                 JSGeneratorObject::kContinuationOffset));
       // Pop value from top-of-stack slot, box result into result register.
@@ skipping 202 matching lines @@
     __ push(a0);
     __ CallRuntime(Runtime::kThrow, 1);
   }
   __ jmp(&done);
 
   // Throw error if we attempt to operate on a running generator.
   __ bind(&wrong_state);
   __ push(a1);
   __ CallRuntime(Runtime::kThrowGeneratorStateError, 1);
 
+  // Throw error if we attempt to pass a value to an unborn generator.
+  Label wrong_start;
+  __ bind(&wrong_start);
+  __ CallRuntime(Runtime::kThrowGeneratorStartError, 0);
+
   __ bind(&done);
+  // When a value is passed to an unborn generator, the result becomes the hole
+  // value. And we need to throw GeneratorStartError in the caller side.
+  // (Generator.prototype.next)
+  __ LoadRoot(a2, Heap::kTheHoleValueRootIndex);
+  __ Branch(&wrong_start, eq, result_register(), Operand(a2));
   context()->Plug(result_register());
 }
 
 
 void FullCodeGenerator::EmitCreateIteratorResult(bool done) {
   Label gc_required;
   Label allocated;
 
   Handle<Map> map(isolate()->native_context()->generator_result_map());
 
@@ skipping 2703 matching lines @@
       Assembler::target_address_at(pc_immediate_load_address)) ==
          reinterpret_cast<uint32_t>(
              isolate->builtins()->OsrAfterStackCheck()->entry()));
   return OSR_AFTER_STACK_CHECK;
 }
 
 
 } }  // namespace v8::internal
 
 #endif  // V8_TARGET_ARCH_MIPS