This is an archive of the discontinued LLVM Phabricator instance.

Differential D78855

[MLIR]][DOC] fix dimension validity constraint in affine dialect doc
ClosedPublic

Authored by bondhugula on Apr 24 2020, 9:14 PM.

Details

Reviewers
jbruestle
flaub
ftynse
Commits
rG81bed2a9a296: [MLIR]][DOC] Fix dimension validity constraint in affine dialect doc
Summary

Fix affine dialect documentation on valid dimensional values: they also
include affine.parallel IVs.

Diff Detail

Event Timeline

bondhugula created this revision.Apr 24 2020, 9:14 PM
Herald added a project: Restricted Project. · View Herald TranscriptApr 24 2020, 9:14 PM
Herald added subscribers: llvm-commits, Kayjukh, frgossen and 12 others. · View Herald Transcript
flaub accepted this revision.Apr 24 2020, 9:44 PM
This revision is now accepted and ready to land.Apr 24 2020, 9:44 PM
Harbormaster completed remote builds in B54664: Diff 260062.Apr 24 2020, 10:09 PM
Closed by commit rG81bed2a9a296: [MLIR]][DOC] Fix dimension validity constraint in affine dialect doc (authored by bondhugula). · Explain WhyApr 24 2020, 11:57 PM
This revision was automatically updated to reflect the committed changes.

Revision Contents

PathSize
mlir/
docs/
Dialects/
4 lines

Diff 260062

mlir/docs/Dialects/Affine.md

Show First 20 Lines • Show All 65 Lines • ▼ Show 20 Lines
loops and if operations), the result of a loops and if operations), the result of a
[`constant` operation](Standard.md#constant-operation), or the result of an [`constant` operation](Standard.md#constant-operation), or the result of an
[`affine.apply` operation](#affineapply-operation) that recursively takes as [`affine.apply` operation](#affineapply-operation) that recursively takes as
arguments any symbolic identifiers, or the result of a [`dim` arguments any symbolic identifiers, or the result of a [`dim`
operation](Standard.md#dim-operation) on either a memref that is a function operation](Standard.md#dim-operation) on either a memref that is a function
argument or a memref where the corresponding dimension is either static or a argument or a memref where the corresponding dimension is either static or a
dynamic one in turn bound to a symbolic identifier. Dimensions may be bound not dynamic one in turn bound to a symbolic identifier. Dimensions may be bound not
only to anything that a symbol is bound to, but also to induction variables of only to anything that a symbol is bound to, but also to induction variables of
enclosing [`affine.for` operations](#affinefor-operation), and the result of an enclosing [`affine.for`](#affinefor-affineforop) and
[`afffine.parallel`](#affineparallel-affineparallelop) operations, and the
result of an
[`affine.apply` operation](#affineapply-operation) (which recursively may use [`affine.apply` operation](#affineapply-operation) (which recursively may use
other dimensions and symbols). other dimensions and symbols).
### Affine Expressions ### Affine Expressions
Syntax: Syntax:
``` ```
▲ Show 20 Lines • Show All 351 Lines • Show Last 20 Lines