两段含'use asm'的JS代码在V8中生成CodeCache结果为何不同？

问题背景 #

我尝试通过V8的ScriptCompiler::CreateCodeCache函数创建代码缓存，相关C++实现如下：

ScriptCompiler::CachedData* CreateCachedData(Local<String> sourceContent, Local<String> sourceName) {
    ScriptOrigin* scriptOriginPtr = nullptr;
    scriptOriginPtr = new ScriptOrigin(
            String::NewFromTwoByte(isolate_, sourceName, NewStringType::kNormal).ToLocalChecked(),
            Integer::New(isolate_, 0), Integer::New(isolate_, 0));
    ScriptCompiler::Source* source = nullptr;
    source = new ScriptCompiler::Source(sourceContent, *scriptOriginPtr);

    Local<Script> script;
    ScriptCompiler::Compile(context_, source, ScriptCompiler::CompileOptions::kEagerCompile).ToLocal(&script);

    ScriptCompiler::CachedData* data = ScriptCompiler::CreateCodeCache(script->GetUnboundScript());

    return data;
}

• 使用以下JS代码时，返回的data为nullptr：

function A() {
    "use asm"
    function R() {}
    return R
}

• 使用以下JS代码时，返回的data不为nullptr：

function A() {
    "use asm"
    function R() {};
    return R
}

核心差异与原因 #

两段代码的唯一区别是**function R() {}语句末尾的分号**，这个差异触发了V8对asm.js代码的不同处理逻辑：

1. 无分号版本：
   asm.js对语法结构有严格要求，"use asm"指令后的代码必须符合其模块规范。这里JavaScript的自动分号插入（ASI）机制并未生效，V8会将function R() {}和后续的return R视为连续的非法语法单元，判定这段代码不符合asm.js规范，无法完成编译优化，因此无法生成代码缓存，返回nullptr。

2. 有分号版本：
   末尾的分号明确终止了函数定义语句，让"use asm"后的代码结构符合asm.js的解析要求。V8能够正确识别这是合法的asm.js函数，完成编译流程并生成对应的代码缓存。

本质上，asm.js的语法校验比普通JavaScript更严格，自动分号插入的容错空间更小，导致无分号版本的代码无法被正确解析为有效asm.js代码。

内容的提问来源于stack exchange，提问作者haochen