test(compiler): add comprehensive test coverage for PHP language features

- Add alternative control structure syntax test with if/for/while/foreach/switch
- Implement DNF types test covering intersection and union type combinations
- Create numeric literal syntax test for binary, octal and separated numbers
- Remove outdated test coverage documentation files
- Add traditional operator precedence and short-circuiting behavior test
- Verify compound assignment operations and bitwise operations
- Test negative and positive unary operators with integer and float values

tests/compiler/README_TEST_COVERAGE.md

@@ -1,282 +0,0 @@
-# PHP AOT 编译器单元测试覆盖总结
-
-## 新增测试文件列表
-
-本次为 PHP AOT 编译器添加了以下单元测试文件，覆盖了 PHP 语言的核心语法特性：
-
-### 1. **trait-basic.phpt** - Traits (特征)
-- 基础 trait 使用
-- trait 中的抽象方法
-- 多个 trait 的组合使用
-- trait 方法继承
-
-### 2. **generators.phpt** - Generators (生成器)
-- 基础 yield 语法
-- 带键的生成器
-- 生成器对象操作
-- 有限和无限生成器
-
-### 3. **attributes.phpt** - Attributes (注解/属性)
-- Attribute 定义和使用
-- 类属性、方法属性、属性属性
-- Reflection API 读取属性
-- 属性参数传递
-
-### 4. **match-expression.phpt** - Match Expression (匹配表达式)
-- 基础 match 语法
-- 多条件匹配
-- 严格类型比较
-- 表达式作为返回值
-- 嵌套 match
-- UnhandledMatchError 异常处理
-
-### 5. **named-arguments.phpt** - Named Arguments (命名参数)
-- 基础命名参数调用
-- 跳过可选参数
-- 混合位置和命名参数
-- 参数顺序无关性
-- 复杂场景应用
-
-### 6. **union-intersection-types.phpt** - Union and Intersection Types (联合和交集类型)
-- Union 类型声明
-- Nullable union 类型
-- mixed 类型
-- never 返回类型
-- instanceof 检查
-
-### 7. **constructor-promotion.phpt** - Constructor Property Promotion (构造函数属性提升)
-- 基础构造函数提升
-- 可见性修饰符 (public/private/protected)
-- 可空类型和默认值
-- 混合传统和提升方式
-- readonly 属性 (PHP 8.1+)
-
-### 8. **null-coalescing.phpt** - Null Coalescing Operators (空合并运算符)
-- 基础 ?? 运算符
-- 链式 null coalescing
-- ??= 赋值运算符
-- 数组访问中的 coalescing
-- 嵌套数组 coalescing
-- 表达式中的使用
-
-### 9. **array-spread.phpt** - Spread Operator in Arrays (数组展开运算符)
-- 基础数组展开
-- 展开时添加额外元素
-- 多个展开操作
-- 带键的数组展开
-- 字符串键的覆盖行为
-- 展开空数组
-
-### 10. **arrow-functions.phpt** - Arrow Functions (箭头函数)
-- 基础箭头函数语法
-- 多参数箭头函数
-- 变量捕获 (by value)
-- 嵌套箭头函数
-- 在 array_map/filter/reduce 中使用
-- 链式调用
-
-### 11. **magic-methods.phpt** - Magic Methods (魔术方法)
-- __get / __set
-- __isset / __unset
-- __call / __callStatic
-- __invoke
-- __toString
-- __debugInfo
-- __clone
-- __serialize / __unserialize
-
-### 12. **iterators.phpt** - Iterators (迭代器)
-- Iterator 接口实现
-- IteratorAggregate 接口实现
-- Generator-based 迭代器
-- FilterIterator 实现
-- 可重复使用的迭代器
-
-### 13. **anonymous-classes.phpt** - Anonymous Classes (匿名类)
-- 基础匿名类定义
-- 继承父类的匿名类
-- 实现接口的匿名类
-- 带属性的匿名类
-- 嵌套匿名类
-- 匿名类数组
-- 静态方法和属性
-
-### 14. **type-declarations.phpt** - Type Declarations (类型声明)
-- 标量类型声明 (int/string/float/bool)
-- 可空类型 (?T)
-- callable 类型
-- array/object/iterable 类型
-- strict_types 模式
-- 返回类型声明
-
-### 15. **late-static-binding.phpt** - Late Static Binding (后期静态绑定)
-- self:: vs static::
-- 静态属性的后期绑定
-- 静态方法的后期绑定
-- 构造函数中的 static::
-
-### 16. **variadic-functions.phpt** - Variadic Functions (可变参数函数)
-- 基础可变参数 (...$args)
-- 必需参数 + 可变参数
-- 类方法中的可变参数
-- 类型化的可变参数
-- 数组展开到函数调用
-
-## 现有测试覆盖的主要领域
-
-### 已覆盖的 PHP 语法特性:
-
-#### 基础语法
-- ✅ 算术运算符 (arithmetic_operators.phpt)
-- ✅ 比较运算符 (comparison_operators.phpt)
-- ✅ 逻辑运算符 (logical_operators.phpt)
-- ✅ 赋值运算符 (assignment_operators.phpt)
-- ✅ 位运算符
-- ✅ 递增/递减运算符 (postincdec.phpt)
-
-#### 控制结构
-- ✅ if/else/elseif (control_structures.phpt)
-- ✅ for/while/do-while (control_structures.phpt)
-- ✅ switch (switch-001.phpt, switch-002.phpt)
-- ✅ break/continue
-- ✅ try-catch-finally (try-catch.phpt, try-catch-2.phpt)
-- ✅ throw (throw-in-php.phpt)
-
-#### 函数
-- ✅ 函数定义和调用 (functions.phpt)
-- ✅ 参数传递 (class_args.phpt)
-- ✅ 默认参数 (func-default-param.phpt)
-- ✅ 返回类型 (func-return-type.phpt)
-- ✅ 可变参数 (variadic-args.phpt, variadic-functions.phpt)
-- ✅ 命名参数 (named-arguments.phpt)
-- ✅ 闭包 (closure-001.phpt, closure-002.phpt)
-- ✅ 箭头函数 (arrow-func.phpt, arrow-func-2.phpt, arrow-functions.phpt)
-- ✅ 生成器 (generators.phpt)
-
-#### 类与对象
-- ✅ 类定义 (class-namespace.phpt)
-- ✅ 构造函数 (ctor.phpt)
-- ✅ 析构函数
-- ✅ 继承
-- ✅ 访问修饰符 (private-prop-001.phpt, private-prop-002.phpt)
-- ✅ 静态属性和方法 (class-static-001~005.phpt)
-- ✅ 常量 (const-test.phpt)
-- ✅ 抽象类
-- ✅ 接口 (enum1.phpt, enum2.phpt)
-- ✅ Traits (trait-basic.phpt)
-- ✅ 匿名类 (anonymous-classes.phpt)
-- ✅ 枚举 (enum1.phpt, enum2.phpt)
-
-#### 对象特性
-- ✅ 属性访问 (prop-001.phpt, prop-002.phpt)
-- ✅ 方法调用 (method-call.phpt)
-- ✅ 静态调用 (static-call.phpt)
-- ✅ 对象引用 (object-link.phpt, object-link-002.phpt, object-link-003.phpt)
-- ✅ 克隆
-- ✅ 序列化
-- ✅ 魔术方法 (magic-methods.phpt)
-- ✅ 迭代器 (iterators.phpt)
-
-#### 类型系统
-- ✅ 标量类型 (native-type.phpt)
-- ✅ 联合类型 (union-intersection-types.phpt)
-- ✅ 可空类型
-- ✅ mixed 类型
-- ✅ never 类型
-- ✅ 类型声明 (type-declarations.phpt)
-- ✅ 类型转换 (to-str.phpt)
-
-#### 数组
-- ✅ 数组创建 (arrays.phpt, array_001~003.phpt)
-- ✅ 数组访问
-- ✅ 数组修改 (array_assignment_edge_cases.phpt)
-- ✅ 数组运算符 (array_assignment_operators.phpt)
-- ✅ 多维数组 (complex_array_operations.phpt)
-- ✅ 数组展开 (array-spread.phpt)
-- ✅ list() 解构 (list-test.phpt)
-- ✅ 数组项自增自减 (array-item-dec-inc.phpt)
-
-#### 字符串
-- ✅ 字符串连接
-- ✅ 字符串函数 (string_functions.phpt)
-- ✅ 字符串长度 (strlen.phpt)
-- ✅ 字符串偏移量 (str-offset-set.phpt)
-- ✅ 格式化字符串 (fstring.py)
-
-#### 变量
-- ✅ 变量定义 (basic_variables.phpt)
-- ✅ 变量作用域 (global-vars.phpt, static-vars.phpt)
-- ✅ 引用 (ref.phpt, ref-005.phpt, ref-func-param.phpt, ref-closure-param.phpt, ref-call-arg.phpt)
-- ✅ 可变变量
-
-#### 运算符
-- ✅ 算术运算符 (arithmetic_operators.phpt)
-- ✅ 比较运算符 (comparison_operators.phpt)
-- ✅ 逻辑运算符 (logical_operators.phpt)
-- ✅ 赋值运算符 (assignment_operators.phpt)
-- ✅ 三元运算符 (assign-compare.phpt)
-- ✅ 空合并运算符 (assign_coalesce_001.phpt, assign_coalesce_002.phpt, null-coalescing.phpt)
-- ✅ 实例运算符 (instanceof)
-- ✅ 按位运算符
-
-#### 高级特性
-- ✅ 命名空间 (class-namespace.phpt, ns-const.phpt)
-- ✅ 自动加载
-- ✅ 特性 (trait-basic.phpt)
-- ✅ 生成器 (generators.phpt)
-- ✅ 闭包 (closure-001.phpt, closure-002.phpt)
-- ✅ 匿名函数 (arrow-func.phpt, arrow-func-2.phpt)
-- ✅ 匿名类 (anonymous-classes.phpt)
-- ✅ 属性 (attributes.phpt)
-- ✅ 匹配表达式 (match-expression.phpt)
-- ✅ 空船运算符 (null-coalescing.phpt)
-- ✅ 展开运算符 (array-spread.phpt, variadic-functions.phpt)
-- ✅ 类型声明 (type-declarations.phpt)
-- ✅ 后期静态绑定 (late-static-binding.phpt)
-
-#### 错误处理
-- ✅ 异常处理 (try-catch.phpt, try-catch-2.phpt)
-- ✅ 错误报告
-- ✅ 自定义错误处理
-
-#### 内置类
-- ✅ DateTime (datetime_builtin_class.phpt)
-- ✅ ArrayObject
-- ✅ Exception
-- ✅ Reflection (attributes.phpt)
-
-## 测试覆盖率统计
-
-- **总测试文件数**: 116 个 phpt 文件
-- **新增测试文件**: 16 个
-- **覆盖的 PHP 版本**: PHP 7.4+ ~ PHP 8.x
-
-## 主要覆盖的 PHP 特性类别
-
-1. **基础语法** (100%) - 运算符、控制结构、变量等
-2. **函数** (95%) - 定义、调用、闭包、生成器等
-3. **类与对象** (90%) - 继承、多态、封装等 OOP 特性
-4. **类型系统** (95%) - 类型声明、类型转换、联合类型等
-5. **数组处理** (95%) - 创建、访问、修改、遍历等
-6. **字符串处理** (90%) - 连接、函数、格式化等
-7. **错误处理** (85%) - 异常、错误报告等
-8. **高级特性** (85%) - 反射、迭代器、序列化等
-
-## 测试质量保证
-
-- 所有测试都遵循标准的 phpt 格式
-- 包含 --TEST--、--FILE--、--EXPECT-- 三个必要部分
-- 测试用例覆盖正常情况和边界情况
-- 包含错误处理和异常情况测试
-- 符合 PHP AOT 编译器的特殊要求
-
-## 后续建议
-
-虽然已经覆盖了大量 PHP 语法，但仍有以下方面可以继续加强：
-
-1. **性能测试**: 添加更多性能基准测试
-2. **边缘案例**: 更多极端情况和边界条件的测试
-3. **并发测试**: 多线程/协程相关测试
-4. **内存管理**: 内存泄漏和垃圾回收测试
-5. **扩展集成**: 与 PHP 扩展的集成测试
-6. **兼容性测试**: 不同 PHP 版本的兼容性测试

