ControlFlow

scala.scalanative.nir.ControlFlow$

Analysis that's used to answer following questions:

  • What are the predecessors of given block?

  • What are the successors of given block?

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Classlikes

final case class Block(name: Local, params: Seq[Local], insts: Seq[Inst], isEntry: Boolean)(implicit pos: Position)

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
final case class Edge(from: Block, to: Block, next: Next)

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
final class Graph(val entry: Block, val all: Seq[Block], val find: Map[Local, Block])

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object Graph

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Graph.type

Value members

Concrete methods