php-in-php: JIT StringFilterEmail — route FILTER_VALIDATE_EMAIL through VmFilter PHP not ~343-line LLVM (#4742, #1492)

[PurHur]

Category

php-in-php · php-src-strict

Problem

Email validation for filter_var($v, FILTER_VALIDATE_EMAIL) is implemented in PHP (ext/filter/VmFilter.php — validateEmail()), but JIT/AOT duplicate the regex/token rules in lib/JIT/Builtin/StringFilterEmail.php (~343 lines of LLVM).

Same SSOT problem as #9858 (boolean parse): two implementations drift on edge cases (IDN, quoted local-part, etc.).

php-src reference

• php/php-src ext/filter/logical_filters.c — php_filter_validate_email
• php/php-src ext/filter/filter.c

Repro

<?php
$cases = [
    ['user@example.com', 'user@example.com'],
    ['bad', false],
    ['', false],
];
foreach ($cases as [$in, $want]) {
    $got = filter_var($in, FILTER_VALIDATE_EMAIL);
    echo "$in => ", var_export($got, true), ($got == $want) ? " OK\n" : " FAIL\n";
}

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh
php bin/vm.php test/repro/maintainer_filter_email.php
php bin/jit.php test/repro/maintainer_filter_email.php
'

Scope

Path	Work
ext/filter/FilterEmailJitHelper.php (new)	Bridge → VmFilter::validateEmail()
lib/JIT/Builtin/StringFilterEmail.php	Thin LLVM wrapper only
Tests	extend filter_var compliance (#4742)

Done when

• JIT/AOT repro matches VM/Zend table
• StringFilterEmail.php reduced to thin bridge (−300+ LLVM lines)
• Enum case operands still TypeError via shared guards
• ./script/docker-exec.sh -- bash -lc 'source script/php-env.sh && vendor/bin/phpunit --filter FilterEmail' green

Related

• php-in-php: JIT StringFilterBoolean — route FILTER_VALIDATE_BOOLEAN parse through VmFilter PHP not ~213-line LLVM (#4742, #1492) #9858, Stdlib: filter_var() — bool/float/object value types on JIT path (ext/filter/filter.c) #4742, Epic: Self-host critical path — compiler compiles itself (M3→M5) #1492

[PurHur]

claim: PHP Runtime → PHP — batch (issues #9860, #9814)

[PurHur]

Merged via #11054.

Verification:

• vendor/bin/phpunit --filter FilterEmail — OK (6 tests)
• VM/JIT filter_var.phpt — email validation matches
• spine sync + bootstrap inventory OK

LLVM shrink: ~190 lines removed from StringFilterEmail.php; routes through FilterEmailJitHelper → VmFilter::isValidEmailSubset().