Range.cpp File Reference

#include "Range.hpp"
#include "exceptions.hpp"
#include "math_function.hpp"
#include "string_manipulation.hpp"
#include "tree_node.hpp"

Include dependency graph for Range.cpp:

Go to the source code of this file.

Macros
#define	CASE_MISCELLANEOUS
#define	RETURN_EMPTY_ON_EMPTY(b)
#define	RETURN_UNKNOWN_ON_UNKNOWN(b)
#define	DIV_HELPER(x, y)

Typedefs
using	bw_t = Range::bw_t

Functions
std::ostream &	operator<< (std::ostream &OS, const Range &R)

Detailed Description

Author

Michele Fiorito miche.nosp@m.le.f.nosp@m.iorit.nosp@m.o@po.nosp@m.limi..nosp@m.it $Revision$ $Date$ Last modified by $Author$

Definition in file Range.cpp.

Macro Definition Documentation

CASE_MISCELLANEOUS

#define CASE_MISCELLANEOUS

Value:

aggr_init_expr_K:         \
   case case_label_expr_K:   \
   case lut_expr_K:          \
   case target_expr_K:       \
   case target_mem_ref_K:    \
   case target_mem_ref461_K: \
   case binfo_K:             \
   case block_K:             \
   case constructor_K:       \
   case error_mark_K:        \
   case identifier_node_K:   \
   case ssa_name_K:          \
   case statement_list_K:    \
   case tree_list_K:         \
   case tree_vec_K:          \
   case call_expr_K

Definition at line 51 of file Range.cpp.

Referenced by Range::makeSatisfyingCmpRegion().

DIV_HELPER

#define DIV_HELPER	(		x,
			y
	)

Value:

((x) == Max) ?                                   \
       (((y) < 0) ? Min : (((y) == 0) ? 0 : Max)) : \
       (((y) == Max) ? 0 :                          \
                       (((x) == Min) ? (((y) < 0) ? Max : (((y) == 0) ? 0 : Min)) : (((y) == Min) ? 0 : ((x) / (y)))))

Definition at line 1085 of file Range.cpp.

Referenced by Range::sdiv().

RETURN_EMPTY_ON_EMPTY

#define RETURN_EMPTY_ON_EMPTY

(

b

)

Value:

if(this->isEmpty() || other->isEmpty())  \
   {                                        \
      return RangeRef(new Range(Empty, b)); \
   }

Definition at line 641 of file Range.cpp.

Referenced by Range::add(), Range::And(), Range::Eq(), Range::intersectWith(), Range::mul(), Range::Ne(), Range::Or(), Range::sat_add(), Range::sat_sub(), Range::sdiv(), Range::Sge(), Range::Sgt(), Range::shl(), Range::shr(), Range::Sle(), Range::Slt(), Range::SMax(), Range::SMin(), Range::srem(), Range::sub(), Range::udiv(), Range::Uge(), Range::Ugt(), Range::Ule(), Range::Ult(), Range::UMax(), Range::UMin(), Range::urem(), Range::usat_add(), Range::usat_sub(), and Range::Xor().

RETURN_UNKNOWN_ON_UNKNOWN

#define RETURN_UNKNOWN_ON_UNKNOWN

(

b

)

Value:

if(this->isUnknown() || other->isUnknown()) \
   {                                           \
      return RangeRef(new Range(Unknown, b));  \
   }

Definition at line 646 of file Range.cpp.

Referenced by Range::add(), Range::And(), Range::Eq(), Range::intersectWith(), Range::mul(), Range::Ne(), Range::Or(), Range::sat_add(), Range::sat_sub(), Range::sdiv(), Range::Sge(), Range::Sgt(), Range::shl(), Range::shr(), Range::Sle(), Range::Slt(), Range::SMax(), Range::SMin(), Range::srem(), Range::sub(), Range::udiv(), Range::Uge(), Range::Ugt(), Range::Ule(), Range::Ult(), Range::UMax(), Range::UMin(), Range::urem(), Range::usat_add(), Range::usat_sub(), and Range::Xor().

Typedef Documentation

bw_t

using bw_t = Range::bw_t

Definition at line 69 of file Range.cpp.

Function Documentation

operator<<()

std::ostream& operator<<	(	std::ostream &	OS,
		const Range &	R
	)

Definition at line 2523 of file Range.cpp.

References Range::print().

Referenced by tree_node::tree_node().

Here is the call graph for this function:

Here is the caller graph for this function: