RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-25 04:02:41 +01:00
Code Issues Projects Releases Wiki Activity

[NFC] Move code earlier as preparation for further changes

Browse Source
This commit is contained in:
Max Kazantsev 2020-11-19 16:04:27 +07:00
parent 8a479552ad
commit 2e3d07d447
1 changed files with 24 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

40
lib/Transforms/Utils/SimplifyIndVar.cpp
View File

@ -1540,6 +1540,30 @@ bool WidenIV::widenWithVariantUse(WidenIV::NarrowIVDefUse DU) {
bool CanSignExtend = ExtKind == SignExtended && OBO->hasNoSignedWrap(); bool CanSignExtend = ExtKind == SignExtended && OBO->hasNoSignedWrap();
bool CanZeroExtend = ExtKind == ZeroExtended && OBO->hasNoUnsignedWrap(); bool CanZeroExtend = ExtKind == ZeroExtended && OBO->hasNoUnsignedWrap();
auto AnotherOpExtKind = ExtKind; auto AnotherOpExtKind = ExtKind;
// Check that all uses are either s/zext, or narrow def (in case of we are
// widening the IV increment).
SmallVector<Instruction *, 4> ExtUsers;
for (Use &U : NarrowUse->uses()) {
if (U.getUser() == NarrowDef)
continue;
Instruction *User = nullptr;
if (ExtKind == SignExtended)
User = dyn_cast<SExtInst>(U.getUser());
else
User = dyn_cast<ZExtInst>(U.getUser());
if (!User || User->getType() != WideType)
return false;
ExtUsers.push_back(User);
}
// We'll prove some facts that should be true in the context of ext users. IF
// there is no users, we are done now. If there are some, pick their common
// dominator as context.
if (ExtUsers.empty()) {
DeadInsts.emplace_back(NarrowUse);
return true;
}
if (!CanSignExtend && !CanZeroExtend) { if (!CanSignExtend && !CanZeroExtend) {
// Because InstCombine turns 'sub nuw' to 'add' losing the no-wrap flag, we // Because InstCombine turns 'sub nuw' to 'add' losing the no-wrap flag, we
// will most likely not see it. Let's try to prove it. // will most likely not see it. Let's try to prove it.
@ -1566,22 +1590,6 @@ bool WidenIV::widenWithVariantUse(WidenIV::NarrowIVDefUse DU) {
if (!AddRecOp1 || AddRecOp1->getLoop() != L) if (!AddRecOp1 || AddRecOp1->getLoop() != L)
return false; return false;
// Check that all uses are either s/zext, or narrow def (in case of we are
// widening the IV increment).
SmallVector<Instruction *, 4> ExtUsers;
for (Use &U : NarrowUse->uses()) {
if (U.getUser() == NarrowDef)
continue;
Instruction *User = nullptr;
if (ExtKind == SignExtended)
User = dyn_cast<SExtInst>(U.getUser());
else
User = dyn_cast<ZExtInst>(U.getUser());
if (!User || User->getType() != WideType)
return false;
ExtUsers.push_back(User);
}
LLVM_DEBUG(dbgs() << "Cloning arithmetic IVUser: " << *NarrowUse << "\n"); LLVM_DEBUG(dbgs() << "Cloning arithmetic IVUser: " << *NarrowUse << "\n");
// Generating a widening use instruction. // Generating a widening use instruction.