‘memref_ext’ Dialect

extended memref dialect

Operations

memref_ext.alloc_workspace (::bishengir::memref_ext::AllocWorkspaceOp)

Workspace memory allocation operation.

Syntax:

operation ::= `memref_ext.alloc_workspace` `(`$dynamicSize`)` (`from` $workspaceArg^)? ( `offset` `=` `[`$offset^`]`)?
              attr-dict `:` (`from` type($workspaceArg)^ `to`)? type($memref)

The alloc_workspace operation allocates a region of workspace memory. Example:

memref_ext.alloc_workspace() : memref<100xi8>
memref_ext.alloc_workspace(%dynamic) : memref<2x?xi32>
memref_ext.alloc_workspace(%dynamic) from %arg offset = [%offset] : from memref<?xi8> to memref<2x?xi32>

Traits: AttrSizedOperandSegments

Operands:

Operand	Description
workspaceArg	memref of any type values
dynamicSize	variadic of index
offset	variadic of index

Results:

Result	Description
memref	memref of any type values

Enums

CmpFPredicate

allowed 64-bit signless integer cases: 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15

Cases:

Symbol	Value	String
AlwaysFalse	0	false
OEQ	1	oeq
OGT	2	ogt
OGE	3	oge
OLT	4	olt
OLE	5	ole
ONE	6	one
ORD	7	ord
UEQ	8	ueq
UGT	9	ugt
UGE	10	uge
ULT	11	ult
ULE	12	ule
UNE	13	une
UNO	14	uno
AlwaysTrue	15	true

CmpIPredicate

allowed 64-bit signless integer cases: 0, 1, 2, 3, 4, 5, 6, 7, 8, 9

Cases:

Symbol	Value	String
eq	0	eq
ne	1	ne
slt	2	slt
sle	3	sle
sgt	4	sgt
sge	5	sge
ult	6	ult
ule	7	ule
ugt	8	ugt
uge	9	uge

IntegerOverflowFlags

Integer overflow arith flags

Cases:

Symbol	Value	String
none	0	none
nsw	1	nsw
nuw	2	nuw

RoundingMode

Floating point rounding mode

Cases:

Symbol	Value	String
to_nearest_even	0	to_nearest_even
downward	1	downward
upward	2	upward
toward_zero	3	toward_zero
to_nearest_away	4	to_nearest_away

AtomicRMWKind

allowed 64-bit signless integer cases: 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14

Cases:

Symbol	Value	String
addf	0	addf
addi	1	addi
assign	2	assign
maximumf	3	maximumf
maxs	4	maxs
maxu	5	maxu
minimumf	6	minimumf
mins	7	mins
minu	8	minu
mulf	9	mulf
muli	10	muli
ori	11	ori
andi	12	andi
maxnumf	13	maxnumf
minnumf	14	minnumf

FastMathFlags

Floating point fast math flags

Cases:

Symbol	Value	String
none	0	none
reassoc	1	reassoc
nnan	2	nnan
ninf	4	ninf
nsz	8	nsz
arcp	16	arcp
contract	32	contract
afn	64	afn
fast	127	fast