skills.rest
noir-lang
noir-langOFFICIAL
Explore all skills by this author →
Website𝕏@NoirLangGitHub

bisect-ssa-pass

Bisect SSA optimization passes in Noir projects to locate semantic regressions.

1.4k|409|Updated Aug 4, 2020
Search Tags:#workflow#debugging#regression#compiler#ssa#bisect#Noir
One-click install
npx skills add https://github.com/noir-lang/noir --skill bisect-ssa-pass
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: bisect-ssa-pass
Source: https://github.com/noir-lang/noir/tree/main/.claude/skills/bisect-ssa-pass
Command: npx skills add https://github.com/noir-lang/noir --skill bisect-ssa-pass

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes scripts (resource) components.

What problem does it solve?

This skill helps developers isolate where an SSA optimization pass alters program semantics.

Core Features & Use Cases

  • SSA pass bisecting: automatically splits and tests each SSA pass to locate regression-inducing passes.
  • Regression testing: supports creating regression tests from failing SSA artifacts for future protection.
  • Guided workflow: provides scripts to compile with --show-ssa, split passes, and compare results to diagnose regressions.

Quick Start

Use this skill to bisect SSA passes in a Noir project with a failing semantic test.

Frequently Asked Questions about bisect-ssa-pass

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I isolate which SSA optimization pass alters program semantics in Noir?▼

To isolate SSA optimization pass regressions in Noir, you can use a bisecting workflow that automatically splits and tests each pass to locate the failing step. This pinpoints exactly where the program semantics change.

What is the best way to debug SSA pass regressions in a Noir project?▼

Debugging SSA pass regressions involves compiling with the noir-ssa CLI using --show-ssa, splitting the passes, and comparing results to diagnose the regression. This guided workflow identifies the specific optimization step causing the failure.

Can I generate regression tests from failing SSA artifacts?▼

Yes, you can generate regression tests from failing SSA artifacts. Once the bisecting process locates the regression-inducing SSA pass, the artifacts can be saved to create future regression tests for ongoing protection.

Do I need the noir-ssa CLI to bisect SSA passes?▼

Yes, the noir-ssa CLI is required to bisect SSA passes. The skill relies on the CLI to compile Noir projects with --show-ssa, split the passes, and compare results for regression detection.

Why does my Noir program behavior change after SSA optimization?▼

Program behavior changes after SSA optimization when a specific optimization pass alters program semantics. Bisecting the SSA passes isolates the exact step where the regression occurs, allowing you to target the faulty pass.

When should I use SSA pass bisecting for Noir compiler workflows?▼

You should use SSA pass bisecting when a Noir project has a failing semantic test and you need to pinpoint which SSA optimization pass alters program semantics. It automates the isolation of the failing step.

Related Skills

Explore More Software Engineering Skills→
noir-langnoir-lang
1.4k

debug-fuzzer-failure

Extract SSA fuzzer reproductions from GitHub Actions logs and bisect passes.

Official
Intermediate
MakFlyMakFly
187

symfony:tdd-with-phpunit

Drive Symfony development with PHPUnit using the RED-GREEN-REFACTOR cycle.

Community
Intermediate
whtoowhtoo
34

compiler-dev

Automate compiler backend tasks for IR, CFG, SSA, and optimization passes.

Community
Advanced
vieitesssvieitesss
7

finding-bug-commits

Identify the exact commit that introduced a bug using git bisect.

Community
Advanced