← All docs
__elephc_mktime_raw() — internals
Compiler internals for __elephc_mktime_raw(): lowering path, type checks, and runtime helpers.
__elephc_mktime_raw() — internals
Where it lives
- Signature:
src/builtins/system/__elephc_mktime_raw.rs - Lowering:
src/builtins/semantics.rs:639 (lower_registry_call) - Function symbol:
lower_registry_call()
Lowering notes
- Internal helper used by the mktime() builtin.
- Bypasses timezone handling and calls the runtime mktime helper directly.
- Uses the
runtime_callstrategy from the single-source builtin descriptor. - Emits the typed EIR target
runtime.__elephc_mktime_rawthroughBuiltinLoweringContext. - 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 (16 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.__elephc_mktime_raw - Backend boundary:
src/codegen/lower_inst/runtime_calls.rsresolves the typed target without PHP-name dispatch.
Signature summary
function __elephc_mktime_raw(int $hour, int $minute, int $second, int $month, int $day, int $year): int
What the type checker enforces
- Arity: takes exactly 6 arguments.
Eval interpreter (magician)
Not callable from eval’d code — the magician interpreter has no entry for this builtin.
Cross-references
- No user-facing reference — this is a compiler internal helper.