nir/scala.scalanative.nir/ControlFlow

ControlFlow

object ControlFlow

Analysis that's used to answer following questions:

  • What are the predecessors of given block?

  • What are the successors of given block?

class Object
trait Matchable
class Any

Type members

Classlikes

final case
class Block(name: Local, params: Seq[Local], insts: Seq[Inst], isEntry: Boolean)(implicit pos: Position)
final case
class Edge(from: Block, to: Block, next: Next)
final
class Graph(val entry: Block, val all: Seq[Block], val find: Map[Local, Block])
Companion
object
object Graph
Companion
class

Value members

Concrete methods

def removeDeadBlocks(insts: Seq[Inst]): Seq[Inst]