AOT: mktime() module verification fails — mkt_false/ok blocks land in wrong function (ext/date/php_date.c) #33934

Category

bug · php-src-strict · AOT mktime invalid IR

Problem

mktime(0,0,0,1,1,2020) matches Zend/VM, but thin AOT fails module verification:

Module verification failed due to Referring to an argument in another function!
  call void @__value__writeBool(%__value__* %7, i32 0)
Referring to a basic block in another function!
  br i1 %12, label %mkt_false, label %mkt_ok
 in .../Module.php:180

Root cause: lib/JIT/Builtin/StringMktime.php builds __compiler_mktime with $fn->appendBasicBlock for entry/body, then uses BasicBlockHelper::append for mkt_false / mkt_ok / mkt_done. While lowering user main, context->loweringLlvmFunction steals those appends into the wrong function (see BasicBlockHelper::parentFunction / #31101). Same pattern exists in StringGmmktime (often masked by compile-time fold).

php-src reference

• php/php-src ext/date/php_date.c — PHP_FUNCTION(mktime)

PHP implementation target

• lib/JIT/Builtin/StringMktime.php — append mkt_false/mkt_ok/mkt_done on $fn (and/or scope loweringLlvmFunction); same for StringGmmktime.php
• No new runtime/*.c

Repro

./script/aot-smoke.sh
./script/docker-exec.sh -- bash -lc 'PHP_COMPILER_LLVM_ASSERT=1 php bin/compile.php -o /tmp/m.bin - <<'"'"'PHP'
<?php echo mktime(0,0,0,1,1,2020), "\n";
PHP
/tmp/m.bin'

Done when

• AOT matches Zend for mktime full-arity literals and a runtime-arg path
• ./script/aot-smoke.sh stays 8/8
• Unit/repro guard under test/unit/ + test/repro/