[all-commits] [llvm/llvm-project] b01587: [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: b01587b81c8fd09abd97ae7118ed579e82c53f59
      https://github.com/llvm/llvm-project/commit/b01587b81c8fd09abd97ae7118ed579e82c53f59
  Author: Christian Ulmann <christian.ulmann at nextsilicon.com>
  Date:   2024-04-03 (Wed, 03 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, all type checks are removed, as a non-volatile store that
does not write out the alloca's pointer can always be deleted.



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