[all-commits] [llvm/llvm-project] 09472b: [flang] add hlfir.matmul operation

[Tom Eccles via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 09472ba315043748db01b092fdaca54daf19a513
      https://github.com/llvm/llvm-project/commit/09472ba315043748db01b092fdaca54daf19a513
  Author: Tom Eccles <tom.eccles at arm.com>
  Date:   2023-02-16 (Thu, 16 Feb 2023)

  Changed paths:
    M flang/include/flang/Optimizer/HLFIR/HLFIRDialect.h
    M flang/include/flang/Optimizer/HLFIR/HLFIROpBase.td
    M flang/include/flang/Optimizer/HLFIR/HLFIROps.td
    M flang/lib/Optimizer/HLFIR/IR/HLFIRDialect.cpp
    M flang/lib/Optimizer/HLFIR/IR/HLFIROps.cpp
    M flang/test/HLFIR/invalid.fir
    A flang/test/HLFIR/matmul.fir

  Log Message:
  -----------
  [flang] add hlfir.matmul operation

Add a HLFIR operation for the MATMUL transformational intrinsic,
according to the design set out in flang/doc/HighLevelFIR.md

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


  Commit: 91cbc3f2d83dfcf064238e807b47c58279509ff7
      https://github.com/llvm/llvm-project/commit/91cbc3f2d83dfcf064238e807b47c58279509ff7
  Author: Tom Eccles <tom.eccles at arm.com>
  Date:   2023-02-16 (Thu, 16 Feb 2023)

  Changed paths:
    M flang/include/flang/Optimizer/HLFIR/HLFIROps.td
    M flang/lib/Lower/ConvertCall.cpp
    M flang/lib/Optimizer/HLFIR/IR/HLFIROps.cpp
    A flang/test/Lower/HLFIR/matmul.f90

  Log Message:
  -----------
  [flang] lower matmul intrinsic to hlfir.matmul operation

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


  Commit: 3a6f3b44e434557d85f1049f5548de8e3d80bcb8
      https://github.com/llvm/llvm-project/commit/3a6f3b44e434557d85f1049f5548de8e3d80bcb8
  Author: Tom Eccles <tom.eccles at arm.com>
  Date:   2023-02-16 (Thu, 16 Feb 2023)

  Changed paths:
    M flang/lib/Optimizer/HLFIR/Transforms/BufferizeHLFIR.cpp
    A flang/test/HLFIR/matmul-bufferization.fir

  Log Message:
  -----------
  [flang] lower hlfir.matmul into fir runtime call

We can't test lowering calls with hlfir.expr arguments yet because this
hits a not yet implemented: "get shape form HLFIR expr without producer
holding the shape".

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


Compare: https://github.com/llvm/llvm-project/compare/ec640382fc93...3a6f3b44e434