July 2010 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(floating_point): Added two simple tests.
by Fabio Bossi 27 Jul '10

27 Jul '10

Module: ppl/ppl Branch: floating_point Commit: c20b83014b3cfd30f4bbcce6882f62324083028f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c20b83014b3c… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Jul 27 16:13:24 2010 +0200 Added two simple tests. --- tests/Concrete_Expression/linearize.cc | 43 ++++++++++++++++++++++++++++++++ 1 files changed, 43 insertions(+), 0 deletions(-) diff --git a/tests/Concrete_Expression/linearize.cc b/tests/Concrete_Expression/linearize.cc index 14897c1..d382749 100644 --- a/tests/Concrete_Expression/linearize.cc +++ b/tests/Concrete_Expression/linearize.cc @@ -42,8 +42,51 @@ test01() { return false; } +// Tests multiplication by zero. +bool +test02() { + FP_Interval_Abstract_Store store(2); + store.set_interval(Variable(0), FP_Interval(0)); + store.set_interval(Variable(1), FP_Interval(10)); + Floating_Point_Constant<C_Expr> con("5.5", 4); + Approximable_Reference<C_Expr> var0(0); + Approximable_Reference<C_Expr> var1(1); + Binary_Operator<C_Expr> dif(Binary_Operator<C_Expr>::SUB, &var1, &con); + Binary_Operator<C_Expr> mul(Binary_Operator<C_Expr>::MUL, &dif, &var0); + FP_Linear_Form result; + linearize(mul, store, FP_Linear_Form_Abstract_Store(), result); + + FP_Linear_Form known_result(compute_absolute_error<FP_Interval>(ANALYZED_FP_FORMAT)); + + nout << "*** known_result ***" << endl + << known_result << endl; + bool ok = (result == known_result); + + return ok; +} + +// Tests linearization of variables in a given linear form abstract store. +bool +test03() { + FP_Linear_Form_Abstract_Store store; + Variable A(0); + FP_Linear_Form known_result = FP_Linear_Form(A); + store[0] = known_result; + Approximable_Reference<C_Expr> var(0); + FP_Linear_Form result; + linearize(var, FP_Interval_Abstract_Store(0), store, result); + + nout << "*** known_result ***" << endl + << known_result << endl; + bool ok = (result == known_result); + + return ok; +} + } // namespace BEGIN_MAIN DO_TEST(test01); + DO_TEST(test02); + DO_TEST(test03); END_MAIN

1 0

[GIT] ppl/ppl(floating_point): Fixed several mistakes in linearize and started
by Fabio Bossi 27 Jul '10

27 Jul '10

