Class InsnRewriter
- java.lang.Object
-
- ru.ispras.microtesk.translator.mir.InsnVisitor
-
- ru.ispras.microtesk.translator.mir.InsnRewriter
-
public class InsnRewriter extends InsnVisitor
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method 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.Conditional 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)
-
Methods inherited from class ru.ispras.microtesk.translator.mir.InsnVisitor
visitAll, visitBlocks
-
-
-
-
Method Detail
-
rewrite
public static void rewrite(MirContext ctx, java.util.Map<java.lang.String,java.math.BigInteger> presets)
-
visit
public void visit(Instruction.Conditional insn)
- Overrides:
visit
in classInsnVisitor
-
visit
public void visit(Instruction.Assignment insn)
- Overrides:
visit
in classInsnVisitor
-
visit
public void visit(Instruction.Concat insn)
- Overrides:
visit
in classInsnVisitor
-
visit
public void visit(Instruction.Extract insn)
- Overrides:
visit
in classInsnVisitor
-
visit
public void visit(Instruction.Sext insn)
- Overrides:
visit
in classInsnVisitor
-
visit
public void visit(Instruction.Zext insn)
- Overrides:
visit
in classInsnVisitor
-
visit
public void visit(Instruction.Branch insn)
- Overrides:
visit
in classInsnVisitor
-
visit
public void visit(Instruction.Return insn)
- Overrides:
visit
in classInsnVisitor
-
visit
public void visit(Instruction.Exception insn)
- Overrides:
visit
in classInsnVisitor
-
visit
public void visit(Instruction.Call insn)
- Overrides:
visit
in classInsnVisitor
-
visit
public void visit(Instruction.Invoke insn)
- Overrides:
visit
in classInsnVisitor
-
visit
public void visit(Instruction.Load insn)
- Overrides:
visit
in classInsnVisitor
-
visit
public void visit(Instruction.Store insn)
- Overrides:
visit
in classInsnVisitor
-
visit
public void visit(ru.ispras.microtesk.translator.mir.GlobalNumbering.SsaStore insn)
- Overrides:
visit
in classInsnVisitor
-
visit
public void visit(ru.ispras.microtesk.translator.mir.GlobalNumbering.Phi insn)
- Overrides:
visit
in classInsnVisitor
-
visit
public void visit(Instruction.Disclose insn)
- Overrides:
visit
in classInsnVisitor
-
-