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

[Christian Ulmann via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: e6216906f528b948018b883068cef0fd4157bfd1
      https://github.com/llvm/llvm-project/commit/e6216906f528b948018b883068cef0fd4157bfd1
  Author: Christian Ulmann <christianulmann at gmail.com>
  Date:   2024-05-15 (Wed, 15 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 (#92120)

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