• Home
• com.github.keyboardDrummer
• modularlanguages_sjs0.6_2.13
• 0.1.6
• source code
• InstructionFlowAnalysis.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

miksilo.modularLanguages.deltas.bytecode.simpleBytecode.InstructionFlowAnalysis.scala Maven / Gradle / Ivy

package miksilo.modularLanguages.deltas.bytecode.simpleBytecode

import miksilo.languageServer.util.DataFlowAnalysis
import miksilo.modularLanguages.core.node.Node
import miksilo.modularLanguages.deltas.bytecode.coreInstructions.InstructionInstance.Instruction
import miksilo.modularLanguages.deltas.bytecode.simpleBytecode.LabelDelta.Label

abstract class InstructionFlowAnalysis[State](instructions: Seq[Instruction[Node]])
  extends DataFlowAnalysis[Int, State] {
  
  val labelIndices = instructions.zipWithIndex.
    filter(indexedInstruction => indexedInstruction._1.shape == LabelDelta.Shape).
    map(indexedInstruction => (new Label(indexedInstruction._1.node).name, indexedInstruction._2)).toMap

  override def getOutgoingNodes(instructionIndex: Int): Set[Int] = {
    val instruction = instructions(instructionIndex)

    val jumpBehavior = instruction.jumpBehavior
    var result = Set.empty[Int]
    if (jumpBehavior.movesToNext)
      result += instructionIndex + 1

    if (jumpBehavior.hasJumpInFirstArgument)
      result += labelIndices(LabelledLocations.getJumpInstructionLabel(instruction))

    result
  }
}