[all-commits] [llvm/llvm-project] 28244e: [MLIR] Don't verify opaque pointer type in cmpxchg

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 28244e9e6ed649011f5154a5b17ac821d3bfddc3
      https://github.com/llvm/llvm-project/commit/28244e9e6ed649011f5154a5b17ac821d3bfddc3
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-01-17 (Tue, 17 Jan 2023)

  Changed paths:
    M mlir/lib/Dialect/LLVMIR/IR/LLVMDialect.cpp
    M mlir/test/Dialect/LLVMIR/invalid.mlir
    M mlir/test/Target/LLVMIR/Import/instructions.ll

  Log Message:
  -----------
  [MLIR] Don't verify opaque pointer type in cmpxchg

We should not check the element type for opaque pointers. We should
still check that the value operands have the same type though.

This causes a verifier error when converting instructions.ll to
opaque pointers.