xdsl contribution

cheat-sheet.sh

# ---------- new branch

git switch -c <name>
git push origin <name>
git branch -r

# reset to upstream
git remote add upstream https://github.com/xdslproject/xdsl/
git config pull.rebase false
git pull upstream main
git remote -v

git fetch --all
git reset --hard upstream/main

# ---------- push

make venv

make precommit-install
make precommit
uv run ruff format # run just ruff

uv run pytest # pytests in tests/
uv run lit tests/filecheck # filecheck tests
make tests # all tests

uv run coverage report # coverage report

# ---------- individual lit tests

uv run xdsl-opt -t llvm --split-input-file tests/filecheck/backend/llvm/convert.mlir
uv run xdsl-opt -t llvm --split-input-file tests/filecheck/backend/llvm/convert.mlir | uv run filecheck tests/filecheck/backend/llvm/convert.mlir
uv run lit -a tests/filecheck/backend/llvm/convert.mlir

llvm

• https://llvmlite.readthedocs.io/en/latest/user-guide/ir/index.html
• https://gist.github.com/sueszli/6aea9f54e7305e9e7dfdb31fd999b68e
• demo: $ echo '"[test.op](http://test.op/)"() : () -> ()' | uv run xdsl-opt -t llvm

mps