tests/compiler/TEST_SUPPLEMENT_REPORT.md

@@ -1,456 +0,0 @@
-# AOT 编译器测试补充报告
-
-## 📋 概述
-
-本次 review 了 `tests/compiler/` 目录下的所有单测文件，分析了 PHP 语法覆盖情况，并新增了多个重要测试场景。
-
----
-
-## ✅ 新增测试文件
-
-### 1. **readonly-class.phpt** - Readonly Classes (PHP 8.2+)
-
-**覆盖的语法特性**:
-- ✅ `readonly` 类定义
-- ✅ Readonly 类的构造函数
-- ✅ Readonly 类继承
-- ✅ Constructor Property Promotion with readonly
-- ✅ Readonly 类中的方法定义
-
-**测试场景**:
-```php
-// 基础 readonly 类
-readonly class Point {
-    public int $x;
-    public int $y;
-}
-
-// Readonly 类继承
-readonly abstract class Shape { }
-readonly class Rectangle extends Shape { }
-
-// Constructor promotion
-readonly class Circle {
-    public function __construct(
-        public float $radius,
-    ) {}
-}
-```
-
----
-
-### 2. **backed-enum.phpt** - Backed Enums (PHP 8.1+)
-
-**覆盖的语法特性**:
-- ✅ Int backed enums
-- ✅ String backed enums
-- ✅ Enum 方法定义
-- ✅ `match()` 与 enum 配合使用
-- ✅ Enum 的 `value` 和 `name` 属性
-- ✅ `from()` 方法使用
-- ✅ Enum 在数组中的使用
-
-**测试场景**:
-```php
-// Int backed enum
-enum Status: int {
-    case Pending = 0;
-    case Active = 1;
-}
-
-// String backed enum
-enum Color: string {
-    case Red = 'red';
-    case Green = 'green';
-}
-
-// Enum 方法
-enum Status: int {
-    case Pending;
-    case Active;
-    
-    public function label(): string {
-        return match($this) {
-            self::Pending => 'Pending',
-            self::Active => 'Active',
-        };
-    }
-}
-```
-
----
-
-### 3. **first-class-callable.phpt** - First-Class Callable Syntax (PHP 8.1+)
-
-**覆盖的语法特性**:
-- ✅ 函数作为可调用对象
-- ✅ 静态方法的可调用语法
-- ✅ 实例方法的可调用语法
-- ✅ 可调用对象在 array_map/array_filter 中的应用
-- ✅ 返回 callable 的函数
-- ✅ 可调用对象与箭头函数结合
-
-**测试场景**:
-```php
-// 基本可调用语法
-$callable = 'function_name';
-array_map($callable, $array);
-
-// 静态方法可调用
-$staticCallable = ['ClassName', 'methodName'];
-
-// 实例方法可调用
-$instanceCallable = [$object, 'methodName'];
-
-// 返回 callable 的函数
-function multiplier(int $factor): callable {
-    return fn(int $value) => $value * $factor;
-}
-```
-
----
-
-### 4. **deep-recursion.phpt** - Deep Recursion Patterns
-
-**覆盖的语法特性**:
-- ✅ 深度递归函数
-- ✅ 记忆化递归（memoization）
-- ✅ 相互递归（mutual recursion）
-- ✅ 树形递归（tree recursion）
-- ✅ 分治算法（quicksort）
-- ✅ 引用参数在递归中的应用
-
-**测试场景**:
-```php
-// 阶乘递归
-function factorial(int $n): int {
-    if ($n <= 1) return 1;
-    return $n * factorial($n - 1);
-}
-
-// 斐波那契（带记忆化）
-function fib(int $n, array &$memo = []): int {
-    if (isset($memo[$n])) return $memo[$n];
-    $memo[$n] = fib($n - 1, $memo) + fib($n - 2, $memo);
-    return $memo[$n];
-}
-
-// 相互递归
-function isEven(int $n): bool {
-    if ($n === 0) return true;
-    return isOdd($n - 1);
-}
-
-function isOdd(int $n): bool {
-    if ($n === 0) return false;
-    return isEven($n - 1);
-}
-
-// 树形递归
-function sumTree(array $tree): int {
-    $sum = $tree['value'];
-    foreach ($tree['children'] as $child) {
-        $sum += sumTree($child);
-    }
-    return $sum;
-}
-```
-
----
-
-## 📊 当前测试覆盖统计
-
-### 总体统计
-
-| 类别 | 测试文件数 | 覆盖率 |
-|------|-----------|--------|
-| **基础语法** | ~25 | 100% |
-| **函数** | ~15 | 98% |
-| **类与对象** | ~20 | 95% |
-| **类型系统** | ~10 | 97% |
-| **数组处理** | ~15 | 96% |
-| **字符串** | ~8 | 92% |
-| **控制结构** | ~12 | 98% |
-| **错误处理** | ~6 | 90% |
-| **高级特性** | ~15 | 93% |
-| **总计** | **126** | **96%** |
-
-### PHP 版本覆盖
-
-| PHP 版本 | 特性支持 | 测试覆盖 |
-|---------|---------|----------|
-| PHP 7.4 | 箭头函数、可空类型等 | ✅ 100% |
-| PHP 8.0 | Match 表达式、命名参数、Attributes 等 | ✅ 100% |
-| PHP 8.1 | Enums、Readonly properties、First-class callable 等 | ✅ 98% |
-| PHP 8.2 | Readonly classes、Disjunctive Normal Form 等 | ✅ 95% |
-| PHP 8.3 | Typed constants、Override attribute 等 | ⚠️ 待补充 |
-
----
-
-## 🎯 重点补充的测试场景
-
-### 1. 复杂递归模式
-- ✅ 基础递归（factorial）
-- ✅ 记忆化优化（fibonacci）
-- ✅ 相互递归（isEven/isOdd）
-- ✅ 树形遍历（sumTree）
-- ✅ 分治算法（quicksort）
-
-### 2. 枚举高级用法
-- ✅ Backed enums（int/string）
-- ✅ Enum 方法
-- ✅ Enum 与 match 表达式
-- ✅ Enum 数组操作
-- ✅ `from()` 和 `tryFrom()` 方法
-
-### 3. 可调用对象
-- ✅ 函数作为 callable
-- ✅ 静态方法 callable
-- ✅ 实例方法 callable
-- ✅ 返回 callable 的高阶函数
-- ✅ Callable 在 array_* 函数中的应用
-
-### 4. Readonly 特性
-- ✅ Readonly 类定义
-- ✅ Readonly 类继承
-- ✅ Readonly constructor promotion
-- ✅ Readonly 不可变性验证
-
----
-
-## 📝 已覆盖的 PHP 核心特性清单
-
-### ✅ 完全覆盖的特性
-
-#### 基础语法
-- [x] 所有运算符（算术、比较、逻辑、赋值、位运算）
-- [x] 控制结构（if/else、switch、for/while/do-while）
-- [x] 异常处理（try/catch/finally、throw）
-- [x] 命名空间和自动加载
-
-#### 函数相关
-- [x] 函数定义和调用
-- [x] 参数传递（默认值、引用、可变参数）
-- [x] 返回类型声明
-- [x] 箭头函数
-- [x] 闭包
-- [x] 生成器
-- [x] 第一类可调用语法
-- [x] 命名参数
-
-#### 面向对象
-- [x] 类定义和实例化
-- [x] 构造函数和析构函数
-- [x] 继承和多态
-- [x] 访问修饰符（public/protected/private）
-- [x] 静态属性和方法
-- [x] 抽象类和接口
-- [x] Traits
-- [x] Anonymous classes
-- [x] Enums（unit 和 backed）
-- [x] Readonly 类和属性
-- [x] Constructor property promotion
-- [x] Magic methods
-- [x] Late static binding
-
-#### 类型系统
-- [x] 标量类型（int/string/float/bool）
-- [x] 复合类型（array/object/callable/iterable）
-- [x] 可空类型（?T）
-- [x] 联合类型（T1|T2）
-- [x] mixed 类型
-- [x] never 返回类型
-- [x] 类型声明和转换
-
-#### 数组操作
-- [x] 数组创建和初始化
-- [x] 数组访问和修改
-- [x] 多维数组
-- [x] 数组运算符
-- [x] 数组展开（spread operator）
-- [x] list() 解构
-- [x] 数组项自增自减
-
-#### 字符串处理
-- [x] 字符串连接和插值
-- [x] 字符串函数
-- [x] 字符串偏移量
-- [x] 格式化字符串
-
-#### 高级特性
-- [x] Attributes（注解）
-- [x] Match 表达式
-- [x] Null coalescing 运算符
-- [x] 太空船运算符（<=>）
-- [x] 迭代器（Iterator/IteratorAggregate）
-- [x] 生成器
-- [x] 序列化
-- [x] 克隆
-
----
-
-## ⚠️ 待补充的测试场景
-
-### 优先级高
-
-1. **PHP 8.3+ 新特性**
-   - [ ] Typed constants in interfaces
-   - [ ] #[\Override] attribute
-   - [ ] json_validate() function
-   - [ ] str_shuffle() deprecation alternatives
-
-2. **边缘案例和边界条件**
-   - [ ] 极大数字的处理
-   - [ ] 极深递归（栈溢出测试）
-   - [ ] 内存限制边缘测试
-   - [ ] 浮点数精度问题
-
-3. **性能基准测试**
-   - [ ] 循环性能对比
-   - [ ] 数组操作性能
-   - [ ] 字符串拼接性能
-   - [ ] 函数调用开销
-
-### 优先级中
-
-4. **并发和并行**
-   - [ ] 多进程场景
-   - [ ] 协程基础测试
-   - [ ] 线程安全测试
-
-5. **扩展集成**
-   - [ ] Redis 扩展测试
-   - [ ] MySQL/PDO 测试
-   - [ ] JSON 处理测试
-   - [ ] Filesystem 测试
-
-6. **特殊语法组合**
-   - [ ] Attributes + Reflection 完整测试
-   - [ ] Generators + Async 测试
-   - [ ] Traits + Abstract 组合测试
-
----
-
-## 🔍 测试质量分析
-
-### 优势
-
-✅ **覆盖面广**: 126 个测试文件，覆盖 96% 的 PHP 语法  
-✅ **结构清晰**: 每个测试文件专注于一个特定特性  
-✅ **示例丰富**: 包含大量实际使用场景  
-✅ **边界测试**: 多数测试包含了边界条件检查  
-✅ **符合规范**: 所有测试遵循标准 phpt 格式  
-
-### 改进空间
-
-⚠️ **性能测试不足**: 缺少系统的性能基准测试  
-⚠️ **压力测试缺乏**: 极端条件下的测试较少  
-⚠️ **集成测试有限**: 与真实项目结合的测试不多  
-⚠️ **回归测试需加强**: 历史 bug 的回归测试不够完善  
-
----
-
-## 📈 后续行动计划
-
-### 短期（1-2 周）
-
-1. ✅ 完成 PHP 8.1 所有特性的测试覆盖
-2. ✅ 添加更多递归和算法测试
-3. ✅ 补充 enum 的高级用法测试
-4. ✅ 完善 callable 相关测试
-
-### 中期（1 个月）
-
-1. 🔄 添加 PHP 8.3 新特性测试
-2. 🔄 创建性能基准测试套件
-3. 🔄 增加边缘案例和压力测试
-4. 🔄 编写真实项目集成测试
-
-### 长期（3 个月）
-
-1. 📅 建立完整的回归测试集
-2. 📅 实现自动化测试覆盖率检查
-3. 📅 创建性能监控和对比系统
-4. 📅 编写详细的测试文档和指南
-
----
-
-## 📚 测试文件索引
-
-### 新增文件位置
-
-所有新增测试文件位于 `tests/compiler/` 目录：
-
-```
-tests/compiler/
-├── readonly-class.phpt          # Readonly 类测试
-├── backed-enum.phpt             # Backed 枚举测试
-├── first-class-callable.phpt    # 一类可调用语法测试
-└── deep-recursion.phpt          # 深度递归测试
-```
-
-### 运行测试
-
-```bash
-# 运行单个测试
-php run-tests.php tests/compiler/readonly-class.phpt
-
-# 运行所有新增测试
-php run-tests.php tests/compiler/readonly-class.phpt \
-                  tests/compiler/backed-enum.phpt \
-                  tests/compiler/first-class-callable.phpt \
-                  tests/compiler/deep-recursion.phpt
-
-# 运行所有 AOT 测试
-php run-tests.php tests/compiler/
-```
-
----
-
-## 🎓 测试编写最佳实践
-
-基于本次 review，总结出以下最佳实践：
-
-### 1. 测试结构
-
-```php
---TEST--
-清晰的测试描述
---FILE--
-<?php
-// 1. 定义测试代码
-// 2. 执行测试操作
-// 3. 输出测试结果
-
-function main() {
-    // 所有可执行代码必须在 main() 中
-}
-?>
---EXPECT--
-// 期望的输出结果
-```
-
-### 2. 测试设计原则
-
-- ✅ **单一职责**: 每个测试文件专注于一个特性
-- ✅ **自包含**: 测试不依赖外部文件或状态
-- ✅ **可重复**: 多次运行结果一致
-- ✅ **边界覆盖**: 包含正常值和边界值
-- ✅ **错误处理**: 测试异常情况的行为
-
-### 3. 代码组织
-
-```php
-// 好的组织方式
-1. 简单场景 → 复杂场景
-2. 基础用法 → 高级用法
-3. 单一特性 → 组合特性
-4. 正常流程 → 异常流程
-```
-
----
-
-**报告生成时间**: 2024 年 3 月 20 日  
-**测试文件总数**: 126 个  
-**覆盖率**: 96%  
-**下次审查日期**: 2024 年 4 月 20 日

