armfortas Public

Notifications Fork 0 Star 0
0ebb1f5
Branches trunk
1 Branches 0 Tags
Go to file T
Code
mfwolffe Add incremental compilation tests and fix coverage script PATH
0ebb1f5 789 Commits
fixtures Tighten i128 fold and LICM hoist test coverage
README.md Add exact file and phase repro oracles
artifact_audit_29_10.rs Audit runtime-heavy binaries
bounds_checks.rs Wire array bounds checks end to end
capture_opt_levels.rs Honor opt level in capture stages
claims_audit_29_11.rs Audit 29.9 claim kernels
determinism_sweep.rs Add determinism sweep: compile all programs twice at O2, cmp assembly
do_concurrent_exploit.rs Exploit small DO CONCURRENT loops
do_concurrent_semantics.rs Honor DO CONCURRENT masks and controls
elemental_array_map.rs Lower elemental array maps
fortran_alias_licm.rs Hoist noalias dummy loads
fuzz_smoke.rs Add fuzzing harness: cargo-fuzz targets and deterministic smoke tests
gvn_dse_audit_29_11.rs Audit GVN and DSE kernels
i128_backend_data.rs Allow globals-only i128 backend
i128_cross_object.rs Fix i128_cross_object test for new Options fields
i128_external_backend.rs Audit external i128 ABI
i128_formatted_read.rs Audit alloc section reads
i128_gates.rs Audit high-opt i128 optimization
i128_high_opt.rs Audit high-opt i128 optimization
i128_internal_io.rs Audit alloc section reads
i128_ir.rs Widen i128 constant storage
i128_memory_backend.rs Audit internal i128 ABI
i128_o1.rs Enable full O1 i128 pipeline
i128_o2.rs Audit O2 i128 optimization
i128_runtime_io.rs Audit formatted integer16 writes
i128_runtime_read.rs Audit integer16 read path
i128_stack_args.rs Audit stack-arg i128 returns
incremental.rs Add incremental compilation tests and fix coverage script PATH
ipo_const_arg.rs Specialize constant internal dummies
ipo_dead_arg.rs Elide dead internal dummy args
ipo_return_prop.rs Propagate trivial internal returns
licm_lsf_audit_29_11.rs Audit LICM and LSF kernels
module_host_audit.rs Audit module host association
multifile.rs Add cross-TU multi-file compilation test harness
multifile_gen.rs Add cross-optimization ABI matrix tests
ofast_fast_math.rs Audit Ofast fast math
opt_audit_29_11.rs Audit kernel optimization proofs
opt_audit_29_8.rs Add GVN audit regression
program_entry_audit.rs Audit helper-before-program entry
pure_call_reuse.rs Reuse pure call results in GVN
pure_dead_call_elim.rs Elide dead pure calls
run_programs.rs Add circular dependency detection tests and multi-file ERROR_EXPECTED
sprint29_audit_realworld.rs Audit SROA and shape kernels
sroa_shape_audit_29_11.rs Audit SROA and shape kernels
vectorize_do_loop.rs Audit vectorized do loops

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.