aboutsummaryrefslogtreecommitdiff
path: root/llvm/lib/CodeGen/AssignmentTrackingAnalysis.cpp
diff options
context:
space:
mode:
authorFlorian Hahn <flo@fhahn.com>2024-03-12 08:55:03 +0000
committerGitHub <noreply@github.com>2024-03-12 08:55:03 +0000
commitb274b23665dec30f3ae4fb83ccca8b77e6d3ada3 (patch)
tree68eb79237de67f1ee991162e39f4a406b587becc /llvm/lib/CodeGen/AssignmentTrackingAnalysis.cpp
parentaefad27096bba513f06162fac2763089578f3de4 (diff)
downloadllvm-b274b23665dec30f3ae4fb83ccca8b77e6d3ada3.zip
llvm-b274b23665dec30f3ae4fb83ccca8b77e6d3ada3.tar.gz
llvm-b274b23665dec30f3ae4fb83ccca8b77e6d3ada3.tar.bz2
[ValueTracking] Treat phi as underlying obj when not decomposing further (#84339)
At the moment, getUnderlyingObjects simply continues for phis that do not refer to the same underlying object in loops, without adding them to the list of underlying objects, effectively ignoring those phis. Instead of ignoring those phis, add them to the list of underlying objects. This fixes a miscompile where LoopAccessAnalysis fails to identify a memory dependence, because no underlying objects can be found for a set of memory accesses. Fixes https://github.com/llvm/llvm-project/issues/82665. PR: https://github.com/llvm/llvm-project/pull/84339
Diffstat (limited to 'llvm/lib/CodeGen/AssignmentTrackingAnalysis.cpp')
0 files changed, 0 insertions, 0 deletions