[Mlir-commits] [mlir] [MLIR][EmitC] Mark CastOp as Pure (PR #202749)

[Simon Camphausen]

simon-camp wrote:

> Could a simple solution for now just to be use ConditionallySpeculatable/memoryopinterface to gate on the actually pure cases?

Exactly. One could check the presence of a pure attribute in the implementation of the interfaces and return the desired values. Then the question for the non pure version is just what kind of memory effect is equivalent to an op not implementing the interface at all regarding to the Canonicalization/CSE passes. 

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