How does this skill handle memory limits?

It automatically identifies large constants and arrays, scaling them down to ensure the total memory footprint stays under the 4MB limit required by the MARS simulator.

How do I verify the converted testcases?

The skill includes a 'Compile, Run & Verify' protocol using a Python runner script that compares your SysY logic against generated answer files.

Does it support multi-dimensional arrays?

Strict SysY often limits array dimensions; this skill automatically flattens multi-dimensional arrays into 1D arrays to maintain compatibility.

What is SysY and why is it used?

SysY is a simplified subset of the C language commonly used in compiler design courses to teach the transition from high-level code to assembly like MIPS.

Can I use standard C features like pointers or structs?

No, the skill refactors these into SysY-compliant structures, such as using parallel arrays instead of structs and index-based access instead of pointers.

SysY Testcase Creator

Name: SysY Testcase Creator
Author: oNya685

byoNya685

•

Security & Testing

Converts standard C/C++ logic into strict SysY-compliant testcases and automated verification scripts.

About

This skill is designed for compiler engineers and students working with the SysY language subset. It automates the complex process of refactoring standard C/C++ code into Strict SysY, ensuring compliance with rigid grammar rules such as 1D array flattening, specific loop structures, and MIPS memory constraints. The skill provides a complete workflow—from initializing project directories to scaling down constants and verifying output against reference answers—making it an essential tool for testing SysY-to-MIPS compilers and generating robust test suites.

Key Features

Strict SysY grammar enforcement and automated code refactoring
Memory-aware scaling to fit MIPS/MARS 4MB address space limits
Automated directory initialization and placeholder generation
Input data formatting for MIPS-compatible newline-separated integers
Integrated test runner for logic verification and answer generation
30 GitHub stars

Use Cases

Refactoring competitive programming algorithms into simplified C subsets
Generating comprehensive test suites for SysY-to-MIPS compiler projects
Validating compiler backend correctness with automated input/output verification

About

Key Features

Strict SysY grammar enforcement and automated code refactoring
Memory-aware scaling to fit MIPS/MARS 4MB address space limits
Automated directory initialization and placeholder generation
Input data formatting for MIPS-compatible newline-separated integers
Integrated test runner for logic verification and answer generation
30 GitHub stars

Use Cases

Refactoring competitive programming algorithms into simplified C subsets
Generating comprehensive test suites for SysY-to-MIPS compiler projects
Validating compiler backend correctness with automated input/output verification