tests/compiler/basic/numeric-literal-syntax.phpt

@@ -0,0 +1,29 @@
+--TEST--
+Binary, explicit octal and separated numeric literals preserve their values
+--FILE--
+<?php
+
+function main(): void
+{
+    var_dump(0b1010);
+    var_dump(0B1111);
+    var_dump(0o17);
+    var_dump(0O20);
+
+    var_dump(1_234_567);
+    var_dump(0b1010_0101);
+    var_dump(0o7_5_5);
+    var_dump(0xCA_FE);
+    var_dump(1_2.5_0e1);
+}
+?>
+--EXPECT--
+int(10)
+int(15)
+int(15)
+int(16)
+int(1234567)
+int(165)
+int(493)
+int(51966)
+float(125)

tests/compiler/control_flow/alternative-syntax.phpt

@@ -0,0 +1,52 @@
+--TEST--
+Alternative control structure syntax shares normal control-flow semantics
+--FILE--
+<?php
+
+function main(): void
+{
+    $events = [];
+    $value = 2;
+
+    if ($value === 1):
+        $events[] = 'if:one';
+    elseif ($value === 2):
+        $events[] = 'if:two';
+    else:
+        $events[] = 'if:other';
+    endif;
+
+    for ($i = 0; $i < 4; $i++):
+        if ($i === 1):
+            continue;
+        endif;
+        $events[] = 'for:' . $i;
+    endfor;
+
+    $i = 0;
+    while ($i < 2):
+        $events[] = 'while:' . $i;
+        $i++;
+    endwhile;
+
+    foreach (['a' => 1, 'b' => 2] as $key => $item):
+        $events[] = 'foreach:' . $key . '=' . $item;
+    endforeach;
+
+    switch ($value):
+        case 1:
+            $events[] = 'switch:one';
+            break;
+        case 2:
+            $events[] = 'switch:two';
+            break;
+        default:
+            $events[] = 'switch:other';
+            break;
+    endswitch;
+
+    echo implode('|', $events), "\n";
+}
+?>
+--EXPECT--
+if:two|for:0|for:2|for:3|while:0|while:1|foreach:a=1|foreach:b=2|switch:two

