ScaIR
0.6.0
ScaIR
Docs
API
scair
analysis
DominanceInfo
clair
macros
Anchor
AssemblyFormatDirective
AttrDictDirective
AttributeDef
AttributeParamDef
Directive
LiteralDirective
MayVariadicOpInputDef
MayVariadicOpInputDef
OpInputDef
OpInputDef
OpPropertyDef
OperandDef
OperationDef
OptionalGroupDirective
PrintingState
RegionDef
ResultDef
SuccessorDef
TypeDirective
VariableDirective
Variadicity
mirrored
AssemblyFormat
AttributeCustomParser
DerivedAttribute
DerivedAttributeCompanion
DerivedAttributeCompanion
DerivedOperation
DerivedOperationCompanion
UnstructuredOp
DerivedOperationCompanion
OperationCustomParser
constraints
Constraint
ConstraintContext
ConstraintImpl
ConstraintImplEqAttr
ConstraintImplVar
EqAttr
Var
dialects
affine
Apply
For
If
Load
Min
Parallel
Store
Yield
arith
canonicalization
given_CanonicalizationPatterns_AddI
given_CanonicalizationPatterns_MulI
given_CanonicalizationPatterns_SubI
AddF
AddI
AddUIExtendedOp
AllTypesMatch
AndI
BitCast
BooleanConditionOrMatchingShape
CeilDivSi
CeilDivUi
CmpF
CmpFPredicate
CmpI
CmpIPredicate
Constant
DivF
DivSI
DivUI
ExtF
ExtSI
ExtUI
FPToSI
FPToUI
FastMathFlag
FastMathFlags
FastMathFlagsAttr
FloorDivSI
IndexCast
IndexCastUI
MaxNumF
MaxSI
MaxUI
MaximumF
MinNumF
MinSI
MinUI
MinimumF
MulF
MulI
MulSIExtended
MulUIExtended
NegF
OrI
OverflowFlag
OverflowFlags
OverflowFlagsAttr
RemF
RemSI
RemUI
SIToFP
SameInputOutputTensorDims
SameOperandsAndResultShape
SameOperandsAndResultTypes
ScalingExtF
ScalingTruncF
SelectOp
ShLI
ShRSI
ShRUI
SubF
SubI
TruncF
TruncI
UIToFP
XOrI
given_AttributeCompanion_FastMathFlagsAttr
given_AttributeCompanion_OverflowFlagsAttr
builtin
AffineBinaryOp
AffineBinaryOpExpr
AffineConstantExpr
AffineConstraintExpr
AffineConstraintKind
AffineDimExpr
AffineExpr
AffineMap
AffineMapAttr
AffineSet
AffineSetAttr
AffineSymExpr
ArrayAttribute
ComplexType
ContainerType
DenseArrayAttr
DenseIntOrFPElementsAttr
DictionaryAttr
Float128Type
Float16Type
Float32Type
Float64Type
Float80Type
FloatAttr
FloatData
FloatType
FunctionType
IndexType
IntData
IntegerAttr
IntegerType
MemrefType
ModuleOp
RankedMemrefType
RankedTensorType
ShapedType
Signed
Signedness
Signless
StringData
SymbolRefAttr
TensorType
UnrankedMemrefType
UnrankedTensorType
UnrealizedConversionCastOp
Unsigned
VectorType
given_OperationCustomParser_ModuleOp
cmath
Complex
Mul
Norm
complex
canonicalization
given_CanonicalizationPatterns_Add
given_CanonicalizationPatterns_Create
given_CanonicalizationPatterns_Im
given_CanonicalizationPatterns_Mul
given_CanonicalizationPatterns_Neg
given_CanonicalizationPatterns_Re
given_CanonicalizationPatterns_Sub
Abs
Add
ComplexAttr
Constant
Create
Div
Im
Mul
Neg
Re
Sub
given_AttributeCustomParser_ComplexAttr
func
Call
CallIndirect
Constant
Func
Return
given_OperationCustomParser_Func
irdl
Any
Attribute
AttributeType
Attributes
Dialect
Operands
Operation
Parameters
RegionType
Results
Type
lingodb
AggrFn
AggrFunc
Aggregation
BaseTable
CharType
CmpPredicate
ColumnDefAttr
ColumnRefAttr
CountRows
CrossProduct
DBAdd
DBAnd
DBCast
DBCompare
DBConstant
DBDiv
DBMul
DBNot
DBOr
DBStringType
DBSub
DateType
DecimalType
GetCol
InnerJoin
Limit
LocalTableColumn
MapOp
Materialize
NullableType
Projection
QueryReturn
RelAlgQuery
Selection
SetResult
SetSemantic
Sort
SortSpec
SortSpecificationAttr
SubopLocalTableType
TupleStreamType
TupleType
TuplesReturn
llvm
GetElementPtr
Load
Ptr
math
AbsfOp
FPowIOp
given_OperationCustomParser_AbsfOp
given_OperationCustomParser_FPowIOp
memref
Alloc
Dealloc
Dim
Load
Store
scf
AllTypesMatch
Condition
ExecuteRegionOp
ForOp
ForallOp
IfOp
InParallelOp
IndexSwitchOp
ParallelOp
ReduceOp
ReduceReturnOp
WhileOp
YieldOp
test
TestOp
TestOp
enums
I32Enum
I64Enum
exceptions
VerifyException
helpers
interpreter
Interpreter
OpImpl
RuntimeCtx
ScopedDict
ShapedArray
run_addi
run_alloc
run_andi
run_call
run_cmpi
run_constant
run_divsi
run_divui
run_function
run_load
run_muli
run_ori
run_return
run_select
run_shli
run_shrsi
run_shrui
run_store
run_subi
run_xori
ir
AliasedAttribute
Attribute
AttributeCompanion
Block
Block
BlockArgument
BlockOperations
BlockOperations
Commutative
ConstantLike
ConstantLike
DataAttribute
DataAttribute
Dialect
IRNode
IntegerEnumAttr
IsTerminator
IsolatedFromAbove
NoMemoryEffect
NoTerminator
Operation
OperationCompanion
ParametrizedAttribute
Region
Region
Result
Symbol
SymbolTable
SymbolTable
TransparentData
TransparentData
TypeAttribute
UnregisteredOperation
UnregisteredOperation
Use
Value
irdl
IRDLPrinter
parse
Parser
passes
benchmark_constant_folding
BenchmarkConstantFolding
canonicalization
Canonicalize
cdt
DummyPass
TestInsertionPass
TestReplacementPass
cse
CSE
CommonSubexpressionElimination
OperationInfo
reconcile
ReconcileUnrealizedCasts
tools
opt
ScairOpt
ScairOptArgs
ScairOptBase
runTool
ScairRun
ScairRunArgs
ScairRunBase
ScairToolBase
transformations
CanonicalizationPatterns
GreedyRewritePatternApplier
InsertPoint
InsertPoint
ModulePass
Owner
PatternAction
PatternRewriteWalker
PatternRewriter
RewriteMethods
RewritePattern
Rewriter
WalkerPass
utils
Err
IntrusiveList
IntrusiveList
IntrusiveNode
OK
verify
SSADominanceCheck
Verifier
VerifierCheck
AliasPrinter
MLContext
Printer
ScaIR
/
scair
/
scair.utils
/
OK
OK
scair.utils.OK$package.OK
object
OK
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
OK
.
type
Members list
Clear all
Value members
Concrete methods
def
apply
[
T
](
t
:
T
):
OK
[
T
]
def
apply
(
):
OK
[
Unit
]
def
unapply
[
T
](
ok
:
OK
[
T
]):
Option
[
T
]
Givens
Givens
given
discard
[
T
]:
Conversion
[
OK
[
T
],
OK
[
Unit
]]
given
error
[
T
]:
Conversion
[
Err
,
OK
[
T
]]
given
merge
[
T
]:
Conversion
[
OK
[
T
]
|
Err
,
OK
[
T
]]
In this article
Attributes
Members list
Value members
Concrete methods
Givens
Givens