#ifndef LLVM_ANALYSIS_INSTRUCTIONPRECEDENCETRACKING_H
#define LLVM_ANALYSIS_INSTRUCTIONPRECEDENCETRACKING_H
-#include "llvm/IR/Dominators.h"
-#include "llvm/Analysis/OrderedInstructions.h"
+#include "llvm/ADT/DenseMap.h"
namespace llvm {
+class BasicBlock;
+class Instruction;
+
class InstructionPrecedenceTracking {
// Maps a block to the topmost special instruction in it. If the value is
// nullptr, it means that it is known that this block does not contain any
// special instructions.
DenseMap<const BasicBlock *, const Instruction *> FirstSpecialInsts;
- // Allows to answer queries about precedence of instructions within one block.
- OrderedInstructions OI;
// Fills information about the given block's special instructions.
void fill(const BasicBlock *BB);
#endif
protected:
- InstructionPrecedenceTracking(DominatorTree *DT)
- : OI(OrderedInstructions(DT)) {}
-
/// Returns the topmost special instruction from the block \p BB. Returns
/// nullptr if there is no special instructions in the block.
const Instruction *getFirstSpecialInstruction(const BasicBlock *BB);
/// perform PRE moving non-speculable instruction to other place.
class ImplicitControlFlowTracking : public InstructionPrecedenceTracking {
public:
- ImplicitControlFlowTracking(DominatorTree *DT)
- : InstructionPrecedenceTracking(DT) {}
-
/// Returns the topmost instruction with implicit control flow from the given
/// basic block. Returns nullptr if there is no such instructions in the block.
const Instruction *getFirstICFI(const BasicBlock *BB) {
class MemoryWriteTracking : public InstructionPrecedenceTracking {
public:
- MemoryWriteTracking(DominatorTree *DT) : InstructionPrecedenceTracking(DT) {}
-
/// Returns the topmost instruction that may write memory from the given
/// basic block. Returns nullptr if there is no such instructions in the block.
const Instruction *getFirstMemoryWrite(const BasicBlock *BB) {
const DominatorTree *DT,
const Loop *CurLoop) const;
- SimpleLoopSafetyInfo() : LoopSafetyInfo() {};
-
virtual ~SimpleLoopSafetyInfo() {};
};
/// this removal.
void removeInstruction(const Instruction *Inst);
- ICFLoopSafetyInfo(DominatorTree *DT) : LoopSafetyInfo(), ICF(DT), MW(DT) {};
-
virtual ~ICFLoopSafetyInfo() {};
};
const Instruction *Insn) {
const Instruction *MaybeFirstSpecial =
getFirstSpecialInstruction(Insn->getParent());
- return MaybeFirstSpecial && OI.dominates(MaybeFirstSpecial, Insn);
+ return MaybeFirstSpecial && MaybeFirstSpecial->comesBefore(Insn);
}
void InstructionPrecedenceTracking::fill(const BasicBlock *BB) {