niklas/amduat
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

Demote PEL exec bytes helper

Browse source
This commit is contained in:
Carl Niklas Rydberg 2025-12-22 06:31:53 +01:00
parent 92edd06642
commit b891b588ee
3 changed files with 23 additions and 30 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
include/amduat/pel/run.h
View file

@ -30,14 +30,6 @@ bool amduat_pel_surf_run_with_result(amduat_asl_store_t *store,
amduat_reference_t params_ref,
amduat_pel_run_result_t *out_run);
bool amduat_pel_exec_program_bytes(amduat_octets_t program_bytes,
const amduat_artifact_t *inputs,
size_t inputs_len,
const amduat_artifact_t *params,
amduat_artifact_t **out_outputs,
size_t *out_outputs_len,
amduat_pel_execution_result_value_t *out_result);
bool amduat_pel_exec_program_artifact(amduat_artifact_t program_artifact,
const amduat_artifact_t *inputs,
size_t inputs_len,

29
src/pel_stack/run.c
View file

@ -48,13 +48,14 @@ bool amduat_pel_surf_run_with_result(amduat_asl_store_t *store,
return true;
}
bool amduat_pel_exec_program_bytes(amduat_octets_t program_bytes,
const amduat_artifact_t *inputs,
size_t inputs_len,
const amduat_artifact_t *params,
amduat_artifact_t **out_outputs,
size_t *out_outputs_len,
amduat_pel_execution_result_value_t *out_result) {
static bool amduat_pel_exec_program_bytes_unchecked(
amduat_octets_t program_bytes,
const amduat_artifact_t *inputs,
size_t inputs_len,
const amduat_artifact_t *params,
amduat_artifact_t **out_outputs,
size_t *out_outputs_len,
amduat_pel_execution_result_value_t *out_result) {
amduat_pel_program_t program;
amduat_pel_program_dag_decode_status_t decode_status;
bool ok;
@ -130,11 +131,11 @@ bool amduat_pel_exec_program_artifact(amduat_artifact_t program_artifact,
return true;
}
return amduat_pel_exec_program_bytes(program_artifact.bytes,
inputs,
inputs_len,
params,
out_outputs,
out_outputs_len,
out_result);
return amduat_pel_exec_program_bytes_unchecked(program_artifact.bytes,
inputs,
inputs_len,
params,
out_outputs,
out_outputs_len,
out_result);
}

16
src/tools/amduat_pel_cli.c
View file

@ -806,14 +806,14 @@ static int amduat_pel_cli_cmd_exec(int argc,
}
}
if (!amduat_pel_exec_program_bytes(amduat_octets(program_bytes,
program_len),
inputs,
input_paths_len,
NULL,
&outputs,
&outputs_len,
&result)) {
if (!amduat_pel_exec_program_artifact(
amduat_artifact(amduat_octets(program_bytes, program_len)),
inputs,
input_paths_len,
NULL,
&outputs,
&outputs_len,
&result)) {
fprintf(stderr, "error: exec failed\n");
free(program_bytes);
program_bytes = NULL;