Verified Commit 1245b96a authored by Tim Gymnich's avatar Tim Gymnich
Browse files

added bool checkOperandsForBottom()

parent 245d23fb
......@@ -347,12 +347,11 @@ void executeFixpointAlgorithm(Module const& M) {
bool AbstractInterpretationPass::runOnModule(llvm::Module& M) {
using AbstractState = AbstractStateValueSet<SimpleInterval>;
// Use either the standard fixpoint algorithm or the version with widening
executeFixpointAlgorithm<AbstractState>(M);
// Use either the standard fixpoint algorithm or the version with widening
// executeFixpointAlgorithm<AbstractState>(M);
executeFixpointAlgorithm<NormalizedConjunction>(M);
// executeFixpointAlgorithmWidening<AbstractState>(M);
// executeFixpointAlgorithmTwoVarEq<NormalizedConjunction>(M);
// We never change anything
return false;
}
......
......@@ -45,6 +45,8 @@ public:
bool merge(Merge_op::Type op, NormalizedConjunction const& other);
void branch(llvm::BasicBlock const& from, llvm::BasicBlock const& towards) { return; };
bool leastUpperBound(NormalizedConjunction rhs);
bool checkOperandsForBottom(llvm::Instruction const& inst) { return false; }
void printIncoming(llvm::BasicBlock const& bb, llvm::raw_ostream& out, int indentation) const;
void printOutgoing(llvm::BasicBlock const& bb, llvm::raw_ostream& out, int indentation) const;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment