Full implementation of Bit Value analysis as described in BitValue Inference: Detecting and Exploiting Narrow Bitwidth Computations Mihai Budiu Seth Copen Goldstein http://www.cs.cmu.edu/~seth/papers/budiu-tr00.pdf This technical report is an extension of the following paper: Mihai Budiu, Majd Sakr, Kip Walker, Seth Copen Goldstein: BitValue Inference: Detecting and Exploiting Narrow Bitwidth Computations. More...

#include "Bit_Value.hpp"
#include "Dominance.hpp"
#include "Parameter.hpp"
#include "basic_block.hpp"
#include "application_manager.hpp"
#include "call_graph.hpp"
#include "call_graph_manager.hpp"
#include "function_behavior.hpp"
#include "op_graph.hpp"
#include "design_flow_manager.hpp"
#include "Range.hpp"
#include "application_frontend_flow_step.hpp"
#include "hls_device.hpp"
#include "hls_manager.hpp"
#include "memory.hpp"
#include <cmath>
#include <fstream>
#include <string>
#include <deque>
#include <tuple>
#include <utility>
#include <vector>
#include "custom_map.hpp"
#include "custom_set.hpp"
#include "behavioral_helper.hpp"
#include "tree_basic_block.hpp"
#include "tree_helper.hpp"
#include "tree_manager.hpp"
#include "tree_reindex.hpp"
#include "compiler_wrapper.hpp"
#include "string_manipulation.hpp"

Include dependency graph for Bit_Value.cpp:

Go to the source code of this file.

Detailed Description

Full implementation of Bit Value analysis as described in BitValue Inference: Detecting and Exploiting Narrow Bitwidth Computations Mihai Budiu Seth Copen Goldstein http://www.cs.cmu.edu/~seth/papers/budiu-tr00.pdf This technical report is an extension of the following paper: Mihai Budiu, Majd Sakr, Kip Walker, Seth Copen Goldstein: BitValue Inference: Detecting and Exploiting Narrow Bitwidth Computations.

Euro-Par 2000: 969-979

Created on: May 27, 2014

Author: Giulio Stramondo; Fabrizio Ferrandi fabri.nosp@m.zio..nosp@m.ferra.nosp@m.ndi@.nosp@m.polim.nosp@m.i.it; Pietro Fezzardi pietr.nosp@m.o.fe.nosp@m.zzard.nosp@m.i@gm.nosp@m.ail.c.nosp@m.om $Revision$ $Date$ Last modified by $Author$

Definition in file Bit_Value.cpp.