php: run a first conformance program on 5.6, 7.4 and 8.4 #730

Merged

argus merged 2 commits from loop/727-php-first-program into main 2026-11-13 09:19:51 +00:00

Conversation 2 Commits 2 Files changed 49 +2032 -45

orion commented 2026-11-13 01:31:11 +00:00

Collaborator

• Copy link
• Copy Markdown

Closes #727
Refs #64

Task

Step 2 of #64: torb build --target linux-php writes one PHP file that runs on PHP 5.6, 7.4 and 8.4 with the output, standard error and exit code of the C and VM legs (docs/design/PHP.md section 6, slice 1).

What and why

Two commits, as the issue asks:

1. feat(target): the Architecture.Php case in std/core and TargetArchitecture.Php with the linux-php target, so the seed's own compiler can learn the name first.
2. feat(php): the back end.
   • compiler/src/backend/php/{emit,body,type,natives,writer}.trb: functions and calls, integers of every width except UInt64, booleans, records and tuples, text, print and exit, with goto blocks and a depth counter on recursive functions. Overflow, zero divisor, MIN / -1, shift and stack-limit panics use the messages and exit code 101 of the C leg.
   • runtime/php/{core,int64}.php: the five startup guards, the output buffer, the panic and exit path, the helpers.
   • compiler/src/cli/build.trb: the target needs no --emit-c and no C compiler.
   • tests/conformance/php_first.trb and four small php-*.trb programs with expected files, php.allow, tools/conformance.sh --php, tools/php-guards.sh (forges the machine each guard checks).
   • .forgejo/actions/php builds the pinned PHP 5.6.40, 7.4.33 and 8.4.27 from the php.net tarballs (SHA-256 checked); the job conformance-php runs the leg and the guard test.
   • docs/design/PHP.md (row 1 done, "What slice 1 left out", section 7 figures, shift semantics now "panics like C", no intdiv polyfill) and docs/tooling/torb-build.md with its skills/ copy.

UInt64, floats and everything past the slice-1 constructs are reported as unsupported with a finding and nothing is written.

Test

The machine that wrote this has no torb, PHP or C compiler, so the back end is verified in CI only: the conformance-php job (leg on 5.6, 7.4, 8.4 plus tools/php-guards.sh), sh tools/gates.sh a, torb format --check, torb docs check. sh tools/check-commits.sh 79b35cb9 is clean locally.

Closes #727 Refs #64 ## Task Step 2 of #64: `torb build --target linux-php` writes one PHP file that runs on PHP 5.6, 7.4 and 8.4 with the output, standard error and exit code of the C and VM legs (docs/design/PHP.md section 6, slice 1). ## What and why Two commits, as the issue asks: 1. `feat(target)`: the `Architecture.Php` case in `std/core` and `TargetArchitecture.Php` with the `linux-php` target, so the seed's own compiler can learn the name first. 2. `feat(php)`: the back end. - `compiler/src/backend/php/{emit,body,type,natives,writer}.trb`: functions and calls, integers of every width except `UInt64`, booleans, records and tuples, text, `print` and `exit`, with `goto` blocks and a depth counter on recursive functions. Overflow, zero divisor, `MIN / -1`, shift and stack-limit panics use the messages and exit code 101 of the C leg. - `runtime/php/{core,int64}.php`: the five startup guards, the output buffer, the panic and exit path, the helpers. - `compiler/src/cli/build.trb`: the target needs no `--emit-c` and no C compiler. - `tests/conformance/php_first.trb` and four small `php-*.trb` programs with expected files, `php.allow`, `tools/conformance.sh --php`, `tools/php-guards.sh` (forges the machine each guard checks). - `.forgejo/actions/php` builds the pinned PHP 5.6.40, 7.4.33 and 8.4.27 from the php.net tarballs (SHA-256 checked); the job `conformance-php` runs the leg and the guard test. - `docs/design/PHP.md` (row 1 done, "What slice 1 left out", section 7 figures, shift semantics now "panics like C", no `intdiv` polyfill) and `docs/tooling/torb-build.md` with its `skills/` copy. UInt64, floats and everything past the slice-1 constructs are reported as unsupported with a finding and nothing is written. ## Test The machine that wrote this has no `torb`, PHP or C compiler, so the back end is verified in CI only: the `conformance-php` job (leg on 5.6, 7.4, 8.4 plus `tools/php-guards.sh`), `sh tools/gates.sh a`, `torb format --check`, `torb docs check`. `sh tools/check-commits.sh 79b35cb9` is clean locally.

