[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.


  Commit: f765c4a25db2544a3c06d880b047279829c25e4f
      https://github.com/llvm/llvm-project/commit/f765c4a25db2544a3c06d880b047279829c25e4f
  Author: Christian Ulmann <christian.ulmann at nextsilicon.com>
  Date:   2024-04-04 (Thu, 04 Apr 2024)

  Changed paths:
    M mlir/test/Dialect/LLVMIR/mem2reg.mlir

  Log Message:
  -----------
  fix broken test


Compare: https://github.com/llvm/llvm-project/compare/b01587b81c8f%5E...f765c4a25db2

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