Docs/Overview/Documentation

COMPILER · VERIFIED

LLVM

Native LLVM code generation and executable generation are verified in tested scenarios.

  • Native Point handling
  • Native runtime calls
  • Async channel tests
  • Delay tests
  • MMIO code-generation tests

TRACEABILITY

Related Evidence

Audit evidence

These references identify supplied project evidence related to the documented area. Test files indicate exercised scenarios; reports and source documents provide additional audit evidence. A listed item is not a claim that every related behavior is covered.

  • tests/backend/point_native.avs
  • tests/backend/vector_native.avs
  • tests/backend/point_native_field.avs
  • tests/backend_async/channel_llvm.avs
  • tests/backend_async/delay_llvm.avs