mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-11-01 00:11:00 +00:00
b8354a8e4f
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@832 91177308-0d34-0410-b5e6-96231b3b80d8
62 lines
1.9 KiB
C++
62 lines
1.9 KiB
C++
#include "llvm/Analysis/LiveVar/LiveVarSet.h"
|
|
#include "llvm/CodeGen/MachineInstr.h"
|
|
|
|
|
|
// This function applies a machine instr to a live var set (accepts OutSet) and
|
|
// makes necessary changes to it (produces InSet). Note that two for loops are
|
|
// used to first kill all defs and then to add all uses. This is because there
|
|
// can be instructions like Val = Val + 1 since we allow multipe defs to a
|
|
// machine instruction operand.
|
|
|
|
|
|
void LiveVarSet::applyTranferFuncForMInst(const MachineInstr *const MInst)
|
|
{
|
|
|
|
for( MachineInstr::val_op_const_iterator OpI(MInst); !OpI.done() ; OpI++) {
|
|
|
|
if( OpI.isDef() ) // kill only if this operand is a def
|
|
remove(*OpI); // this definition kills any uses
|
|
}
|
|
|
|
// do for implicit operands as well
|
|
for( unsigned i=0; i < MInst->getNumImplicitRefs(); ++i) {
|
|
if( MInst->implicitRefIsDefined(i) )
|
|
remove( MInst->getImplicitRef(i) );
|
|
}
|
|
|
|
|
|
for( MachineInstr::val_op_const_iterator OpI(MInst); !OpI.done() ; OpI++) {
|
|
|
|
if ( ((*OpI)->getType())->isLabelType()) continue; // don't process labels
|
|
|
|
if( ! OpI.isDef() ) // add only if this operand is a use
|
|
add( *OpI ); // An operand is a use - so add to use set
|
|
}
|
|
|
|
// do for implicit operands as well
|
|
for( unsigned i=0; i < MInst->getNumImplicitRefs(); ++i) {
|
|
if( ! MInst->implicitRefIsDefined(i) )
|
|
add( MInst->getImplicitRef(i) );
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#if 0
|
|
void LiveVarSet::applyTranferFuncForInst(const Instruction *const Inst)
|
|
{
|
|
|
|
if( Inst->isDefinition() ) { // add to Defs iff this instr is a definition
|
|
remove(Inst); // this definition kills any uses
|
|
}
|
|
Instruction::op_const_iterator OpI = Inst->op_begin(); // get operand iterat
|
|
|
|
for( ; OpI != Inst->op_end() ; OpI++) { // iterate over operands
|
|
if ( ((*OpI)->getType())->isLabelType()) continue; // don't process labels
|
|
add( *OpI ); // An operand is a use - so add to use set
|
|
}
|
|
|
|
}
|
|
#endif
|