public final class EvalContext extends InsnVisitor
Modifier and Type | Method and Description |
---|---|
static java.util.List<BasicBlock> |
breadthFirst(BasicBlock entry,
BasicBlock endpoint) |
static java.util.List<BasicBlock> |
breadthFirst(MirContext mir) |
static EvalContext |
eval(MirContext mir,
java.util.Map<java.lang.String,java.math.BigInteger> presets) |
static java.util.List<BasicBlock> |
targetsOf(BasicBlock bb) |
static java.util.List<BasicBlock> |
topologicalOrder(MirContext mir) |
void |
visit(ru.ispras.microtesk.translator.mir.GlobalNumbering.SsaStore insn) |
void |
visit(Instruction.Assignment insn) |
void |
visit(Instruction.Disclose insn) |
void |
visit(Instruction.Load insn) |
void |
visit(Instruction.Sext insn) |
void |
visit(Instruction.Zext insn) |
public static EvalContext eval(MirContext mir, java.util.Map<java.lang.String,java.math.BigInteger> presets)
public void visit(Instruction.Assignment insn)
visit
in class InsnVisitor
public void visit(Instruction.Disclose insn)
visit
in class InsnVisitor
public void visit(Instruction.Load insn)
visit
in class InsnVisitor
public void visit(ru.ispras.microtesk.translator.mir.GlobalNumbering.SsaStore 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 static java.util.List<BasicBlock> topologicalOrder(MirContext mir)
public static java.util.List<BasicBlock> breadthFirst(MirContext mir)
public static java.util.List<BasicBlock> breadthFirst(BasicBlock entry, BasicBlock endpoint)
public static java.util.List<BasicBlock> targetsOf(BasicBlock bb)