diff options
| author | Anna Thomas <anna@azul.com> | 2020-11-03 11:06:41 -0500 |
|---|---|---|
| committer | Anna Thomas <anna@azul.com> | 2020-11-05 11:38:50 -0500 |
| commit | 15694fd6ad955c6a16b446a6324364111a49ae8b (patch) | |
| tree | b86233753cc769fb9d1ac61a3a4e09bb8c5d7a00 /llvm/lib/Transforms/Utils/SimplifyIndVar.cpp | |
| parent | 79d16764dd29aeddb7e6400e6b2d89d31653886c (diff) | |
| download | llvm-15694fd6ad955c6a16b446a6324364111a49ae8b.zip llvm-15694fd6ad955c6a16b446a6324364111a49ae8b.tar.gz llvm-15694fd6ad955c6a16b446a6324364111a49ae8b.tar.bz2 | |
[CaptureTracking] Avoid overly restrictive dominates check
CapturesBefore tracker has an overly restrictive dominates check when
the `BeforeHere` and the capture point are in different basic blocks.
All we need to check is that there is no path from the capture point
to `BeforeHere` (which is less stricter than the dominates check).
See added testcase in one of the users of CapturesBefore.
Reviewed-By: jdoerfert
Differential Revision: https://reviews.llvm.org/D90688
Diffstat (limited to 'llvm/lib/Transforms/Utils/SimplifyIndVar.cpp')
0 files changed, 0 insertions, 0 deletions