diff options
| author | Sanjoy Das <sanjoy.das@getcruise.com> | 2022-10-11 22:33:45 -0700 |
|---|---|---|
| committer | Sanjoy Das <sanjoy.das@getcruise.com> | 2022-10-12 17:30:13 -0700 |
| commit | adabce41185910227ca276a1cfd22e76443dd238 (patch) | |
| tree | 10ae8307847258d694721708e700e95cedbf247a /llvm/tools/llvm-reduce/DeltaManager.cpp | |
| parent | 5a52c5c42669b3e547c9ca69b59b560d0268b85c (diff) | |
| download | llvm-adabce41185910227ca276a1cfd22e76443dd238.zip llvm-adabce41185910227ca276a1cfd22e76443dd238.tar.gz llvm-adabce41185910227ca276a1cfd22e76443dd238.tar.bz2 | |
Correctly model undefined behavior in {tensor|memref}.dim
These operations have undefined behavior if the index is not less than the rank of the source tensor / memref, so they cannot be freely speculated like they were before this patch. After this patch we speculate them only if we can prove that they don't have UB.
Depends on D135505.
Reviewed By: mravishankar
Differential Revision: https://reviews.llvm.org/D135748
Diffstat (limited to 'llvm/tools/llvm-reduce/DeltaManager.cpp')
0 files changed, 0 insertions, 0 deletions