public class InsnRewriter extends InsnVisitor
Modifier and Type | Method and Description |
---|---|
static void |
rewrite(MirContext ctx,
java.util.Map<java.lang.String,java.math.BigInteger> presets) |
void |
visit(ru.ispras.microtesk.translator.mir.GlobalNumbering.Phi insn) |
void |
visit(ru.ispras.microtesk.translator.mir.GlobalNumbering.SsaStore insn) |
void |
visit(Instruction.Assignment insn) |
void |
visit(Instruction.Branch insn) |
void |
visit(Instruction.Call insn) |
void |
visit(Instruction.Concat insn) |
void |
visit(Instruction.Disclose insn) |
void |
visit(Instruction.Exception insn) |
void |
visit(Instruction.Extract insn) |
void |
visit(Instruction.Invoke insn) |
void |
visit(Instruction.Load insn) |
void |
visit(Instruction.Return insn) |
void |
visit(Instruction.Sext insn) |
void |
visit(Instruction.Store insn) |
void |
visit(Instruction.Zext insn) |
public static void rewrite(MirContext ctx, java.util.Map<java.lang.String,java.math.BigInteger> presets)
public void visit(Instruction.Assignment insn)
visit
in class InsnVisitor
public void visit(Instruction.Concat insn)
visit
in class InsnVisitor
public void visit(Instruction.Extract insn)
visit
in class InsnVisitor
public void visit(Instruction.Sext insn)
visit
in class InsnVisitor
public void visit(Instruction.Zext insn)
visit
in class InsnVisitor
public void visit(Instruction.Branch insn)
visit
in class InsnVisitor
public void visit(Instruction.Return insn)
visit
in class InsnVisitor
public void visit(Instruction.Exception insn)
visit
in class InsnVisitor
public void visit(Instruction.Call insn)
visit
in class InsnVisitor
public void visit(Instruction.Invoke insn)
visit
in class InsnVisitor
public void visit(Instruction.Load insn)
visit
in class InsnVisitor
public void visit(Instruction.Store insn)
visit
in class InsnVisitor
public void visit(ru.ispras.microtesk.translator.mir.GlobalNumbering.SsaStore insn)
visit
in class InsnVisitor
public void visit(ru.ispras.microtesk.translator.mir.GlobalNumbering.Phi insn)
visit
in class InsnVisitor
public void visit(Instruction.Disclose insn)
visit
in class InsnVisitor