Register and run lit tests

[castigli]

This PR adds a target to register and run the lit (FileCheck) tests.

Changes

• move lit tests to a subfolder for a clean cmake setup
• adds a target check-pto to run the tests
• fixes the trivially broken tests
• add the tests to the CI

IMPORTANT

• at the moment, the test pto/issue481_addptr_gm_slot_buffer.pto fails. This is a genuine bug.
• the CI setup might be wrong, I am not super familiar with github actions

[gemini-code-assist]

Code Review

This pull request integrates LLVM's lit testing framework into the project, adding the necessary CMake configurations, site templates, and updating existing test files to use lit-style CHECK lines. The changes include the addition of test/lit/CMakeLists.txt, lit.cfg.py, and lit.site.cfg.py.in, alongside significant updates to various .pto test files to reflect changes in generated code and error reporting. Several issues were identified in the new build scripts, including a potential copy-paste error where dependencies were appended to the wrong variable (MLIR_TEST_DEPENDS instead of PTOIR_TEST_DEPENDS), redundant configuration of %PATH% and test_exec_root in the Python config, and the inclusion of a potentially non-existent dependency pto-opt.

[reedhecre]

Codex Review

该评论由 review 机器人自动更新。

• PR: Register and run lit tests  #498 Register and run lit tests
• Author: castigli
• Base/Head: main / filecheck
• Head SHA: 702777dd20f5
• Trigger: PR 有新提交
• Generated At: 2026-04-17T15:05:05Z
• Previous Head SHA: 5751a4bd6402
• Status: completed

Summary

lit registration misses one existing A5 regression test, and the new lit environment is not runnable on macOS because it does not preserve DYLD_LIBRARY_PATH.

Findings

1. P2 One existing A5 lit regression test is left outside the registered suite test/lit/lit.cfg.py:27

The new suite only discovers tests under test/lit (config.test_source_root = os.path.dirname(__file__)), but test/basic/test_tpush_tpop_roundtrip_nosplit_a5.pto still contains a // RUN: ptoas --pto-arch=a5 %s directive and exercises the A5 no-split cube/vector round-trip path. After this PR, check-pto no longer runs that regression case, so CI still misses one of the existing lit tests this change is supposed to register.

2. P2 `check-pto` will not work on macOS because the lit environment drops `DYLD_LIBRARY_PATH` test/lit/lit.cfg.py:36

The lit config forwards only HOME, INCLUDE, LIB, TMP, and TEMP. On macOS, ptoas is run with DYLD_LIBRARY_PATH set in the repo's own CLI smoke test setup (docker/test_ptoas_cli.sh), which indicates the binary does not run standalone without the dylib search path. Because check-pto now becomes the supported test entrypoint but does not preserve DYLD_LIBRARY_PATH, the whole lit suite will fail to launch ptoas on macOS.

[castigli]

/run sim

[MirkoDeVita98]

/run all

[reedhecre]

A3 板测完成（有跳过）

• 触发方式：manual
• 源码提交：789930ca022d
• 结果汇总：OK 202 / FAIL 0 / SKIP 1
• 日志：/home/zhongxuan/ptoas-board-monitor/runtime/logs/20260417_192005_manual_pr498.log
• 结果 TSV：/home/zhongxuan/ptoas-board-monitor/runtime/logs/20260417_192005_manual_pr498.tsv
• 手动指令：/run all
• 触发人：MirkoDeVita98
• 触发评论：Register and run lit tests  #498 (comment)

[castigli]

/run sim

[castigli]

/run a5

[reedhecre]

A5 手动板测当前要求显式指定 case。请使用 /run a5 <case> 或 /run a5 case1,case2。