tests/compiler/operator/traditional-syntax-regression.phpt

@@ -0,0 +1,74 @@
+--TEST--
+Traditional operators preserve precedence, short-circuiting, values and compound writes
+--FILE--
+<?php
+
+function traditional_record(array &$events, string $label, bool $result): bool
+{
+    $events[] = $label;
+    return $result;
+}
+
+function main(): void
+{
+    $counter = 3;
+    var_dump(--$counter);
+    var_dump($counter);
+
+    $lowAnd = true and false;
+    $highAnd = true && false;
+    $lowOr = false or true;
+    $highOr = false || true;
+    var_dump($lowAnd, $highAnd, $lowOr, $highOr);
+
+    $events = [];
+    $andResult = traditional_record($events, 'and-left', false)
+        and traditional_record($events, 'and-right', true);
+    $orResult = traditional_record($events, 'or-left', true)
+        or traditional_record($events, 'or-right', false);
+    var_dump($andResult, $orResult, $events);
+
+    $integer = -7;
+    $float = -2.5;
+    var_dump(+$integer, +$float);
+
+    var_dump(0b1100 ^ 0b1010);
+
+    $values = [3, 16, 0b1100];
+    var_dump($values[0] <<= 3);
+    var_dump($values[1] >>= 2);
+    var_dump($values[2] ^= 0b1010);
+    var_dump($values[2] &= 0b0011);
+    var_dump($values);
+}
+?>
+--EXPECT--
+int(2)
+int(2)
+bool(true)
+bool(false)
+bool(false)
+bool(true)
+bool(false)
+bool(true)
+array(2) {
+  [0]=>
+  string(8) "and-left"
+  [1]=>
+  string(7) "or-left"
+}
+int(-7)
+float(-2.5)
+int(6)
+int(24)
+int(4)
+int(6)
+int(2)
+array(3) {
+  [0]=>
+  int(24)
+  [1]=>
+  int(4)
+  [2]=>
+  int(2)
+}

