[MLIR] Don't verify opaque pointer type in cmpxchg
authorNikita Popov <npopov@redhat.com>
Tue, 17 Jan 2023 10:12:54 +0000 (11:12 +0100)
committerNikita Popov <npopov@redhat.com>
Tue, 17 Jan 2023 10:13:44 +0000 (11:13 +0100)
commit28244e9e6ed649011f5154a5b17ac821d3bfddc3
tree4207078717a7a00ee18cb6e1874e1cfab9523565
parent64ce05635c2a2e5fe01e1bf6899acc66f9c0d882
[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.
mlir/lib/Dialect/LLVMIR/IR/LLVMDialect.cpp
mlir/test/Dialect/LLVMIR/invalid.mlir
mlir/test/Target/LLVMIR/Import/instructions.ll