RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-23 11:13:28 +01:00
Code Issues Projects Releases Wiki Activity

[LVI][NFC] Factor solveBlockValueSaturatingIntrinsic() out of solveBlockValueIntrinsic()

Browse Source 
Now that there's SaturatingInst class, this is cleaner.
This commit is contained in:
Roman Lebedev 2019-10-23 18:05:05 +03:00
parent 94766775e2
commit bd51ee1e2a
1 changed files with 25 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
lib/Analysis/LazyValueInfo.cpp
View File

@ -432,6 +432,8 @@ namespace {
BasicBlock *BB);
bool solveBlockValueOverflowIntrinsic(
ValueLatticeElement &BBLV, WithOverflowInst *WO, BasicBlock *BB);
bool solveBlockValueSaturatingIntrinsic(ValueLatticeElement &BBLV,
SaturatingInst *SI, BasicBlock *BB);
bool solveBlockValueIntrinsic(ValueLatticeElement &BBLV, IntrinsicInst *II,
BasicBlock *BB);
bool solveBlockValueExtractValue(ValueLatticeElement &BBLV,
@ -1118,29 +1120,41 @@ bool LazyValueInfoImpl::solveBlockValueOverflowIntrinsic(
});
}
bool LazyValueInfoImpl::solveBlockValueIntrinsic(
ValueLatticeElement &BBLV, IntrinsicInst *II, BasicBlock *BB) {
switch (II->getIntrinsicID()) {
bool LazyValueInfoImpl::solveBlockValueSaturatingIntrinsic(
ValueLatticeElement &BBLV, SaturatingInst *SI, BasicBlock *BB) {
switch (SI->getIntrinsicID()) {
case Intrinsic::uadd_sat:
return solveBlockValueBinaryOpImpl(BBLV, II, BB,
[](const ConstantRange &CR1, const ConstantRange &CR2) {
return solveBlockValueBinaryOpImpl(
BBLV, SI, BB, [](const ConstantRange &CR1, const ConstantRange &CR2) {
return CR1.uadd_sat(CR2);
});
case Intrinsic::usub_sat:
return solveBlockValueBinaryOpImpl(BBLV, II, BB,
[](const ConstantRange &CR1, const ConstantRange &CR2) {
return solveBlockValueBinaryOpImpl(
BBLV, SI, BB, [](const ConstantRange &CR1, const ConstantRange &CR2) {
return CR1.usub_sat(CR2);
});
case Intrinsic::sadd_sat:
return solveBlockValueBinaryOpImpl(BBLV, II, BB,
[](const ConstantRange &CR1, const ConstantRange &CR2) {
return solveBlockValueBinaryOpImpl(
BBLV, SI, BB, [](const ConstantRange &CR1, const ConstantRange &CR2) {
return CR1.sadd_sat(CR2);
});
case Intrinsic::ssub_sat:
return solveBlockValueBinaryOpImpl(BBLV, II, BB,
[](const ConstantRange &CR1, const ConstantRange &CR2) {
return solveBlockValueBinaryOpImpl(
BBLV, SI, BB, [](const ConstantRange &CR1, const ConstantRange &CR2) {
return CR1.ssub_sat(CR2);
});
default:
llvm_unreachable("All llvm.sat intrinsic are handled.");
}
}
bool LazyValueInfoImpl::solveBlockValueIntrinsic(ValueLatticeElement &BBLV,
IntrinsicInst *II,
BasicBlock *BB) {
if (auto *SI = dyn_cast<SaturatingInst>(II))
return solveBlockValueSaturatingIntrinsic(BBLV, SI, BB);
switch (II->getIntrinsicID()) {
default:
LLVM_DEBUG(dbgs() << " compute BB '" << BB->getName()
<< "' - overdefined (unknown intrinsic).\n");