StaticScript 类型系统深度解析TypeScript 的 number 如何映射为 LLVM 的 double【免费下载链接】StaticScript:rocket: TypeScript compiler on top of TypeScript as frontend and LLVM as backend项目地址: https://gitcode.com/gh_mirrors/sta/StaticScriptStaticScript 是一个以前端 TypeScript、后端 LLVM 为基础的静态类型编译器它让 TypeScript 代码可以直接编译为高性能二进制可执行文件。理解它的类型系统是入门的关键而其中最有趣的一个问题就是TypeScript 里的number在编译后到底变成了什么答案是LLVM 的 double64 位浮点数。本文将从源码出发为你深度解析这条从number到double的映射链路帮你彻底搞懂 StaticScript 类型系统的设计思路。StaticScript 编译器如何工作一条清晰的流水线在深入类型映射之前先花 30 秒看懂整体架构。StaticScript 的编译流程非常直观.ts源文件 → TypeScript 解析与类型检查 → 生成 LLVM-IR → 字节码优化 → 机器码生成 → 链接运行时库 → 输出可执行文件。可以看到TypeScript 在前端负责语法与类型检查LLVM 在后端负责代码生成与优化而中间的桥梁就是本文的主角——类型系统。整个 LLVM 后端代码位于 src/backend/llvm/其中最关键的两个文件是 native-type.ts 和 native-type-resolver.ts。number 到 double 的映射发生在哪里答案就在NativeTypeResolver中。这是一个类型翻译器负责把 TypeScript 的静态类型翻译成 LLVM 的原生类型。它最核心的判断逻辑位于 native-type-resolver.tsif (type.isNumberLiteral() || (anytype).intrinsicName number) { return new NativeType(llvm.Type.getDoubleTy(ctx.llvmContext)); }翻译过来就是只要检测到 TypeScript 的number类型或数字字面量类型就返回double类型的 LLVM 表示。这里的llvm.Type.getDoubleTy会创建一个 IEEE 754 双精度浮点类型占据 64 位内存。你可能会问为什么偏偏选 double而不是 int32 或 float32这其实是 JavaScript 语言本身的遗产——JS 的number在运行时就是双精度浮点数StaticScript 为了保证语义一致性选择了最忠实的映射。LLVM 的 double 到底是什么简单说double是 LLVM 内置的浮点类型之一对应 IEEE 754 双精度浮点数占用64 位内存约15~17 位有效十进制精度支持完整的浮点运算指令FAdd、FMul、FDiv 等在 value.ts 中StaticScript 还定义了ValueTypeEnum.DOUBLE作为内部值类型标记与 LLVM 的DoubleTyID一一对应方便在代码生成阶段识别和转换。StaticScript 类型系统映射全景表number → double只是冰山一角。在 native-type-resolver.ts 中StaticScript 定义了一张完整的类型映射表让你一眼看清整个类型系统TypeScript 类型LLVM 类型说明numberdoublef64核心映射双精度浮点stringi8*字符指针booleani11 位布尔voidvoid空类型int8 / uint8i88 位整数int16 / uint16i1616 位整数int32 / uint32i3232 位整数int64 / uint64i6464 位整数int128 / uint128i128128 位整数float32floatf32单精度浮点float128fp128四精度浮点这些整数与浮点别名类型都定义在项目根目录的 staticscript.d.ts 中其中float64被直接声明为number的别名进一步印证了number double的等价关系。数字字面量如何变成 LLVM 常量类型映射只是第一步数字字面量的生成同样体现了 double 优先的策略。在 index.ts 的buildFromNumericLiteral函数中如果变量声明为number类型即 double字面量会用llvm.ConstantFP.get()创建浮点常量只有遇到int32这类显式整数类型时才会改用ConstantInt创建整数常量。也就是说let a: number 42中的42在 IR 层面其实是一个 double 常量而不是整数。这保证了后续所有算术运算都走浮点指令路径避免类型混用。浮点运算指令从 FAdd 到 FDiv 的秘密确定了 double 类型后StaticScript 的代码生成器就会选择对应的浮点运算指令。在 binary-expression.ts 中每种运算符都对应一个F前缀的 LLVM 指令→createFAdd浮点加法-→createFSub浮点减法*→createFMul浮点乘法/→createFDiv浮点除法%→createFRem浮点取余→createFCmpOGT浮点大于比较→createFCmpOLT浮点小于比较有没有注意到规律所有指令都以F开头——这正是 LLVM 中浮点运算的标识。因为number映射成了 double编译器就可以放心地使用这些浮点指令而无需担心整数溢出等问题。值得一提的彩蛋是幂运算a ** b并不会生成普通指令而是调用 LLVM 的内建函数llvm.pow.f64。这个函数在 context.ts 中被延迟声明两个参数和返回值都是 double完美契合我们的类型系统。✨条件判断中的类型转换技巧double 类型还影响到了条件判断。在 value.ts 的toBoolean方法中如果要把一个 double 值转成布尔值StaticScript 会生成FCmpONE浮点不等于指令与常量0.0比较非 0 → true等于 0.0 → false这也是为什么if (0.0)在 StaticScript 中会被判定为假——因为0.0 ! 0.0的结果是 false逻辑完全自洽。延伸Typed Array 与浮点类型家族double 的映射还延伸到了类型化数组。在 context.ts 中StaticScript 为Float64Array构建了基于getDoubleTy的结构体类型而Float32Array则对应getFloatTy。配合Float64Array这样的内置类型你可以在编译期就获得内存布局完全确定的数组这正是 StaticScript 相比纯解释执行性能更强的底气所在。动手体验3 步运行 StaticScript 示例纸上得来终觉浅想亲眼验证number → double的映射可以按下面的步骤操作克隆仓库git clone https://gitcode.com/gh_mirrors/sta/StaticScript然后按 README 说明安装依赖与 LLVM 工具链编写代码在sandbox/目录写一个简单的let a: number 3.14类型标注示例编译运行使用项目提供的编译命令生成可执行文件配合 LLVM 的 IR 输出工具你就能在生成的 IR 中亲眼看到double类型和fadd double指令。如果你对架构级细节感兴趣推荐阅读 docs/ 目录下的说明文档以及 packages/runtime/v8/ 中关于运行时集成的资料它们能帮你把类型系统的知识串成一条完整的链路。总结number 到 double 的完整链路回顾整篇文章number → double的映射其实是一条环环相扣的链路类型解析NativeTypeResolver识别number返回doublef64常量生成数字字面量默认创建为浮点常量运算指令加减乘除全部使用F前缀浮点指令条件转换布尔化通过浮点比较实现数组扩展Float64Array等类型化数组复用 double 类型。理解了这条链路你就掌握了 StaticScript 类型系统的钥匙。接下来不妨自己动手改一改类型声明看看 IR 输出会发生什么有趣的变化——毕竟读源码和亲手实验才是学习编译器最好的方式。【免费下载链接】StaticScript:rocket: TypeScript compiler on top of TypeScript as frontend and LLVM as backend项目地址: https://gitcode.com/gh_mirrors/sta/StaticScript创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考 StaticScript 类型系统深度解析：TypeScript 的 number 如何映射为 LLVM 的 double？
StaticScript 类型系统深度解析TypeScript 的 number 如何映射为 LLVM 的 double【免费下载链接】StaticScript:rocket: TypeScript compiler on top of TypeScript as frontend and LLVM as backend项目地址: https://gitcode.com/gh_mirrors/sta/StaticScriptStaticScript 是一个以前端 TypeScript、后端 LLVM 为基础的静态类型编译器它让 TypeScript 代码可以直接编译为高性能二进制可执行文件。理解它的类型系统是入门的关键而其中最有趣的一个问题就是TypeScript 里的number在编译后到底变成了什么答案是LLVM 的 double64 位浮点数。本文将从源码出发为你深度解析这条从number到double的映射链路帮你彻底搞懂 StaticScript 类型系统的设计思路。StaticScript 编译器如何工作一条清晰的流水线在深入类型映射之前先花 30 秒看懂整体架构。StaticScript 的编译流程非常直观.ts源文件 → TypeScript 解析与类型检查 → 生成 LLVM-IR → 字节码优化 → 机器码生成 → 链接运行时库 → 输出可执行文件。可以看到TypeScript 在前端负责语法与类型检查LLVM 在后端负责代码生成与优化而中间的桥梁就是本文的主角——类型系统。整个 LLVM 后端代码位于 src/backend/llvm/其中最关键的两个文件是 native-type.ts 和 native-type-resolver.ts。number 到 double 的映射发生在哪里答案就在NativeTypeResolver中。这是一个类型翻译器负责把 TypeScript 的静态类型翻译成 LLVM 的原生类型。它最核心的判断逻辑位于 native-type-resolver.tsif (type.isNumberLiteral() || (anytype).intrinsicName number) { return new NativeType(llvm.Type.getDoubleTy(ctx.llvmContext)); }翻译过来就是只要检测到 TypeScript 的number类型或数字字面量类型就返回double类型的 LLVM 表示。这里的llvm.Type.getDoubleTy会创建一个 IEEE 754 双精度浮点类型占据 64 位内存。你可能会问为什么偏偏选 double而不是 int32 或 float32这其实是 JavaScript 语言本身的遗产——JS 的number在运行时就是双精度浮点数StaticScript 为了保证语义一致性选择了最忠实的映射。LLVM 的 double 到底是什么简单说double是 LLVM 内置的浮点类型之一对应 IEEE 754 双精度浮点数占用64 位内存约15~17 位有效十进制精度支持完整的浮点运算指令FAdd、FMul、FDiv 等在 value.ts 中StaticScript 还定义了ValueTypeEnum.DOUBLE作为内部值类型标记与 LLVM 的DoubleTyID一一对应方便在代码生成阶段识别和转换。StaticScript 类型系统映射全景表number → double只是冰山一角。在 native-type-resolver.ts 中StaticScript 定义了一张完整的类型映射表让你一眼看清整个类型系统TypeScript 类型LLVM 类型说明numberdoublef64核心映射双精度浮点stringi8*字符指针booleani11 位布尔voidvoid空类型int8 / uint8i88 位整数int16 / uint16i1616 位整数int32 / uint32i3232 位整数int64 / uint64i6464 位整数int128 / uint128i128128 位整数float32floatf32单精度浮点float128fp128四精度浮点这些整数与浮点别名类型都定义在项目根目录的 staticscript.d.ts 中其中float64被直接声明为number的别名进一步印证了number double的等价关系。数字字面量如何变成 LLVM 常量类型映射只是第一步数字字面量的生成同样体现了 double 优先的策略。在 index.ts 的buildFromNumericLiteral函数中如果变量声明为number类型即 double字面量会用llvm.ConstantFP.get()创建浮点常量只有遇到int32这类显式整数类型时才会改用ConstantInt创建整数常量。也就是说let a: number 42中的42在 IR 层面其实是一个 double 常量而不是整数。这保证了后续所有算术运算都走浮点指令路径避免类型混用。浮点运算指令从 FAdd 到 FDiv 的秘密确定了 double 类型后StaticScript 的代码生成器就会选择对应的浮点运算指令。在 binary-expression.ts 中每种运算符都对应一个F前缀的 LLVM 指令→createFAdd浮点加法-→createFSub浮点减法*→createFMul浮点乘法/→createFDiv浮点除法%→createFRem浮点取余→createFCmpOGT浮点大于比较→createFCmpOLT浮点小于比较有没有注意到规律所有指令都以F开头——这正是 LLVM 中浮点运算的标识。因为number映射成了 double编译器就可以放心地使用这些浮点指令而无需担心整数溢出等问题。值得一提的彩蛋是幂运算a ** b并不会生成普通指令而是调用 LLVM 的内建函数llvm.pow.f64。这个函数在 context.ts 中被延迟声明两个参数和返回值都是 double完美契合我们的类型系统。✨条件判断中的类型转换技巧double 类型还影响到了条件判断。在 value.ts 的toBoolean方法中如果要把一个 double 值转成布尔值StaticScript 会生成FCmpONE浮点不等于指令与常量0.0比较非 0 → true等于 0.0 → false这也是为什么if (0.0)在 StaticScript 中会被判定为假——因为0.0 ! 0.0的结果是 false逻辑完全自洽。延伸Typed Array 与浮点类型家族double 的映射还延伸到了类型化数组。在 context.ts 中StaticScript 为Float64Array构建了基于getDoubleTy的结构体类型而Float32Array则对应getFloatTy。配合Float64Array这样的内置类型你可以在编译期就获得内存布局完全确定的数组这正是 StaticScript 相比纯解释执行性能更强的底气所在。动手体验3 步运行 StaticScript 示例纸上得来终觉浅想亲眼验证number → double的映射可以按下面的步骤操作克隆仓库git clone https://gitcode.com/gh_mirrors/sta/StaticScript然后按 README 说明安装依赖与 LLVM 工具链编写代码在sandbox/目录写一个简单的let a: number 3.14类型标注示例编译运行使用项目提供的编译命令生成可执行文件配合 LLVM 的 IR 输出工具你就能在生成的 IR 中亲眼看到double类型和fadd double指令。如果你对架构级细节感兴趣推荐阅读 docs/ 目录下的说明文档以及 packages/runtime/v8/ 中关于运行时集成的资料它们能帮你把类型系统的知识串成一条完整的链路。总结number 到 double 的完整链路回顾整篇文章number → double的映射其实是一条环环相扣的链路类型解析NativeTypeResolver识别number返回doublef64常量生成数字字面量默认创建为浮点常量运算指令加减乘除全部使用F前缀浮点指令条件转换布尔化通过浮点比较实现数组扩展Float64Array等类型化数组复用 double 类型。理解了这条链路你就掌握了 StaticScript 类型系统的钥匙。接下来不妨自己动手改一改类型声明看看 IR 输出会发生什么有趣的变化——毕竟读源码和亲手实验才是学习编译器最好的方式。【免费下载链接】StaticScript:rocket: TypeScript compiler on top of TypeScript as frontend and LLVM as backend项目地址: https://gitcode.com/gh_mirrors/sta/StaticScript创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考