[all-commits] [llvm/llvm-project] 158c02: [MLIR][LLVM] Improve atomic verifier to properly s...

[Christian Ulmann via All-commits]

  Branch: refs/heads/users/dinistro/improve-atomic-verifier
  Home:   https://github.com/llvm/llvm-project
  Commit: 158c0219cf9dfa37fd821071a98dda1dad0a7314
      https://github.com/llvm/llvm-project/commit/158c0219cf9dfa37fd821071a98dda1dad0a7314
  Author: Christian Ulmann <christian.ulmann at nextsilicon.com>
  Date:   2024-05-14 (Tue, 14 May 2024)

  Changed paths:
    M mlir/lib/Dialect/LLVMIR/IR/LLVMDialect.cpp
    M mlir/test/Dialect/LLVMIR/invalid.mlir
    M mlir/test/Dialect/LLVMIR/roundtrip.mlir

  Log Message:
  -----------
  [MLIR][LLVM] Improve atomic verifier to properly support larger types

This commit extends the verifier for atomics to properly verify larger
types. Beforehand, the verifier strictly rejected larger integer types,
while it now consults the data layout to determine if their bitsize is a
power of two. This behavior reflects what LLVM's verifier is checking
for.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications