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
AttrDefs
AttrDefs
AttributeCustomParser
DerivedAttribute
DerivedOperation
OpDefs
OpDefs
UnstructuredOp
OperationCustomParser
collection
IntrusiveList
IntrusiveList
IntrusiveNode
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
Add
ArrayType
Br
Call
CondBr
Constant
ExtractValue
FAdd
FMul
Func
GetElementPtr
ICmp
ICmpPredicate
ICmpPredicate
InsertValue
IntToPtr
Load
Mul
Poison
Ptr
PtrToInt
Return
Store
StructType
Zero
given_AttributeCompanion_ArrayType
given_AttributeCompanion_StructType
given_OperationCustomParser_Func
given_OperationCustomParser_ICmp
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
convert_arith_to_llvm
ConvertArithToLLVM
convert_func_to_llvm
ConvertFuncToLLVM
cse
CSE
CommonSubexpressionElimination
OperationInfo
reconcile
ReconcileUnrealizedCasts
print
AliasPrinter
AssemblyPrinter
ErrorPrinter
Printer
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
OK
verify
SSADominanceCheck
Verifier
VerifierCheck
MLContext
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