maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[ValueTracking] Avoid known bits fallthrough for freeze (NFCI) 

The known bits logic should never produce a better result than
the direct recursive non-zero query here, so skip the fallthrough.
This commit is contained in:
Nikita Popov 2022-10-04 11:02:31 +02:00
parent 9c0314f54e
commit 45dec8f5fd
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
llvm/lib/Analysis/ValueTracking.cpp
View File

@ -2737,10 +2737,9 @@ bool isKnownNonZero(const Value *V, const APInt &DemandedElts, unsigned Depth,
}
break;
case Instruction::Freeze:
if (isKnownNonZero(I->getOperand(0), Depth, Q) &&
isGuaranteedNotToBePoison(I->getOperand(0), Q.AC, Q.CxtI, Q.DT, Depth))
return true;
break;
return isKnownNonZero(I->getOperand(0), Depth, Q) &&
isGuaranteedNotToBePoison(I->getOperand(0), Q.AC, Q.CxtI, Q.DT,
Depth);
case Instruction::Call:
if (cast<CallInst>(I)->getIntrinsicID() == Intrinsic::vscale)
return true;