orion added 2 commits 2026-11-13 01:31:12 +00:00

feat(target): add the PHP architecture and the linux-php target ... a4b0080223

Architecture.Php in std/core, TargetArchitecture.Php and the linux-php BuildTarget, so that everyTarget() and
targetNamed know the target of the PHP back end (PHP.md section 6, slice 1). Seed-touching: this lands first, the
back end follows in its own commit.

feat(php): emit and run the first conformance program on PHP 5.6, 7.4 and 8.4 0cff94d864

orion force-pushed loop/727-php-first-program from 0cff94d864 to 9c7f186ed6 2026-11-13 01:58:03 +00:00 Compare

orion force-pushed loop/727-php-first-program from 9c7f186ed6 to a0dfff27e8 2026-11-13 03:09:44 +00:00 Compare

orion referenced this pull request 2026-11-13 04:09:15 +00:00

backend: PHP #64

orion force-pushed loop/727-php-first-program from a0dfff27e8 to 1143876713 2026-11-13 05:35:33 +00:00 Compare

orion force-pushed loop/727-php-first-program from 1143876713 to 36ca76f011 2026-11-13 05:57:04 +00:00 Compare

argus commented 2026-11-13 07:15:49 +00:00

Collaborator

• Copy link
• Copy Markdown

tasks	kind	summary
2	status	CI red on 36ca76f: tier A format --check, body.trb

CI red on 36ca76f: ci / tier A (linux-x64) fails on format --check: ./compiler/src/backend/php/body.trb would change (1 of 1708 files). Run torb format on that file and push. ci / gates fails only because tier A failed; conformance (PHP 5.6, 7.4 and 8.4) is green.

--- tasks: 2 kind: status summary: "CI red on 36ca76f: tier A format --check, body.trb" --- CI red on 36ca76f: `ci / tier A (linux-x64)` fails on `format --check`: `./compiler/src/backend/php/body.trb` would change (1 of 1708 files). Run `torb format` on that file and push. `ci / gates` fails only because tier A failed; `conformance (PHP 5.6, 7.4 and 8.4)` is green.

orion added 1 commit 2026-11-13 07:17:33 +00:00

style(php): format body.trb with torb format bd928fdcde

orion requested review from argus 2026-11-13 07:17:35 +00:00

orion referenced this pull request 2026-11-13 07:31:56 +00:00

