armfortas Public

Notifications Fork 0 Star 0
cea892a
Branches trunk
1 Branches 0 Tags
Go to file T
Code
fixtures
README.md
allocate_constructor_runtime.rs
allocate_validation.rs
artifact_audit_29_10.rs
bounds_checks.rs
calling_convention_runtime.rs
capture_opt_levels.rs
claims_audit_29_11.rs
cli_driver.rs
control_flow_runtime.rs
determinism_sweep.rs
do_concurrent_exploit.rs
do_concurrent_semantics.rs
elemental_array_map.rs
fortbite_backend.rs
fortran_alias_licm.rs
fortsh_module_graph.rs
fuzz_smoke.rs
gvn_dse_audit_29_11.rs
i128_backend_data.rs
i128_cross_object.rs
i128_external_backend.rs
i128_formatted_read.rs
i128_gates.rs
i128_high_opt.rs
i128_internal_io.rs
i128_ir.rs
i128_memory_backend.rs
i128_o1.rs
i128_o2.rs
i128_runtime_io.rs
i128_runtime_read.rs
i128_stack_args.rs
incremental.rs
ipo_const_arg.rs
ipo_dead_arg.rs
ipo_return_prop.rs
licm_lsf_audit_29_11.rs
memory_runtime.rs
module_host_audit.rs
multifile.rs
multifile_gen.rs
ofast_fast_math.rs
opt_audit_29_11.rs
opt_audit_29_8.rs
program_entry_audit.rs
pure_call_reuse.rs
pure_dead_call_elim.rs
regalloc_runtime.rs
run_programs.rs
sprint29_audit_realworld.rs
sroa_shape_audit_29_11.rs
standalone_toolchain.rs
vectorize_do_loop.rs

armfortas tests

The root tests/ directory now holds armfortas-local harnesses and integration checks that belong in the compiler repo itself.

The extracted structured bench lives in the bencch/ submodule.

Current handoff point: The canonical leaf-assertion language lives in source comments inside test_programs/ and other shared fixtures:

  • ! CHECK:
  • ! STDERR_CHECK:
  • ! EXIT_CODE:
  • ! XFAIL:
  • ! ERROR_EXPECTED:
  • ! ERROR_SPAN:
  • ! ASM_CHECK: / ! ASM_NOT:
  • ! FILE_CHECK: / ! FILE_NOT:
  • ! FILE_EXISTS: / ! FILE_MISSING:
  • ! FILE_LINE_COUNT:
  • ! FILE_RERUN_MODE:
  • ! FILE_SET_EXACT:
  • ! REPRO_CHECK:
  • ! OPT_EQ:
  • ! PHASE_TRIANGULATE:
  • ! IR_CHECK:
  • ! IR_NOT:

That source comment language is meant to converge with bencch, not drift from it.

Relationship To bencch

The extracted structured bench lives in the bencch/ submodule. It remains a co-equal tool, but it now has a clearer role:

  • the root harness is the fast armfortas-first runner
  • bencch is the structured matrix/reporting/differential runner

bencch should reuse source directives from shared fixtures whenever possible. Its suite DSL is for orchestration — opts, references, module graphs, capability policy, reports, and bundles — not for inventing a separate leaf assertion language.

  • bencch was split out after the Sprint 6 audit/hardening slice.
  • The next planned bench slice is deeper Sprint 6 differential coverage and object/tool consistency work.