Skip to content
xDSL
Xdsl opt
Initializing search
xdslproject/xdsl
xDSL
Getting Started
Tutorial Notebooks
API Reference
User Guide
News
Events
About
xDSL
xdslproject/xdsl
xDSL
Getting Started
Tutorial Notebooks
Tutorial Notebooks
Overview
API Reference
API Reference
Builder
Context
Folder
Interfaces
Interpreter
Passes
Pattern rewriter
Printer
Rewriter
Syntax printer
Traits
Universe
Xdsl opt main
Analysis
Analysis
Dataflow
Dead code analysis
Sparse analysis
Backend
Backend
Assembly printer
Block naive allocator
Block throughput cost model
Register allocatable
Register allocator
Register stack
Register type
Utils
Csl
Csl
Print csl
Llvm
Llvm
Convert
Convert op
Convert type
Mps
Mps
Print mps
Riscv
Riscv
Prologue epilogue insertion
Register allocation
Register stack
Riscv scf to asm
Targets
Traits
Lowering
Lowering
Convert arith to riscv
Convert arith to riscv snitch
Convert func to riscv func
Convert memref to riscv
Convert print format to riscv debug
Convert riscv scf to riscv cf
Convert scf to riscv scf
Convert snitch stream to snitch
Utils
Wgsl
Wgsl
Wgsl printer
X86
X86
Prologue epilogue insertion
Register allocation
Register stack
Lowering
Lowering
Convert arith to x86
Convert func to x86 func
Convert ptr to x86
Convert vector to x86
Helpers
Dialect interfaces
Dialect interfaces
Constant materialization
Op asm
Dialects
Dialects
Accfg
Affine
Arith
Arm func
Arm neon
Bigint
Bufferization
Builtin
Cf
Comb
Complex
Dlti
Ematch
Emitc
Eqsat pdl interp
Equivalence
Fsm
Func
Gpu
Hw
Linalg
Llvm
Ltl
Math
Math xdsl
Memref
Memref stream
Mesh
Ml program
Mod arith
Mpi
Omp
Pdl
Pdl interp
Printf
Ptr
Riscv cf
Riscv debug
Riscv func
Riscv scf
Riscv snitch
Scf
Seq
Smt
Snitch
Snitch runtime
Snitch stream
Stencil
Symref
Tensor
Test
Tosa
Transform
Varith
Vector
X86 func
X86 scf
Arm
Arm
Ops
Registers
Csl
Csl
Csl
Csl stencil
Csl wrapper
Experimental
Experimental
Air
Dmp
Fir
Hlfir
Hls
Irdl
Irdl
Irdl
Irdl to pyrdl
Pyrdl to irdl
Riscv
Riscv
Abstract ops
Attrs
Ops
Registers
Stim
Stim
Ops
Stim parser
Stim printer parser
Utils
Utils
Dimension list
Dynamic index list
Fast math
Format
Reshape ops utils
Wasm
Wasm
Encoding
Ops
Wat
X86
X86
Assembly
Attributes
Ops
Registers
Frontend
Frontend
Listlang
Listlang
Lang types
List dialect
Lowerings
Main
Marimo
Source
Transforms
Pyast
Pyast
Code generation
Context
Program
Utils
Utils
Block
Builder
Const
Exceptions
Op inserter
Python code check
Type conversion
Pypdl
Pypdl
Interactive
Interactive
Add arguments screen
App
Get all available passes
Load file screen
Pass list item
Pass metrics
Passes
Interpreters
Interpreters
Affine
Arith
Builtin
Cf
Eqsat pdl interp
Func
Irdl
Linalg
Memref
Memref stream
Ml program
Pdl
Pdl interp
Printf
Riscv
Riscv cf
Riscv debug
Riscv emulator
Riscv func
Riscv libc
Riscv scf
Riscv snitch
Scf
Shaped array
Snitch stream
Tensor
Transform
Utils
Utils
Ptr
Stream
Ir
Ir
Core
Post order
Region utils
Affine
Affine
Affine expr
Affine map
Affine set
Irdl
Irdl
Attributes
Constraints
Declarative assembly format
Declarative assembly format parser
Dominance
Operations
Parser
Parser
Affine parser
Attribute parser
Base parser
Core
Generic parser
Rewriting
Rewriting
Composable rewriting
Composable rewriting
Immutable ir
Immutable ir
Immutable ir
Tools
Tools
Command line tool
Irdl to pyrdl
Xdsl opt
Xdsl opt
Table of contents
xdsl_opt
main
Xdsl run
Xdsl tblgen
Transforms
Transforms
Apply eqsat pdl
Apply eqsat pdl interp
Apply pdl
Apply pdl interp
Approximate math with bitcast
Arith add fastmath
Canonicalize
Canonicalize dmp
Common subexpression elimination
Constant fold interp
Control flow hoist
Convert linalg to loops
Convert linalg to memref stream
Convert memref stream to loops
Convert memref stream to snitch stream
Convert memref to ptr
Convert ml program to memref
Convert pdl interp to eqsat pdl interp
Convert ptr to llvm
Convert ptr to riscv
Convert ptr type offsets
Convert riscv scf for to frep
Convert riscv to llvm
Convert scf to cf
Convert scf to openmp
Convert scf to x86 scf
Convert stencil to csl stencil
Convert vector to ptr
Convert x86 scf to x86
Csl stencil bufferize
Csl stencil handle async flow
Csl stencil materialize stores
Csl stencil set global coeffs
Csl stencil to csl wrapper
Csl wrapper hoist buffers
Dead code elimination
Desymref
Empty tensor to alloc tensor
Eqsat add costs
Eqsat create eclasses
Eqsat create egraphs
Eqsat extract
Eqsat serialize egraph
Function transformations
Gpu allocs
Gpu map parallel loops
Individual rewrite
Inline snrt
Jax use donated arguments
Lift arith to linalg
Linalg to csl
Linalg transformations
Loop hoist memref
Loop invariant code motion
Loop nest lowering utils
Lower affine
Lower csl stencil
Lower csl wrapper
Lower mpi
Lower riscv func
Lower snitch
Memref stream fold fill
Memref stream generalize fill
Memref stream infer fill
Memref stream interleave
Memref stream legalize
Memref stream tile outer loops
Memref stream unnest out parameters
Memref streamify
Memref to dsd
Mlir opt
Printf to llvm
Printf to putchar
Reconcile unrealized casts
Riscv allocate infinite registers
Riscv allocate registers
Riscv lower parallel mov
Riscv scf loop range folding
Scf for loop flatten
Scf for loop range folding
Scf for loop unroll
Scf parallel loop tiling
Shape inference
Snitch allocate registers
Stencil bufferize
Stencil inlining
Stencil shape minimize
Stencil unroll
Test constant folding
Test lower linalg to snitch
Test transform dialect erase schedule
Test vectorize matmul
Transform interpreter
Varith transformations
Vector split load extract
Verify register allocation
X86 allocate registers
X86 infer broadcast
X86 legalize for regalloc
Canonicalization patterns
Canonicalization patterns
Arith
Cf
Csl
Csl stencil
Memref
Memref stream
Ptr
Riscv
Riscv cf
Scf
Stencil
Utils
X86
Convert pdl to pdl interp
Convert pdl to pdl interp
Conversion
Predicate
Experimental
Experimental
Apply1DMPIToStencil
Convert stencil to ll mlir
Func to pdl rewrite
Function constant pinning
Hls convert stencil to ll mlir
Lower hls
Replace incompatible fpga
Stencil storage materialization
Stencil tensorize z dimension
Dmp
Dmp
Stencil global to local
Shape inference patterns
Shape inference patterns
Dmp
Stencil
Utils
Utils
Base printer
Bitwise casts
Classvar
Color printer
Colors
Comparisons
Diagnostic
Dialect codegen
Dialect loader
Dialect stub
Disjoint set
Exceptions
Hashable module
Hasher
Hints
Immutable list
Lexer
Marimo
Mlir lexer
Op selector
Parse pipeline
Runtime final
Scoped dict
Str enum
Symbol table
Test value
Type
User Guide
User Guide
Generating executables through MLIR
News
Events
About
Table of contents
xdsl_opt
main
Xdsl opt
xdsl_opt
main
()
Source code in
xdsl/tools/xdsl_opt.py
4
5
def
main
():
xDSLOptMain
()
.
run
()