[Mlir-commits] [mlir] [mlir][vector] Implement speculation for vector.transferx ops (PR #111533)

[Jakub Kuderski]

kuhar wrote:

Because executing them speculatively is guaranteed not to have any 'implicit behavior' (side effects / trigger UB / etc.): https://mlir.llvm.org/docs/Rationale/SideEffectsAndSpeculation/#categorization.

The same way you can speculate adding two numbers together (value semantics, no UB) but not necessarily a load from memory (memory effects) or arbitrary division (potential UB).

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