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