mem2reg-verification

النجوم١٢

التفرعات١

آخر تحديث٧ مارس ٢٠٢٦ في ٠١:١٢

Implement and verify issue

التثبيت

التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.

المصدر

yudongusa

yudongusa/LLVM-in-Rust

فتح مستودع GitHub عرض مستودعات المنشئ

تنزيل

المهن ذات الصلةSOC

استنادا إلى تصنيف SOC المهني

مطوّرو البرمجياتمهن الحاسوب والرياضيات·SOC 15-1252

مستكشف الملفات

4 ملفات

SKILL.md

readonly

name	mem2reg-verification
description	Implement and verify issue

Mem2Reg Verification

Use this skill for issue #83 and similar SSA-promotion verification work.

Workflow

Document formal mem2reg correctness pre/post-conditions in code.
Add an Alive2 corpus of before/after .ll files under tests/alive2/mem2reg/.
Add property-based tests that generate random alloca/load/store patterns and check semantic equivalence of original vs mem2reg output by execution.
Run targeted and full tests.
Post PR review feedback with findings/fixes before merge.

Minimum validation

cargo +stable test -p llvm-transforms
cargo +stable test -q

Notes

Prefer deterministic random generation with bounded IR complexity.
Keep property tests stable on Linux/macOS (graceful skip if cc is unavailable).

المزيد من هذا المستودع

نفس المستودع

milestone-z-rc-burnin

yudongusa/LLVM-in-Rust

Execute Milestone Z release-candidate burn-in work for issue

2026-07-2112

fp-memory

yudongusa/LLVM-in-Rust

Implement Milestone I sub-issues — floating-point arithmetic lowering (SSE2/NEON/RV F+D extensions, FP register class, FP calling convention) and non-promotable memory (stack frame, SP-relative alloca/load/store, non-constant GEP) across all backends.

2026-05-1812

integrated-assembler

yudongusa/LLVM-in-Rust

Implement issue

2026-03-0812

constant-folding

yudongusa/LLVM-in-Rust

Implement issue

2026-03-0812

windows-debug-pdb

yudongusa/LLVM-in-Rust

Implement issue

2026-03-0712

dwarf-debug

yudongusa/LLVM-in-Rust

Implement issue

2026-03-0712

name	mem2reg-verification
description	Implement and verify issue

Mem2Reg Verification

Use this skill for issue #83 and similar SSA-promotion verification work.

Workflow

Document formal mem2reg correctness pre/post-conditions in code.
Add an Alive2 corpus of before/after .ll files under tests/alive2/mem2reg/.
Add property-based tests that generate random alloca/load/store patterns and check semantic equivalence of original vs mem2reg output by execution.
Run targeted and full tests.
Post PR review feedback with findings/fixes before merge.

Minimum validation

cargo +stable test -p llvm-transforms
cargo +stable test -q

Notes

Prefer deterministic random generation with bounded IR complexity.
Keep property tests stable on Linux/macOS (graceful skip if cc is unavailable).