[mlir][linalg][tensor] Audit Tensor_RelayoutOp/Linalg_RelayoutOp

[banach-space]

As pointed out by @Groverkss in this comment:

I think DPS, tensor only ops should always be Pure. Is there a reason we have them as ConditionallySpeculatable? Just trying to understand if there is some possibility of undefined behavior i'm missing.

This is regarding Tensor_RelayoutOp that's about to be moved to Linalg:

• [mlir][tensor][linalg] Move Pack/Unpack Ops to Linalg #123902

In order to make sure that in #123902 we focus on simple code-refactor, I am re-directing the discussion on the design of Tensor_RelayoutOp/Linalg_RelayoutOp to this issue.

Thanks :)

[llvmbot]

@llvm/issue-subscribers-mlir

Author: Andrzej Warzyński (banach-space)

As pointed out by @Groverkss in this [comment](https://github.com//pull/123902/files#r1927303676):

> I think DPS, tensor only ops should always be Pure. Is there a reason we have them as ConditionallySpeculatable? Just trying to understand if there is some possibility of undefined behavior i'm missing.

This is regarding Tensor_RelayoutOp that's about to be moved to Linalg:

• [mlir][tensor][linalg] Move Pack/Unpack Ops to Linalg #123902

In order to make sure that in #123902 we focus on simple code-refactor, I am re-directing the discussion on the design of Tensor_RelayoutOp/Linalg_RelayoutOp to this issue.

Thanks :)

[llvmbot]

@llvm/issue-subscribers-mlir-linalg

Author: Andrzej Warzyński (banach-space)

As pointed out by @Groverkss in this [comment](https://github.com//pull/123902/files#r1927303676):

> I think DPS, tensor only ops should always be Pure. Is there a reason we have them as ConditionallySpeculatable? Just trying to understand if there is some possibility of undefined behavior i'm missing.

This is regarding Tensor_RelayoutOp that's about to be moved to Linalg:

• [mlir][tensor][linalg] Move Pack/Unpack Ops to Linalg #123902

In order to make sure that in #123902 we focus on simple code-refactor, I am re-directing the discussion on the design of Tensor_RelayoutOp/Linalg_RelayoutOp to this issue.

Thanks :)