Commit ea27b3b2 authored by Henrich Lauko's avatar Henrich Lauko

lart: Rename VPA to DataFlowAnalysis.

parent 7fa81a04
// -*- C++ -*- (c) 2017 Henrich Lauko <xlauko@mail.muni.cz>
#include <lart/abstract/vpa.h>
// -*- C++ -*- (c) 2016-2019 Henrich Lauko <xlauko@mail.muni.cz>
#include <lart/abstract/dfa.h>
DIVINE_RELAX_WARNINGS
#include <llvm/IR/Module.h>
......@@ -19,12 +19,12 @@ DIVINE_UNRELAX_WARNINGS
namespace lart::abstract {
bool VPA::join( llvm::Value * lhs, llvm::Value * rhs ) noexcept
bool DataFlowAnalysis::join( llvm::Value * lhs, llvm::Value * rhs ) noexcept
{
return interval( lhs ).join( interval( rhs ) );
}
void VPA::propagate( llvm::Value * val ) noexcept
void DataFlowAnalysis::propagate( llvm::Value * val ) noexcept
{
std::vector< Source > sources;
......@@ -323,7 +323,6 @@ void VPA::step_out( llvm::Function * fn, Domain dom, llvm::ReturnInst * ret )
for ( const auto & [ val, in ] : _intervals ) {
// TODO decide what to annotate
meta::abstract::set( val, to_string( DomainKind::scalar ) );
val->dump();
}
};
......
// -*- C++ -*- (c) 2016 Henrich Lauko <xlauko@mail.muni.cz>
// -*- C++ -*- (c) 2016-2019 Henrich Lauko <xlauko@mail.muni.cz>
#pragma once
DIVINE_RELAX_WARNINGS
......@@ -8,14 +8,11 @@ DIVINE_RELAX_WARNINGS
DIVINE_UNRELAX_WARNINGS
#include <deque>
#include <set>
#include <unordered_set>
#include <lart/abstract/domain.h>
namespace lart::abstract {
struct VPA {
struct DataFlowAnalysis {
using Task = std::function< void() >;
void run( llvm::Module & );
......
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