tests/compiler/type_decl/dnf-types.phpt

@@ -0,0 +1,113 @@
+--TEST--
+DNF types enforce intersection alternatives on parameters, returns and properties
+--FILE--
+<?php
+
+interface DnfLeft
+{
+    public function left(): string;
+}
+
+interface DnfRight
+{
+    public function right(): string;
+}
+
+final class DnfBoth implements DnfLeft, DnfRight
+{
+    public function left(): string
+    {
+        return 'left';
+    }
+
+    public function right(): string
+    {
+        return 'right';
+    }
+}
+
+final class DnfFallback
+{
+    public function label(): string
+    {
+        return 'fallback';
+    }
+}
+
+final class DnfOnlyLeft implements DnfLeft
+{
+    public function left(): string
+    {
+        return 'only-left';
+    }
+}
+
+function dnf_label((DnfLeft&DnfRight)|DnfFallback $value): string
+{
+    if ($value instanceof DnfFallback) {
+        return $value->label();
+    }
+    return $value->left() . '+' . $value->right();
+}
+
+function dnf_identity(
+    (DnfLeft&DnfRight)|DnfFallback $value,
+): (DnfLeft&DnfRight)|DnfFallback {
+    return $value;
+}
+
+function dnf_dynamic_return(mixed $value): (DnfLeft&DnfRight)|DnfFallback
+{
+    return $value;
+}
+
+final class DnfBox
+{
+    public (DnfLeft&DnfRight)|DnfFallback $value;
+
+    public function __construct((DnfLeft&DnfRight)|DnfFallback $value)
+    {
+        $this->value = $value;
+    }
+}
+
+function main(): void
+{
+    $both = new DnfBoth();
+    $fallback = new DnfFallback();
+    var_dump(dnf_label($both));
+    var_dump(dnf_label($fallback));
+    var_dump(dnf_identity($both) instanceof DnfBoth);
+
+    $box = new DnfBox($fallback);
+    var_dump($box->value instanceof DnfFallback);
+    $box->value = $both;
+    var_dump($box->value instanceof DnfBoth);
+
+    $invalid = any(new DnfOnlyLeft());
+    try {
+        dnf_label($invalid);
+    } catch (TypeError $error) {
+        echo "parameter TypeError\n";
+    }
+    try {
+        dnf_dynamic_return($invalid);
+    } catch (TypeError $error) {
+        echo "return TypeError\n";
+    }
+    try {
+        $box->value = $invalid;
+    } catch (TypeError $error) {
+        echo "property TypeError\n";
+    }
+}
+?>
+--EXPECT--
+string(10) "left+right"
+string(8) "fallback"
+bool(true)
+bool(true)
+bool(true)
+parameter TypeError
+return TypeError
+property TypeError