6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-12-14 11:32:34 +00:00
Code Issues Projects Releases Wiki Activity

- Use O(1) check of basic block size limit.

Browse Source 
- Avoid speculatively execute vector ops.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@52703 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Evan Cheng 2008-06-25 07:50:12 +00:00
parent aa0bf52625
commit e5334ea518
1 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
lib/Transforms/Utils/SimplifyCFG.cpp
View File

@ -965,8 +965,11 @@ HoistTerminator:
static bool SpeculativelyExecuteBB(BranchInst *BI, BasicBlock *BB1) {
// Only speculatively execution a single instruction (not counting the
// terminator) for now.
if (BB1->size() != 2)
return false;
BasicBlock::iterator BBI = BB1->begin();
++BBI; // must have at least a terminator
if (BBI == BB1->end()) return false; // only one inst
++BBI;
if (BBI != BB1->end()) return false; // more than 2 insts.
// Be conservative for now. FP select instruction can often be expensive.
Value *BrCond = BI->getCondition();
@ -1006,8 +1009,9 @@ static bool SpeculativelyExecuteBB(BranchInst *BI, BasicBlock *BB1) {
case Instruction::Shl:
case Instruction::LShr:
case Instruction::AShr:
if (I->getOperand(0)->getType()->isFPOrFPVector())
return false; // FP arithmetic might trap.
if (!I->getOperand(0)->getType()->isInteger())
// FP arithmetic might trap. Not worth doing for vector ops.
return false;
break; // These are all cheap and non-trapping instructions.
}