[all-commits] [llvm/llvm-project] ae0fb6: [MLIR] Check for static shape before bare pointer ...

[lorenzo chelini via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ae0fb61303f84f64d4a84dedf72036672741f87f
      https://github.com/llvm/llvm-project/commit/ae0fb61303f84f64d4a84dedf72036672741f87f
  Author: Lorenzo Chelini <l.chelini at icloud.com>
  Date:   2022-04-05 (Tue, 05 Apr 2022)

  Changed paths:
    M mlir/include/mlir/Conversion/LLVMCommon/TypeConverter.h
    M mlir/lib/Conversion/FuncToLLVM/FuncToLLVM.cpp
    M mlir/lib/Conversion/LLVMCommon/TypeConverter.cpp
    M mlir/test/Conversion/FuncToLLVM/func-memref-return.mlir

  Log Message:
  -----------
  [MLIR] Check for static shape before bare pointer conversion

Originally in the returnOp conversion, the result type was changing to bare
pointer if the type was a memref. This is incorrect as conversion to bare
pointer can only be done if the memref has static shape, strides and offset.

Reviewed By: ftynse

Differential Revision: https://reviews.llvm.org/D123121