MLIR CAPI `getDefiningOp` is not exposed

[V0ldek]

As far as I can see there's no way to get the defining Op of a Value through the CAPI.

I'd expect the Operation *getDefiningOp() function to be exposed as MlirOperation mlirValueGetDefiningOp(MlirValue value) in the CAPI.

[llvmbot]

@llvm/issue-subscribers-mlir

Author: V0ldek (V0ldek)

As far as I can see there's no way to get the defining Op of a Value through the CAPI.

I'd expect the Operation *getDefiningOp() function to be exposed as MlirOperation mlirValueGetDefiningOp(MlirValue value) in the CAPI.

[brnorris03]

I could be wrong, but wouldn't MlirOperation mlirOpResultGetOwner(MlirValue value) do what you need? (and possibly in conjunction with mlirOpResultGetResultNumber)

[joker-eph]

The difference between mlirOpResultGetOwner and getDefiningOp is that the former will assert on Values defined by a block (block arguments) while the latter will return a null pointer.

The usage would be:

  if (mlirValueIsAOpResult(value))
    owner = mlirOpResultGetOwner(value);