ControlFlow

scala.scalanative.nir.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?

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

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

Attributes

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

Attributes

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

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object Graph

Attributes

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

Value members

Concrete methods

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