March 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Spurious spaces removed.
by Roberto Bagnara 27 Mar '09

27 Mar '09

Module: ppl/ppl Branch: master Commit: 3e10cf3cc88c74112c60ddb424ef7b2316a04278 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e10cf3cc88c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 27 07:30:04 2009 +0100 Spurious spaces removed. --- tests/Grid/asciidumpload2.cc | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/Grid/asciidumpload2.cc b/tests/Grid/asciidumpload2.cc index 304e227..2d73426 100644 --- a/tests/Grid/asciidumpload2.cc +++ b/tests/Grid/asciidumpload2.cc @@ -244,7 +244,7 @@ test07() { string str; do f >> str; - while (str != "(not_up-to-date)" ); + while (str != "(not_up-to-date)"); f.seekp(0, ios_base::cur); f << "A\n"; close(f); @@ -308,7 +308,7 @@ test09() { string str; do f >> str; - while (str != "(not_up-to-date)" ); + while (str != "(not_up-to-date)"); f.seekp(0, ios_base::cur); f << "\nA"; close(f);

1 0

[GIT] ppl/ppl(master): Fixed the formatting of do-while loops.
by Roberto Bagnara 27 Mar '09

27 Mar '09

Module: ppl/ppl Branch: master Commit: 484c87d20600c217f3bb2d8a909e926c3fc87a5a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=484c87d20600… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 27 07:27:54 2009 +0100 Fixed the formatting of do-while loops. --- tests/Polyhedron/memory1.cc | 6 ++---- tests/Polyhedron/watchdog1.cc | 6 ++---- 2 files changed, 4 insertions(+), 8 deletions(-) diff --git a/tests/Polyhedron/memory1.cc b/tests/Polyhedron/memory1.cc index ad21bdb..f1544d0 100644 --- a/tests/Polyhedron/memory1.cc +++ b/tests/Polyhedron/memory1.cc @@ -181,16 +181,14 @@ main() TRY { do { ++dimension; nout << "Trying dimension " << dimension << endl; - } - while (guarded_compute_open_hypercube_generators(dimension, INIT_MEMORY)); + } while (guarded_compute_open_hypercube_generators(dimension, INIT_MEMORY)); // Now find an upper bound to the memory necessary to compute it. unsigned long upper_bound = INIT_MEMORY; do { upper_bound *= 2; nout << "Trying upper bound " << upper_bound << endl; - } - while (!guarded_compute_open_hypercube_generators(dimension, upper_bound)); + } while (!guarded_compute_open_hypercube_generators(dimension, upper_bound)); // Search the "exact" amount of memory. int lower_bound = upper_bound/2; diff --git a/tests/Polyhedron/watchdog1.cc b/tests/Polyhedron/watchdog1.cc index f4c049a..270bc52 100644 --- a/tests/Polyhedron/watchdog1.cc +++ b/tests/Polyhedron/watchdog1.cc @@ -101,16 +101,14 @@ main() TRY { do { ++dimension; nout << "Trying dimension " << dimension << endl; - } - while (timed_compute_open_hypercube_generators(dimension, INIT_TIME)); + } while (timed_compute_open_hypercube_generators(dimension, INIT_TIME)); // Now find an upper bound to the time necessary to compute it. int upper_bound = INIT_TIME; do { upper_bound *= 2; nout << "Trying upper bound " << upper_bound << endl; - } - while (!timed_compute_open_hypercube_generators(dimension, upper_bound)); + } while (!timed_compute_open_hypercube_generators(dimension, upper_bound)); // Search the "exact" time. int lower_bound = upper_bound/2;

1 0

[GIT] ppl/ppl(master): Added several missing functions to the OCaml interface.
by Enea Zaffanella 26 Mar '09

26 Mar '09

Module: ppl/ppl Branch: master Commit: e4779b8e17b60bb20249f68e8f4a0099e31041f4 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e4779b8e17b6… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 26 17:53:33 2009 +0100 Added several missing functions to the OCaml interface. Minor corrections to the documentation. --- interfaces/OCaml/OCaml_interface.dox | 90 ++++++++++++++++++++++++++----- interfaces/OCaml/ppl_ocaml_common.cc | 68 ++++++++++++++++++++++++ interfaces/OCaml/ppl_ocaml_globals.ml | 21 ++++++- interfaces/OCaml/ppl_ocaml_globals.mli | 25 +++++++-- interfaces/Prolog/.gitignore | 2 +- interfaces/Prolog/Prolog_interface.dox | 2 +- 6 files changed, 183 insertions(+), 25 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=e4779b8e…

1 0

[GIT] ppl/ppl(master): Fixed several garbage collecting issues in the OCaml interface.
by Enea Zaffanella 26 Mar '09

26 Mar '09

Module: ppl/ppl Branch: master Commit: 778dfb88238cb7f66cb638d9af2411cd88aa0038 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=778dfb88238c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 26 14:08:01 2009 +0100 Fixed several garbage collecting issues in the OCaml interface. - Helper functions returning OCaml value types that have not been registered yet with the garbage collector are now named unregistered_value_p_*; - Added appropriate calls to CAMLlocal* macros where appropriate; - Use the safe Store_field(a, b, c) instead of the unsafe Field(a, b) = c. --- .../OCaml/ppl_interface_generator_ocaml_cc_code.m4 | 79 ++++-- .../OCaml/ppl_interface_generator_ocaml_hh_code.m4 | 4 +- interfaces/OCaml/ppl_ocaml_common.cc | 294 +++++++++++--------- 3 files changed, 210 insertions(+), 167 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=778dfb88…

1 0

[GIT] ppl/ppl(master): Tests have to be done unconditionally.
by Abramo Bagnara 26 Mar '09

26 Mar '09

Module: ppl/ppl Branch: master Commit: 30b4d085cb4446918f5984216d4c74ad59d55b33 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=30b4d085cb44… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Mar 26 12:37:31 2009 +0100 Tests have to be done unconditionally. --- tests/BD_Shape/.gitignore | 1 - tests/BD_Shape/Makefile.am | 11 ++++------- tests/Box/.gitignore | 1 - tests/Box/Makefile.am | 11 ++++------- tests/Octagonal_Shape/.gitignore | 1 - tests/Octagonal_Shape/Makefile.am | 11 ++++------- 6 files changed, 12 insertions(+), 24 deletions(-) diff --git a/tests/BD_Shape/.gitignore b/tests/BD_Shape/.gitignore index c43beea..b750b4e 100644 --- a/tests/BD_Shape/.gitignore +++ b/tests/BD_Shape/.gitignore @@ -62,7 +62,6 @@ relations2 relations3 relations4 removespacedims1 -run_tests.stamp timeelapse1 unconstrain1 universe1 diff --git a/tests/BD_Shape/Makefile.am b/tests/BD_Shape/Makefile.am index bfd6f77..b8a8764 100644 --- a/tests/BD_Shape/Makefile.am +++ b/tests/BD_Shape/Makefile.am @@ -116,12 +116,12 @@ TEST_CPPFLAGS=-DBD_SHAPE_INSTANCE=mpq_class dist_check_SCRIPTS = run_tests -TESTS = run_tests.stamp +TESTS = tests -run_tests.stamp: run_tests +.PHONY: tests + +tests: run_tests +$(srcdir)/run_tests - echo "true" >run_tests.stamp - chmod +x run_tests.stamp XFAIL_TESTS = @@ -285,8 +285,5 @@ writebdshape1_SOURCES = writebdshape1.cc MOSTLYCLEANFILES = \ ascii_dump_load1.dat -CLEANFILES = \ -run_tests.stamp - DISTCLEANFILES = \ dirty_marker diff --git a/tests/Box/.gitignore b/tests/Box/.gitignore index 7b03b66..b16b31f 100644 --- a/tests/Box/.gitignore +++ b/tests/Box/.gitignore @@ -57,7 +57,6 @@ relations2 relations3 relations4 removespacedims1 -run_tests.stamp timeelapse1 topclosed1 unconstrain1 diff --git a/tests/Box/Makefile.am b/tests/Box/Makefile.am index d3e2e34..e3b032f 100644 --- a/tests/Box/Makefile.am +++ b/tests/Box/Makefile.am @@ -120,12 +120,12 @@ TEST_CPPFLAGS=-DBOX_INSTANCE=rt_r_oc dist_check_SCRIPTS = run_tests -TESTS = run_tests.stamp +TESTS = tests -run_tests.stamp: run_tests +.PHONY: tests + +tests: run_tests +$(srcdir)/run_tests - echo "true" >run_tests.stamp - chmod +x run_tests.stamp XFAIL_TESTS = @@ -308,8 +308,5 @@ EXTRA_DIST = $(refinewithconstraints2_SRCS) MOSTLYCLEANFILES = \ ascii_dump_load1.dat -CLEANFILES = \ -run_tests.stamp - DISTCLEANFILES = \ dirty_marker diff --git a/tests/Octagonal_Shape/.gitignore b/tests/Octagonal_Shape/.gitignore index 4091625..bd12d6f 100644 --- a/tests/Octagonal_Shape/.gitignore +++ b/tests/Octagonal_Shape/.gitignore @@ -60,7 +60,6 @@ relatwithcons2 relatwithcons3 relatwithgen1 removespacedims1 -run_tests.stamp timeelapse1 unconstrain1 universe1 diff --git a/tests/Octagonal_Shape/Makefile.am b/tests/Octagonal_Shape/Makefile.am index 906f43e..1e0017e 100644 --- a/tests/Octagonal_Shape/Makefile.am +++ b/tests/Octagonal_Shape/Makefile.am @@ -123,12 +123,12 @@ TEST_CPPFLAGS=-DOCTAGONAL_SHAPE_INSTANCE=mpq_class dist_check_SCRIPTS = run_tests -TESTS = run_tests.stamp +TESTS = tests -run_tests.stamp: run_tests +.PHONY: tests + +tests: run_tests +$(srcdir)/run_tests - echo "true" >run_tests.stamp - chmod +x run_tests.stamp XFAIL_TESTS = @@ -286,8 +286,5 @@ writeoctagon1_SOURCES = writeoctagon1.cc MOSTLYCLEANFILES = \ ascii_dump_load1.dat -CLEANFILES = \ -run_tests.stamp - DISTCLEANFILES = \ dirty_marker

1 0

[GIT] ppl/ppl(master): Report on two bugs fixed in the OCaml interface.
by Patricia Hill 26 Mar '09

26 Mar '09

Module: ppl/ppl Branch: master Commit: 10dc3fd3600d9f6f978dde677c8a3da31a7decbf URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10dc3fd3600d… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Mar 26 12:31:24 2009 +0000 Report on two bugs fixed in the OCaml interface. --- NEWS | 13 +++++++++++++ 1 files changed, 13 insertions(+), 0 deletions(-) diff --git a/NEWS b/NEWS index 1833ebd..469c04b 100644 --- a/NEWS +++ b/NEWS @@ -85,6 +85,19 @@ o Fixed a bug in the Java/OCaml/Prolog interfaces, whereby o Fixed a bug in method Octagonal_Shape<T>::affine_image(var, expr) whereby a wrong result was computed under specific conditions. +o Fixed a bug in the OCaml interface, whereby functions of form + + ppl_..._widening_assign_with_tokens + + and + + ppl_..._extrapolation_assign_with_tokens + + could return a wrong number of tokens. + +o Fixed a bug in the OCaml interface, whereby functions that returned + an OCaml 'unit' type were returning the wrong value. + -------------------------------------------------------------------------- NEWS for version 0.10 (released on November 4, 2008)

1 0

[GIT] ppl/ppl(master): Fixed a bug where the tokens for widening were not being updated.
by Patricia Hill 26 Mar '09

26 Mar '09

Module: ppl/ppl Branch: master Commit: aadc083b812f6bc477ad2c4bd08155f04992d310 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aadc083b812f… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Mar 26 10:44:57 2009 +0000 Fixed a bug where the tokens for widening were not being updated. --- .../OCaml/ppl_interface_generator_ocaml_cc_code.m4 | 12 +++--- interfaces/OCaml/tests/test1.ml | 36 ++++++++++++++++--- 2 files changed, 36 insertions(+), 12 deletions(-) diff --git a/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4 b/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4 index bcb359a..aecad4f 100644 --- a/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4 +++ b/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4 @@ -605,11 +605,11 @@ ppl_@CLASS@_@WIDEN@_widening_assign_with_tokens CAMLparam3(ph1, ph2, integer); @CPP_CLASS@& pph1 = *p_@CLASS@_val(ph1); @CPP_CLASS@& pph2 = *p_@CLASS@_val(ph2); - int cpp_int = Val_int(integer); + int cpp_int = Int_val(integer); check_int_is_unsigned(cpp_int); unsigned int unsigned_value = cpp_int; pph1.@WIDEN@_widening_assign(pph2, &unsigned_value); - CAMLreturn(Int_val(unsigned_value)); + CAMLreturn(Val_int(unsigned_value)); } CATCH_ALL @@ -640,11 +640,11 @@ ppl_@CLASS@_widening_assign_with_tokens(value ph1, value ph2, CAMLparam3(ph1, ph2, integer); @CPP_CLASS@& pph1 = *p_@CLASS@_val(ph1); @CPP_CLASS@& pph2 = *p_@CLASS@_val(ph2); - int cpp_int = Val_int(integer); + int cpp_int = Int_val(integer); check_int_is_unsigned(cpp_int); unsigned int unsigned_value = cpp_int; pph1.widening_assign(pph2, &unsigned_value); - CAMLreturn(Int_val(unsigned_value)); + CAMLreturn(Val_int(unsigned_value)); } CATCH_ALL @@ -662,12 +662,12 @@ ppl_@CLASS@_@LIMITEDBOUNDED@_@WIDENEXPN@_extrapolation_assign_with_tokens(value @CPP_CLASS@& pph1 = *p_@CLASS@_val(ph1); @CPP_CLASS@& pph2 = *p_@CLASS@_val(ph2); @!CONSTRAINER@_System ppl_cs = build_ppl_@!CONSTRAINER@_System(caml_cs); - int cpp_int = Val_int(integer); + int cpp_int = Int_val(integer); check_int_is_unsigned(cpp_int); unsigned int unsigned_value = cpp_int; pph1.@LIMITEDBOUNDED@_@WIDENEXPN@_extrapolation_assign(pph2, ppl_cs, &unsigned_value); - CAMLreturn(Int_val(unsigned_value)); + CAMLreturn(Val_int(unsigned_value)); } CATCH_ALL diff --git a/interfaces/OCaml/tests/test1.ml b/interfaces/OCaml/tests/test1.ml index 8a69ebc..5b1d06b 100644 --- a/interfaces/OCaml/tests/test1.ml +++ b/interfaces/OCaml/tests/test1.ml @@ -203,7 +203,6 @@ let e3 = -/ (linear_expression_of_int 7) ;; - print_linear_expression e3; print_string_if_noisy "\n" ;; (* Probably the most convenient thing for the user will be to use the @@ -248,6 +247,16 @@ for i = 6 downto 0 do done;; print_string_if_noisy "\n";; +let c1 = (a >=/ linear_expression_of_int 0);; +let c2 = (a <=/ linear_expression_of_int 2);; +let c2a = (a <=/ linear_expression_of_int 3);; +let c3 = (b >=/ linear_expression_of_int 0);; +let c4 = (b <=/ linear_expression_of_int 2);; +let cs1 = [c1; c2; c3; c4];; +let cs2 = [c1; c2a; c3; c4];; +let poly1 = ppl_new_C_Polyhedron_from_constraints(cs1);; +let poly2 = ppl_new_C_Polyhedron_from_constraints(cs2);; + let polyhedron1 = ppl_new_C_Polyhedron_from_constraints(constraints1);; let polyhedron2 = ppl_new_C_Polyhedron_from_generators(generators1);; let result = ppl_Polyhedron_bounds_from_above polyhedron1 e2;; @@ -267,17 +276,32 @@ ppl_Polyhedron_concatenate_assign polyhedron1 polyhedron2;; let congruences = ppl_Polyhedron_get_congruences polyhedron1 in List.iter print_congruence congruences;; print_string_if_noisy "\n";; + +print_string_if_noisy "\nTesting affine transformations \n";; ppl_Polyhedron_bounded_affine_preimage polyhedron1 1 e1 e2 (Z.from_int 10);; ppl_Polyhedron_bounded_affine_preimage polyhedron1 1 e1 e2 (Z.from_int 10);; ppl_Polyhedron_affine_image polyhedron1 1 e1 (Z.from_int 10);; -let a = ppl_Polyhedron_limited_BHRZ03_extrapolation_assign_with_tokens + +print_string_if_noisy "\nTesting widenings and extrapolations \n";; +let tokens_l_BHRZ03 = + ppl_Polyhedron_limited_BHRZ03_extrapolation_assign_with_tokens polyhedron1 polyhedron1 constraints1 10;; -let b = ppl_Polyhedron_bounded_BHRZ03_extrapolation_assign_with_tokens +let tokens_b_BHRZ03 = + ppl_Polyhedron_bounded_BHRZ03_extrapolation_assign_with_tokens polyhedron1 polyhedron1 constraints1 10;; -let b = ppl_Polyhedron_bounded_H79_extrapolation_assign_with_tokens +let tokens_b_H79 = ppl_Polyhedron_bounded_H79_extrapolation_assign_with_tokens polyhedron1 polyhedron1 constraints1 10;; - ppl_Polyhedron_H79_widening_assign polyhedron1 ;; -print_int_if_noisy b;; +let tokens_H79 = ppl_Polyhedron_H79_widening_assign_with_tokens poly2 poly1 2;; +ppl_Polyhedron_H79_widening_assign polyhedron1 polyhedron1 ;; +print_string_if_noisy "tokens b_H79 = ";; +print_int_if_noisy tokens_b_H79;; +print_string_if_noisy "\n";; +print_string_if_noisy "tokens b_BHRZ03 = ";; +print_int_if_noisy tokens_b_BHRZ03;; +print_string_if_noisy "\n";; +print_string_if_noisy "tokens H79 = ";; +print_int_if_noisy tokens_H79;; +print_string_if_noisy "\n";; let b = ppl_Polyhedron_OK polyhedron1;; ppl_Polyhedron_generalized_affine_preimage_lhs_rhs

1 0

[GIT] ppl/ppl(master): Support systems that do not define `siginfo_t'.
by Roberto Bagnara 26 Mar '09

26 Mar '09

Module: ppl/ppl Branch: master Commit: 5c7a1579dbd0b75a30e5610f97811dcf9a5b60f9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c7a1579dbd0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 26 08:25:02 2009 +0100 Support systems that do not define `siginfo_t'. --- Watchdog/tests/pwl_test.cc | 4 ++++ tests/ppl_test.cc | 4 ++++ 2 files changed, 8 insertions(+), 0 deletions(-) diff --git a/Watchdog/tests/pwl_test.cc b/Watchdog/tests/pwl_test.cc index c4bc9a8..f328518 100644 --- a/Watchdog/tests/pwl_test.cc +++ b/Watchdog/tests/pwl_test.cc @@ -43,6 +43,7 @@ uncaught_exception_handler() { exit(1); } +#ifdef HAVE_SIGINFO_T void fpe_handler(int sig, siginfo_t* sip, void*) { if (sig != SIGFPE) { @@ -112,6 +113,7 @@ fpe_handler(int sig, siginfo_t* sip, void*) { } exit(1); } +#endif // defined(HAVE_SIGINFO_T) } // namespace @@ -119,6 +121,7 @@ namespace Parma_Watchdog_Library { namespace Test { +#ifdef HAVE_SIGINFO_T void set_handlers() { struct sigaction action; @@ -130,6 +133,7 @@ set_handlers() { << std::endl; abort(); } +#endif // defined(HAVE_SIGINFO_T) std::set_unexpected(unexpected_exception_handler); std::set_terminate(uncaught_exception_handler); diff --git a/tests/ppl_test.cc b/tests/ppl_test.cc index 802f98d..04a5047 100644 --- a/tests/ppl_test.cc +++ b/tests/ppl_test.cc @@ -43,6 +43,7 @@ uncaught_exception_handler() { exit(1); } +#ifdef HAVE_SIGINFO_T void fpe_handler(int sig, siginfo_t* sip, void*) { if (sig != SIGFPE) { @@ -112,6 +113,7 @@ fpe_handler(int sig, siginfo_t* sip, void*) { } exit(1); } +#endif // defined(HAVE_SIGINFO_T) } // namespace @@ -121,6 +123,7 @@ namespace Test { void set_handlers() { +#ifdef HAVE_SIGINFO_T struct sigaction action; action.sa_sigaction = fpe_handler; sigemptyset(&action.sa_mask); @@ -130,6 +133,7 @@ set_handlers() { << std::endl; abort(); } +#endif // defined(HAVE_SIGINFO_T) std::set_unexpected(unexpected_exception_handler); std::set_terminate(uncaught_exception_handler);

1 0

[GIT] ppl/ppl(master): Added checks for the availability of `siginfo_t'.
by Roberto Bagnara 26 Mar '09

26 Mar '09

Module: ppl/ppl Branch: master Commit: 7252a07fd2e3368fee8e798b03671377f23cad2b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7252a07fd2e3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 26 08:15:46 2009 +0100 Added checks for the availability of `siginfo_t'. --- Watchdog/configure.ac | 6 ++++++ configure.ac | 3 +++ 2 files changed, 9 insertions(+), 0 deletions(-) diff --git a/Watchdog/configure.ac b/Watchdog/configure.ac index f8a29f2..7b3e967 100644 --- a/Watchdog/configure.ac +++ b/Watchdog/configure.ac @@ -355,9 +355,15 @@ then # Checks for header files. AC_HEADER_TIME AC_CHECK_HEADERS([fenv.h sys/time.h]) + # Checks for the availability of C library functions in C++. AC_CHECK_DECLS([getenv], , , [#include <cstdlib>]) + # Checks for typedefs, structures, and compiler characteristics. + AC_CHECK_TYPES([siginfo_t], [], [], [[ +#include <signal.h> + ]]) + # Checks for library fuctions. # The following invocations of AC_LANG_PUSH(C) and AC_LANG_POP(C) # are to work around a bug in AC_CHECK_FUNCS. For more information, diff --git a/configure.ac b/configure.ac index f6dbd1c..1843376 100644 --- a/configure.ac +++ b/configure.ac @@ -1434,6 +1434,9 @@ AC_CHECK_DECLS([getrusage], # Checks for typedefs, structures, and compiler characteristics. AC_CHECK_TYPES([timeval]) +AC_CHECK_TYPES([siginfo_t], [], [], [[ +#include <signal.h> +]]) # Check whether the IEEE inexact flag is supported and available to # C++ programs.

1 0

[GIT] ppl/ppl(master): We can infer the possibility to control the CPU even when cross-compiling.
by Roberto Bagnara 26 Mar '09

26 Mar '09

Module: ppl/ppl Branch: master Commit: 639591e6c8d1e4c065901c6e787c1da8580eb158 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=639591e6c8d1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 26 07:33:27 2009 +0100 We can infer the possibility to control the CPU even when cross-compiling. This happens (at least) on i386 and sparc (provided we have <ieeefp.h>). --- m4/ac_check_fpu_control.m4 | 21 +++++++++++++++++++-- 1 files changed, 19 insertions(+), 2 deletions(-) diff --git a/m4/ac_check_fpu_control.m4 b/m4/ac_check_fpu_control.m4 index ee28d20..5ccbb68 100644 --- a/m4/ac_check_fpu_control.m4 +++ b/m4/ac_check_fpu_control.m4 @@ -115,8 +115,25 @@ main() { ac_cv_can_control_fpu=1, AC_MSG_RESULT(no) ac_cv_can_control_fpu=0, - AC_MSG_RESULT([assuming not]) - ac_cv_can_control_fpu=0 + AC_COMPILE_IFELSE([AC_LANG_SOURCE([[ +#if i386 || (sparc && defined(HAVE_IEEEFP_H)) + +int +main() { + return 0; +} + +#else + + choke me + +#endif + ]])], + AC_MSG_RESULT(yes) + ac_cv_can_control_fpu=1, + AC_MSG_RESULT(no) + ac_cv_can_control_fpu=0 + ) ) AM_CONDITIONAL(CAN_CONTROL_FPU, test $ac_cv_can_control_fpu = 1) AC_DEFINE_UNQUOTED(PPL_CAN_CONTROL_FPU, $ac_cv_can_control_fpu,

1 0