PHP的 ZendIR中间表示 先说问题PHP源码 → 直接执行太慢PHP源码 → 编译成IR→ 执行/优化/JIT编译 → 更快IR编译器的草稿纸介于源码和机器码之间---PHP的执行流程PHP源码 ↓ Lexer词法分析 Token流?phpecho$a1→T_ECHOT_VART_PLUST_INT ↓ Parser语法分析AST抽象语法树 ↓ Compiler编译 OpcodesZend虚拟机指令← 这就是 ZendIR↓ ZendVM解释执行 或 ↓JIT编译成机器码 结果---1.查看 OpcodesZendIR// test.phpfunctionadd(int$a,int$b):int{return$a$b;}echoadd(1,2);php-d opcache.opt_debug_level0x10000test.php# 或pecl install vld php-d vld.active1-d vld.execute0test.php# 输出的 OpcodesIRline opreturnoperand1 operand2----------------------------------------------------2RECV$a2RECV$b3ADD~0$a$b3RETURN~05INIT_FCALLadd5SEND_VAL15SEND_VAL25DO_FCALL$15ECHO$1---2.OPcache 优化IR的过程// 源码functionprice(int$qty):float{$tax0.1;// 常量折叠目标$base100;return$qty*$base*(1$tax);}优化前IRASSIGN$tax0.1ASSIGN$base100ADD~010.1→~01.1MUL~1$qty100→~1$qty*100MUL~2~1~0→~2~1*1.1RETURN~2优化后IR常量折叠死代码消除MUL~0$qty110.0← 直接算好了运行时省2步RETURN~0---3.SSA形式JIT依赖的IR$x1;$x$x1;// $x 被赋值两次类型分析困难$x$x*2;普通IR难以优化SSAIR每个变量只赋值一次ASSIGN$x1ASSIGN$x_11ADD$x$x1ADD$x_2$x_11MUL$x$x2MUL$x_3$x_22SSA好处-每个变量版本类型确定$x_1int-JIT可推断类型生成专用机器码-死代码分析更精确---4.JIT如何利用IR// PHP 8 JIT 两种模式// php.ini:// opcache.jittracing ← 追踪热点循环最有效// opcache.jitfunction ← 按函数编译functionsum(int$n):int{$s0;for($i0;$i$n;$i)$s$i;return$s;}IR阶段分析$i→ 始终是int$s→ 始终是int循环体无函数调用JIT输出伪机器码xoreax,eax;$s0xorecx,ecx;$i0loop:add eax,ecx;$s$i直接整数指令跳过类型检查 inc ecx cmp ecx,edi;$i$njl loop ret---5.手动触发 OPcache 观察优化// 查看函数是否被 JIT 编译var_dump(opcache_get_status()[jit]);// 获取 opcode 统计$statusopcache_get_status(true);foreach($status[scripts]as$file$info){echo$file: hits{$info[hits]}\n;}// 强制重新编译开发时opcache_reset();opcache_compile_file(/path/to/hot.php);---6.IR优化开关php.ini opcache.enable1opcache.enable_cli1opcache.opt_debug_level0;0关闭0x10000输出优化后IR;JIT配置 opcache.jit_buffer_size128M;JIT编译码缓冲区 opcache.jittracing;追踪模式CPU密集型最佳;opcache.jitfunction;函数模式兼容性更好;优化级别0-3opcache.optimization_level0x7FFEBFFF;全部优化开启---IR优化手段全览 Pass优化遍 效果 ──────────────────────────────────────────── 常量折叠11→ 编译期算好2死代码消除 不可达代码删除 类型推断 确定变量类型JIT生成专用代码 内联替换 简单函数调用展开省函数调用开销 冗余检查消除 循环内已知int去掉类型检查 公共子表达式消除$a$b算一次复用不重复计算---全景图.php 文件 ↓ OpcodesZendIR── OPcache缓存 → 下次直接用 ↓ 优化Pass常量折叠/死代码/类型推断... 优化后 Opcodes ↓ ↓ ZendVMJIT编译器 解释执行 ↓ 通用 机器码热点函数 ↓CPU直接执行最快---一句话 ZendIRPHP源码编译后的Opcode指令集OPcache对它做常量折叠/死代码消除等优化JIT再把热点IR直接编译成机器码三层加速缓存 → 优化 → 本地执行。