diff options
author | Christian Ulmann <christianulmann@gmail.com> | 2024-08-19 11:27:30 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-08-19 11:27:30 +0200 |
commit | 065d2d9c60da0214c17a8300385b22be1c26dc70 (patch) | |
tree | 02ef1cfe620a93ba6e9a84e979193028193d4eee /clang/lib/CodeGen/CodeGenModule.cpp | |
parent | 63267ca9016aa334b329aa408716456b4e3799c8 (diff) | |
download | llvm-065d2d9c60da0214c17a8300385b22be1c26dc70.zip llvm-065d2d9c60da0214c17a8300385b22be1c26dc70.tar.gz llvm-065d2d9c60da0214c17a8300385b22be1c26dc70.tar.bz2 |
[MLIR][LLVM] Improve the noalias propagation during inlining (#104750)
This commit changes the LLVM dialect's inliner interface to properly
propagate noalias information to memory accesses that have different
underlying object. By always introducing an SSACopy intrinsic, it's
possible to understand that specific memory operations are using
unrelated pointers. Previously, the backwards slice walk did continue
beyond the boundary of the original function and failed to reason about
the "underlying objects".
Diffstat (limited to 'clang/lib/CodeGen/CodeGenModule.cpp')
0 files changed, 0 insertions, 0 deletions