[all-commits] [llvm/llvm-project] 32115b: [MLIR][LLVM][Mem2Reg] Relax type equality requirem...

[Christian Ulmann via All-commits]

  Branch: refs/heads/users/dinistro/mem2reg-inconsistent-type-support
  Home:   https://github.com/llvm/llvm-project
  Commit: 32115b8b96d369ba49b36782f994b3787414aa88
      https://github.com/llvm/llvm-project/commit/32115b8b96d369ba49b36782f994b3787414aa88
  Author: Christian Ulmann <christianulmann at gmail.com>
  Date:   2024-04-04 (Thu, 04 Apr 2024)

  Changed paths:
    M mlir/lib/Dialect/LLVMIR/IR/LLVMMemorySlot.cpp
    M mlir/test/Dialect/LLVMIR/mem2reg.mlir

  Log Message:
  -----------
  [MLIR][LLVM][Mem2Reg] Relax type equality requirement for load and store

This commit relaxes Mem2Reg's type equality requirement for the LLVM
dialect's load and store operations. For now, we only allow loads to be
promoted if the reaching definition can be casted into a value of the
target type.

For stores, the same conversion casting check is applied and we ensure
that their result is properly casted to the type of the memory slot.
This is necessary to satisfy assumptions of the general mem2reg pass, as
it creates block arguments with the types of the memory slot.



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