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

src/ia32/full-codegen-ia32.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 1957 matching lines @@
       __ j(equal, &post_runtime);
       __ push(eax);  // generator object
       __ CallRuntime(Runtime::kSuspendJSGeneratorObject, 1);
       __ mov(context_register(),
              Operand(ebp, 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.
+        __ CompareRoot(result_register(), Heap::kUndefinedValueRootIndex);
+        __ j(equal, &init_value_check_done);
+        // 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(Immediate(isolate()->factory()->the_hole_value()));
+        __ jmp(&suspend);
+      }
+      __ bind(&init_value_check_done);
       context()->Plug(result_register());
       break;
     }
 
     case Yield::FINAL: {
       VisitForAccumulatorValue(expr->generator_object());
       __ mov(FieldOperand(result_register(),
                           JSGeneratorObject::kContinuationOffset),
              Immediate(Smi::FromInt(JSGeneratorObject::kGeneratorClosed)));
       // Pop value from top-of-stack slot, box result into result register.
@@ skipping 197 matching lines @@
     __ push(eax);
     __ CallRuntime(Runtime::kThrow, 1);
   }
   __ jmp(&done);
 
   // Throw error if we attempt to operate on a running generator.
   __ bind(&wrong_state);
   __ push(ebx);
   __ 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)
+  __ CompareRoot(result_register(), Heap::kTheHoleValueRootIndex);
+  __ j(equal, &wrong_start);
   context()->Plug(result_register());
 }
 
 
 void FullCodeGenerator::EmitCreateIteratorResult(bool done) {
   Label gc_required;
   Label allocated;
 
   Handle<Map> map(isolate()->native_context()->generator_result_map());
 
@@ skipping 2713 matching lines @@
 
   ASSERT_EQ(isolate->builtins()->OsrAfterStackCheck()->entry(),
             Assembler::target_address_at(call_target_address));
   return OSR_AFTER_STACK_CHECK;
 }
 
 
 } }  // namespace v8::internal
 
 #endif  // V8_TARGET_ARCH_IA32