diff options
| author | Jingu Kang <jingu.kang@arm.com> | 2021-03-11 13:07:36 +0000 |
|---|---|---|
| committer | Jingu Kang <jingu.kang@arm.com> | 2021-03-25 22:56:05 +0000 |
| commit | 3fd64cc7a361ae02f4c0f84f5f6a85a6f05c100c (patch) | |
| tree | 499fec9e372ebf7bd24f9f042e01ec4e1d7bbbc5 /llvm/lib/CodeGen/MachineVerifier.cpp | |
| parent | bbb419151cc8994b3447f184fe841e87e159e5a3 (diff) | |
| download | llvm-3fd64cc7a361ae02f4c0f84f5f6a85a6f05c100c.zip llvm-3fd64cc7a361ae02f4c0f84f5f6a85a6f05c100c.tar.gz llvm-3fd64cc7a361ae02f4c0f84f5f6a85a6f05c100c.tar.bz2 | |
[ValueTracking] Handle two PHIs in isKnownNonEqual()
loop:
%cmp.0 = phi i32 [ 3, %entry ], [ %inc, %loop ]
%pos.0 = phi i32 [ 1, %entry ], [ %cmp.0, %loop ]
...
%inc = add i32 %cmp.0, 1
br label %loop
On above example, %pos.0 uses previous iteration's %cmp.0 with backedge
according to PHI's instruction's defintion. If the %inc is not same among
iterations, we can say the two PHIs are not same.
Differential Revision: https://reviews.llvm.org/D98422
Diffstat (limited to 'llvm/lib/CodeGen/MachineVerifier.cpp')
0 files changed, 0 insertions, 0 deletions