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

src/arm/full-codegen-arm.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 2003 matching lines @@
       __ cmp(sp, r1);
       __ b(eq, &post_runtime);
       __ push(r0);  // generator object
       __ CallRuntime(Runtime::kSuspendJSGeneratorObject, 1);
       __ ldr(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.
+        __ CompareRoot(result_register(), Heap::kUndefinedValueRootIndex);
+        __ b(eq, &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(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(r1, Operand(Smi::FromInt(JSGeneratorObject::kGeneratorClosed)));
       __ str(r1, FieldMemOperand(result_register(),
                                  JSGeneratorObject::kContinuationOffset));
       // Pop value from top-of-stack slot, box result into result register.
@@ skipping 200 matching lines @@
     __ push(r0);
     __ CallRuntime(Runtime::kThrow, 1);
   }
   __ jmp(&done);
 
   // Throw error if we attempt to operate on a running generator.
   __ bind(&wrong_state);
   __ push(r1);
   __ 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);
+  __ b(eq, &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 2668 matching lines @@
   ASSERT(Memory::uint32_at(interrupt_address_pointer) ==
          reinterpret_cast<uint32_t>(
              isolate->builtins()->OsrAfterStackCheck()->entry()));
   return OSR_AFTER_STACK_CHECK;
 }
 
 
 } }  // namespace v8::internal
 
 #endif  // V8_TARGET_ARCH_ARM