Construct SSA form from a control flow graph with phi-function insertion.
npx skills add https://github.com/rainoftime/pl-skills --skill ssa-constructor
Please help me install this Agent Skill. Skill: ssa-constructor Source: https://github.com/rainoftime/pl-skills/tree/main/ssa-constructor Command: npx skills add https://github.com/rainoftime/pl-skills --skill ssa-constructor
This Skill addresses the complexity of managing variable definitions and uses in intermediate compiler representations, which is crucial for many compiler optimizations and program analyses.
Use the ssa-constructor skill to convert the provided control flow graph into SSA form.
High-intent search queries and answers about installing and using this skill.
To convert a control flow graph to Static Single Assignment (SSA) form, you need a tool that renames variables to unique versions and inserts phi-functions at dominance frontiers to merge values from different execution paths.
Static Single Assignment (SSA) form is used in compiler optimization to ensure each variable is assigned exactly once, simplifying variable definition tracking and preparing the intermediate representation for passes like constant propagation and dead code elimination.
Yes, SSA conversion supports Python, Rust, and C++ intermediate representations, handling variable renaming and phi-function insertion across these language outputs for program analysis.
You need to insert phi-functions during program analysis at control flow joins within the dominance frontier to merge values from different execution paths and maintain correctness in Static Single Assignment form.
The best way to prepare an intermediate representation for dead code elimination is converting it into Static Single Assignment form, which ensures each variable is assigned exactly once and clarifies variable definitions and uses.
rainoftimeBuild control flow graphs and identify basic blocks, dominators, and loops.
rainoftimeGenerate LLVM Intermediate Representation and build compiler backends.
rainoftimeTrack untrusted data flow from sources to sinks in Python code.
rainoftimeTransform direct-style code into Continuation-Passing Style for compilers.
