diff options
| author | Nicolas Vasilache <nicolas.vasilache@gmail.com> | 2021-03-04 17:36:56 +0000 |
|---|---|---|
| committer | Nicolas Vasilache <nicolas.vasilache@gmail.com> | 2021-03-04 17:48:09 +0000 |
| commit | f21d78633a3d09d1bac904cf4b97f9f7e66b3094 (patch) | |
| tree | 941c5a053df10056a38ef77d000cb4646cd9942b /llvm/lib/CodeGen/MachineOperand.cpp | |
| parent | d3778490622bca45c0768e8ed590cd9fa1797dee (diff) | |
| download | llvm-f21d78633a3d09d1bac904cf4b97f9f7e66b3094.zip llvm-f21d78633a3d09d1bac904cf4b97f9f7e66b3094.tar.gz llvm-f21d78633a3d09d1bac904cf4b97f9f7e66b3094.tar.bz2 | |
[mlir] Tighten the rules around folding TensorLoadOp
`tensor_load(tensor_to_memref(x)) -> x` is an incorrect folding because it ignores potential aliasing.
This revision approximates no-aliasing by restricting the folding to occur only when tensor_to_memref
is immediately preceded by tensor_load in the same block. This is a conservative step back towards
correctness until better alias analysis becomes available.
Context: https://llvm.discourse.group/t/properly-using-bufferization-related-passes/2913/6
Differential Revision: https://reviews.llvm.org/D97957
Diffstat (limited to 'llvm/lib/CodeGen/MachineOperand.cpp')
0 files changed, 0 insertions, 0 deletions