Mill
0.5.0
API
Generated with
Mill/scair/scair.dialects/scair.dialects.scf/WhileOp

WhileOp

scair.dialects.scf.WhileOp
case class WhileOp(inits: Seq[Value[Attribute]], before: Region, after: Region, resultss: Seq[Result[Attribute]]) extends DerivedOperation["scf.while", WhileOp]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait DerivedOperation["scf.while", WhileOp]
trait Operation
trait IRNode
class Object
trait Matchable
class Any
Show all

Members list

Value members

Inherited methods

final def attach_region(region: Region): Unit

Attributes

Inherited from:
Operation
def custom_print(p: Printer)(using indentLevel: Int): Unit

Attributes

Inherited from:
Operation
def custom_verify(): Either[String, Operation]

Attributes

Inherited from:
Operation
final def detached_regions: Seq[Region]

Attributes

Inherited from:
Operation
final def drop_all_references: Unit

Attributes

Inherited from:
Operation
final def erase(safe_erase: Boolean): Unit

Attributes

Inherited from:
Operation
final def is_ancestor(other: IRNode): Boolean

Attributes

Inherited from:
IRNode
def name: String

Attributes

Inherited from:
DerivedOperation
def operands: Seq[Value[Attribute]]

Attributes

Inherited from:
DerivedOperation
final override def parent: Option[IRNode]

Attributes

Definition Classes
Inherited from:
Operation
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def properties: Map[String, Attribute]

Attributes

Inherited from:
DerivedOperation
def regions: Seq[Region]

Attributes

Inherited from:
DerivedOperation
def results: Seq[Result[Attribute]]

Attributes

Inherited from:
DerivedOperation
def successors: Seq[Block]

Attributes

Inherited from:
DerivedOperation
def trait_verify(): Either[String, Operation]

Attributes

Inherited from:
Operation
override def updated(operands: Seq[Value[Attribute]], successors: Seq[Block], results: Seq[Result[Attribute]], regions: Seq[Region], properties: Map[String, Attribute], attributes: LinkedHashMap[String, Attribute]): Operation

Attributes

Definition Classes
Inherited from:
DerivedOperation
def verify(): Either[String, Operation]

Attributes

Inherited from:
Operation

Inherited fields

val attributes: LinkedHashMap[String, Attribute]

Attributes

Inherited from:
Operation
var container_block: Option[Block]

Attributes

Inherited from:
Operation

Givens

Givens

Generated with