[Mlir-commits] [mlir] [mlir][Linalg] Add speculation for LinalgStructuredOps (PR #108032)

[Kunwar Grover]

Groverkss wrote:

> This is cool :)
> 
> I was wondering if, in addition to the tensor vs memref semantics, we should take into account the speculatability of the nested operations?

I think we are accounting that. On tensor semantics, the speculatability of linalg ops is defined as recursively speculatable. I checked licm implementation, and it recursively checks every region if an op is recursively speculatable, so this should work. There is an example test added which does not hoist because a nested op could cause division by zero.

https://github.com/llvm/llvm-project/pull/108032