[all-commits] [llvm/llvm-project] 9fbb94: [mlir][Func][EmitC] Bail-out to avoid errors from ...

[ioana ghiban via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 9fbb941b9defce93fb98099b91653db063b0ecba
      https://github.com/llvm/llvm-project/commit/9fbb941b9defce93fb98099b91653db063b0ecba
  Author: ioana ghiban <ioana.ghiban at arm.com>
  Date:   2026-06-04 (Thu, 04 Jun 2026)

  Changed paths:
    M mlir/lib/Conversion/FuncToEmitC/FuncToEmitC.cpp
    M mlir/test/Conversion/FuncToEmitC/func-to-emitc-failed.mlir

  Log Message:
  -----------
  [mlir][Func][EmitC] Bail-out to avoid errors from MemRef array conversions (#198583)

Update FuncToEmitC to bail-out before creating invalid EmitC ops for
unsupported cases.

FuncToEmitC now rejects functions, calls, and returns whose converted
result type is `emitc.array`, instead of relying on later `emitc.func`,
`emitc.call`, or `emitc.return` verifier failures.

This does not add support for returning memrefs from functions. It only
makes the existing limitation explicit at the conversion boundary.

## Tests

Added negative tests for the standalone conversion pass. This pass marks
their source ops illegal, so when a pattern bails-out the pass reports a
legalization failure. This is the expected behavior and documents the
unsupported cases directly.

`convert-to-emitc` is more permissive because it allows partial
conversion and does not mark the same source ops illegal, so it can
leave unsupported ops unconverted without reporting the same failures.

Assisted-by: Codex (refine description). I reviewed all text before
submission.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications