Can you compile PHP to a native binary?

Yes. elephc compiles a supported static subset of PHP directly to native assembly. It produces standalone executables for macOS ARM64, Linux ARM64, and Linux x86_64, plus native libraries for those hosts and iOS ARM64 targets. The compiled path uses no interpreter, VM, Zend Engine, or opcode fallback.

How is elephc different from PHP packagers or other PHP AOT systems?

elephc is not a PHP packager and does not bundle Zend/PHP. It is a from-scratch compiler: parse, type-check, lower to native assembly, assemble, link, and include a small runtime in the output. If elephc compiles it, it runs as native code.

Can elephc work with PHP frameworks?

Not a drop-in replacement for an entire dynamic framework today, but a path to accelerate static modules inside existing PHP applications. Keep frameworks such as WordPress, Laravel, or Symfony on PHP, then compile static and performance-sensitive modules into standalone executables or native libraries. A PHP extension bridge remains on the roadmap.

How does the elephc PHP compiler work?

elephc uses a twelve-stage compilation pipeline covering source classification, lexing, parsing, resolution, type checking, AST optimization, declaration reachability, EIR lowering and optimization, register allocation, target code generation, and linking. It targets macOS ARM64, Linux ARM64, Linux x86_64, and iOS ARM64 libraries.

What PHP features does elephc support?

elephc supports 21 user-facing types, modern PHP control flow and object features, functions and closures, native extensions, and 974 compiled built-in functions across strings, arrays, math, I/O, databases, images, iconv, curl, XML, and other categories.

Is elephc free and open source?

Yes, elephc is free and open-source software released under the MIT License. The source code is available on GitHub at github.com/illegalstudio/elephc.

substr_replace() — internals

`substr_replace()` — internals

Where it lives

Signature: src/builtins/string/substr_replace.rs
Lowering: src/builtins/semantics.rs:639 (lower_registry_call)
Function symbol: lower_registry_call()

Lowering notes

Uses the runtime_call strategy from the single-source builtin descriptor.
Emits the typed EIR target runtime.substr_replace through BuiltinLoweringContext.
The backend resolves that typed target through src/codegen/lower_inst/runtime_calls.rs; PHP builtin names do not participate in dispatch.

Semantic descriptor

Target strategy: runtime_call
Validation: signature
Result type source: declared
Result ownership: may_alias_arguments
Effects: static (0 declared effects)
Requirements: static (0 requirements)
Callable policy: static_only
Target support: macos-aarch64, ios-arm64, ios-sim-arm64, linux-aarch64, linux-x86_64

EIR and runtime boundary

Typed EIR target: runtime.substr_replace
Backend boundary: src/codegen/lower_inst/runtime_calls.rs resolves the typed target without PHP-name dispatch.

Signature summary

function substr_replace(string $string, string $replace, int $offset, int $length = null): string

What the type checker enforces

Arity: takes 3–4 arguments (1 optional).

Eval interpreter (magician)

Declaration: crates/elephc-magician/src/interpreter/builtins/string/substr_replace.rs (eval_builtin!)
Execution: Magician interpreter adapter.
Adapter reason: interpreter-specific-value-semantics.
Dispatch hooks: direct, values

Cross-references

User reference for substr_replace()