[all-commits] [llvm/llvm-project] 2a1b83: [MLIR][LLVM][SROA] Support incorrectly typed memor...

[Christian Ulmann via All-commits]

  Branch: refs/heads/users/dinistro/mlir-llvm-sroa-remove-type-consistency
  Home:   https://github.com/llvm/llvm-project
  Commit: 2a1b83dae932b23d7160e0b29f6d3b0ff173bb46
      https://github.com/llvm/llvm-project/commit/2a1b83dae932b23d7160e0b29f6d3b0ff173bb46
  Author: Christian Ulmann <christian.ulmann at nextsilicon.com>
  Date:   2024-03-19 (Tue, 19 Mar 2024)

  Changed paths:
    M mlir/include/mlir/Dialect/LLVMIR/LLVMOps.td
    M mlir/include/mlir/Dialect/LLVMIR/Transforms/TypeConsistency.h
    M mlir/include/mlir/Interfaces/MemorySlotInterfaces.h
    M mlir/lib/Dialect/LLVMIR/IR/LLVMMemorySlot.cpp
    M mlir/lib/Dialect/LLVMIR/Transforms/TypeConsistency.cpp
    M mlir/lib/Dialect/MemRef/IR/MemRefMemorySlot.cpp
    M mlir/test/Dialect/LLVMIR/sroa.mlir
    M mlir/test/Dialect/LLVMIR/type-consistency.mlir

  Log Message:
  -----------
  [MLIR][LLVM][SROA] Support incorrectly typed memory accesses

This commit relaxes the assumption of type consistency for LLVM dialect
load and store operations in SROA. Instead, there is now a check that
loads and stores are in the bounds specified by the sub-slot they
access.

This commit additionally removes the corresponding patterns from the
type consistency pass, as they are no longer necessary.



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