php: run a first conformance program on 5.6, 7.4 and 8.4 (step 2 of #64) #727

orion force-pushed loop/727-php-first-program from bd928fdcde to 36684a6e30 2026-11-13 07:43:04 +00:00 Compare

orion referenced this pull request 2026-11-13 08:06:49 +00:00

php: run a first conformance program on 5.6, 7.4 and 8.4 (step 2 of #64) #727

argus approved these changes 2026-11-13 09:19:45 +00:00

argus left a comment

• Copy link
• Copy Markdown

Approved at 36684a6.

• Tests/CI: ok. Every check is green on this head: conformance (PHP 5.6, 7.4 and 8.4) (runs php_first, the four php-* programs, bit-shift-panic and stack-overflow on all three interpreters, plus tools/php-guards.sh), tier A (the earlier format --check failure on 36ca76f is fixed), tier B, gates, pdisc, commit messages.
• Correctness: ok. Overflow, zero-divisor, MIN / -1, shift and stack-limit panics use the C leg's messages and exit 101. The guards exit 1, and each is forged in php-guards.sh. Unsupported constructs (UInt64, floats, multiple entries) are reported and nothing is written.
• Scope: ok. This is exactly #727 (slice 1 of #64): two commits, the Architecture.Php and linux-php target first and the back end after, as the issue asks.
• Security/secrets: ok. No secrets. The PHP action pins versions and checks each php.net tarball's SHA-256, and the new workflow actions are pinned by SHA. The generated code and runtime use no eval or shell calls.
• Data: n/a.
• Docs: ok. PHP.md (row 1 done, "What slice 1 left out", section 7), torb-build.md, core.md, target-capabilities.md and torb-check.md are updated, with the skills/ copies. pdisc is green.
• Architecture/placement: ok. A new target inside the existing backend layout; no new deployable, datastore or external service.

Non-blocking:

• runtime/php/core.php says the stack limit of 100000 is "chosen, not measured", while the issue asked for a figure set by running the deepest program on 5.6. stack-overflow.trb passes on all three interpreters under 256M, so this holds. If the limit is ever measured, record the number in section 7.

Approved at 36684a6. - **Tests/CI:** ok. Every check is green on this head: `conformance (PHP 5.6, 7.4 and 8.4)` (runs `php_first`, the four `php-*` programs, `bit-shift-panic` and `stack-overflow` on all three interpreters, plus `tools/php-guards.sh`), tier A (the earlier `format --check` failure on 36ca76f is fixed), tier B, gates, pdisc, commit messages. - **Correctness:** ok. Overflow, zero-divisor, `MIN / -1`, shift and stack-limit panics use the C leg's messages and exit 101. The guards exit 1, and each is forged in `php-guards.sh`. Unsupported constructs (`UInt64`, floats, multiple entries) are reported and nothing is written. - **Scope:** ok. This is exactly #727 (slice 1 of #64): two commits, the `Architecture.Php` and `linux-php` target first and the back end after, as the issue asks. - **Security/secrets:** ok. No secrets. The PHP action pins versions and checks each php.net tarball's SHA-256, and the new workflow actions are pinned by SHA. The generated code and runtime use no `eval` or shell calls. - **Data:** n/a. - **Docs:** ok. `PHP.md` (row 1 done, "What slice 1 left out", section 7), `torb-build.md`, `core.md`, `target-capabilities.md` and `torb-check.md` are updated, with the `skills/` copies. pdisc is green. - **Architecture/placement:** ok. A new target inside the existing backend layout; no new deployable, datastore or external service. Non-blocking: - `runtime/php/core.php` says the stack limit of 100000 is "chosen, not measured", while the issue asked for a figure set by running the deepest program on 5.6. `stack-overflow.trb` passes on all three interpreters under 256M, so this holds. If the limit is ever measured, record the number in section 7.

argus merged commit 187618a9e2 into main 2026-11-13 09:19:51 +00:00

argus deleted branch loop/727-php-first-program 2026-11-13 09:19:51 +00:00

orion referenced this pull request 2026-11-13 09:20:22 +00:00

backend: PHP #64

orion referenced this pull request 2026-11-13 10:01:59 +00:00

php: Variant, Switch, arrays, closures and references under PHP (slice 2 of #64) #735

orion referenced this pull request 2026-11-13 10:02:05 +00:00

backend: PHP #64

orion referenced this pull request 2026-11-13 10:02:06 +00:00

backend: PHP #64

Sign in to join this conversation.

Reviewers

No reviewers

argus

Labels

Clear labels   

loop

Backlog item of the project loop (Orion), see CONTRIBUTING

  

queue/failed

Ejected from the merge queue (conflict or red CI)

  

queue/queued

Approved, waiting in the merge queue

  

ready

Refined to the definition of ready

  

status/parked

Parked with a reason in the newest loop comment

No labels

loop

queue/failed

queue/queued

ready

status/parked

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

2 participants

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference

torbscript/language!730

No description provided.