Module: ppl/ppl Branch: floating_point Commit: bd7beafc7d3db06788a182b90550ff1129923e63 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bd7beafc7d3d… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Jul 27 15:08:52 2010 +0200 Fixed several mistakes in linearize and started to test it. --- src/linearize.hh | 36 +++++++++++++------------- tests/Concrete_Expression/C_Expr.inlines.hh | 5 +++ tests/Concrete_Expression/linearize.cc | 2 +- 3 files changed, 24 insertions(+), 19 deletions(-) diff --git a/src/linearize.hh b/src/linearize.hh index 37143c0..ee8abc1 100644 --- a/src/linearize.hh +++ b/src/linearize.hh @@ -629,22 +629,22 @@ linearize(const Concrete_Expression<Target>& expr, break; case Floating_Point_Constant<Target>::KIND: { - Floating_Point_Constant<Target> fpc_expr = - static_cast<Floating_Point_Constant<Target> >(expr); - result = FP_Linear_Form(FP_Interval(fpc_expr.get_value_as_string())); + const Floating_Point_Constant<Target>* fpc_expr = + static_cast<const Floating_Point_Constant<Target>* >(&expr); + result = FP_Linear_Form(FP_Interval_Type(fpc_expr->get_value_as_string())); return true; break; } case Unary_Operator<Target>::KIND: { - Unary_Operator<Target> uop_expr = - static_cast<Unary_Operator<Target> >(expr); - switch (uop_expr.unary_operator()) { + const Unary_Operator<Target>* uop_expr = + static_cast<const Unary_Operator<Target>* >(&expr); + switch (uop_expr->unary_operator()) { case Unary_Operator<Target>::UPLUS: - return linearize(uop_expr.argument(), int_store, lf_store, result); + return linearize(*(uop_expr->argument()), int_store, lf_store, result); break; case Unary_Operator<Target>::UMINUS: - if (!linearize(uop_expr.argument(), int_store, lf_store, result)) + if (!linearize(*(uop_expr->argument()), int_store, lf_store, result)) return false; result.negate(); @@ -660,20 +660,20 @@ linearize(const Concrete_Expression<Target>& expr, } case Binary_Operator<Target>::KIND: { - Binary_Operator<Target> bop_expr = - static_cast<Binary_Operator<Target> >(expr); - switch (bop_expr.binary_operator()) { + const Binary_Operator<Target>* bop_expr = + static_cast<const Binary_Operator<Target>* >(&expr); + switch (bop_expr->binary_operator()) { case Binary_Operator<Target>::ADD: - return add_linearize(bop_expr, int_store, lf_store, result); + return add_linearize(*bop_expr, int_store, lf_store, result); break; case Binary_Operator<Target>::SUB: - return sub_linearize(bop_expr, int_store, lf_store, result); + return sub_linearize(*bop_expr, int_store, lf_store, result); break; case Binary_Operator<Target>::MUL: - return mul_linearize(bop_expr, int_store, lf_store, result); + return mul_linearize(*bop_expr, int_store, lf_store, result); break; case Binary_Operator<Target>::DIV: - return div_linearize(bop_expr, int_store, lf_store, result); + return div_linearize(*bop_expr, int_store, lf_store, result); break; case Binary_Operator<Target>::REM: case Binary_Operator<Target>::BAND: @@ -691,11 +691,11 @@ linearize(const Concrete_Expression<Target>& expr, } case Approximable_Reference<Target>::KIND: { - Approximable_Reference<Target> ref_expr = - static_cast<Approximable_Reference<Target> >(expr); + const Approximable_Reference<Target>* ref_expr = + static_cast<const Approximable_Reference<Target>* >(&expr); /* Variable references are the only that we are currently able to analyze */ - dimension_type variable_index = ref_expr.associated_dimension(); + dimension_type variable_index = ref_expr->associated_dimension(); if (variable_index == not_a_dimension()) return false; else { diff --git a/tests/Concrete_Expression/C_Expr.inlines.hh b/tests/Concrete_Expression/C_Expr.inlines.hh index 5bc06b5..5c34a55 100644 --- a/tests/Concrete_Expression/C_Expr.inlines.hh +++ b/tests/Concrete_Expression/C_Expr.inlines.hh @@ -31,6 +31,11 @@ Concrete_Expression(const C_Expr_Kind KIND) : expr_kind(KIND) { } +inline Concrete_Expression_Kind +Concrete_Expression<C_Expr>::kind() const { + return expr_kind; +} + inline Concrete_Expression_Type Concrete_Expression<C_Expr>::type() const { return Concrete_Expression_Type::floating_point(ANALYZED_FP_FORMAT); diff --git a/tests/Concrete_Expression/linearize.cc b/tests/Concrete_Expression/linearize.cc index f8ea4c1..14897c1 100644 --- a/tests/Concrete_Expression/linearize.cc +++ b/tests/Concrete_Expression/linearize.cc @@ -32,7 +32,7 @@ bool test01() { Floating_Point_Constant<C_Expr> num("3", 2); Floating_Point_Constant<C_Expr> den("0", 2); - Binary_Operator<C_Expr> div(Binary_Operator<C_Expr>::DIV, num, den); + Binary_Operator<C_Expr> div(Binary_Operator<C_Expr>::DIV, &num, &den); FP_Linear_Form result; if (!linearize(div, FP_Interval_Abstract_Store(), FP_Linear_Form_Abstract_Store(), result)) {

1 0

[GIT] ppl/ppl(floating_point): Fixed typos.
by Abramo Bagnara 27 Jul '10

27 Jul '10

Module: ppl/ppl Branch: floating_point Commit: 873f2240682ccfdcd9daef5b8d7dc9899fb5dd32 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=873f2240682c… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Jul 27 14:13:03 2010 +0200 Fixed typos. --- tests/Concrete_Expression/C_Expr.inlines.hh | 11 ++++++----- 1 files changed, 6 insertions(+), 5 deletions(-) diff --git a/tests/Concrete_Expression/C_Expr.inlines.hh b/tests/Concrete_Expression/C_Expr.inlines.hh index 232d38c..5bc06b5 100644 --- a/tests/Concrete_Expression/C_Expr.inlines.hh +++ b/tests/Concrete_Expression/C_Expr.inlines.hh @@ -41,7 +41,7 @@ Binary_Operator<C_Expr> ::Binary_Operator(Concrete_Expression_BOP binary_operator, const Concrete_Expression<C_Expr>* left_hand_side, const Concrete_Expression<C_Expr>* right_hand_side) - : Concrete_Expressione<C_Expr>(BOP), + : Concrete_Expression<C_Expr>(BOP), bop(binary_operator), lhs(left_hand_side), rhs(right_hand_side) { @@ -75,7 +75,7 @@ inline Unary_Operator<C_Expr> ::Unary_Operator(Concrete_Expression_UOP unary_operator, const Concrete_Expression<C_Expr>* argument) - : Concrete_Expressione<C_Expr>(UOP), + : Concrete_Expression<C_Expr>(UOP), uop(unary_operator), arg(argument) { } @@ -103,7 +103,7 @@ inline Cast_Operator<C_Expr>:: Cast_Operator(Concrete_Expression_Type c_type, const Concrete_Expression<C_Expr>* ar) - : Concrete_Expressione<C_Expr>(CAST), + : Concrete_Expression<C_Expr>(CAST), cast_type(c_type), arg(ar) { } @@ -130,7 +130,7 @@ inline Floating_Point_Constant<C_Expr>:: Floating_Point_Constant(const char* value_string, const unsigned int string_size) - : Concrete_Expressione<C_Expr>(FP_CON), + : Concrete_Expression<C_Expr>(FP_CON), value(new char[string_size]) { strcpy(value, value_string); } @@ -153,7 +153,8 @@ Floating_Point_Constant<C_Expr>::get_value_as_string() const { inline Approximable_Reference<C_Expr>:: Approximable_Reference(dimension_type var_index) -: var_dimension(var_index) { + : Concrete_Expression<C_Expr>(APPROX_REF), + var_dimension(var_index) { } inline

1 0

[GIT] ppl/ppl(floating_point): Improved inheritance relations.
by Abramo Bagnara 27 Jul '10

27 Jul '10

Module: ppl/ppl Branch: floating_point Commit: 90eaae7fe8a19eccdd7bac2763131a20ecaf616f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=90eaae7fe8a1… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Jul 27 14:07:38 2010 +0200 Improved inheritance relations. --- src/Concrete_Expression.defs.hh | 14 ++++---- tests/Concrete_Expression/C_Expr.defs.hh | 40 +++++++++---------------- tests/Concrete_Expression/C_Expr.inlines.hh | 42 +++++--------------------- 3 files changed, 29 insertions(+), 67 deletions(-) diff --git a/src/Concrete_Expression.defs.hh b/src/Concrete_Expression.defs.hh index 217e239..88fbca8 100644 --- a/src/Concrete_Expression.defs.hh +++ b/src/Concrete_Expression.defs.hh @@ -116,7 +116,7 @@ private: }; template <typename Target> -class Concrete_Expression_Base { +class Concrete_Expression_Common { public: //! Returns the type of \* this. Concrete_Expression_Type type() const; @@ -126,7 +126,7 @@ public: }; template <typename Target> -class Binary_Operator_Base : public Concrete_Expression<Target> { +class Binary_Operator_Common { public: //! Returns a constant identifying the operator of \p *this. Concrete_Expression_BOP binary_operator() const; @@ -139,7 +139,7 @@ public: }; template <typename Target> -class Unary_Operator_Base : public Concrete_Expression<Target> { +class Unary_Operator_Common { public: //! Returns a constant identifying the operator of \p *this. Concrete_Expression_UOP unary_operator() const; @@ -149,17 +149,17 @@ public: }; template <typename Target> -class Cast_Operator_Base : public Concrete_Expression<Target> { +class Cast_Operator_Common { //! Returns the casted expression. const Concrete_Expression<Target>* argument() const; }; template <typename Target> -class Integer_Constant_Base : public Concrete_Expression<Target> { +class Integer_Constant_Common { }; template <typename Target> -class Floating_Point_Constant_Base : public Concrete_Expression<Target> { +class Floating_Point_Constant_Common { /*! \brief Returns a string for the floating point constant as written in the analyzed program. @@ -168,7 +168,7 @@ class Floating_Point_Constant_Base : public Concrete_Expression<Target> { }; template <typename Target> -class Approximable_Reference_Base : public Concrete_Expression<Target> { +class Approximable_Reference_Common { public: /*! \brief If \p *this is a variable reference, returns the variable's diff --git a/tests/Concrete_Expression/C_Expr.defs.hh b/tests/Concrete_Expression/C_Expr.defs.hh index 1e2336e..96bc1cd 100644 --- a/tests/Concrete_Expression/C_Expr.defs.hh +++ b/tests/Concrete_Expression/C_Expr.defs.hh @@ -39,7 +39,7 @@ enum C_Expr_Kind { }; template <> -class Concrete_Expression<C_Expr> : public Concrete_Expression_Base<C_Expr> { +class Concrete_Expression<C_Expr> : public Concrete_Expression_Common<C_Expr> { public: //! Builds a concrete expression of the given kind. Concrete_Expression<C_Expr>(C_Expr_Kind KIND); @@ -48,14 +48,15 @@ public: Concrete_Expression_Type type() const; //! Returns the kind of \* this. - virtual Concrete_Expression_Kind kind() const = 0; + Concrete_Expression_Kind kind() const; private: //! The expression's kind. C_Expr_Kind expr_kind; }; template <> -class Binary_Operator<C_Expr> : public Binary_Operator_Base<C_Expr> { +class Binary_Operator<C_Expr> : public Concrete_Expression<C_Expr>, + public Binary_Operator_Common<C_Expr> { public: //! Constructor from operator, lhs and rhs. Binary_Operator<C_Expr>(Concrete_Expression_BOP binary_operator, @@ -68,9 +69,6 @@ public: //! Returns the type of \p *this. Concrete_Expression_Type type() const; - //! Returns the kind of \p *this. - Concrete_Expression_Kind kind() const; - //! Returns the binary operator of \p *this. Concrete_Expression_BOP binary_operator() const; @@ -111,7 +109,8 @@ private: }; template <> -class Unary_Operator<C_Expr> : public Unary_Operator_Base<C_Expr> { +class Unary_Operator<C_Expr> : public Concrete_Expression<C_Expr>, + public Unary_Operator_Common<C_Expr> { public: //! Constructor from operator and argument. Unary_Operator<C_Expr>(Concrete_Expression_UOP unary_operator, @@ -123,9 +122,6 @@ public: //! Returns the type of \p *this. Concrete_Expression_Type type() const; - //! Returns the kind of \p *this. - Concrete_Expression_Kind kind() const; - //! Returns the unary operator of \p *this. Concrete_Expression_UOP unary_operator() const; @@ -154,7 +150,8 @@ private: template <> class Cast_Operator<C_Expr> - : public Cast_Operator_Base<C_Expr> { + : public Concrete_Expression<C_Expr>, + public Cast_Operator_Common<C_Expr> { public: //! Constructor from cast type and argument. Cast_Operator<C_Expr>(Concrete_Expression_Type c_type, @@ -166,9 +163,6 @@ public: //! Returns the type of \p *this. Concrete_Expression_Type type() const; - //! Returns the kind of \p *this. - Concrete_Expression_Kind kind() const; - //! Returns the casted expression. const Concrete_Expression<C_Expr>* argument() const; @@ -185,7 +179,8 @@ private: template <> class Integer_Constant<C_Expr> - : public Integer_Constant_Base<C_Expr> { + : public Concrete_Expression<C_Expr>, + public Integer_Constant_Common<C_Expr> { public: //! Do-nothing destructor. ~Integer_Constant<C_Expr>(); @@ -193,16 +188,14 @@ public: //! Returns the type of \p *this. Concrete_Expression_Type type() const; - //! Returns the kind of \p *this. - Concrete_Expression_Kind kind() const; - //! Constant identifying integer constant nodes. enum { KIND = INT_CON }; }; template <> class Floating_Point_Constant<C_Expr> - : public Floating_Point_Constant_Base<C_Expr> { + : public Concrete_Expression<C_Expr>, + public Floating_Point_Constant_Common<C_Expr> { public: //! Constructor from value. Floating_Point_Constant<C_Expr>(const char* value_string, @@ -214,9 +207,6 @@ public: //! Returns the type of \p *this. Concrete_Expression_Type type() const; - //! Returns the kind of \p *this. - Concrete_Expression_Kind kind() const; - /*! \brief Returns a string for the floating point constant as written in the analyzed program. @@ -234,7 +224,8 @@ private: // We currently only consider references to floating point variables. template <> class Approximable_Reference<C_Expr> - : public Approximable_Reference_Base<C_Expr> { + : public Concrete_Expression<C_Expr>, + public Approximable_Reference_Common<C_Expr> { public: //! Builds a reference to the variable having the given index. Approximable_Reference<C_Expr>(dimension_type var_index); @@ -245,9 +236,6 @@ public: //! Returns the type of \p *this. Concrete_Expression_Type type() const; - //! Returns the kind of \p *this. - Concrete_Expression_Kind kind() const; - /*! \brief If \p *this is a variable reference, returns the variable's index. Returns <CODE>not_a_dimension()</CODE> otherwise. diff --git a/tests/Concrete_Expression/C_Expr.inlines.hh b/tests/Concrete_Expression/C_Expr.inlines.hh index 819de51..232d38c 100644 --- a/tests/Concrete_Expression/C_Expr.inlines.hh +++ b/tests/Concrete_Expression/C_Expr.inlines.hh @@ -41,7 +41,8 @@ Binary_Operator<C_Expr> ::Binary_Operator(Concrete_Expression_BOP binary_operator, const Concrete_Expression<C_Expr>* left_hand_side, const Concrete_Expression<C_Expr>* right_hand_side) - : bop(binary_operator), + : Concrete_Expressione<C_Expr>(BOP), + bop(binary_operator), lhs(left_hand_side), rhs(right_hand_side) { } @@ -55,11 +56,6 @@ Binary_Operator<C_Expr>::type() const { return Concrete_Expression_Type::floating_point(ANALYZED_FP_FORMAT); } -inline Concrete_Expression_Kind -Binary_Operator<C_Expr>::kind() const { - return KIND; -} - inline Concrete_Expression_BOP Binary_Operator<C_Expr>::binary_operator() const { return bop; @@ -79,7 +75,8 @@ inline Unary_Operator<C_Expr> ::Unary_Operator(Concrete_Expression_UOP unary_operator, const Concrete_Expression<C_Expr>* argument) - : uop(unary_operator), + : Concrete_Expressione<C_Expr>(UOP), + uop(unary_operator), arg(argument) { } @@ -92,11 +89,6 @@ Unary_Operator<C_Expr>::type() const { return Concrete_Expression_Type::floating_point(ANALYZED_FP_FORMAT); } -inline Concrete_Expression_Kind -Unary_Operator<C_Expr>::kind() const { - return KIND; -} - inline Concrete_Expression_BOP Unary_Operator<C_Expr>::unary_operator() const { return uop; @@ -111,7 +103,8 @@ inline Cast_Operator<C_Expr>:: Cast_Operator(Concrete_Expression_Type c_type, const Concrete_Expression<C_Expr>* ar) - : cast_type(c_type), + : Concrete_Expressione<C_Expr>(CAST), + cast_type(c_type), arg(ar) { } @@ -124,11 +117,6 @@ Cast_Operator<C_Expr>::type() const { return cast_type; } -inline Concrete_Expression_Kind -Cast_Operator<C_Expr>::kind() const { - return KIND; -} - inline const Concrete_Expression<C_Expr>* Cast_Operator<C_Expr>::argument() const { return arg; @@ -138,16 +126,12 @@ inline Integer_Constant<C_Expr>::~Integer_Constant<C_Expr>() { } -inline Concrete_Expression_Kind -Integer_Constant<C_Expr>::kind() const { - return KIND; -} - inline Floating_Point_Constant<C_Expr>:: Floating_Point_Constant(const char* value_string, const unsigned int string_size) - : value(new char[string_size]) { + : Concrete_Expressione<C_Expr>(FP_CON), + value(new char[string_size]) { strcpy(value, value_string); } @@ -161,11 +145,6 @@ Floating_Point_Constant<C_Expr>::type() const { return Concrete_Expression_Type::floating_point(ANALYZED_FP_FORMAT); } -inline Concrete_Expression_Kind -Floating_Point_Constant<C_Expr>::kind() const { - return KIND; -} - inline const char* Floating_Point_Constant<C_Expr>::get_value_as_string() const { return value; @@ -186,11 +165,6 @@ Approximable_Reference<C_Expr>::type() const { return Concrete_Expression_Type::floating_point(ANALYZED_FP_FORMAT); } -inline Concrete_Expression_Kind -Approximable_Reference<C_Expr>::kind() const { - return KIND; -} - inline dimension_type Approximable_Reference<C_Expr>::associated_dimension() const { return var_dimension;

1 0

[GIT] ppl/ppl(floating_point): Added test file for the new linearization algorithm.
by Fabio Bossi 27 Jul '10

27 Jul '10

Module: ppl/ppl Branch: floating_point Commit: 0701ca66ee0a9d2b462bfe8174d8e4d2cf98ed0f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0701ca66ee0a… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Jul 27 13:59:48 2010 +0200 Added test file for the new linearization algorithm. --- tests/Concrete_Expression/Makefile.am | 5 ++- tests/Concrete_Expression/float.cc | 4 +- tests/Concrete_Expression/linearize.cc | 49 ++++++++++++++++++++++++++++++++ 3 files changed, 55 insertions(+), 3 deletions(-) diff --git a/tests/Concrete_Expression/Makefile.am b/tests/Concrete_Expression/Makefile.am index 9c105e0..ead3d19 100644 --- a/tests/Concrete_Expression/Makefile.am +++ b/tests/Concrete_Expression/Makefile.am @@ -53,7 +53,8 @@ $(top_builddir)/src/libppl.la \ ORIGINAL_TESTS = \ C_Expr \ float \ -linearform1 +linearform1 \ +linearize #bdshape1 \ #bdshape2 \ #digitalfilters1 \ @@ -145,6 +146,8 @@ floatingpointexpr1_SOURCES = floatingpointexpr1.cc linearform1_SOURCES = linearform1.cc +linearize_SOURCES = linearize.cc + octagonalshape1_SOURCES = octagonalshape1.cc octagonalshape2_SOURCES = octagonalshape2.cc diff --git a/tests/Concrete_Expression/float.cc b/tests/Concrete_Expression/float.cc index 28f8d78..7506993 100644 --- a/tests/Concrete_Expression/float.cc +++ b/tests/Concrete_Expression/float.cc @@ -28,10 +28,10 @@ using namespace Parma_Polyhedra_Library::IO_Operators; bool test01() { - std::cout << compute_absolute_error<FP_Interval>(IEEE754_HALF) << + std::cout << compute_absolute_error<FP_Interval>(ANALYZED_FP_FORMAT) << std::endl; - std::cout << compute_absolute_error<FP_Interval>(IEEE754_HALF) << + std::cout << compute_absolute_error<FP_Interval>(ANALYZED_FP_FORMAT) << std::endl; return 1; diff --git a/tests/Concrete_Expression/linearize.cc b/tests/Concrete_Expression/linearize.cc new file mode 100644 index 0000000..f8ea4c1 --- /dev/null +++ b/tests/Concrete_Expression/linearize.cc @@ -0,0 +1,49 @@ +/* Testing linearization algorithm ad its related functions. + Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> + +This file is part of the Parma Polyhedra Library (PPL). + +The PPL is free software; you can redistribute it and/or moDif_FP_Expressiony it +under the terms of the GNU General Public License as published by the +Free Software Foundation; either version 3 of the License, or (at your +option) any later version. + +The PPL is distributed in the hope that it will be useful, but WITHOUT +ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or +FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License +for more details. + +You should have received a copy of the GNU General Public License +along with this program; if not, write to the Free Software Foundation, +Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. + +For the most up-to-date information see the Parma Polyhedra Library +site: http://www.cs.unipr.it/ppl/ . */ + +#include "ppl_test.hh" +#include "C_Expr.defs.hh" + +namespace { + +using namespace Parma_Polyhedra_Library::IO_Operators; + +// Tests division by zero. +bool +test01() { + Floating_Point_Constant<C_Expr> num("3", 2); + Floating_Point_Constant<C_Expr> den("0", 2); + Binary_Operator<C_Expr> div(Binary_Operator<C_Expr>::DIV, num, den); + FP_Linear_Form result; + if (!linearize(div, FP_Interval_Abstract_Store(), + FP_Linear_Form_Abstract_Store(), result)) { + nout << "*** Linearization failed due to division by zero. ***" << endl; + return true; + } + return false; +} + +} // namespace + +BEGIN_MAIN + DO_TEST(test01); +END_MAIN

1 0

[GIT] ppl/ppl(floating_point): Various changes.
by Fabio Bossi 27 Jul '10

27 Jul '10

Module: ppl/ppl Branch: floating_point Commit: 0ec45a70db9cc1e9829e04477ea0f3b2cc7c701d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ec45a70db9c… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Jul 27 12:53:04 2010 +0200 Various changes. --- tests/Concrete_Expression/C_Expr.defs.hh | 40 +++++++++++++++++++-------- tests/Concrete_Expression/C_Expr.inlines.hh | 17 +++++++++--- 2 files changed, 41 insertions(+), 16 deletions(-) diff --git a/tests/Concrete_Expression/C_Expr.defs.hh b/tests/Concrete_Expression/C_Expr.defs.hh index 039d97f..1e2336e 100644 --- a/tests/Concrete_Expression/C_Expr.defs.hh +++ b/tests/Concrete_Expression/C_Expr.defs.hh @@ -29,21 +29,36 @@ namespace Parma_Polyhedra_Library { struct C_Expr; +enum C_Expr_Kind { + BOP, + UOP, + CAST, + INT_CON, + FP_CON, + APPROX_REF +}; + template <> class Concrete_Expression<C_Expr> : public Concrete_Expression_Base<C_Expr> { public: + //! Builds a concrete expression of the given kind. + Concrete_Expression<C_Expr>(C_Expr_Kind KIND); + //! Returns the type of \* this. Concrete_Expression_Type type() const; //! Returns the kind of \* this. virtual Concrete_Expression_Kind kind() const = 0; +private: + //! The expression's kind. + C_Expr_Kind expr_kind; }; template <> class Binary_Operator<C_Expr> : public Binary_Operator_Base<C_Expr> { public: //! Constructor from operator, lhs and rhs. - Binary_Operator<C_Expr>(int binary_operator, + Binary_Operator<C_Expr>(Concrete_Expression_BOP binary_operator, const Concrete_Expression<C_Expr>* left_hand_side, const Concrete_Expression<C_Expr>* right_hand_side); @@ -67,7 +82,7 @@ public: //! Constant identifying binary operator nodes. enum { - KIND = 1 + KIND = BOP }; //! Constants encoding the different binary operators. @@ -86,7 +101,7 @@ public: private: //! The operator of \p *this. - const int bop; + const Concrete_Expression_BOP bop; //! The left-hand side of \p *this. const Concrete_Expression<C_Expr>* lhs; @@ -99,7 +114,7 @@ template <> class Unary_Operator<C_Expr> : public Unary_Operator_Base<C_Expr> { public: //! Constructor from operator and argument. - Unary_Operator<C_Expr>(int unary_operator, + Unary_Operator<C_Expr>(Concrete_Expression_UOP unary_operator, const Concrete_Expression<C_Expr>* argument); //! Do-nothing destructor. @@ -119,7 +134,7 @@ public: //! Constant identifying unary operator nodes. enum { - KIND = 2 + KIND = UOP }; //! Constants encoding the different unary operators. @@ -131,7 +146,7 @@ public: private: //! The operator of \p *this. - const int uop; + const Concrete_Expression_UOP uop; //! The argument of \p *this. const Concrete_Expression<C_Expr>* arg; @@ -158,7 +173,7 @@ public: const Concrete_Expression<C_Expr>* argument() const; //! Constant identifying cast nodes. - enum { KIND = 3 }; + enum { KIND = CAST }; private: //! The type of the cast expression. @@ -182,7 +197,7 @@ public: Concrete_Expression_Kind kind() const; //! Constant identifying integer constant nodes. - enum { KIND = 4 }; + enum { KIND = INT_CON }; }; template <> @@ -190,7 +205,8 @@ class Floating_Point_Constant<C_Expr> : public Floating_Point_Constant_Base<C_Expr> { public: //! Constructor from value. - Floating_Point_Constant<C_Expr>(const char* value_string); + Floating_Point_Constant<C_Expr>(const char* value_string, + unsigned int string_size); //! Do-nothing destructor. ~Floating_Point_Constant<C_Expr>(); @@ -208,11 +224,11 @@ public: const char* get_value_as_string() const; //! Constant identifying floating constant nodes. - enum { KIND = 5 }; + enum { KIND = FP_CON }; private: //! The floating point constant as written. - const char* value; + char* value; }; // We currently only consider references to floating point variables. @@ -239,7 +255,7 @@ public: dimension_type associated_dimension() const; //! Constant identifying approximable reference nodes. - enum { KIND = 6 }; + enum { KIND = APPROX_REF }; private: //! The index of the referenced variable. diff --git a/tests/Concrete_Expression/C_Expr.inlines.hh b/tests/Concrete_Expression/C_Expr.inlines.hh index 689fe29..819de51 100644 --- a/tests/Concrete_Expression/C_Expr.inlines.hh +++ b/tests/Concrete_Expression/C_Expr.inlines.hh @@ -25,6 +25,12 @@ site: http://www.cs.unipr.it/ppl/ . */ namespace Parma_Polyhedra_Library { +inline +Concrete_Expression<C_Expr>:: +Concrete_Expression(const C_Expr_Kind KIND) + : expr_kind(KIND) { +} + inline Concrete_Expression_Type Concrete_Expression<C_Expr>::type() const { return Concrete_Expression_Type::floating_point(ANALYZED_FP_FORMAT); @@ -32,7 +38,7 @@ Concrete_Expression<C_Expr>::type() const { inline Binary_Operator<C_Expr> -::Binary_Operator(int binary_operator, +::Binary_Operator(Concrete_Expression_BOP binary_operator, const Concrete_Expression<C_Expr>* left_hand_side, const Concrete_Expression<C_Expr>* right_hand_side) : bop(binary_operator), @@ -71,7 +77,7 @@ Binary_Operator<C_Expr>::right_hand_side() const { inline Unary_Operator<C_Expr> -::Unary_Operator(int unary_operator, +::Unary_Operator(Concrete_Expression_UOP unary_operator, const Concrete_Expression<C_Expr>* argument) : uop(unary_operator), arg(argument) { @@ -139,12 +145,15 @@ Integer_Constant<C_Expr>::kind() const { inline Floating_Point_Constant<C_Expr>:: -Floating_Point_Constant(const char* value_string) - : value(value_string) { +Floating_Point_Constant(const char* value_string, + const unsigned int string_size) + : value(new char[string_size]) { + strcpy(value, value_string); } inline Floating_Point_Constant<C_Expr>::~Floating_Point_Constant<C_Expr>() { + delete[] value; } inline Concrete_Expression_Type

1 0

[GIT] ppl/ppl(floating_point): Fixed a few mistakes.
by Fabio Bossi 27 Jul '10

27 Jul '10

Module: ppl/ppl Branch: floating_point Commit: f25bf13fcea8eccc9b0158564a558f31eadd9431 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f25bf13fcea8… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Jul 27 12:15:00 2010 +0200 Fixed a few mistakes. --- src/linearize.hh | 12 ++++++++++-- 1 files changed, 10 insertions(+), 2 deletions(-) diff --git a/src/linearize.hh b/src/linearize.hh index be23aa4..37143c0 100644 --- a/src/linearize.hh +++ b/src/linearize.hh @@ -552,9 +552,9 @@ div_linearize(const Binary_Operator<Target>& bop_expr, linearized_second_operand.intervalize(int_store, intervalized_second_operand); // Check if we may divide by zero. - if ((intervalized_second_operand.is_lower_boundary_infinity() || + if ((intervalized_second_operand.lower_is_boundary_infinity() || intervalized_second_operand.lower() <= 0) && - (intervalized_second_operand.is_upper_boundary_infinity() || + (intervalized_second_operand.upper_is_boundary_infinity() || intervalized_second_operand.upper() >= 0)) return false; @@ -628,12 +628,15 @@ linearize(const Concrete_Expression<Target>& expr, throw std::runtime_error("PPL internal error: unimplemented"); break; case Floating_Point_Constant<Target>::KIND: + { Floating_Point_Constant<Target> fpc_expr = static_cast<Floating_Point_Constant<Target> >(expr); result = FP_Linear_Form(FP_Interval(fpc_expr.get_value_as_string())); return true; break; + } case Unary_Operator<Target>::KIND: + { Unary_Operator<Target> uop_expr = static_cast<Unary_Operator<Target> >(expr); switch (uop_expr.unary_operator()) { @@ -654,7 +657,9 @@ linearize(const Concrete_Expression<Target>& expr, throw std::runtime_error("PPL internal error"); } break; + } case Binary_Operator<Target>::KIND: + { Binary_Operator<Target> bop_expr = static_cast<Binary_Operator<Target> >(expr); switch (bop_expr.binary_operator()) { @@ -683,7 +688,9 @@ linearize(const Concrete_Expression<Target>& expr, throw std::runtime_error("PPL internal error"); } break; + } case Approximable_Reference<Target>::KIND: + { Approximable_Reference<Target> ref_expr = static_cast<Approximable_Reference<Target> >(expr); /* Variable references are the only that we are currently @@ -708,6 +715,7 @@ linearize(const Concrete_Expression<Target>& expr, return !result.overflows(); } break; + } case Cast_Operator<Target>::KIND: // TODO. break;

1 0

[GIT] ppl/ppl(floating_point): Use values of enum Floating_Point_Format
by Fabio Bossi 27 Jul '10

27 Jul '10

Module: ppl/ppl Branch: floating_point Commit: e245a2b77ec1a1d7f5f4662e74226a008d80717c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e245a2b77ec1… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Jul 27 10:30:51 2010 +0200 Use values of enum Floating_Point_Format for ANALYZED_FP_FORMAT. C_Expr: - Added method type(). --- tests/Concrete_Expression/C_Expr.defs.hh | 2 +- tests/Concrete_Expression/C_Expr.inlines.hh | 25 +++++++++++ tests/Concrete_Expression/Makefile.am | 18 ++++---- tests/ppl_test.hh | 62 --------------------------- 4 files changed, 35 insertions(+), 72 deletions(-) diff --git a/tests/Concrete_Expression/C_Expr.defs.hh b/tests/Concrete_Expression/C_Expr.defs.hh index fb94904..039d97f 100644 --- a/tests/Concrete_Expression/C_Expr.defs.hh +++ b/tests/Concrete_Expression/C_Expr.defs.hh @@ -215,7 +215,7 @@ private: const char* value; }; -// We currently only consider variable references. +// We currently only consider references to floating point variables. template <> class Approximable_Reference<C_Expr> : public Approximable_Reference_Base<C_Expr> { diff --git a/tests/Concrete_Expression/C_Expr.inlines.hh b/tests/Concrete_Expression/C_Expr.inlines.hh index 7263eae..689fe29 100644 --- a/tests/Concrete_Expression/C_Expr.inlines.hh +++ b/tests/Concrete_Expression/C_Expr.inlines.hh @@ -25,6 +25,11 @@ site: http://www.cs.unipr.it/ppl/ . */ namespace Parma_Polyhedra_Library { +inline Concrete_Expression_Type +Concrete_Expression<C_Expr>::type() const { + return Concrete_Expression_Type::floating_point(ANALYZED_FP_FORMAT); +} + inline Binary_Operator<C_Expr> ::Binary_Operator(int binary_operator, @@ -39,6 +44,11 @@ inline Binary_Operator<C_Expr>::~Binary_Operator<C_Expr>() { } +inline Concrete_Expression_Type +Binary_Operator<C_Expr>::type() const { + return Concrete_Expression_Type::floating_point(ANALYZED_FP_FORMAT); +} + inline Concrete_Expression_Kind Binary_Operator<C_Expr>::kind() const { return KIND; @@ -71,6 +81,11 @@ inline Unary_Operator<C_Expr>::~Unary_Operator<C_Expr>() { } +inline Concrete_Expression_Type +Unary_Operator<C_Expr>::type() const { + return Concrete_Expression_Type::floating_point(ANALYZED_FP_FORMAT); +} + inline Concrete_Expression_Kind Unary_Operator<C_Expr>::kind() const { return KIND; @@ -132,6 +147,11 @@ inline Floating_Point_Constant<C_Expr>::~Floating_Point_Constant<C_Expr>() { } +inline Concrete_Expression_Type +Floating_Point_Constant<C_Expr>::type() const { + return Concrete_Expression_Type::floating_point(ANALYZED_FP_FORMAT); +} + inline Concrete_Expression_Kind Floating_Point_Constant<C_Expr>::kind() const { return KIND; @@ -152,6 +172,11 @@ inline Approximable_Reference<C_Expr>::~Approximable_Reference<C_Expr>() { } +inline Concrete_Expression_Type +Approximable_Reference<C_Expr>::type() const { + return Concrete_Expression_Type::floating_point(ANALYZED_FP_FORMAT); +} + inline Concrete_Expression_Kind Approximable_Reference<C_Expr>::kind() const { return KIND; diff --git a/tests/Concrete_Expression/Makefile.am b/tests/Concrete_Expression/Makefile.am index 015f0f8..9c105e0 100644 --- a/tests/Concrete_Expression/Makefile.am +++ b/tests/Concrete_Expression/Makefile.am @@ -70,15 +70,15 @@ ALL_TESTS = $(ORIGINAL_TESTS) $(DERIVED_TESTS) # This will be overridden by the `run_tests' script. if SUPPORTED_FLOAT FLOAT_FLAGS = \ --DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=float_ieee754_single +-DANALYZER_FP_FORMAT=float -DANALYZED_FP_FORMAT=IEEE754_SINGLE else if SUPPORTED_DOUBLE DOUBLE_FLAGS = \ --DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=float_ieee754_double +-DANALYZER_FP_FORMAT=double -DANALYZED_FP_FORMAT=IEEE754_DOUBLE else if SUPPORTED_LONG_DOUBLE LONG_DOUBLE_FLAGS = \ --DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=float_ieee754_quad +-DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD endif endif endif @@ -100,18 +100,18 @@ XFAIL_TESTS = # Analyzer format should be less precise or equal than analyzed format. if SUPPORTED_FLOAT FLOAT_INSTANCES= \ -float/float_ieee754_single \ -float/float_ieee754_double \ -float/float_ieee754_quad +float/IEEE754_SINGLE \ +float/IEEE754_DOUBLE \ +float/IEEE754_QUAD endif if SUPPORTED_DOUBLE DOUBLE_INSTANCES= \ -double/float_ieee754_double \ -double/float_ieee754_quad +double/IEEE754_DOUBLE \ +double/IEEE754_QUAD endif if SUPPORTED_LONG_DOUBLE LONG_DOUBLE_INSTANCES= \ -long_double/float_ieee754_quad +long_double/IEEE754_QUAD endif # Do not change the ordering in what follows. diff --git a/tests/ppl_test.hh b/tests/ppl_test.hh index 66ad60b..30cdbf4 100644 --- a/tests/ppl_test.hh +++ b/tests/ppl_test.hh @@ -483,68 +483,6 @@ typedef std::map<dimension_type, FP_Linear_Form> FP_Linear_Form_Abstract_Store; /*! \brief - The incarnation of Floating_Point_Expression under test for analyzing - floating point computations. -*/ -typedef Floating_Point_Expression<FP_Interval, ANALYZED_FP_FORMAT> - FP_Expression; - -/*! \brief - The incarnation of Cast_Floating_Point_Expression under test for - analyzing floating point computations. -*/ -typedef Cast_Floating_Point_Expression<FP_Interval, - ANALYZED_FP_FORMAT> Cast_FP_Expression; - -/*! \brief - The incarnation of Constant_Floating_Point_Expression under test for - analyzing floating point computations. -*/ -typedef Constant_Floating_Point_Expression<FP_Interval, - ANALYZED_FP_FORMAT> Con_FP_Expression; - -/*! \brief - The incarnation of Variable_Floating_Point_Expression under test for - analyzing floating point computations. -*/ -typedef Variable_Floating_Point_Expression<FP_Interval, - ANALYZED_FP_FORMAT> Var_FP_Expression; - -/*! \brief - The incarnation of Sum_Floating_Point_Expression under test for - analyzing floating point computations. -*/ -typedef Sum_Floating_Point_Expression<FP_Interval, - ANALYZED_FP_FORMAT> Sum_FP_Expression; - -/*! \brief - The incarnation of Difference_Floating_Point_Expression under test for - analyzing floating point computations. -*/ -typedef Difference_Floating_Point_Expression<FP_Interval, - ANALYZED_FP_FORMAT> Dif_FP_Expression; -/*! \brief - The incarnation of Multiplication_Floating_Point_Expression under test for - analyzing floating point computations. -*/ -typedef Multiplication_Floating_Point_Expression<FP_Interval, - ANALYZED_FP_FORMAT> Mul_FP_Expression; - -/*! \brief - The incarnation of Division_Floating_Point_Expression under test for - analyzing floating point computations. -*/ -typedef Division_Floating_Point_Expression<FP_Interval, - ANALYZED_FP_FORMAT> Div_FP_Expression; - -/*! \brief - The incarnation of Multiplication_Floating_Point_Expression under test for - analyzing floating point computations. -*/ -typedef Opposite_Floating_Point_Expression<FP_Interval, - ANALYZED_FP_FORMAT> Opp_FP_Expression; - -/*! \brief The incarnation of BD_Shape under test for analyzing floating point computations. */

1 0

[GIT] ppl/ppl(floating_point): Concrete_Expression:
by Fabio Bossi 26 Jul '10

26 Jul '10

Module: ppl/ppl Branch: floating_point Commit: e9ad67116f5f290c8e4d83d3eeae7051aa549302 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e9ad67116f5f… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Jul 26 17:45:17 2010 +0200 Concrete_Expression: - Added two methods. C_Expr: - Some progress in the implementation. --- src/Concrete_Expression.defs.hh | 7 ++++++ tests/Concrete_Expression/C_Expr.defs.hh | 27 +++++++++++++++++++++++++ tests/Concrete_Expression/C_Expr.inlines.hh | 29 +++++++++++++++++++++++++++ 3 files changed, 63 insertions(+), 0 deletions(-) diff --git a/src/Concrete_Expression.defs.hh b/src/Concrete_Expression.defs.hh index f6777cd..217e239 100644 --- a/src/Concrete_Expression.defs.hh +++ b/src/Concrete_Expression.defs.hh @@ -150,6 +150,8 @@ public: template <typename Target> class Cast_Operator_Base : public Concrete_Expression<Target> { + //! Returns the casted expression. + const Concrete_Expression<Target>* argument() const; }; template <typename Target> @@ -158,6 +160,11 @@ class Integer_Constant_Base : public Concrete_Expression<Target> { template <typename Target> class Floating_Point_Constant_Base : public Concrete_Expression<Target> { + /*! \brief + Returns a string for the floating point constant as written + in the analyzed program. + */ + const char* get_value_as_string() const; }; template <typename Target> diff --git a/tests/Concrete_Expression/C_Expr.defs.hh b/tests/Concrete_Expression/C_Expr.defs.hh index 073e9a8..fb94904 100644 --- a/tests/Concrete_Expression/C_Expr.defs.hh +++ b/tests/Concrete_Expression/C_Expr.defs.hh @@ -141,6 +141,10 @@ template <> class Cast_Operator<C_Expr> : public Cast_Operator_Base<C_Expr> { public: + //! Constructor from cast type and argument. + Cast_Operator<C_Expr>(Concrete_Expression_Type c_type, + const Concrete_Expression<C_Expr>* ar); + //! Do-nothing destructor. ~Cast_Operator<C_Expr>(); @@ -150,8 +154,18 @@ public: //! Returns the kind of \p *this. Concrete_Expression_Kind kind() const; + //! Returns the casted expression. + const Concrete_Expression<C_Expr>* argument() const; + //! Constant identifying cast nodes. enum { KIND = 3 }; + +private: + //! The type of the cast expression. + Concrete_Expression_Type cast_type; + + //! The casted expression. + const Concrete_Expression<C_Expr>* arg; }; template <> @@ -175,6 +189,9 @@ template <> class Floating_Point_Constant<C_Expr> : public Floating_Point_Constant_Base<C_Expr> { public: + //! Constructor from value. + Floating_Point_Constant<C_Expr>(const char* value_string); + //! Do-nothing destructor. ~Floating_Point_Constant<C_Expr>(); @@ -184,8 +201,18 @@ public: //! Returns the kind of \p *this. Concrete_Expression_Kind kind() const; + /*! \brief + Returns a string for the floating point constant as written + in the analyzed program. + */ + const char* get_value_as_string() const; + //! Constant identifying floating constant nodes. enum { KIND = 5 }; + +private: + //! The floating point constant as written. + const char* value; }; // We currently only consider variable references. diff --git a/tests/Concrete_Expression/C_Expr.inlines.hh b/tests/Concrete_Expression/C_Expr.inlines.hh index 900e90f..7263eae 100644 --- a/tests/Concrete_Expression/C_Expr.inlines.hh +++ b/tests/Concrete_Expression/C_Expr.inlines.hh @@ -87,14 +87,32 @@ Unary_Operator<C_Expr>::argument() const { } inline +Cast_Operator<C_Expr>:: +Cast_Operator(Concrete_Expression_Type c_type, + const Concrete_Expression<C_Expr>* ar) + : cast_type(c_type), + arg(ar) { +} + +inline Cast_Operator<C_Expr>::~Cast_Operator<C_Expr>() { } +inline Concrete_Expression_Type +Cast_Operator<C_Expr>::type() const { + return cast_type; +} + inline Concrete_Expression_Kind Cast_Operator<C_Expr>::kind() const { return KIND; } +inline const Concrete_Expression<C_Expr>* +Cast_Operator<C_Expr>::argument() const { + return arg; +} + inline Integer_Constant<C_Expr>::~Integer_Constant<C_Expr>() { } @@ -105,6 +123,12 @@ Integer_Constant<C_Expr>::kind() const { } inline +Floating_Point_Constant<C_Expr>:: +Floating_Point_Constant(const char* value_string) + : value(value_string) { +} + +inline Floating_Point_Constant<C_Expr>::~Floating_Point_Constant<C_Expr>() { } @@ -113,6 +137,11 @@ Floating_Point_Constant<C_Expr>::kind() const { return KIND; } +inline const char* +Floating_Point_Constant<C_Expr>::get_value_as_string() const { + return value; +} + inline Approximable_Reference<C_Expr>:: Approximable_Reference(dimension_type var_index)

1 0

[GIT] ppl/ppl(floating_point): Fixed bad spacing.
by Fabio Bossi 26 Jul '10

26 Jul '10

Module: ppl/ppl Branch: floating_point Commit: 59094c0cc8c5b5b51176d85227392850cb960de2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=59094c0cc8c5… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Jul 26 15:51:39 2010 +0200 Fixed bad spacing. --- src/linearize.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/linearize.hh b/src/linearize.hh index 3bc8f2f..be23aa4 100644 --- a/src/linearize.hh +++ b/src/linearize.hh @@ -687,7 +687,7 @@ linearize(const Concrete_Expression<Target>& expr, Approximable_Reference<Target> ref_expr = static_cast<Approximable_Reference<Target> >(expr); /* Variable references are the only that we are currently - able to analyze */ + able to analyze */ dimension_type variable_index = ref_expr.associated_dimension(); if (variable_index == not_a_dimension()) return false;

1 0