[all-commits] [llvm/llvm-project] 478bd0: [mlir][llvm] Verify consistency of llvm.resume and...

vic via All-commits all-commits at lists.llvm.org
Tue Mar 28 08:23:13 PDT 2023

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 478bd0735fc094d3af37e9791df5118a402ae7a7
  Author: Victor Perez <victor.perez at codeplay.com>
  Date:   2023-03-28 (Tue, 28 Mar 2023)

  Changed paths:
    M mlir/lib/Dialect/LLVMIR/IR/LLVMDialect.cpp
    M mlir/test/Dialect/LLVMIR/invalid-typed-pointers.mlir
    M mlir/test/Dialect/LLVMIR/invalid.mlir

  Log Message:
  [mlir][llvm] Verify consistency of llvm.resume and llvm.landingpad types

Following the steps of the LLVM verifier
checks in llvm.func verifier are added to ensure consistency of
llvm.landingpad operations' result types and llvm.resume operations'
input types.

As in LLVM, we will allow llvm.resume operations with input values
defined by operations other than llvm.landingpad.

Signed-off-by: Victor Perez <victor.perez at codeplay.com>

Reviewed By: gysit, Dinistro

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

More information about the All-commits mailing list